skysight-inc/HackerNews huggingface dataset:
Note that the stance of the OP here is broadly in agreement with what Rust does. His main objection is this:

> The word “other” means “not mentioned elsewhere”, so the presence of an Other logically implies that the enumeration is exhaustive.

In Rust, because all enums are exhaustive by default and exhaustive matching is enforced by the compiler, there is no risk of this sort of confusion. And then the fact that his proposed solution is:

> Just document that the enumeration is open-ended

The non_exhaustive attribute is effectively compiler-enforced documentation; users now cannot forget to treat the enum as open-ended.

Of course, adding non_exhaustive to Rust was not without its own detractors; it usage for any given enum fundamentally means shifting power away from library consumers (who lose the ability to guarantee exhaustive matching) and towards library authors (who gain the ability to evolve their API without causing guaranteed compilation errors in all of their users (which some users desire!)). As such, the guidance is that it should be used sparingly, mostly for things like error types. But that's an argument against open-ended enums in general, not against the mechanisms we use to achieve those (which, as you say, was already possible in Rust via hacks).
>"The banana is big, but the skin is bigger."...

Most profound insights in religion are of a similar league. Example John 8:32: 'Then you will know the truth, and the truth will set you free.'

Got to admit that the banana one is more profound that any one in religion that I encountered.
I believe most endowments have conditions. So whatever the donator say?
> This is not a screed against executive wealth. After all, I paid with 25 years of my life and I got some of the wealth.

That's the point though isn't it? He retired at 50. Most of us will work to at least age 65 (perhaps until we literally can't work anymore in today's economy). And we won't get some of the wealth.
It's the most common use by far.
Oh they understand the concept. Its just that the recurring revenue and data are more important and without competition or alternatives then why not take everything you can take from the user. What are they going to do? Stop using the internet?
I'm not sure what you mean, those orgs last for decades and countries last for hundreds of years. But I'm sure you can tweak the percentages depending on the situation and your own judgement. It's a rule of thumb too and can be exploited if you're not careful, eg someone can save defections for when it really matters (getting a supreme court seat).

> Because in reality there’s almost always escalation to higher and higher stakes.

Well clearly no, because the world is not constantly at war (the highest escalation).
Which is LOT less than us or german contribution.
It's not me minimizing a series of catastrophic events because in my great wisdom I have perfectly ascertained the intentions of an unpredictable administration, it's reading comprehension.
It doesn't. It just chooses the minimal data collection option for you during the install.

Actually turning it all off requires very deep modification of the OS.
This is very different from the sort of geothermal being discussed for power generation.

Residential geothermal for home heating and cooling could make a ton of sense, but more likely based on the scale of a residential natural gas network.

Drilling a hole per home is super expensive. Replacing gas pipes with moderate thermal pipes would be about the same cost as gas infrastructure but allow the massive efficiency gains of larger scale. Heat pumps operating on pumped water through these sorts of pipes doesn't need very high or low delivered temperatures to be effective, as long as it's somewhat above the -20C of the extremes of winter.

Thermal storage quantity scales roughly with volume (x^3) and storage costs roughly scale with surface area (x^2). Though I'm not sure if storage plays much into the gas -> thermal plans that have been explored.
“There’s a very decent chance you can do that with wind and solar,”

It is so pathetic that Standford professor spreads this kind of crap. No, wind and solar will not save us, as on majority of our planet we have long period of time without wind and solar.

Unpredictability of solar/wind energy forces to use something to balance the grid. Which, typically, has to be gas, as only gas power station has sufficiently fast start/stop cycle (about 1h in case of modern installation, lignite power plant has several hours cold start, coal power plant even more).

And gas means CO2 emission, even though in some countries, which were buying gas from Russia through Nord Stream, it was considered to be "ecological", similarly like "biomass", that is burning wood and corn (and as we all know burning wood does not emit CO2, right?).

