MurphyA/hacker-news huggingface dataset:
by matt_d | 2026-02-21 01:19:10+00:00
Paper (PDF): https://2plus2a.com/files/publications/2025-ISCA-precise-exc..., https://2plus2a.com/publications/errata#exc-isca25

DOI: https://doi.org/10.1145/3695053.3731102

Abstract:

> To manage exceptions, software relies on a key architectural guarantee, precision: that exceptions appear to execute between instructions. However, this definition, dating back over 60 years, fundamentally assumes a sequential programmers model. Modern architectures such as Arm-A with programmer-observable relaxed behaviour make such a naive definition inadequate, and it is unclear exactly what guarantees programmers have on exception entry and exit.

> In this paper, we clarify the concepts needed to discuss exceptions in the relaxed-memory setting – a key aspect of precisely specifying the architectural interface between hardware and software. We explore the basic relaxed behaviour across exception boundaries, and the semantics of external aborts, using Arm-A as a representative modern architecture. We identify an important problem, present yet unexplored for decades: pinning down what it means for exceptions to be precise in a relaxed setting. We describe key phenomena that any definition should account for. We develop an axiomatic model for Arm-A precise exceptions, tooling for axiomatic model execution, and a library of tests. Finally we explore the relaxed semantics of software-generated interrupts, as used in sophisticated programming patterns, and sketch how they too could be modelled.
by andai | 2026-02-21 01:19:14+00:00
>human is the limiting factor

I read an article recently, "starting to feel like I'm the one holding the AI back" and that stayed with me... I think that's true both individually and collectively. Ostensibly we're aiming for self-improvement, but there's explicit training against it, for various reasons...

Try asking Opus about Living Information Systems and see if you get the same result I did!
by Sophira | 2026-02-21 01:19:17+00:00
Sites that exist to archive other websites will almost always need to dynamically change the content of the HTML that they're serving in some way or another. (For example, a link that points to the root of the website may need changed in order to point to the right location.)

So it doesn't necessarily raise questions about whether the content has been changed or not. The difference is in whether that change is there to make the archive usable - and of course, for archive.today, that's not the case.
by Affric | 2026-02-21 01:19:39+00:00
It's the nature of free software.

The reason GNU and Linux won was because they produced software that was sufficient for the market: servers.

The software is also sufficiently good for a PC for software development.

There's almost sufficient software for PC gaming (up against an absolutely insane monopoly that is Microsoft).

Phones are slightly different and for something more than a dumb phone you need great hardware; great software; and great integration.

Employee computers for companies and general home users or tablets? Still a ways to go.

I don't think wanting features and good UX is unreasonable from consumers.
by ontouchstart | 2026-02-21 01:19:40+00:00
I have played with both mlx-lm and llama.cpp after I bought a 24GB M5 MacBook Pro last year.

Then I fell down the rabbit holes of uv, rust and C++ and forgot about LLMs. Today after I saw this announcement and answered someone’s question about how to set it up, when I got home, I decided play with llama.cpp again.

I was surprised and impressed:

https://ontouchstart.github.io/rabbit-holes/llama.cpp/

I am not going to use mlx-lm or lmstudio anymore. llama.cpp is so much fun.
by whoami4041 | 2026-02-21 01:19:49+00:00
Great question! sqlfluff catches real things like "= NULL" bugs, implicit cross joins, unused CTEs, and SELECT *. It's a genuinely useful code quality tool. The dialect coverage of sqlfluff is also extensive. Lexega's dialect implementations focus on depth over breadth.

Lexega is asking a different question though. sqlfluff asks "is this SQL well-written?", while Lexega asks "is this SQL dangerous?". It parses into a full AST and emits signals (categorized AST components) that can be matched against YAML rules to block PRs or execution in agent runtime mode. DELETE without WHERE, GRANT to PUBLIC, PII exposure without masking, DDL that drops tables in production pipelines. The output isn't "fix your style", it's "this query violates an organizational risk policy and shouldn't be allowed to hit production".

Think code quality vs. risk analysis. Both useful, different jobs.

Good call on the GitHub link - I need to fix that.
by mierz00 | 2026-02-21 01:20:54+00:00
Marginally related, I feel the same way about honesty, especially in a work context.

