skysight-inc/HackerNews huggingface dataset:
The West's idea of standardized education's primary goal was to create nation state identity and a standardized language needed for such. Prior to it the French/German borders (along with languages) kind of blended together, and a clear 'nationalist' identity didn't really exist. But once standardized French/German started being taught nationwide a clearer division could be established along with a uniform national 'identity'. Reading pre-WW1 european discourse versus post shows a much different concept of 'national' identity and borders.

Strongly enforced standardized languages were established as part of this process. I don't think public education/nationalism/identity based on language can be separated. It will be interesting to see what happens when all of this is placed under a new filter/resynthesized via AI.

I think removing individual teachers that change year after year, and who add additional thoughts than the 'national boards' and replacing them with an AI teacher that stays with you as you grow, feeding the same basic digested generic education as everyone else gets, will be incredibly powerful (because it will be able to teach each at their level) but also increase the move to a monoculture/nationalist education (in that the entire nation is fed the same thing, having a single, agreed upon set of 'truths' from the same 'source' removing that final divergence that was individual teachers changed up quarterly/yearly).
OpenAI Doubles Annualized Revenue to $3.4B
Small updates Apple didn't mention at WWDC
I know nothing, I am a complete beginner when it comes to formal methods. From reading about it, it seems that Isabelle/HOL is the best when it comes to automation which apparently is something you really want. It might be easier to learn (controversial, some say Lean is easier). It's been used to prove some software (including sel4 and a version of java), Apple and AWS are using it (but then I know AWS uses, or used, TLA+).

At the end of the day, I didn't want to spend more time reading about it then learning two of them (trying one and potentially switch later). The more you read about it, the more options open up (SPARK, TLA+, COQ, etc...).

I do find it ironic to read this article today given that I made that decision yesterday!
At $1.70 (CN sources) you can obtain a 600MHz NXP IMXRT1011 with an M7 core + FlexIO and a dozen more peripherals of all types.
"Primer"

https://www.imdb.com/title/tt0390384

"The Man from Earth"

https://www.imdb.com/title/tt0756683
Right, I think the insight that LLMs "create" though is via compression of knowledge in new ways.

It's like teaching one undergraduate (reading some blog on the internet and training on next word prediction), then another undergraduate (training on another blog), then another one, etc. And finding a way to store what's in common among all these undergraduates. Over time, it starts to see commonalities and to become more powerful than a human. Or a human who had taught a million undergraduates. But it's not just at the undergraduate level. It's the most abstract/efficient way to represent the essence of their ideas.

And in math that's the whole ball game.
Maybe. To be honest though I've probably seen 50 different conversation starters/attendee matching apps/gadgets/gimmicks over the past couple of decades and I mostly don't even look at them any longer.
It's a matter of use case - for simple web page or even a lightweight client-side app, maybe too big. But for tool with heavy data processing, I could see it being quite useful.
Meh. With how many match-making monarchs, and how many disastrous wars there were in Europe from (say) 950 to 1950, it seems trivial to argue that Queen Victoria was nothing special in this regard.

Notice how very few non-ceremonial monarchs Europe has these days.

And recall Churchill's famous quote about democratic government - https://winstonchurchill.org/resources/quotes/the-worst-form... - from just after WWII. When it was d*mned clear that WWI and WWII had demoted the British Empire from being the world's obvious sole superpower...to being a poor, hungry little sidekick to the USA. In a mere 1/3 of a century, starting more than a decade after Victoria's death.
I disagree. The article is about artistic creation making us human.

While "artistic creation" is hard to demarcate, I think fooling around with a fun tool is not it. Asking an LLM or similar tool to create an alien menu with farts as ingredients, just to watch it do something silly, is not art-creation. Most people can do it without the LLM, too.

From the article:

> I’m not against playing with these generative AI tools. For months, I played with Midjourney, and I still occasionally play with ChatGPT. I say “play” because they’re excellent toys.
The bias I saw would likely be difficult to exploit without studying the mathematics a lot more. It seems to pass several statistical tests, but the problem I found was more about independence.

Let's call the two splits L for left and R for right and consider the resulting deck to be defined as a sequence of these letters indicating whether that card was taken from the left or right pile so in theory you can specify a shuffle uniquely like "LRRLLLLLLRRR...". This method of labeling shuffles has the advantage of being extremely easy to record and also makes the bias I found apparent where there are way too many pairs of "LR" and "RL" compared to "LL" and "RR" like the "7 shuffles is enough" model suggests there should be.

For some reason, when I did all this analysis last year, I was mostly thinking about how to ensure my MTG decks are sufficiently shuffled. I didn't really think about the implications for card counting. However, normal riffle shuffling seems to have less bias (but still present) than the mash shuffling I looked at and I think most casinos use machines for shuffling these days.
Termux has been a great resource on Android:

