MurphyA/hacker-news huggingface dataset:
by meowface | 2025-11-13 16:57:08+00:00
I think it's a fun and interesting idea for training junior engineers and possibly for other use cases. Suggesting alternatives to (perceived) bad practices the instant you see them could be helpful for many people, and also save a lot of future time for reviewers.

I could also see it as a potential productivity aid. Person 1 sees Person 2 is writing something and they don't want to be seen as idle, so they start working as well. This might sound oppressive but a lot of people who struggle with ADHD/procrastination/akrasia actually receive great benefit from that structure. Similar to that startup that forces you to code while screensharing with a stranger in order to push you to work, or people who code in cafes/libraries to be more productive.

As long as it's not an organization requiring it for senior engineers, I could see promise to it as an eventual common new paradigm.
by LexiMax | 2025-11-13 16:57:24+00:00
I find it much more likely that Valve enables Secure Boot on their Steam hardware.

I imagine that if this happens, it will be followed by popular Linux distros finally becoming serious about their Secure Boot implementations, instead of simply shimming it or seen as a rarely-used feature reserved for enterprise distros like RHEL.

Some of us actually think that having some sort of validation that our OS hasn't been tampered with is a feature and not a bug. It's only a problem when companies parlay that validation into anti-consumer DRM - but that's a political problem, not a technological one.
by rogerrogerr | 2025-11-13 16:57:24+00:00
I lost a relative because they wouldn’t let us in the hospital, waited too long to put in a stent while giving us the runaround over the phone, and caused lasting heart damage that took their life not long afterwards. We couldn’t advocate for them.

My take is not stupid. I saw the damage shutdowns caused personally. It’s offensive to me that you call my lived experience a “stupid hot take”.
by mads_quist | 2025-11-13 16:57:28+00:00
OK guys, running on a single instance is REALLY a BAD IDEA for non-pet-projects. Really bad! Change it as fast as you can.

I love Hetzner for what they offer but you will run into huge outages pretty soon. At least you need two different network zones on Hetzner and three servers.

It's not hard to setup, but you need to do it.
by patcon | 2025-11-13 16:57:34+00:00
As someone who has co-founded and co-organized a leaderful non-hierarchical community that has lasted 10 years of weekly hacknights (we've literally never missed a week) and many generations of stewards... I've done reflection on the value of messiness/disorder and "aggressively relaxed" constraints. I sometimes tongue-in-cheek describe myself as having some meagre expertise in "operationalising anarchy", which is only half a joke :)

I suspect the things this author is critiquing and the internal resistance to it is DIRECTLY related to the wonderful things this org can do and how it operates.

I'm of the belief that you can't truly love a thing without loving its mother. This applies to orgs as it does all creatures undergoing evolutionary processes. If you do straddle this belief tension, you perhaps love something other than the thing you thought you loved. And this other thing you love will eventually take shape under your care and watch. Which is nice, that "what we put our attention on grows".[1]

So obviously, you are permitted to love a thing and take issue with its incubating process/culture, but I would suggest you're the site of contradiction that has some explaining to do. If you win and change the process of the thing you love, the thing you love is on a new path toward being something else. And maybe that's fine. A new seed will grow in the empty space. People probably need to have a thing to love that looks like the thing you loved. It will be back.

But there's some other healthy dissonance here that the author isn't grasping. I would say this to them: You are the bringer of the end of what you love, not its saviour. It's all good -- these transitions happen, and in a more zen sense, it can come to pass without [my] judgement. But just please understand your role. You're not a hero, you're a death. Maybe a healthy one, but a death all the same. The thing you love perhaps won't survive your care.

To be clear, I have very mixed feelings. The critiques are valid, but I wish I could acknowledge them without compulsion to demand an action. I think orgs that work like this need to stay small, only scale horizontally (inspiring/supporting other sister orgs to grow), and resist any central/vertical scaling that brings you under the rules and norms that they are desperately trying to steer clear of, but are now accountable to (according to our shared societal values).