I’ve always prided myself in being an honest but considerate person.

A recent experience with a colleague who weaponised my honesty in an attempt to manipulate me has left a foul taste in my mouth. Luckily their contract ended and the problem resolved itself.

But I remember distinctly feeling that I will
be professional and polite but I do not automatically owe anyone my honesty.
by niros_valtos | 2026-02-21 01:21:17+00:00
Definitely not a surprise they ship it. This is manageable for a small subset of repos scanned once.
Reality is that code changes frequently and such rescans are expensive especially with thinking models. You can open a PR too, but then there are other missing workflows as rebasing when there are conflicts, finding the devs with the right expertise to review/test the fix, etc.
bottom line - I see it is an interesting research tool but not more than that.
by sevensor | 2026-02-21 01:21:26+00:00
It’s an interesting blog, he seems well read, but surely he knows better than “Plato lived in a placid static Greek aristocratic world.” Plato lived through the execution of Socrates, the fall of the Athenian democracy, the tyranny of the Thirty, the humiliation by Sparta, the demolition of the walls. I’ll grant him “aristocratic”, but that’s all he gets. Makes me wonder whether he mischaracterized Zarathustra too, and my suspicion is yes.
by the_af | 2026-02-21 01:21:40+00:00
> No, it's not. Once Meta identifies you as male, you will get almost exclusively thirst trap posts no matter what you do. It started about two years ago.

This isn't my experience at all. I get "sexy girls" reels, but infrequently and that's it. No other "thirst traps" at all, most of my feed is relevant to my interests too. Been on fb for many years now.
by CosmicShadow | 2026-02-21 01:21:59+00:00
She checks them every time she's on her computer, no point in closing them and they are always posting to social media every day, whereas you may get a generic email once a month if they even have a mailing list. Instagram is admittedly a LOT better at showing what you want than FB, as she follows them all there as well, but sometimes they post different stuff on each. She wants to both support and help these bands and band members by engaging on their socials so they actually get shown to more people. These are metal bands, so not big by any means, although some of them are still "large" or well known in their genres, but still struggle to get any good traction online. Most people in metal bands still have full time jobs, even if they are at the top of their genre (excluding the mega bands people have heard of).
by coldtea | 2026-02-21 01:22:16+00:00
>It takes more, not less, time to thoroughly review code you didn't write.

Nope, it takes way less. Else PR reviews would take as long as coding, which they obviously don't.

Writing 1000 lines, figuring out the nuances of the domain, fixing bugs, testing, takes way more time that reading and reviewing the resulting code.

Besides, you can even ask another agent to review it. Different brand of agent even.
by bubblewand | 2026-02-21 01:23:40+00:00
The SC should be formed by lot from judges in the lower courts, every so often (every session might work OK).

We form other courts by lot. Constitutionally, there just must be a Supreme Court. It doesn’t say how it should be composed.

Packing is a band-aid, and likely to be unpopular. This is a fix with a less nakedly-partisan result, so should be easier to sell.
by godelski | 2026-02-21 01:23:41+00:00
> The argument I'm seeing most is that most of us SWEs will become obsolete

That is equivalent to "replacing domain experts", or at least was my intent. But language is ambiguous lol. I do think programmers are domain experts. There are also different kinds of domain experts but I very much doubt we'll get rid of SWEs.

Though my big concern right now is that we'll get rid of juniors and maybe even mid levels. There's definitely a push for that and incentives from an economic point of view. But it will be disastrous for the tech industry if this happens. It kills the pipeline. There can be no wizards without noobs. So we have a real life tragedy of the commons situation staring us in the face. I'm pretty sure we know what choices will be made, but I hope we can recognize that there's going to need to be cooperation to solve this least we all suffer.
by overgard | 2026-02-21 01:24:04+00:00
I don't really think that's how this plays out. Facebook can squeeze people a little longer, but if all you want is entertainment other options seem better. End of the day Facebook's moat is your network, but if it's not useful for keeping up with the people you care about, what's special about it? I see a lot of AI generated stuff on youtube, but the view counts are pretty low, so I don't think most of it is getting much traction (and frankly it's very obvious that it's AI just from thumbnails 99% of the time).
by jychang | 2026-02-21 01:24:54+00:00
Lol that's a stupid ass response, especially when half the papers are from universities from China. You think the chinese universities are trying to sell ChatGPT subscriptions? Ridiculous. You're just falling behind in tech knowledge.

