skysight-inc/HackerNews huggingface dataset:
They are related and the reason is the last point of the OP article: Abstraction. Things can be "physically" deterministic, but can be abstracted as non-deterministic. This seems strange at first but it actually makes a lot of sense, as long as you're not modelling physics itself, it's irrelevant that there is a theory in which your non-model is deterministic. Machine learning algorithms like ChatGPT can be good examples, given the exact same input+random seed, of course, they'll return the same exact output, but the situation is so computationally complex that modeling that system as deterministic is less useful than modelling it as if it's non-deterministic. This is the same way your computer RAM is not "infinite"--it's like trillions of bits-- but in CS we model it as if it's infinite because the practical difference is not the focus of the discussion. If the discussion really was "can we fit a pigeon in every bit of my computer" or "can we manufacture every bit of this RAM in finite amount of time" then yes, it would be relevant to argue that RAM isn't actually infinite. But given that we're interested in models of computation that get exponentially larger and larger as memory grows, even 10 bits can be an intractibly large space (cf. Busy Beaver numbers) so you might as well solve the problem as if it's infinite.
The only reason why suburbia is possible is because it is _heavily_ subsidized.

If you had to pay the real bill for road maintenance alone suburbs would no longer be viable.

So the suburbs take from the commons and don't give back in your example.
> And I’ve heard just as many horror stories about companies hiring from small companies that the engineers haven’t kept up with engineering, culture and practices and are coding like it’s 2004.

Big cos can afford to onboard their engineers for months, sometimes years. Startups usually can not
Did you mean to reply to some other comment? Choosing who you do business with is not the same as deplatforming.
That's what I love about his writing. He hurts my mind in that delightful learning to think differently kinda way.
The glossary specifically calls out the UI as part of an app view. Can you explain why it is not according to you?
> But what could be the replacement? There's a handful of fairly mature microkernels out there

Redox[0] has advantage that no-one will want to rewrite it in Rust.

[0]: https://redox-os.org/
Indeed, there is the daily treasury statement as well https://fiscaldata.treasury.gov/datasets/daily-treasury-stat...
“Politics” has always been difficult to define for exclusion on HN but recent developments make a lot of US politics fair game, IMO.

DOGE, Musk, etc etc has a very strong tech angle. They’re all folks from tech startups entering the government and interacting with legacy codebases (I’ve already read interesting accounts of where COBOL might be tripping them up!) They have a stated intent of using AI to improve government efficiency.

Pretty much all of this is relevant for discussion here. I’m the opposite of you here, I’m very frustrated by how much “political” discussion is getting flagged. HN users have very relevant perspectives to stories that I don’t see reflected elsewhere, to hide them is a loss.
Nothing woke as far as i can see.

Sorry there was hostility when you were around. We try hard to keep hostility out and keep everyone civil now a days
Sorry. Didn't realize you meant Skylake-SP.

I am not sure what your point is? There are some nice dual socket Epyc examples floating around as well, that claim 6-8 tokens/s. (I think some of those are actually distilled versions with very small context sizes...I don't see any as thoroughly documented/benchmarked as the above). This is a dual socket Sapphire Rapids example with similar sized CPUs and a consumer graphics card that gives about 16 tokens/second. Sapphire Rapids CPU and MB are a bit more expensive, and a 4090 was $1500 until recently. So for a few thousand more you can double the speed. Also the prompt processing speed is waaaaay faster as well. (Something like 10x faster than the Epyc versions.)

In any case, these are all vastly cheaper approaches than trying to get enough H100s to fit the full R1 model in VRAM! A single H100 80 GB is more than $20k, and you would need many of them + server just to run R1.
Well if his opposition would listen to reason, maybe he would try reasoning with them. There comes a point where argument goes off the table.
Requiring people to "follow the rules" is malicious? Why did we even make the rules in the first place? What is this mythical idea that a government without red tape will automatically be operating in your interest?

This is a Capraesque idea of Washington D.C..
Proposal: Add "No Screen Sharing" Flag for Secure Messaging Apps
End-to-end encryption is pointless if you can be tricked into screen sharing. I’d like to see OS-level APIs let app developers set a "no screen sharing" flag that automatically blanks/obscures the app's contents during screen capture or remote control. This would be per-app and cannot be disabled by users—so secure messaging apps (e.g., Signal) could opt in, preventing accidental leaks via screen sharing.

Questions for HN:

- What problems do you see with the approach?
- Any better approaches?
Similar experience; broken software.
It's not a solved problem. There are maybe two libraries out there that are customizable, performant, and don't break things like keyboard navigation and accessibility
> If all you do is construct an AST and interpret it it's not really a compiler is it.

What if I dumped the AST to disk, called it "bytecode" and updated the "interpreter" to run this "bytecode"? Would you consider that to be a compiler? :-)

