MurphyA/hacker-news huggingface dataset:
by coldpie | 2026-03-12 18:31:28+00:00
I hate WFH, personally. My company is actually closing the office I work out of due to lack of use, so I'm in the opposite scenario from "forced-RTO", I'm being moved to "forced-WFH." It's the right call objectively, the office is genuinely very empty, but I'm a bit annoyed about it. I'm actually going to be paying to rent a desk out of a coworking facility so I don't have to WFH. If this situation sucks, there's a real chance I'll be changing jobs later this year because of this.
by K0balt | 2026-03-12 18:31:31+00:00
I live in a developing country. What I find is that the corruption is generally easier to navigate here that it was in the USA. The corruption in the USA is much more entrenched, in the form of regulatory capture. At the local level this can look like a local ordinance where “only a contractor with xy and z (only one of which is needed for the job) can bid, favoring a specific contractor. Here you just figure out compliance with the person in charge.
by ProllyInfamous | 2026-03-12 18:31:44+00:00
>much harder time getting a vehicle in the first place.

This is a good thing; add "houses" to the list, too. Credit is too freely issued — we live on debt (as a society/world).

I've seen people throw their $20k in negative equity into a new purchase/lease — and just been baffled.

--but I agree: lenders oughta'be able to retrieve their lien'ed properties.
by owlcompliance | 2026-03-12 18:32:12+00:00
I think you're right. Regarding my view on US vs. Eastern Europe, I think you're also right and your words changed my perspective. I think I was being inconsiderate in my assessment in that just because cultures are different, doesn't mean this person in that given country will actually help you more than that other person.

As you said, I'm literally experiencing "nice" people that are talking behind my back right now, so yeah, that definitely says something, as well.

Thank you for your thoughtful and edifying perspective. I really appreciate your words man. Feeling a lot better today, but still going through a lot of other things; it's a lonely road, but this is life. Other people are going through worse things. People like you and others in this comments section are a breath of fresh air to me, in my real, non-digital life.
by mlyle | 2026-03-12 18:32:15+00:00
> Cost of enforcement matters. The exact same nominal law that is very costly to enforce has completely different costs and benefits then that same law becoming all but free to rigidly enforce.

Hey, I really like this framing. This is a topic that I've thought about from a different perspective.

We have all kinds of 18th and 19th century legal precedents about search, subpoenas, plain sight, surveillance in public spaces, etc... that really took for granted that police effort was limited and that enforcement would be imperfect.

But they break down when you read all the license plates, or you can subpoena anyone's email, or... whatever.

Making the laws rigid and having perfect enforcement has a cost-- but just the baseline cost to privacy and the squashing of innocent transgression is a cost.

(A counterpoint: a lot of selective law enforcement came down to whether you were unpopular or unprivileged in some way... cheaper and automated enforcement may take some of these effects away and make things more fair. Discretion in enforcement can lead to both more and less just outcomes).
by AnthonyMouse | 2026-03-12 18:32:21+00:00
It's not a coincidence because they adopted their initial constitutions at around the same time or based them on the existing states that had. But we're talking about the electoral college and none of the states use something equivalent to that to choose their governor.

Using score voting instead of FPTP for state-level offices would be a straightforward legislative change in many states and still not require any change to the US Constitution even in the states where it would require a change to the state constitution, which is generally a much lower bar to overcome than a federal constitutional amendment.
by lizknope | 2026-03-12 18:32:30+00:00
Yeah, I have been doing online banking since around 1998.

I have refused to install the bank app on my phone because I see no point in it and just downsides in case I get mugged (bad experience in my teenage years)

The 1 check I get a year takes about a minute to deposit at the ATM on my way to work.
by Larrikin | 2026-03-12 18:32:52+00:00
Anything can return anything and you only realize it at runtime is a massive headache. When you can't keep the entire code base in your head it becomes a liability.

I never used Ruby, but Python code bases love mixing in strings that are actually enums and overloading functions that accept all kinds of types. You just had to hope that the documentation was correct to avoid a crash.