[1]: http://adriennemareebrown.net/2012/08/09/giftingmyattention/
by alephnerd | 2025-11-13 16:57:35+00:00
> the singular presence of such a run-on in a paper assignment would have garnered the grade of "C" regardless of surrounding context

It wouldn't have been given a C, and I say this as someone who was a TF/TA for these kinds of classes at UCSD tier programs, and as such spent hours grading these kinds of essays.

I think there are flaws with the article's argument, but your retort is not touching on those.
by ceving | 2025-11-13 16:57:59+00:00
This was my first dark mode: https://www.dosforum.de/viewtopic.php?t=12253 Been there, done that. A black background is generally more tiring for the eyes. A black background means less light. Less light means the eye's aperture has to open wider. A wider aperture means less depth of field. Less depth of field means the eye has to work harder to focus. There are reasons for using a black background on a mobile phone, as it can save energy. But for any device that has a power adapter, a black background is simply self-flagellation.
by Barrin92 | 2025-11-13 16:58:03+00:00
>The system established after WWII no longer serves the interests of its main creator

I don't think that's true. The policy of alliance building and containment of their largest peer and competitor still makes sense. It was how the US ultimately overcame the Soviet Union, and is even more vital given the size and talent in China. A US without an alliance system will not win that competition.

What's much more concerning is that the rational interests of the US as a nation aren't reflected in its policy making any more. The 20th century had its share of domestic issues but the inmates weren't running the asylum as far as foreign politics was concerned which was coherent.
by jodrellblank | 2025-11-13 16:58:27+00:00
Clearly people write parsers in C and C++ and Pascal and OCAML, etc. What does it mean to come in with "the reason you can write parsers with Prolog..."? I'm not claiming that reason is incorrect, I'm handwaving it away as irrelevant and academic. Like saying that Lisp map() is better than Python map() because Lisp map is based on formal Lambda Calculus and Python map is an inferior imitation for blub programmers. When a programmer maps a function over a list and gets a result, it's a distinction without a difference. When a programmer writes a getchar() peek() and goto state machine parser with no formalism, it works, what difference does the formalism behind the implementation practically make?

Yes maybe the Prolog way means concise code is easier for a human to tell whether the code is a correct expression of the intent, but an LLM won't look at it like that. Whatever the formalism brings, it isn't enough that every parser task is done in Prolog in the last 50 years. Therefore it isn't any particular interest or benefit, except academic.

> both acceptor and generator

Also academically interesting but practically useless due to the combinatorial explosion of "all possible valid grammars" after the utterly basic "aaaaabbbbbbbbbbbb" examples.

> "how you and the OP reconcile the ability to carry out a formal proof with the inability to do reasoning. How is it not reasoning, if you're doing a proof? If a proof is not reasoning, then what is?"

If drawing a painting is art, is it art if a computer pulls up a picture of a painting and shows it on screen? No. If a human coded the proof into a computer, the human is reasoning, the computer isn't. If the computer comes up with the proof, the computer is reasoning. Otherwise you're in a situation where dominos falling over is "doing reasoning" because it can be expressed formally as a chain of connected events where the last one only falls if the whole chain is built properly, and that's absurdum.
by stonemetal12 | 2025-11-13 16:58:41+00:00
> In daylight there are speed signs but, trains accelerate and brake much more slowly than your car, so while they're a useful reminder you cannot correctly drive the train based on observing these signs.

Did the time it takes trains to accelerate and brake change recently? The time it takes to accelerate and brake should have been considered when placing the signs in the first place.
by dragonwriter | 2025-11-13 16:58:45+00:00
That reminds me of the West Wing scene s2e12 "The Drop In" between Leo McGarry (White House Chief of Staff) and President Bartlet discussing a missile defense test:

LEO [hands him some papers] I really think you should know...

BARTLET Yes?

LEO That nine out of ten criterion that the DOD lays down for success in these tests were met.

BARTLET The tenth being?

LEO They missed the target.

BARTLET [with sarcasm] Damn!