> where X includes

I don't consider any of these things to be essential. There are entire languages out there which run on interpreters of some kind. There are others which compile down to C/JS. Many compilers use LLVM as their backend. By your definition, none of them use (or are) compilers.
Yesterday, Trump announced he was killing congestion pricing in New York City. A program set up by the state of New York, to help fund infrastructure in New York.

Seems like an issue that should be left to the state, and yet here they are asserting federal authority over it.
This is the absolute top of the top, domestic tech in Mexico pays pretty poorly. Google (as of last year) also let people transfer from high COL to lower COL, reduce their base, but keep the original RSU contract, which will probably skew reported compensation.
I'd say it's probably option 1.
How many are just going to say, ok, do your thing, we already got it started.
this is a huge win for accessability.

i've re-implemented select in worse and less-accessible ways many times to satisfy some business demand. i'm very excited if this means i don't have to keep doing that.
Same but 7+, it’s great. Battery got replaced every 42 months at 80%, and the only inconvenience for me with it is it doesn’t support iOS16/17+ apps and features like Grok, Tesla’s auto trunk open, and Garmin’s fitness app. I’m curious what shortcut/automations do you use? And I’m wondering in general how X’s Grok feature is any different functionally from their standalone iOS17+ app.
Thought this would be "The Effects of Nuclear Weapons" by Samuel Glasstone, 1964, a full 768-pg textbook on the topic, available here:

https://babel.hathitrust.org/cgi/pt?id=uc1.31822013222641&se...
Even as a full-blown Julia hater, it exists at a really nice level of abstraction for working in differential equations and Chris Rackaukas has written some fantastic software in that area. It can be a great tool for some domains (ODEs, statistical modeling/visualization) and I can see why Pumas uses the language.

I don’t think that Julia is a great tool to replace the complicated physics simulation code that would have traditionally been written in C++/Fortran, I think for that you’ll generally be better off using JAX/Rust/C++.
In the Appointments Clause case challenging Musk’s role, the Administration has said Musk is officially an non-decision-making adviser (not a temporary one, just a generic White House staffer not requiring confirmation), and completely unconnected from US DOGE Service.

Oddly, they failed at the time, on direct questioning by the judge, to identify who the Administrator of US DOGE Service currently is.
Because web components themselves break even in the expected situations? And need 20+ new spec to make them work? And because they are neither low level enough nor high level enough to be useful for the use case you described?
Between 2 and 5 percent of people are autistic.
Chicken nuggets are primarily chicken muscle tissue, end of story.

Yes they can include mechanically separated chicken, which is basically a fancy name for saying they scraped all the meat off the bones. But that isn't "mostly skin and cartilage", it's meat. There may be trace amounts of cartilage and small amounts of skin in it, but they are nowhere near the main components.

If you're still not sure, just look at the protein content of chicken nuggets. The quantity of protein can only come from actual chicken muscle. Skin has little protein and cartilage has virtually none.

There are a lot of urban legends out there about what chicken nuggets are made of. But they're precisely that -- urban legends. They're false.
It’s a super hard problem.