Java 1.7 to Python feels very freeing from all the boilerplate. Kotlin, or any other modern language with a well designed standard library, to Python just feels like a bunch of extra mental work and test to write to just avoid brackets.
by eterps | 2026-03-12 18:33:02+00:00
> I could see a world in which we're all just writing tests in the form of something like Gherkin though.

That works great in practice, Gherkin even has a markdown dialect [1].

If you combine it with a tool like aico [2] you can have a really effective development workflow.

[1] https://github.com/cucumber/gherkin/blob/main/MARKDOWN_WITH_...

[2] https://github.com/jurriaan/aico
by bwestergard | 2026-03-12 18:33:04+00:00
Quantitative measures of this are very poor, and even those are mixed.

My subjective assessment is that agents like Copilot got better because of better harnesses and fine tuning of models to use those harnesses. But they are not improving in the direction of labor substitution, but rather in the direction of significant, but not earth-shaking, complementarity. That complementarity is stronger for more experienced developers.
by c5huracan | 2026-03-12 18:33:20+00:00
The trust scoring layer is the interesting part here. The agent ecosystem has a discovery problem and a trust problem, and most tools today only tackle discovery. Being able to evaluate reliability before you connect changes the calculus.

Curious how the trust score works in practice. Is it purely automated test results, or do you plan to incorporate usage signals over time (uptime, response quality)?
Show HN: Aurion OS – A 32-bit GUI operating system written from scratch in C
by Luka12-dev | 2026-03-12 18:33:30+00:00
Hi HN! I'm 13 and I built Aurion OS
as a solo learning project over 14 days
(~12 hours/day).

It's a 32-bit x86 operating system
written entirely in C and x86 Assembly
with no external libraries.

What it has:
Custom bootloader and kernel
VESA framebuffer graphics (1920x1080,
double-buffered)
Window manager with draggable,
overlapping windows
macOS-inspired dock with transparency
PS/2 keyboard and mouse drivers
ATA hard drive driver with filesystem
PCI bus enumeration
RTL8139 network driver (WIP)
Real-time clock
Runs on just 16MB RAM (up to 10
windows simultaneously)

Built-in apps: Terminal (with DOS mode),
Notepad (save/load), Calculator, Paint
(multiple colors and brush sizes),
Snake game, Settings (theme switching),
and System Info.

Currently works best on QEMU, VirtualBox,
and VMware. Real hardware support is
still a work in progress.

Next goal: TCP/IP networking stack.

I'd love any feedback, suggestions,
or criticism. This is my first OS
project and I learned mass amounts
while building it. Happy to answer
any technical questions!
by yutyut | 2026-03-12 18:33:37+00:00
> Helicopter gunships shoot down drones with bullets these days is very common and there are other economic means of bringing them down.

> Everyone seems to be an expert today.

Pot meet kettle?

Speaking as a former helicopter gunship weapons and tactics instructor (WTI), this is a VERY broad generalization. Sure, a gunship can shoot down a drone with 20mm or 30mm but you have to get pretty close. And first you have to find it.

Other factors
1. target altitude
2. air superiority (MANPADS is a real threat over land)
3. marksmanship

It might be more effective to throw AIM-9s on helos and target drones that way...but depending on the generation of missile those run ~$300k each and the inventory is limited.