In addition, this is economical idiocy. When there is too much wind/sun, you need to pay producers to stop producing, not to overload the grid. When there is no wind/sun you need to buy energy paying overpriced spot prices. That's why "renewable energy champion" - United Kingdom has the most expensive energy on the planet.

We have one ecological, 100% CO2 emission free, source of energy - nuclear energy (check France if you don't believe it works).

But how Standford professor might promote nuclear power plants when for long, long years all major universities and organizations, with Greenpeace on the head, were fighting nuclear energy, leading to the shitty situation we have now.

10 years ago anyone who wanted to work on nuclear energy research were treated like Holocaust denier, so there was almost no development of new tech in that area.

And now exactly the same people, who were telling us how bad is nuclear energy, are telling us to use wind/solar. What can go wrong...
I am sure that if you talk to a dog, it will probably take as much from your emotions as your words (to disprove your point about non-humans).

You look at it in binary categories, but instead, it is always some amount of information and some amount of randomness. An LLM can predict emotions similarly to words. Emotions and social dynamics from an LLM are as valid as the words it speaks. Most of the time, they are correct, but sometimes they are not.

The real difference is that LLMs can be trained to cope with emotions much better ;-)
We might need to know the FTE values to understand what this means. Are staff positions full-time FTE? Are faculty positions full-time, tenure positions? Have they added part-time staff, adjunct faculty, etc.?
They also have volcanic eruptions every few years.

https://www.visiticeland.com/eruption/
If stories are to be believed real geniuses can tap into God’s mind. (See Ramanujan)

If so then it really comes down to believing something not because you can prove it but because it is true.

I’m just a mediocre mathematician with rigor mortis. So I won’t be too hard on Penrose.
You started a hellish flamewar with this, and perpetuated it badly downthread. That's seriously not ok and we ban accounts that do it, so please don't do it again.

It's not what this site is for, it destroys what it is for, and it evokes worse from others. Not cool.

https://news.ycombinator.com/newsguidelines.html

p.s. Also, you posted this twice. Please don't do that. (The other one was https://news.ycombinator.com/item?id=43229712 and I've marked it as a dupe and merged the replies here now.)
I speed up my algo that takes a bag-o'-floats by 10x.

If I put 100x floats in my bag-o'-floats, its still 10x slower :(