So much so that it’s looking like maybe federation is not the best model. Your server ends up hosting any room and potentially any media that any of your users gets into. So naturally server admins must take an interest us in what their users are doing. This is in conflict with the top level goals of freedom and privacy.

Maybe the simpler client-server model of the web is better after all. Then if some user on my server is also into some super weird stuff, I don’t have to know. Because they connect to the weird server directly from their client, not through me.
IF they wanted to spend $4 for food to Africa, they can voluntarily do that. The unique feature of government is that you can compel someone else to do it that doesn't agree.
The problem is that aren’t paying “half of it in taxes”, not even close.
Granted there are economic efficiencies. But I'm not convinced the fully expanded multipliers from one Super SF with 4X the density - turning it into somewhere like Manila - would be better across all metrics (economic and human) than fostering four easily interconnected mini-SFs.
A lot of people who have keys to the kingdom may not really care about it. But it would be a mistake to think that there aren't any white nationalist ideologues within rank and file. At the very least, they are enabled and empowered.
> I'm pro-choice, and one way I think about it is that I want to reduce suffering of children.

Im sorry to say but this sounds like Orwellian doublethink.

> By week 6 the mother feels there is no future in the relationship and feels she can't offer the coming child a good childhood on her own.

Are you saying that a woman probably cannot reasonably provide a good life for a child without a man? I mean, even if she can't then this is an extremely tenuous link. I didn't have a good childhood at all and the scenario I was in personally was actually worse than you described but I turned out to be very happy. Even if I wasn't happy it would be worth living. There are also many people in truly horrific situations in the world - in every country.

In good faith and with much respect I am asking you: do you think that the chronically unhappy people of this world should have been aborted before they experienced this world and without their consent or knowledge? Obviously hard to put a number on it but with the kind of scenario you describe, maybe 20-25% of living adult people have been through?
Of course it's relevant, by definition of "temperament". The question is how much of our (very complex) behavior is biologically based and independent of learning.

For a cat, it probably plays a significant role. Cat behaviors are complex but still much more simpler than humans. And changes are rare. Although I've heard of a "lazy" apathetic cat moving into a house with giant outdoor catio and becoming drastically more active, almost like a different kitty.

I'm not sure about humans - how much of our behavior is a true temperament and how much isn't despite tending to not change throughout one's life. I've seen introverts becoming eager activists after they went through some bad things, like war and prison. I've seen people who were jumpy and always nervous becoming relaxed after many years in safety.
I love how for decades we've all laughed when Captain Kirk talked an AI into self destructing or otherwise backtrack on it's programming. We all said, "lol it doesn't work like that!" Turns out it does.
Yes, the code is at https://github.com/tiltowait/botch

I'm planning on asking on the Astral Discord server once I have some time to set aside to it.

By "without it being a package", I mean that I don't have `src/foo`, which has `src/foo/__main__.py`, but e.g. `src/main.py`.
I actually think sadly it can replace "just software engineers" at least in the short and medium term. Not because it can't do other careers (if employed effectively) but because that's what they are actively targeting and they have the domain knowledge in it, and it being a public open profession amenable to RL. There's millions of code pieces online, lots of public job briefs and success criteria defined in it, etc etc. They will throw every research and ML trick at it just to displace SWE's because that's what they really really want to do. IMO this is particularly true for OpenAI. Other jobs, once seeing the bargaining power of SWE's fall and be destroyed, will resist integration of AI from the big corps and see a much slower disruption - this is the most rational thing to do to preserve your enterprise. Especially given most intellectual economic jobs are at best oligopolies at the large end.

OpenAI just released their "Lancer" benchmark which basically shows their intent - replace the economic value of software development from coding to engineering manager tasks. Nothing is safe pretty much - I don't recommend people enter the industry anymore; its just anxiety you don't need (i.e. companies together collectively worth in the trillions are trying to destroy your economic value).

Not that it will take "good high economic mobility jobs"; my disappointment is more that this effort for society is better spent in many other domains (medicine, building, robotics) which at least have some benefit from the disruption but no - its all about SWE's. Must be what their VC's want from them and/or keeps the fear/hype train going most effectively.
GPT-5 Could Be Coming as Soon as May
For that matter, isn't English?