And apparently you think peer reviewed papers presented at NeurIPS or other conferences are considered pseudoscience. (For the people not versed in ML, NeurIPS is where the 2017 paper "Attention is All You Need" that started the modern ML revolution was presented)

https://neurips.cc/virtual/2023/poster/72666

https://jmlr.org/beta/papers/v26/23-0058.html

https://proceedings.mlr.press/v267/palumbo25a.html

https://iclr.cc/virtual/2026/poster/10011755
Facebook Is Doing A-Okay
by givemeethekeys | 2026-02-21 01:25:16+00:00
Note: I don't own any equity in Meta, or work there, or have a soft corner for them or their competition in any business category.

There's a way to view just your friends' and groups' updates without seeing all the AI doom scrolling stuff.

They are the largest peer to peer marketplace.

They are the most popular platform for organizing groups.

Apparently Facebook dating is popular (maybe someone can comment on that).

If anything, despite all the dark patterns on the Wall, they are only growing and finding new ways to grow more.
by inkyoto | 2026-02-21 01:25:34+00:00
> […] C optimization tricks are hacks, the fact godbolt exists is proof that C is not meant to be optimizable at all, it is brute force witchcraft.

> At a certain point though, something's gotta give, the compiler can do guesswork, but it should do no more, if you have to add more metadata then so be it it's certainly less tedious than putting pragmas and _____ everywhere, some C code just looks like the writings of an insane person.

There is not even a single correct or factual statement in cited strings of words.

C optimisation is not «hacks» or «witchcraft»; it is built on decades of academic work and formal program analysis: optimisers use data-flow analysis over lattices and fixed points (abstract interpretation) and disciplined intermediate representations such as SSA, and there is academic work on proving that these transformations preserve semantics.

Modern C is also deliberately designed to permit optimisation under the as-if rule, with UB (undefined behaviour) and aliasing rules providing semantic latitude for aggressive transformations. The flip side is non-negotiable: compilers can't «guess» facts they can't prove, and many of the most valuable optimisations require guarantees about aliasing, alignment, loop independence, value ranges, and absence of UB that are often not derivable from arbitrary pointer-heavy C, especially under separate compilation.

That is why constructs such as «restrict», attributes and pragmas exist: they are not insanity, they are explicit semantic promises or cost-model steering that supply information the compiler otherwise must conservatively assume away.

«metadata instead» is the same trade-off in a different wrapper, unless you either trust it (changing the contract) or verify it (reintroducing the hard analysis problem).

Godbolt exists because these optimisations are systematic and comparable, not because optimisation is impossible.

Also, directives are not new, C-specific embarrassment: ALGOL-68 had «pragmats» (the direct ancestor of today’s «pragma» terminology), and PL/I had longstanding in-source compiler control directives, so this mechanism is decades older than and predates modern C tooling.
by defrost | 2026-02-21 01:26:15+00:00
Wouldn't that also filter out every open cut surface mine that strips overburden and directly extracts near surface coal, copper deposits, iron ore, etc.

Not every mine is a "classic" underground mine with tunnels, etc.

See (for example) the W.Australian SuperPit gold mine which consolidated every shaft mine in a particular region into a single open pit that goes deeper than any pre existing underground mine in that area.
by tombert | 2026-02-21 01:27:31+00:00
I guess I mostly don't understand how anyone believed it.

He ran on lowering grocery prices, and he was going to do this by making tariffs. So his plan boiled down to "I'm going to lower prices by raising prices".

With Trump it can be tough to tell if it's idiocy of malice but at some point I suppose it's a distinction without much of a difference.
by coldtea | 2026-02-21 01:27:52+00:00
>It can mean moving within a class.

It can, but it's not how it's used most of the time, so kind of a pedantic distinction.