I have heard the Ukrainians are using APKWS (https://en.wikipedia.org/wiki/Advanced_Precision_Kill_Weapon...) against drone to good effect from ground and air platforms.
by xorcist | 2026-03-12 18:33:47+00:00
Deciphering ramifications from a log message alone is a pretty unusual way to approach a problem. You still have your 1990s Nagios-style application monitoring, right? So when you wake up to a message that the web monitor says it's not possible to add items to the shopping basket right now, the database monitor signals an unusually long response time, the application metrics tells you number of buys is at a fraction of what is normal for this time of day, then that WARN log message from the application telling you about a foreign index constraint is violated is pretty informative!
by Robdel12 | 2026-03-12 18:33:49+00:00
Oh that made it seem like I was the driving factor. Maybe for the first one (Percy.io) I can claim a large part of that success (owning the SDKs and support end to end).

The other I just owned the front end infra and was on the growth team. The rest of the folks were the stars on that one.

Edit: I guess I brought that up because I guess I don't know any more "real work" that that, ha. What is 'real work'?
by wvenable | 2026-03-12 18:34:00+00:00
> Believing that, say, the use of AI will primarily enrich billionaires that are already doing societal harm is not clouding one's view of AI. It is one's view of AI.

That's fine. Nobody is forcing you to use AI. I dislike it when people force their ideas onto others.

> My goal getting on the Internet is to connect with other actual people and their creativity.

It's too bad your goal doesn't include interacting with people who don't speak your language and use AI to translate for them. Or people who struggle with writing in general. I don't think it's as black and white as you make it out to be.
by ljm | 2026-03-12 18:35:01+00:00
I would argue that it actually reduced the literacy level required to understand the message by using simpler terms.

> formulate my thoughts like I intend them to be received by the reader

> conveys my thoughts the way I want them to be understood by the reader

there is a way the parent poster constructs their sentences that may sound a little clumsy in a literary sense, but is actually dumbed down
by mrguyorama | 2026-03-12 18:35:17+00:00
Cheap and efficient solar power didn't seem to require any actual breakthroughs or real investment. Maybe better power electronics for inverters and things? Batteries are a real issue but storage could have been totally ignored for a while.

So, maybe when Carter put those (thermal) solar collectors on the White House we should have thrown a hundred billion dollars at solar panel work and had abundant solar power decades ago.

But no, Carter was "weak" so we had to instead elect the guy who ignored AIDS because he hated gay people, pushed absurd drug policy, put us in bed with the middle east, and started the process of removing taxes from any rich person and racking up national debt for stupid reasons.

Why was Carter "weak"? Well you see, Iran was a huge Bad Guy that we needed to stop!

Oh.
by schoen | 2026-03-12 18:35:33+00:00
There was this scholarly article from Pamela Samuelson and Suzanne Scotchmer

https://yalelawjournal.org/pdf/200_ay258cck.pdf

which, as I recall it, suggested that the copyright law effectively considered that it was good that there was a way around copyright (with reverse engineering and clean-room implementation), and also good that the way around copyright required some investment in its own right, rather than being free, easy, and automatic.

I think Samuelson and Scotchmer thought that, as you say, costs matter, and that the legal system was recognizing this, but in a kind of indirect way, not overtly.
by kemayo | 2026-03-12 18:35:54+00:00
It's a mismatch with our intuition about how much effort things take.

If there's humans involved, "I took this data and made a really fancy interactive chart" means that you put a lot more work into it, and you can probably somewhat assume that this means some more effort was also put into the accuracy of the data.

But with the LLM it's not really very much more work to get the fancy chart. So the thing that was a signifier of effort is now misleading us into trusting data that got no extra effort.

(Humans have been exploiting this tendency to trust fancy graphics forever, of course.)
by tialaramex | 2026-03-12 18:36:18+00:00
Well, C++ does not have any promises about how Pointer Provenance works, so AFAIK the answer is "mu" meaning that's a bad question, don't ask that.

But the likely destiny of C++ is to inherit the provenance rules that are an adjunct to C23, PNVI-ae-udi, Provenance Not Via Integers, Addresses Exposed, User Disambiguates

As that name suggests, in this model provenance is not transmitted via integers. Every 123456 is always just the integer 123456 and there aren't magic 123456 values which are different and transmit some form of provenance from a pointer to some value which happened perhaps to be stored at address 123456 in memory.

However, PNVI-ae-udi has Exposure, which means if we exposed the pointer in an approved way then the associated provenance is somehow magically "out there" in the ether, as a result if we have exposed this pointer then just having that integer 123456 works fine because we combined that integer 123456 with that provenance from the ether and make a working pointer. User disambiguation means that the compiler has to give you "benefit of the doubt" e.g. if you could mean to make a pointer to that Doodad which no longer exists as of a minute ago or to this other Doodad which does exist, well, benefit of the doubt means it was the latter and so your pointer is valid even though the addresses of both Doodads were the same.
by aap_ | 2026-03-12 18:38:13+00:00
If you only care about rotations in 3d, quaternions do everything you need :) with all the added benefits of having a division algebra to play with (after all the cross product is a division-algebraic operation). PGA is absolutely great, but quite a bit more complex mathematically, and its spinors are not as obvious as quaternionic ones. in addition GA is commonly taught in a very vector-brained way, but i find spinors much easier to deal with.
by happytoexplain | 2026-03-12 18:38:31+00:00
I think this mostly is talking past what I said. Not that your points are not legitimate - just not in the context of what I'm saying. I agree with 90% of your comment.