LEO Sir!

BARTLET So close.

LEO Mr. President.

BARTLET That tenth one! See, if there were just nine...
Show HN: PyRTLSweeper - Turn circuits into Minesweeper boards
by edwinchang | 2025-11-13 16:59:00+00:00
PyRTLSweeper is a project I did for a college course over the spring, inspired by a SIGBOVIK submission [1], and I recently presented it at a small conference.

It's a Python package that takes a stateless digital circuit as input, and produces a Minesweeper board emulating the circuit. By placing flags on particular 'input' cells, the player can reduce the set of possible solutions so that some 'output' cells must have mines corresponding to the circuit's output.

Try it by following the instructions on GitHub!

If you want to listen to my talk, read my paper, or see my poster, all that stuff is here: https://edwinchang.dev/pyrtlsweeper

Happy to answer questions!

[1]: https://github.com/Kirby703/minesweeper-in-minesweeper
by jmadeano | 2025-11-13 16:59:15+00:00
I'm a big fan of local myself, but unfortunately the local models aren't there yet. Even of the closed-source models, many surprisingly struggle with relatively simple requests in this domain.

Don't get me wrong, there are a lot more iterations of tool + prompt + agent flow updates we can and will do to make things even better, and the models will keep getting better themselves, but the task is non-trivial. If you download the raw HTML of a webpage, it's a messy jungle, and frankly impressive that the models are capable of doing anything useful with it
by noir_lord | 2025-11-13 16:59:20+00:00
We had a mass attack on a train recently, the driver radioed ahead and got his train shifted onto a different line so he could stop the train at the nearest station (which had a police station across the road).

That's the kind of thing that is hard to automate because while you can automate any routine operation (eventually) it's the none routine things that get you.

Planes and Trains have both had increasing levels of automation for decades and that's fantastic, humans are flawed/get tired/get distracted but you still need a human in the loop who can decide what to do when the unknown/unexpected happens and for that human to be effective they need to be able to operate large parts of the vehicle without the automation and understand the basic principles of the system as a whole well enough to decide what they should do that won't make the situation worse.

In planes that's the Pilot in Command, in Trains it's the driver.
by Dilettante_ | 2025-11-13 16:59:27+00:00
About five clicks more(than a single click) and a scary safety setting to turn off. But I didn't mean that installing an apk was as involved as my windows example. That was meant to illustrate that there are two completely different lines of action, two completely different levels of user competence at play.

Installing from the play store involves exactly zero knowledge of what an apk even is.

I want to flip the question around and ask you: How are you not seeing that there is a distinction?
by runako | 2025-11-13 16:59:39+00:00
> many people just chuck something on us-east-1 and go

Even dropping something on a single EC2 node in us-east-1 (or at Google Cloud) is going to be more reliable over time than a single dedicated machine elsewhere. This is because they run with a layer that will e.g. live migrate your running apps in case of hardware failures.

The failure modes of dedicated are quite different than those of the modern hyperscaler clouds.
by Sharlin | 2025-11-13 16:59:50+00:00
> If you have a grade separated syste

Yeah, that's not realistic in 99% of the cases.

> I'm against trams because a bus can do the same thing - and if you maintain the roads to track standards they are just as comfortable.

But buses can't do the same thing.

The thing about LRT is capacity per driver. Even the fanciest, most expensive buses can take maybe half the passengers a standard 30-40m tram can. It's not even a competition. That alone makes trams win every time there's enough population to fill that capacity. Even if you wanted to pay for three bus drivers rather than one tram driver, you can simply not put enough buses on the same route to make up for the difference. Even if said route is independent of other traffic, which it never ever is.

Rail transport always has high up-front costs but low operating costs. But a BRT system truly designed to rail standards would cost almost as much as just building a frigging LRT system. And if you do the sensible thing and choose overhead rather than battery power – well, there's a reason trolleybus rapid transit systems do not actually exist. There's zero reasons you'd want such a thing rather than light rail.