It's an official language in many countries, such as South Africa, India, and Ireland, each of which has other official languages.
Network states per Yarvin. Each ruled by a corporation with CEO. With a caste system for cheap labor vs "citizens"
Am I expected to remain “intellectually curious” about what is clearly an existential threat?
Tesla – Musk did not found Tesla. It was started by Martin Eberhard and Marc Tarpenning in 2003. Musk joined as an investor in 2004 and later took over as CEO. Tesla’s engineering and production achievements are the result of work by thousands of engineers and employees. Bought, not built.

Starlink is a project within SpaceX, which Musk co-founded, but the development of its satellite internet network has been carried out by SpaceX engineers and scientists. The technology and execution come from a large team.

Reusable Rockets – The success of Falcon 9 and Falcon Heavy reusability was achieved through the efforts of SpaceX’s engineers, especially Tom Mueller, who led the development of the Merlin engines.
Wow, for the 16e right? I missed that in the launch presentation. I’m hoping the 17 has 12+ GB RAM. Then I’ll upgrade from the 7+’s 3GB model
If you're a Chromium contributor or otherwise involved, I'd be happy to chat further about this and work up a submission to demonstrate the issue with a minimal repro. But if not, I don't think they need you to stick up for them.

It's clear from the threads I did post that lots of devs are frustrated with Chrome's behaviour and the team's lack of attention to not just fixing bad behaviour, but complying with the HTML spec. Without even focusing on the type=number problem, I have spent enough time fighting other behaviour which is only an issue in Chrome.

> you only vaguely remember a bug

Thanks to that ad-hom I am now irritated, and I went back to our internal Slack to find the screenshot of the type=number bug. Sharing a screenshot here would have no real value to this discussion, but it's real.
Yeah, they all are (immensely rich (for now)) useful idiots.

Their greed is being leveraged to have them dismantle their own nation -- no need for military action.

What happens afterward might surprise these rich plutocrats, but I personally won't be surprised by it.
One place I worked, customers (usually merchants) sent product data through an API my team managed. I was working on a data validation project and ran across an item that was getting rejected. One of the fields customers can set is tags. The item was a t-shirt with a joke about null pointer exceptions, so someone set tags to include ["null", "pointer", "exception"]. Our parser coerced it to null, then returned an error because that array can't contain nulls.
Hey Robin!

Element Web is I believe what I’ve used in the past and didn’t enjoy. I like the UI of Slack but not the UI of Discord.

I’ll give it another look. I asked on Mastodon for any native apps for desktop people are aware of. I’ll see if that yields anything.
"broken" you say? I'm curious what Brave would consider to be broken. "Gee, we found one of your tests is _incorrect_, and we think this is the right way to do it"
I think in 2025 we can do a bit better than "I scared the LLM into compliance": https://xcancel.com/colin_fraser/status/1892683791514194378
There are two main kinds of nondeterminism.

1. One single future is chosen at every turn and we go down that rabbit hole and never turn back. The author's determinisms all land into here.