(extending beyond that point and beyond ELI5: computational efficiency implies multiplying the floats is faster, but you still need the whole bag o' floats, i.e no RAM efficiency gained, so you're still screwed on big-O for the # of GPUs you need to use)
Despite the appearance, they do: despite the training, neurons, transformers and all, ultimately it is a program running in a turing machine.
> What advantage are you speaking of?

Defensive alliances where the cost is on the US and the benefit is on the other side.

Scientific research, where the benefit is spread across the world but the cost is here.

CO2 emission control, where the benefit is global and the cost is local.
My First Armageddon Bug
Swift can't handle it either, I had to write an extension to add that ability. Felt weird to me.
Maybe there should be a compiler option or function to assert that a match is exhaustive. If the match does not handle a defined case, it blows up.
It is the rational choice for their own self interest, yes of course. It used to not be necessary for most countries in the world. But now there is no good alternative to having your own nukes if you don't want to be invaded by others.
Yeah, I change it to the Chrome UA
what about the road runner?
> LLMs (our current "AI") doesn't use logical or mathematical rules to reason.

I'm not sure I can follow... what exactly is decoding/encoding if not using logical and mathematical rules?
Not everyone is immersed in pop culture, not everyone is a native English speaker, etc. It doesn't cost anything to be kind.
Does not still fix the root cause that Git is super-bad as an industrial tool - actions that should be trivial push-button activities become incomprehensible command line character soup.

The fact there is a book on the subject speaks volumes about how bad it is.
In my mind it’s more like they give you what they want you to accept in these results and the AI summaries. It really seems like the days where any of these giant corps gave you what you actually wanted are long past.
Just when I thought I’d seen it all...

Thank you for sharing this!
that carbon chauvinism isn't real.
I agree with this view completely. I think some of the programs probably went over the top in my view and I would not mind the pendulum swing back a little bit. But the current government seemed fixated for some reason and just want to kill it all and happy to act like a totalitarian state if you disagree.
The last 2 books I’ve bought (ostep and nand2tetris) are available online. Hard copies are nice and personally seeing it on my desk gives more more motivation to finish them.
Well it has happened to me that it put Edge back, at least twice that I remember. Once was a longer time ago though, when they moved from "old" edge to "new" edge (which is just a chromium knockoff).

But yeah to each their own. I don't like windows very much either because I can't really customise how it works. While on Linux I can change everything. I can choose a radically different window manager/desktop environment for example. Like i3/sway.

And Linux and BSD (I don't use much Linux, I use BSD on my desktop) are very natural to me because I've been working with Unixes for decades. Like Minix and HP-UX in the 90s before Linux even existed. This is really where preference comes into play.

I still use windows too, on my gaming desktop mostly. And I have Windows 10 LTSC on a little NUC I use for video recording. LTSC is not as bad (even though it still has telemetry :( ). But they should really make it available to everyone.
Pick a model, a seed, a temperature and fix some floating-point annoyances and the output is a deterministic algorithm from the input.
I informally often use a -1 to 2 scale. Bad, fine, good, great.

The difference between 1 and 2 on a 5 point scale is not useful.
> I felt the 2025 market would get worse but never thought to have "(potential) mass government layoff" on my bingo card.

I'm curious if this is because you never heard about what was in Project 2025, or didn't think Trump would win, or didn't think he would enact it?
What do you mean by "harder stuff"? What about an experimental DSL written in C with a recursive descent parser and a web server runtime that includes Lua, jq, a Postgres connection pool, mustache templates, request-based memory arena, database migrations and much more? 11,000+ lines of code with ~90% written by Claude in Cursor Composer.

https://github.com/williamcotton/webdsl

Frankly us "fanbois" are just a little sick and tired of being told that we must be terrible developers working on simple toys if we find any value from these tools!
I don't think it's necessarily a hallucination if models accurately reproduce the code quality of their training data.
The question is answered in the full title:

> "Gödel's theorem debunks the most important AI myth. AI will not be conscious"

Same statement from Penrose here with Lex Friedman: "Consciousness is Not a Computation" [1].

[1] https://www.youtube.com/watch?v=hXgqik6HXc0
Where’s the circle?
Yeah and I hate this scheme. Facebook keeps showing me clips that I do not want to watch and yet fined myself drawn to watching like some compulsive behaviour. Urgh.
The UK Fountain Pens Buyer's Guide
Was it https://vim-adventures.com ?
Look, I understand the value proposition of self-hosting media.

But you still are talking about $300 up-front investment plus untold amount of unpaid time spent learning how to set up and operate such a thing. Plus cost of content.

This is competing with streaming services that, like it or not, are competing with Blu-ray quality at least close enough.

You are also not correct about Netflix's bitrates, they max out at above 17500kbps as of 2023, almost double your claim: https://netflixtechblog.com/all-of-netflixs-hdr-video-stream...
What are they going to do? Stop using the internet?

Stop using newer versions of the software. Firefox is open-source, so forking and fixing the older versions before these hostile changes is not impossible.
It's hard to really explain how the LLM decides what to recommend if I'm honest.

The general idea is I generate a prompt to feed into the LLM with specific instructions to use the Sonarr (for example) library info which is passed in as a list of series titles. I also provide some general guidelines on what it should take into account when choosing media to suggest.

After that it's in the hand of the LLM, it will internally analyze and recommend shows based on what it believe someone might enjoy based on their media library...Given that every LLM model is different, how they internally decide what shows to recommend will be unique to them. So if you have bad suggestions etc..It's best to try a different model.

it provides nice flexibility but in reality my control of the actual recommendations are limited to the initial prompt that is passed in.
With enhanced geothermal, especially that being explored by Fervo, a massive fraction of locations on earth are opened up to favorable geothermal.

Fervo is actually drilling and producing energy today, and scaling the technology, using existing technologies. If Quaise is successful, it will only enhance what Fervo is already accomplishing, but we don't need the huge technical advance of Quaise to get a massive amount of geothermal energy on the grid.

The Volts podcast has been following Fervo over the past few years, and they have met and exceeded all their milestones so far. (Unlike, say, big fission or fusion startups)

https://www.volts.wtf/p/catching-up-with-enhanced-geothermal
I checked and indeed, a bunch of T-6B, F5, F16, T-45 with sharp turns!
Amid Texas's measles outbreak, vaccine resistance hardens in Seminole
Wow, experts in academic careers are contributing here. Can you please give us a source of your knowledge of why people pursue academic careers?
I imagine they are, but they will still have some mindset of a business and cut spending in lieu of economic headwinds. Like pretty much every industry in the last few years.

I think the ivies will be fine. It's 99% of other universities without 10b in endowments I'm worried about.
I'm sure you have legitimate reasons to be frustrated, and have been describing things that really happen and double standards that really exist.

At the same time, perpetuating race war on HN, which is what your comments in this thread are doing, is not ok. It only makes things worse, so please stop and please don't do it again.

https://news.ycombinator.com/newsguidelines.html

p.s. The people breaking the site guidelines in response to you ought not to have been doing that either, of course. I've responded to those now, or at least most of them.
Git is bad. Super bad.

It's brilliant for it's original purpose of managing diffs in an open source project.

For industrial projects that are not organized like an open source project it's a massive, massive footgun and it saddens me it remains some sort of badge of honour to memorize it's incomprehensible UI.

It saddens me even more it's the goto vcs system even for industrial projects.
Sure, here’s the one for Google Chrome: https://www.google.com/chrome/terms/?hl=en_US

It says “By using Chrome or ChromeOS, you agree to the Google Terms of Service located at https://policies.google.com/terms […]”. The Google Terms of Service at https://policies.google.com/terms?hl=en-US#scope is what you are looking for.

I don’t have the others in front of me.
https://archive.ph/ysTBG
What do you mean about writing free software?
> "nuclear energy (check France if you don't believe it works)"

France's latest nuclear reactor, Flamanville 3, was finally connected to the grid in December 2024 after 17 years (!!) of construction beset by problems, delays, and massive cost overruns.

Nuclear can be part of the solution, but renewables are much cheaper and faster to build. So for every $/€ spent, you are achieving more CO2 reduction, much more quickly, by building renewables compared
to building new nuclear.
Yes. And in Switzerland, I believe most new houses have some other type of heat pump (drilling for geothermal is not allowed everywhere, or too expensive). This all still needs electricity; but many houses now install photovoltaics. (At least where I live.)
There's a contemporary belief amongst a large number of people that they're being persecuted. They've decided to "take charge" and become the persecutors themselves and think this is somehow reasonable. They weren't being persecuted in the first place, they're just delusional. Convincing them that they're delusional, of course, is not easy.
You're arguing statistics and simultaneously need the difference between "median" and "average" explained to you. Sorry if I don't regard you as an authority of any kind.
Do you mean aerobic performance in the last sentence?
Total staff numbers are only marginally useful without further breakdown, as that article points out.

A family member works for an eatery at a large university. Technically they are employees (staff) of the university, but pretty much in name only. They work for a business unit which receives no financial support from the university. They are profitable on their own and if they aren’t, they would close down. They are provided benefits via the university, but it is part of their budget.
Including them in the count relative to students is about as useful as including the employees of the (independent) Starbucks on campus.

(It’s not Stanford, so I can’t speak to that specific institution)
The Software Drive-Thru
I'm definitely not opposed to adding Lidarr support, I've never personally used it so I may tinker around with it here soon and think on how to structure prompts for that etc...
This is not a good argument.

Many different users have many different use cases.

What you're basically saying is: It works OK for me, so the fact that it doesn't work for you is insignificant.
Girl listed in records as 'Unakite Thirteen Hotel' gets a Social Security number
I would think our biggest obstacle is large corporations trying to wring every dollar out of farmers. John Deere, Archer Midland Daniels, and Monsanto come to mind. Oh looks like Monsanto is part of Bayer now.
Standard practice in protobuf is to never assign semantic meaning to the default value. I think some linters enforce that enum 0 is named "unknown" which is actually more semantically correct than "other" or "unspecified".
Infinity and Eternity
This is why language syntax is so important.

Swift allows a ‘default’ enum case which is similar to other but you should use it with caution.

It’s better to not use it unless you’re 110% sure that there will not be additional enums added in the future.

Otherwise, in Swift when you add an additional enum case, the code where you use the enum will not work unless you handle each enum occurrence at it’s respective call site.
It should be supported by the above code
> Compare this to hallucinations in regular prose, where you need a critical eye, strong intuitions and well developed fact checking skills to avoid sharing information that’s incorrect and directly harmful to your reputation

Ah so you mean... actually doing work. Yeah writing code has the same difficulty, you know. It's not enough to merely get something to compile and run without errors.

> With code you get a powerful form of fact checking for free. Run the code, see if it works.

No, this would be coding by coincidence. Even the most atrociously bad prose writers don't exactly go around just saying random words from a dictionary or vaguely (mis)quoting Shakespeare hoping to be understood.
I stopped using Reddit when they blocked accessibility tools. Clearly they don't care about users.
> slew of strong non-reasoning models (Gemini 2.0 Flash, Grok 3, Sonnet 3.7)

Sonnet 3.7 is actually reasoning model.
TypeScript/ES6 is such a great language with a feature set far ahead of other languages in many ways. The lack of enums though is a sore spot. I really hope that proposal you mentioned can move forward.

Also you can improve your implementation with Object.freeze(Foo) and { one: Symbol("1") }
I’ve been programming by professionally for about ~5years and using git for version control that entire time.

When I deliberately spent time to learn the foundations of it, it blew my mind how incredibly sophisticated it is and how intuitive it becomes once you understand the core ideas behind it

Highly encourage reading through the official documentation and Julia Evans blog posts on git.
Rust already asserts that a match is exhaustive at compile time - if you don't include a branch for each option, it will fail to compile. This extends to integer range matching and string matching as well.

It's just that with #[non_exhaustive], you must specify a default branch (`_ => { .. }`), even if you've already explicitly matched on all the values. The idea being that you've written code which matches on all the values which exist right now, but the library author is free to add new variants without breaking your code - since it's now your responsibility as a user of the library to handle the default case.
If they offer an AI feature, it will probably rely on a third party model API, so they will need a license to forward your inputs to that third party for the purpose of implementing that feature.

The selling your data thing is disturbing but not necessarily related to this.
The Best Revenge Is None
Fully agree, I don't understand why airshows need to have this level of improvisation, or actually any improvisation at all.
Is the horse side not profitable enough on its own?
I assume they, like most orgs, make a planning based on some available budget. If the budget gets higher, they will expand. If it gets lower, they will reduce their expenses/spread. I also assume that the reduction of overhead in particular is gonna hurt such institutions _a lot_ because they have exactly planned based on that.

I cannot speak about Cornell specifically, I do not know if they have a bloated administration or superfluous expenses. But the truth is that admin stuff are necessary for supporting education and research. Having been in universities during admin reforms reducing admin stuff (claiming that they make "smart restructuring") it always negatively affects work done in the university in one way or another. Usually, it means that research staff will have to pick up some of the admin work themselves, or be offered less support doing it. As research staff are usually paid more than admin stuff, that is not necessarily effective (unless it is assumed that research stuff will be working overtime anyway). In any case, it does not seem like an efficient move most of the times, even if it seems so to the bureaucrats who make these plans.