Trams benefit greatly from being mature technology with economies of scale. There's a lot of knowledge in the world on how to build great rail infrastructure and how to make great LRT vehicles at a scale. There are maybe two companies in the world that make BRT vehicles, and no matter how excellent the infrastructure, the service lifespan of a bus is less than half that of a tram.

There also exists this thing called "rail factor". No matter how fancy your bus system, an equivalent thing but on rails will always attract more passengers, especially from demographics that would otherwise not use transit. Whatever the reason, this effect can not be ignored given how important it is to attract new transit users. Steel on steel is simply always more popular than rubber on pavement when it comes to transit.

Also, https://en.wikipedia.org/wiki/Green_track
by desireco42 | 2025-11-13 17:00:48+00:00
As long as I don't have to use, feel free to include it. It is really not essential feature for editor.

I run update and Collab requires you to sign in... which again, it is fine if you want it. I don't, so it can be dormant, icon is really tiny, doesn't take much space.

The feature of Zed that is most annoying yet essential is frequent updates. Pretty much daily when I switch to Zed window, I can expect update and restart, which messes up my window layout, so this is annoyance. Getting updates and knowing you guys are shipping good stuff is what is essential.

I think integrating terminal ai's is great move and useful. Sometimes I use it like that, often I use it in terminal (like the outside of the editor terminal) and switch to editor to review or update stuff. Same with git. I am old-fashioned.
by thaumasiotes | 2025-11-13 17:00:50+00:00
> It should be difficult or impossible for a driver unfamiliar with a route to cause a crash.

This is a question that's occurred to me in a different context. In Shanghai, there are subway stations where the passenger area is separated from the tracks by a floor-to-ceiling wall, making it impossible to drop something onto the tracks, fall onto the tracks, or get pushed onto the tracks.

There are also stations where there's no wall, and anyone can just shove you onto the tracks at any time.

The presence of a wall is highly predictable: newer stations have them, and older stations don't.

Should the older stations be renovated? That would be an increase in safety. It would also be a pretty substantial expense to address a mostly nonexistent problem. The wall is a good idea and it makes sense to include it when you're constructing a new station. But that doesn't mean it makes sense to add it to an existing station.
by ehnto | 2025-11-13 17:00:51+00:00
I don't.

Being more constructive, the future isn't looking bright for freedom of choice in mobile OSes, as governments and banks enforce use of approved apps on approved devices for identification and banking. Without one of either an Android or an iPhone, things get difficult. My government for example can consider a phone running something like GrapheneOS a Criminal Device.

Android is the most open of the two, being open source, so it would be nice if it stayed that way.
by throw4847285 | 2025-11-13 17:01:06+00:00
He actually shares a lot in common with his former(?) friend Kanye West. Both crave the validation of others, but when they get it, instead of being satisfied, they become even more needy and insecure. So they pursue anything except what they're actually good at because then if they fail at the thing people actually value them for, it would be too painful. And they surround themselves with yes men who tell them how great they are. All these factors make them more and more isolated and insecure. Combine that with drugs, alcohol, and sex and you have a toxic brew.

You may say this armchair analysis is unfair, but both these men have been so candid, veiled by the thinnest layer of irony, that it's impossible not to see how fragile they are.
by Lapel2742 | 2025-11-13 17:01:16+00:00
I'm pretty sure that this is some kind of scientific achievement that I do not fully understand but the real world use cases for this model seem to be very limited.

I gave it two tasks. "Create a new and original story in 500 words" and "Write a Python console game". Both of those resulted in an endless loop with the model repeating itself

I'm honest. Given that a 1B Granite nano model has only little problems (word count) with such tasks and given that VibeThinker is announced as a programming model it's disappointing to see a 1.6B model fail multiple times.
by animeshjain | 2025-11-13 17:01:37+00:00
I tried the collaborative features to pair program with a colleague a few months ago, but it was bad. It was very flaky in establishing a connection. In the cases we were able to establish a connection, the voice chat would not work. We tried to make it work for a couple of days, and then we gave up. Has there been lots of work in the past few months on the collaborative features?
by Sytten | 2025-11-13 17:01:56+00:00
We are using ory kratos in production.