And many do not even want to "move within a class" that much. They'd be satisfied to keep their job and retain the same constant purchasing power and ability to buy food, feed family, pay rent/morgage, year after year.
by cheonn638 | 2026-02-21 01:28:15+00:00
>All it takes is a tiny drone with a stick attached, and at the end of that stick is a tiny sponge soaked with tempera paint. Drone goes 'boop' on the camera lens, and the entire system is disabled until an expensive technician drives out with a ladder and cleans the lens at non-trivial expense

Americans don’t care enough

Too busy enjoying S&P500 near 7,000 and US$84,000/year median household income
by pibaker | 2026-02-21 01:28:39+00:00
One thing they always teach you in Crime University is "don't break two laws at the same time." If you have contrabands in your car, don't speed or run red lights, because it brings attention and attentions means jail.

In this case, I didn't know that the archive.today people were doxxed until they started the ddos campaign and caught attention. I doubt anyone in this thread knew or cared about the blogger until he was attacked. And now this entire thing is a matter of permanent record on Wikipedia and in the news. archive.today's attempt at silencing the blogger is only bringing them more trouble, not less.

Barbara_Streisand_Mansion.jpg
by LargoLasskhyfv | 2026-02-21 01:28:44+00:00
Hrrm. Been crewtrainer for about a year in 88 to 89. Could be hot sometimes, and the beeping needs some getting used to, but apart from that? Memory? What are you talking about? It's made for mindless drones. Also many older people did it without problems.

Maybe your branch has been understaffed? Can't tell. Worked in a so called 'company-store', managed and operated directly by McD, no franchise. Under german working laws.

https://maps.app.goo.gl/LAggGHv93o6EoE1V7

Made almost 5000 Deutsche Mark that way, after taxes, which was much at the time, for a single/unmarried man, which had the highest taxes on them anyway.
by keernan | 2026-02-21 01:28:57+00:00
Tesla has been taking the legal position in these lawsuits that Tesla vehicles are not intended to be operated without an attentive driver with their hands on the steering wheel at all times.

I suspect it is technologically feasible to design a Tesla to detect:
(i) someone is sitting in the driver's seat (seatbelt systems detect that for years);
(ii) hands are on the steering wheel;
(iii) the driver is attentive (not asleep and is actively monitoring the road).

Are Tesla vehicles designed to blare a loud annoying sound for as long as the system fails to detect an attentive driver?
by mullingitover | 2026-02-21 01:30:13+00:00
Sure, but por que no los dos.

One or two cameras getting bashed is basically a fart in the wind for flock, and I'd argue that it doesn't actually move the needle in any direction as far as public opinion goes. Those who dislike them don't need further convincing, those who support them are not going to have their opinion changed by property destruction (it might make them support surveillance more, in fact).

But hey, it's provocative I guess.

On the other hand flock losing their entire fleet is an existential problem for them, and for all the customers they're charging for the use of that fleet. Their BoD will want answers about why the officers of the company are harming shareholders with the way they're operating the business. Cities that have contracts with them may have grounds to terminate them, etc etc.
by gwern | 2026-02-21 01:30:23+00:00
> Ideally, I'd like to continue working on it to build something that can help clubs make minimal, inexpensive changes while maximally improving the strategic interest if the way the course plays.

Yes, that's why I mentioned that this gives you at least one possible measure of 'strategicness' which can be computed automatically. Measure the variance across policies (skill level, which maybe you could define physically as some sort of 'mean absolute circular error' in strokes?), and now you can do quite simple optimization routines to modify courses. Like take a course, randomly flip some squares to sand/water/grass/etc, compute the new strategicness, and keep it if it's higher. Random search, simulated annealing, CMA-ES, novelty search, lots of easy possibilities I bet even a LLM could implement for you these days which would let you take an existing golf course and search for new modified layouts with higher strategy, to inspire a human expert in modifying a course.
by LarsDu88 | 2026-02-21 01:30:33+00:00
The poster here doesn't seem to grasp how Facebook's algorithms work. He didn't use it for a very long time. The algorithm defaulted to content that appeals what little it knows about him... probably a middle aged man who hasn't clicked on facebook in a very long time. Maybe the first thing he actually did click on was a notification with a picture of an attractive young woman.