I can at least clarify one thing:

Yes, "reverse racism" doesn't exist, which is why I put it in quotes. I'm using it as a colloquial shorthand for "racism against traditionally privileged races", i.e. white people.
by sva_ | 2026-03-12 18:39:25+00:00
They changed the quota yesterday so it immediately takes a week to refresh instead of 5h

https://nitter.net/antigravity/status/2031835833716625883#m

> Google AI Pro is the home for the practical builder, hobbyists, students, and developers who live in the IDE and don't necessarily rely on an agent. This plan features generous limits for Gemini Flash, with a baseline quota included to "taste test" our most advanced premium models.

In the followup post they link to

https://antigravity.google/docs/plans

Which claims

> Users on Google AI Pro receive:
> High, generous quota, refreshed every five hours until weekly limit reached
> Higher weekly rate limit

Which is clearly false now. It seems like deceptive marketing to me, that they just arbitrarily change the quota by that much. If I had the year plan, I'd feel pretty scammed.

I don't know why there aren't more people on here talking about it.
by toomuchtodo | 2026-03-12 18:39:26+00:00
Jack Dorsey’s 4,000 Job Cuts at Block Arouse Suspicions of AI-Washing - https://www.bloomberg.com/news/articles/2026-03-01/jack-dors... | https://archive.today/QhUJT - March 1st, 2026

Sam Altman Says Companies Are ‘AI Washing’ Layoffs - https://gizmodo.com/sam-altman-says-companies-are-ai-washing... - February 21st, 2026

HN Search: AI Washing - https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
by RealityVoid | 2026-03-12 18:39:38+00:00
Not sure if they do for _this_ package, but the Wolf* people's model is usually selling certification packages so you can put their things in stuff that need certifications and you offload liability. You also get people that wrote it and that you can pay for support. I kind of like them, had a short project where I had to call on them for getting their WolfSSL to work with a ATECC508 device and it was pretty good support from them.
by phil21 | 2026-03-12 18:40:48+00:00
Share of the total grid is meaningless comparing solar to nuclear. It’s the wrong metric to optimize for - the metric that actually matters and is the expensive one is reliability.

What matters is “share of the grid when solar literally cannot provide the power at any price”.

In a well designed and functional grid share of nuclear power should be close to 100% of the latter and the lowest percentage of the former you can get away with.

It’s better to think of nuclear as energy storage with a really really long lasting battery that costs the same to run it 24/7 or 1 hour a month.

Ideally it would be replacing close to all baseload/reliable power on the grid outside of hydro - with hydro being your peakers instead of natural gas for topologies amenable to it. The power share graph should look like nuclear at close to 100% at night less wind and battery storage that backs wind unreliability - and that graph remaining flat throughout the peak daytime hours with other energy sources kicking in such as solar, hydro, duck curve sized battery arrays, etc.
by WorldMaker | 2026-03-12 18:40:50+00:00
Which is the exact problem any other IPv4 "extended" proposal would have hit. But the practical reality if the port number really was the only freely available bits in the IPv4 header to reasonably extend into. Almost everything else had ossified middleboxes doing something dumb with it. (And we've seen from NAT/hole-punching/etc how even port numbers had a lot of assumptions to overcome from middle boxes and we aren't using a full /16 there either. A lot of the safest traffic has to be > 10,000, a constraint on 14 of those 16 bits.)