https://termux.dev/en/

If the future ChromeOS-Android hybrid (ChAnroid?) loses Crostini Linux, but is able to run Android applications then Termux might be a good option depending on the task.

Aside: this ChromeOS-Android merge brings to mind the Chenjesu-Mmrnmhrm merge to create the Chmmr in SC2. Maybe the ChromeOS-Android merge will similarly yield a wonderful hybrid result?
Here in Australia the coldest state (tas) uses more energy (8600) than anywhere else (e.g. qld 5500). They have basically 100% hydro power and use reverse cycle AC for heating. Not sure what else is going on there.
> Basic ability to think? What does that even mean? Is there a thinking course 101 that I missed?

I gave one example which is critical thinking, but I'd also say it includes things like self-awareness. Some people just are not. I don't know how else to describe it other than it seems like they literally just do not think before they act. There's a level one worse than "doesn't consider the consequences of their actions" and that's "doesn't consider their actions at all". Of course, any definition I use for this is going to be met with "but that can happen on its own in people who think perfectly fine". That's not what I'm talking about. I'm talking about when there's simply no sign that thinking happens. Like the only thing their brain does is habits and shortcuts. They're simply not an intellectual, curious, open-minded, or rational individual. I don't mean to be insulting to anyone, but when someone is simply none of these things and there is absolutely no openness or desire to improve, then I conclude that there may as well not be any thought. This isn't equivalent to a lack of intelligence, skill or talent. It's just wasted potential that most likely can no longer be realized.

I would say anyone who enjoys HN probably doesn't have a lack of thought. It's difficult for me to precisely define what thought even is, because I'm not talking about the subjective experience of thinking (internal monologue/dialogue or so on). I'm talking about whatever holds the fundamental ability for consideration of basically anything. You don't necessarily get that for free. Brains are generally extremely good at optimizing and especially neurotypical ones can indeed find a way to live without thought. (I would say autistic neurotypes could find it more difficult due to the detail-oriented thinking. It's more difficult to put smaller blocks together without developing the ability to think about them.)

> There's the meta of learning how to learn, but that is its own skill-set. Most people get by with instructors and classes.