- It works and does the job. I appreciate that we got this piece of tech for free when we needed with quickly.

- The doc is clearly written in a way to steer you toward their cloud (fair enough everybody needs to eat). Setting things up is not straight forward even after years of using it.

- Backend driven UI is just weird.

- The founder used to be very opinionated on some things but let bigger issues "rot", better now that they have grown as a business.

- The fact that they wont do SAML in kratos cause its part of their cloud thing and they bought another business speaks volume to me. OSS for ory is a growth strategy, their enterprise version cloud is also not the same as the OSS one.

For OAuth2 we considered Hydra but decided to build it ourselves since we want to host on prem and want to reduce moving parts. We will also likely end up replacing kratos eventually.

TLDR it is a good tech to consider instead of building it yourself. It makes sense for B2C freemium products since all other providers charge per seat. But its not the easiest to setup.
by grepfru_it | 2025-11-13 17:02:02+00:00
We used to obsessively care about 500s. Like I would make a change that caused a 0.1% spike in 500s and I would silently say I'm sorry to the folks who got the unicorn page.

I'm not sure the new school cares nearly as much. But then again this is how companies change as they mature. I saw this with StubHub as well.. The people who care the most are the initial employees, employee #7291 usually dgaf
by CGMthrowaway | 2025-11-13 17:02:04+00:00
>There is a middle ground that is quite common across Europe: a private company that has the government as a shareholder.

Becoming more common in the US too, because of Trump's policy of US re-industrialization and national security. Intel Corp (10% equity), MP Materials (15%), Lithium Americas(5%), Trilogy Metals (17.5%), US Steel (golden share), Vulcan Elements, ReElement Technologies
by CJ_Braithwaite | 2025-11-13 17:02:21+00:00
Help us keep water clean. Literally. Join this Techstars backed startup. Nyad is on a mission to modernise how the world manages industrial wastewater. Across thousands of factories and treatment plants, operators are manually inspecting microbes under microscopes making critical decisions for billions of bacteria that clean our water. When things go wrong, they really go wrong: bugs die, pollution spikes, and companies spend big on emergency chemicals. We’re building software tools that empower operators with real-time insights combining image-based analysis, process recommendations, and AI-driven models of microbial health. It’s biology meets machine learning, in one of the least digitised but most essential sectors on Earth.
by gen220 | 2025-11-13 17:02:35+00:00
FWIW, GitHub is also unreliable with webhooks. Many recent GH outages have affected webhooks.

They are pretty good, in my experience, at *eventually* delivering all updates. The outages take the form of a "pause" in delivery, every so often... maybe once every 5 weeks?

Usually the outages are pretty brief but sometimes it can be up to a few hours. Basically I'm unaware of any provider whose webhooks are as reliable as their primary API. If you're obsessive about maintaining SLAs around timely state, you can't really get around maintaining some sort of fall-back poll.
by Arrath | 2025-11-13 17:02:36+00:00
Maybe so, but I would contend it is worth considering the broader implications of those investments and the effects that new and upgraded infrastructure could have on the greater economy.

Speaking only for myself, I would be okay with a lower return if it also means we as a society have good public transit, roads that aren't more pothole than asphalt, water that doesn't have to be boiled on occasion, reliable power, modern internet, and so on.
by ur-whale | 2025-11-13 17:02:50+00:00
> Your news routinely picks and chooses what to report on, leading to a slightly distorted understanding

You are not wrong, the european press hugely distorts and manipulates, but this is also textbook pot calling the kettle black: the american press is no better in that regard, and actually quite worse IMO. So this part of your argument is DOA.

> at least those who have never been here or taken the time to interact with an american

Now we're squarely in the domain of the unreasonable. The proportion of americans that have had an experience similar to yours is vanishingly tiny compared to the amount of exposure an average european gets to american culture (and I'm not talking about hollywod here).