There was never 64-78 bits in the IPv4 header unconstrained enough to extend IPv4 in place even if you accepted the CGNAT-like compromise of routing through IPv4 "super-routers" on the way to 128-bit addresses. Extending address size was always going to need a version change.
by lallysingh | 2026-03-12 18:41:01+00:00
Yeah, I mean I'm looking at frameworks/thinkpads on one side and chromebooks on the other.
Not charging up to $440 (!) for a keyboard isn't a great act of engineering or generosity. This has been ridiculous for a very, very long time. Being less ridiculous isn't worth celebrating. The goal markers have moved so damned much.

Compare to a thinkpad keyboard FRU. They have fluid drains and still cost $99 for a top-end laptop. My daughter's chromebook keyboard replacement at school was $16.
by ruffsl | 2026-03-12 18:41:43+00:00
In using your server as a proxy cache, do you just include the server as a nix cache substitutor, or simply use a MITM approach using something like squid proxy?

If the former, via substitutor (or if also using a remote builder), how do you manage when moving portable clients outside your LAN? E.g. traveling with your laptop? Do you tunnel back home, have a toggle to change substitutor priorities?

I find it the default timeout for unresponsive substituters excessively long, as well as the repeated retries for each requested derivation annoying, rather than it recalling and skipping unresponsive substituters for subsequent derivations in the same nix switch/build invocation.
by tekne | 2026-03-12 18:41:47+00:00
E(accident due to going faster) vs E(worse outcome due to waiting)

Your argument only makes sense if the only possible bad thing is a car accident -- to make my point clearer, would you take a 1% chance of losing 100$ to avoid a 50% chance of losing 10$?

Depends how much money you have, but it can be a perfectly rational decision.
by the_af | 2026-03-12 18:42:29+00:00
> A UN report in the mid-1990s claimed US sanctions had killed 500,000 Iraqi children. Then UN ambassador and later Secretary of State Madeline Albright responded by saying "the price was worth it"

These kind of statements make my blood curdle. Much like Iran today, Iraq back then posed no threat to the US. So when Albright made these calculations, that "as much as it pained her", those 500,000 dead Iraqi children were "worth it", as long as Iraq threatened its neighbors blah blah blah... she's was being very, very callous. A war criminal wouldn't have said it better.

"I'm willing to sacrifice children from some other country, as long as our military objectives are met, for the greater good!".

I wonder if Albright would have made the same calculus were those children from her home town.

Also, this in my mind goes to show this isn't a partisan issue. Democrats/Republicans, they are all pretty callous with wars in foreign lands. Trump is just very obnoxious about it, and pretty bad at planning, but they are all universally terrible.
by bugarela | 2026-03-12 18:42:35+00:00
Hey! We were not really sure how to pass on the information back when I wrote this in November, but since then we've packaged an opensourced all agents and AI stuff involved in that post: https://github.com/informalsystems/quint-llm-kit

It's true what they say that it is easy to make a demo in AI, but super hard to turn demo into some product or thing other people can use. We are trying :) but also, most posts I read on this topic are just philosophical and give absolutely nothing you can learn and use. We are trying to provide concrete ideas on the things we are exploring, like in our newest post: https://quint-lang.org/posts/cognitive_debt

I'm also a bit happy you see some sales drive in that post since I'm 100% technical and trying to be more sales-inclined. I'm learning to find the balance. If it helps, it's more like I'm so extremely hyped about this and want to convince people to use it. And everything we built so far is open source, so it's really about selling the cool idea of formal methods at this point.
by dgacmu | 2026-03-12 18:43:09+00:00
Something I try very hard to impress on my PhD students is that the process of writing is part of the process of thinking. We often have cool things in our head that don't sound right when we write them down, and that's usually because the thing in our head was more amorphous than we realized. The time you put in getting the written expression of it to work is actually helping you crystallize what you're thinking in the first place.