See, how to learn can actually differ by neurotype. That's not really what I'm talking about, though. It's not people who are incapable of learning, I'm sure they can learn all sorts of things. It's that they're incapable of thinking about what they've learned. You can show them how to do something and they'll do it, they can have goals and executive function (even if they can't explain it), and they can probably still figure things out by trial and error. But ask them to explain any of these things and chances are they won't even know why they did them, just that they did and it got them what they wanted and that's all they care about.
IMO, the real problem with options seems to be that you have no idea what they are truly worth. You have the option for 10k shares and you know the company is worth $200 million, but you have no idea how many shares are outstanding. Meanwhile, shares are being diluted, or maybe they aren't. You're just kept in the dark as to what is happening. At least that was my experience.
Key to point out Public school in the USA is free government schooling for everyone, while public school in the UK is elite private prep schooling.
This is a reductive interpretation. If I create a modify a photo using Photoshop I'm creating. If I use ChatGPT to help write some code for a hobby project, I'm creating. These are just tools for creating like all other tools that came before. I'm not quite sure what the moral panic is about.
Incorrect. For example, the relevant paragraph from the Google doc linked elsethread:

> any product or service that depends on AGPL-licensed code, or includes anything copied or derived from AGPL-licensed code, may be subject to the virality of the AGPL license. This viral effect requires that the complete corresponding source code of the product or service be released to the world under the AGPL license. This is triggered if the product or service can be accessed over a remote network interface, so it does not even require that the product or service is actually distributed.
Adam Back's Iconic Perl RSA Munitions T-Shirt: A Slice of Cypherpunk History
When Cadence switched to "unlimited" vacations, my manager straight up told me that he expects it to be three weeks unless I exceed his expectations, or it will adversely affect my performance reviews.

Which is how it effectively works, except usually managers are less direct.
> Should Russian citizens comply ? Hell no

OFAC compliance is not on the citizens but the service providers.
Or I would just choose an NXP IMRXT-series MCU with FlexIO (which can do 90% of these protocols) and actually be able to protect my product to some degree (encrypted XIP, high-assurance boot, SWD lockout.)
> There's probably a few things incorrect with what I said. So, take it with the appropriate amount of salt for a high school sophomore's explanation of anything math related.

A high school sophomore! I'm thoroughly impressed, not just by the clarity of this explanation, but by the tone, showing appreciation for where and how the elegance pops up, and empathy for a reader who's never heard of these concepts. Throw in the minimal web design I was sure I was reading some graybeard.

Excellent writing, you should be proud of this.
Why is there no light to be shed?

This is a perfectly reasonable question to ask. And a straight simple answer might be that no, they didn't. Or not initially but later it was too late. Or here are the circumstances in leadership, historical contexts that led to it and we find those in other projects as well.

That would be interesting to hear.
> There was never any upside for me.

That was because you negotiated and accepted a shitty deal. Unless someone scammed you into believing something that isnt' true, which I doubt. Founders can be overly optimistic, but it isn't same as scamming.

Startups are a difficult game. Everyone gotta watch for themselves. Don't blame on others if you accepted a suckers deal.
/shrug

Compound booleans are super useful for cleaning up huge chunks of imperative code. I do it all the time, and it makes the function far easier to read (although the tradeoff is in debugging).
That might be true, but in places like North Texas where multiday blackouts are becoming common during the winter, it might make sense to invest in storage if you have the option. Not going to help much with heating, but at least your fridge / freezer can stay running.
Wow words and inferences without...any real substance...
I often just spin a $5 JLC EVM of my own when manufacturers charge too much for theirs. EVM schematics are usually available to clone.

Normally, I can also test a domain-specific subcircuit or two in my "EVM" as well with no added design risk.
> They’re using a tool they’re paid to work on. That’s always a special case.

FWIW, the industry term for this is "dogfooding", and it's usually seen as a predictor of high quality tool.
Seems like you would have had a good case to a lawsuit, at least enough to give them a headache settle in court. Strange that they dumped you if you were valuable to the effort. Did they just squeeze you for what you were worth and decided they could get by with other engineers or did they not see your work as valuable?
I don't develop on Android so I have no perspective on whether it's a better situation, but as a user of both Android and ChromeOS on the daily, my impression of ChromeOS is that it is minimally intrusive, updates instantly, sleeps and wakes instantly, switches users instantly. My impression of Android is updates take forever, there are 90 minutes of hideous jank after a restart, and it takes 15+ minutes to take a bug report. But I have no way of telling from this announcement which parts of the Android tech stack are responsible for it being a pyramid of jank. However it sounds like Android has won an internal turf war and it seems inevitable that their user-oblivious development and release process will eventually tarnish ChromeOS.
Any chance you'd mind sharing that script? Sounds awesome.
Certainly. There are people who want to go into the office every day. There are people who would be happy never to go into the office or attend an off-site, and everything in between for reasons good and bad.
"The Making of the Atomic Bomb" by Richard Rhodes is the best hard scifi book ever written.

https://www.amazon.com/Making-Atomic-Bomb-Richard-Rhodes/dp/...
Sample size of one, but I've found AI to be quite good at automating away the parts of engineering that I really dislike.

Stuff like basic scaffolding and long repetitive if/elseif/else chains are things that I have zero fun doing, or looking at long debug logs from build systems makes my life considerably less irritating. It's not perfect at it, but it's also generally useful to paste a chunk of code I wrote years ago and telling me more or less what it does (because I forgot).

Obviously part of this is sort of predicated on the fact that it's still pretty bad at the fun stuff right now, and if it gets better at it then maybe I'll be right now, but in its current state I feel like it's made my life better.
> You can’t completely block “AI” training from a web site. Underground AI will always get through

This is the problem that I haven't figured out how to solve. Unlike other forms of misuse, once data is used to train AI, there's no undoing that. That means that any blocking that isn't reasonably close to 100% effective is of dubious value.

This is why I currently think that the open web is too dangerous for me to publish anything more on.
Photographer Disqualified from AI Image Contest After Winning with Real Photo
From what I have heard from Google employees, no one at Google really cares about it. It is used in one of their smart speakers and maybe another nest thing. I would not at all be surprised if it winds up in the google graveyard.
the best take away is "we used our lab because of a desperate DoS mitigation"

at my job, who signed up for a big discount on the first year on aws, it would have read "we spent a few <total cost of their lab> dollars in extra computer stance and bandwidth per day, and business only lost 80pct of real client requests"
It completely turns me off from anywhere that sells it. I'm an annoying Ocarina fan, and the two largest Ocarina manufacturers in North America do this. I haven't bought one from either of them in years because of it.
I have been doing something similar for months. I share the text with an automation shortcut that adds a prompt to it and opens Copilot for me. I just paste the text there manually since it’s not possible to paste with shortcuts. It works great and it’s totally free!
I just used it to proofread this reply too.
Sorry for the shit language but I got tired of you not understanding anything.

Apple's services do not run on Azure. Apple's services run on Apple infrastructure.

OpenAI services run on Azure

Apple is a new partner of OpenAI. Apple will use OpenAI services which run on Azure. Hopefully that makes sense. It is not that complicated.
> "I’ve been around long enough to know that any rocket development program is hard, even if you make it as simple as possible," [the Stoke Space CEO] responded. "But this industry is going toward full reusability. To me, that is the inevitable end state. When you start with that north star, any other direction you take is a diversion. If you start designing anything else, it’s not something where you can back into full reusability at any point. It means you’ll have to stop and start over to climb the mountain."

I wonder whether this is really true in the long term. Their current "Nova" rocket is projected to deliver only five tons to LEO, so I assume they eventually want to go bigger. The question is whether their current design can be scaled up to a significantly larger vehicle. Otherwise they will also need to "start over", just like the other companies that are currently working on partial reusability will need to come up with different designs once they go to full reusability.
Sure, but I mean something that can actually fit in with the rest of the systems running a decent sized org. On the surface a CRM seems trivial to make, a pretty simple db schema with a pretty simple UI. But, I haven't done it.
How do you compete with SpaceX? They're titans. They have the customers, contracts, and revenues, and it seems like they could build your design while still sending off tons of payloads using their existing infrastructure.

What makes your product so different, and how do you grow to anything close to their revenue and volume without them eating you first?

I ask these sincerely and in earnest! You're working on such a fascinating and awe-inspiring problem. I wish you the best of luck, because the field needs competition.
My first experience with GNU/Linux was back in 2012. I had just accidentally borked my Windows 7 install on my desktop PC by mucking with the registry and needed to reinstall.

Of course I had data on the machine which I wanted to keep, so I needed a way to get it off my desktop PC and onto my laptop. A quick internet search pointed me to using a Ubuntu live USB. Using it my desktop booted fine and I was able to back my data up with no problems.

Afterwards I reinstalled Windows 7 and tried to go on the internet. Which failed because I hadn't installed the ethernet driver yet. Remembering that the internet worked just fine under that Ubuntu thing I decided to install that instead. It worked fine, and I've been using GNU/Linux ever since. I, however, haven't used Ubuntu since the whole fracas around the Amazon lenses got me distro hopping until I landed on my current mainstays of OpenSUSE Tumbleweed and Arch.
you are issued equity in the form of stock options. Stock options give you the opportunity to buy stock in the company at a specific "strike price" enshrined as the fair market value of the company when you sign your offer letter.

you aren't actually vesting stock month to month you are vesting your stock options. when you "exercise" your stock options you pay the company the strike price * number of options you want to exercise in order to purchase the actual stock in the company.

If the company has grown in value since you joined then you would have a taxable event upon exercising your stock options because you are buying the stock at the strike price, but the fair market value of the stock is significantly higher, so that is a taxable capital gain that you have to deal with.

Any sane company will give you a 10-year exercise window after leaving the company to actually pull the trigger and "exercise" your stock options so that you don't incur a tax liability but some companies only give you three months. Which means not only do you have to front the cash to "exercise" the options, but you also have to pay the tax liability on the capital gain of stock for that year.

If you're asking how you can possibly be expected to pay the tax on a million dollar+ capital gain, without ever even having access to cash or a guarantee you even will have access to cash in the future, then welcome to the scam that is being an employee at a Silicon Valley startup and the fucked up logic of the US tax code.
I don't think that 2008 housing crisis had any serious black swans around it, instead of bad planning caused by chasing the dollar.

The point of a black swan that there doesn't have to be a cause.
I meant say more about the gaming the politics part, not so much the showmanship and self-promotion part. Say there are several people who meet the criteria to get promoted, which ones tend to get it and which not, based on which political behavior?
> Now some people think that will never happen because AI music will always be bad

I think they are mistaken, and that this is the wrong way to go thinking about this.

If you're against AI "doing art", it mustn't be because "it's not good". Because art is very subjective -- so much that it's almost impossible to define what it is -- somewhere someone will like AI art. And the procedures and models will get better, too. I can envision a (very near) future where blockbuster movies and hit pop songs are entirely written by AI... it wouldn't be too different from the present, anyway.

No, if you're upset about AI art, it must not be about technical quality, but about human connection. Art is a human activity, by humans, for humans. Even if AI "gets better", I don't want us to be cut out of the loop.

Art is not something to optimize and automate.

(All of what I've just said is debatable, of course. Like art!)
Having lived in Germany for a while, and toured the castles along the Rhein, I was told by the tour guides that toll extraction was their purpose.
> I just think there aren’t enough people calling out his weaker advice.

Weird. My impression was that hating on uncle bob had made for low hanging blog fruit for a good 5 years already.

Some of CC is alright (I have a feeling he popularised negative gates and early returns?), some of it didn't age as well. As is often the case it's hard to see it in the context of its time.
It depends on what you mean by "harming". But to answer your question, yeah, most of them. I've been preparing my home to switch to time of use energy pricing, where power is less expensive at night when there's lower demand. It's pretty painless to put things on timers or set schedules in configuration. The trivial cost of setting this up will pay for itself within about two months.

Deferring workloads for when it's sunny is almost the exact opposite: using more power during the day rather than at night. That's probably better for most consumers, since people tend to use more power when they're awake by default.