2. Explicitly modeled nondeterminism, whereby we execute all the future possibilities (e.g. nondeterministic finite automaton NFA, Mac Carthy's "amb" operator.)

I can't give you a star sticker if you don't mention these, sorry.
I'm sorry for the chaos you're going through in America, but as a Canadian, every day of internal chaos is one fewer day I have to worry about your soldiers killing my children.
the problem is that Rust sucks the air out of the programming ecosystem because its proponents throw down the safety hammer, and research on other safe alternatives is slow. we do have an alternative low level memory safe language (Ada) but for whatever reason that's a nonstarter... there's no compelling reason that rust has to be the only way to achieve memory safety (much less in the OS domain where for example you don't have malloc/free so rust's default heap allocation can't be trivially used).

it might do to wait until some other memory safe alternative appears.
Related:

https://en.wikipedia.org/wiki/Starve_the_beast
Not saying those don't exist but China also has like 50 tier-3 cities significantly larger than SF. And for the most part, really great transit between them.
libjpegturbo uses this one for its fast variant of the DCT.

https://github.com/libjpeg-turbo/libjpeg-turbo/blob/36ac5b84...
Yep—and it's enjoyable even when you disagree.
You are the one who is failing to explain. Better to work on explaining your arguments and comprehending better.
I think the claim of being autistic is lionized but actually having detrimental symptoms of autism is still very stigmatized.
Yes, I would drop the “in excruciating detail” and “everything”. The level of detail the interviewee starts at or goes down to by default is also informative.
But that's Google, they'd be hiring the top engineers there. What's the average for an average engineer, half that?
Asked it about the Tiananmen Square massacre. It’s not seeking bad enough.
FWIW, I'm British. I won't disagree that there was a certain cringe to Bond, and the older films have aged quite poorly. But there's nostalgia there still, and it's also worth remembering that in many ways Bond defined the image of worldly/sexy. Bond's cultural impact on Men's fashion for example is huge. The films were influential at the time, even if in hindsight they're a bit simplistic or fantastical and more than a bit misogynistic.

I think the films are also worth more than the sum of their parts. Each one is typically an above average blockbuster style action film, but nothing particularly special. Taken together however, they are worth a lot more because of that continuing thread that has been done so well, and it's that which leads to the cultural significance.

The franchise certainly needs updating, but I think it has evolved over time and can likely continue to do so with that strong creative backing. It depends much less on sex now than it did even 20 years ago, they moved past the gadgets (as "gadgets" became less of a thing, it's hard to have a clever gadget when we all have smartphones in our pockets).
I'm just glad I don't have to support IE6 anymore.
> We've had test code that goes from taking 10 minutes to run to over 2 hours because of type instability in a single line of code.

For those who might not be familiar, tooling can sometimes help a lot here. The ProfileView.jl package (or just calling the @profview macro in VSCode) will show an interactive flamegraph. Type instabilities are highlighted in red and memory allocations are highlighted in yellow. This will help to identify the exact line where the type instability or allocation occurs. Also, to prevent regressions, I really like using the JET.jl static analysis package in my unit tests.
Discussion on source (a tweet) OpenAI Roadmap Update for GPT-4.5 and GPT-5 (58 points, 8 days ago, 13 comments) https://news.ycombinator.com/item?id=43028738

Article title: Microsoft prepares for OpenAI’s GPT-5 model
that's a very charitable interpretation of all this.

more realistically, it's "if i wanted america to fail, i would..."
It does not at all compare. The whole Coral/edge TPU project was the idea of a guy at Google (https://www.linkedin.com/in/billy-rutledge-1b750a4/) who never did anything interesting with it except a series of press releases and various hardware drops and demos). It has nothing to do with google's real TPUs. I still don't understand why this project has been allowed to live while talented engineers and projects were cancelled.
This, they don't care about normal citizens, they just need to purge democrat military personnel
Right, and that level of process allows a certain amount of capture and exploitation. E.g. companies will game the tax code in the confidence that they'll get plenty of warning before any loopholes are closed. It's hard to imagine the 2017 change to how corporate repatriated income is taxed happening under any other president, and that rule change not only collected a bunch of revenue from companies that had been engaging in tax avoidance schemes, but also burned them enough to deter that kind of gamesmanship, at least for a couple of years.
Average software dev salaries in major Mexican metros are around 30,000 to 45,000 MXN per month. So around $2,000 USD a month.
Yeah! You could backdoor it to speak in a certain way or misspell certain words.
That tendency began after Gamergate made aggregate vitriol an acceptable persuasion technique and has been accelerating since, in parallel to the predictable decline of open source contributions as the first generation of mobile-first desktop-never people that don’t understand file folder storage hierarchies. When there’s no one left who wants to contribute code, there’s no point in investing further in community-accessible ticketing systems, and the vitriol outweighs diffs by a factor of ten thousand to one or more.