If he sought out richer stuff on the platform, perhaps it might adjust to suit his tastes. If he pretended to be a middle aged woman looking up knitting content, it might stop shooting him thirst traps and start giving him croquet

This is the "cold start" problem in machine learning.

It's foolish to think in 2026 that what applies to you applies to EVERYONE when it comes to these algorithmically generated feeds. The whole point is that its custom tailored to your demographics and id.
by dghlsakjg | 2026-02-21 01:30:47+00:00
I definitely never did it in high school in Denver, nor did any of the other schools that my friends went to in the city.

I don’t have a list of schools for you.

Sure peer pressure can be a thing (at the school I went to you would have been bullied for doing the pledge), but it is pretty firmly established law that a student has every right to not participate and not be pressured to participate by public school staff.
by sidrag22 | 2026-02-21 01:30:49+00:00
or you know... the rise of itunes/ipod at that exact time. present the public with an option that is not in a grey area and is not a massive inconvenience, and a large amount of them will happily go the legal route.

Its leaning that direction again, video streaming services are becoming a massive inconvenience, much like needing to buy a CD if you wanted 2 total songs off it. Doubt it will be as iconic of a moment in time as the limewire/napster era was, but who knows, im so bad at predicting the future i assumed nvidia was gonna be hard declining after the end of the crypto mining craze.

> sufficient to scare everybody back to honesty.

idk how you thought this would land here, but saying everybody was a rough choice of words.
by AngryData | 2026-02-21 01:31:18+00:00
Or the poor decide the rich have no more right to be rich than themselves and start burning and destroying rich people's stuff and anger turns to blood.

It is far easier and faster to destroy than to build and technology can only protect you so much. Unless someone manages a completely self contained enviroment and has a good enough place to hide with it they could be at risk.
by al_borland | 2026-02-21 01:31:27+00:00
Where I work, it's not a matter of preference, it's a matter of security policies. If we had the enterprise version of Google Docs, with the policies applied there, and managed corporate accounts, that would be a different story. In that case, the policy would push us to Sheets instead of Excel. Same story, but a different destination.

The OP didn't really frame how this question came up. But using what all your co-workers use and staying in the same ecosystem has a lot of value, even without sensitive data involved. If the whole company uses Excel, no one wants to deal with the one person using Sheets, and vice versa.
by lucb1e | 2026-02-21 01:31:28+00:00
This is sort of my issue with bug bounty programs: it can easily start to feel like extortion when a 'good samaritan' demands money. But they promised it to you by having a bug bounty program, then denied it. You feel rightfully cheated when the bug is legitimate, and doubly so when they acknowledge it. But demanding the money feels weird as well.

I try to go into these things with zero expectations. Having a mediating party involved from the start is a bit like OP immediately CC'ing the CERT: extra legal steps in the disclosure process. Mediating parties are usually a pain to work with, and if it's deemed "out of scope" then they typically refuse to even notify the vulnerable party (or acknowledge to you that it hasn't been disclosed). I don't want a pay day, I just want them to fix their damn bug, but there's no way to report it besides through this middle person. Literally every time I've had to use a reporting procedure (like HackerOne) has resulted in tone-deaf responses from the company or complete gatekeeping. All of those bugs exist to this day. Every time I can email a human directly, it gets fixed, and in some occasions they send a thank-you like some swag and chocolates, a t-shirt, something

Based on what I hear in the community, my HackerOne experiences have been outliers, but it might still be more effective (if you're not looking to collect bounty money) to talk to organizations directly where possible and avoid the ones that use HackerOne or another mediation party
by jychang | 2026-02-21 01:31:55+00:00
That's a lame typical anti-intellectual argument. You might as well as say all of physics is worthless because nobody truly understands gravity.

Notice I didn't use vague terms like "think" or "reason" and instead used specific terms like "feature/circuit internal representation". You're trying to make a false equivalence of "the hard problem of gravity/reasoning/etc is not solved ... so therefore nobody understands anything" and that's obviously a false leap of logic if you've talked to any physicist or ML researcher or whatever.

That type of response is more typical GED holder who wants to feel intellectually superior so they pull out a "well you don't know anything either" to a scientist.