MurphyA/hacker-news huggingface dataset:
by clemiclemen | 2025-04-28 13:23:23+00:00
A bit late to the party but there is a famous French internet show called "Faux-raccord" which does exactly what this article does: every episode is focused on mistakes for some movie, told by the duo Michel and Michel with some jokes along the way.

Very pleasant to watch :-)

Link: https://www.allocine.fr/video/programme-12284/

Youtube playlist: https://www.youtube.com/watch?v=RTbUDA_Dd9s&list=PLAUaCoiUsx...
by Const-me | 2025-04-28 13:24:06+00:00
Bricks and cobblestones don’t handle high traffic well, require too much maintenance i.e. too expensive. Cobblestones are only good for areas with heavily restricted or banned vehicle traffic. For roads and higher traffic streets, asphalt is more practical.

Agree with the rest of your comment. I also think the main reason for high traffic deaths in America is road design.
by XetiNA | 2025-04-28 13:25:17+00:00
I'm working on a cookie clicker style web game that's secretly about AI safety: https://preview.mancato.nl/clean

My primary goal is to make a game that's fun. Secondary goal is to make you experience why an AI might do things you don't expect. Specifically, to further instrumental goals like collecting resources, refusing being turned off, things of that nature.

There are two endings currently but I'm working on adding some more.
by angaradanuzaya | 2025-04-28 13:25:29+00:00
Hey Silas, currently deepwiki is not working for me. Yesterday it was working great and I found it really helpful, today I only see the loading page with skeletons with every prompt.It's slow and most of the times the results never come in. Previously i could see it's chain of thought now there's just the loading page with skeletons. Just wanted to let you know.
by shlant | 2025-04-28 13:25:31+00:00
> Taking someone's license away for getting caught doing 5 over a few too many times on the freeway where literally everyone is always doing 5 over and you are more of a danger by not going the speed of traffic doesn't in any way serve the public interest as far as I can tell. It's a death sentence for a victimless crime.

What percentage of people who would be effected by this do you think match this description?
by hwpythonner | 2025-04-28 13:25:33+00:00
You make a great point — type information is definitely a huge part of the challenge.

I'd add that even beyond types, late binding is fundamental to Python’s dynamism: Variables, functions, and classes are often only bound at runtime, and can be reassigned or modified dynamically.

So even if every object had a type annotation, you would still need to deal with names and behaviors changing during execution — which makes traditional static compilation very hard.

That’s why PyXL focuses more on efficient dynamic execution rather than trying to statically "lock down" Python like C++.
by falcor84 | 2025-04-28 13:25:42+00:00
> First, you cannot obtain the "theory" of a large program without actually working with that program...

> Second, you cannot effectively work on a large program without a working "theory" of that program...

I find the whole argument and particularly the above to be a senseless rejection of bootstrapping. Obviously there was a point in time (for any program, individual programmer and humanity as a whole) that we didn't have a "theory" and didn't do the work, but now we have both, so a program and its theory can appear "de novo".

So with that in mind, how can we reject the possibility that as an AI Agent (e.g. Aider) works on a program over time, it bootstraps a theory?
by weakfish | 2025-04-28 13:25:53+00:00
A note taking app - I know, I know, been done a billion times. But really, no software I’ve found works the way I want it to, so I’m just trying to write my own, starting with a front-end agnostic core and a TUI.

If it strikes a chord with anyone, I’d love to collaborate! The concept is centered around organization bubbling up naturally from dumping info in with tags, and “typing” your tags so that when you go to a tag’s page, the layout is customized based on what it is - a project, person, etc. A project could have all relevant tasks and notes listed, whereas a person might have name, contact info, etc.

https://github.com/weakphish/yapper
by Fripplebubby | 2025-04-28 13:26:09+00:00
> Tech needs to keep innovating to keep investors happy and keep investing.

It's nice to think that this is just a "tech" problem but unfortunately this is a wider problem in the rich world - it just so happens that "tech" has been the answer for finding huge economic growth for the past few decades. The whole economy is addicted to tech growth at this point (including your 401k if you have one, those of your your friends and neighbors).
by devdri | 2025-04-28 13:26:09+00:00
The way it uses pin state (number passed as argument / result) for communicating with the outside world is genius. This way it very clearly matches what happens in hardware each cycle. Typical alternative is that the "cpu" calls read/write on the memory/peripherals - which gets tricky when the exact read/write cycle of the multi-cycle instruction matters for accuracy (e.g. racing the CRT beam).

I wonder if similar approach could realistically be applied to slightly newer generation hardware like GBA with ARM7TDMI.
by Oras | 2025-04-28 13:26:14+00:00
Thanks!

You can upload your current CV, and it will parse it to fill out the form for you. You can then amend or improve it, choose a design, and export it as a high-quality PDF.

I will try to write about it. I faced some challenges related to exporting as a high-quality text PDF, including multilingual support and ensuring JS messages are all translated, among others.
by reverendsteveii | 2025-04-28 13:26:41+00:00
We talk about capitalism being really good at serving revealed preferences, but the thing becomes a bit more twisty when you start talking about capitalism and mass media's ability to shape those preferences. From Bernays to Chomsky we have reams of literature about how mass media is used to tell people what they want, then capitalism supplies it to them, then mass media tells them how free and blessed they are to receive just what they want.

Definitely hard agree on the split between slow, deliberative, rationally-focused thinking and quick, subconscious, emotional, pattern-seeking thinking and the way that most people to their own detriment don't ever examine which of those two they're doing. Hell, I still pretty regularly have trouble differentiating between thinking and reacting and I'm the kind of nerd who spends a lot of time thinking about how I think.
by mschuster91 | 2025-04-28 13:27:21+00:00
Germany has dozens of links to its neighbours. We don't need much in terms of "black start" capacity, that's just pointless fearmongering by fossil fuel and/or prepper propaganda sites.

As long as even a single link to any of our neighbours is up and running, it can be used to start the rest of the grid - which is exactly what was done in the 2006 outage and why that one took barely two hours to be resolved. The only truly screwed country at the moment is Portugal because all their grid links run through Spain.
by ryandv | 2025-04-28 13:28:19+00:00
> To make this point stick, you would also have to show why it's not an illusion when humans "appear" to have a theory.

This idea has already been explored by thought experiments such as John Searle's so-called "Chinese room" [0]; an LLM cannot have a theory about a program, any more than the computer in Searle's "Chinese room" understands "Chinese" by using lookup tables to generate canned responses to an input prompt.

One says the computer lacks "intentionality" regarding the topics that the LLM ostensibly appears to be discussing. Their words aren't "about" anything, they don't represent concepts or ideas or physical phenomena the same way the words and thoughts of a human do. The computer doesn't actually "understand Chinese" the way a human can.

[0] https://en.wikipedia.org/wiki/Chinese_room
by zakariaelhjouji | 2025-04-28 13:28:19+00:00
Hi HN,

My friend Henry and I built this Chrome extension called Tweet Toilet.

It lets you post a tweet without opening Twitter.

It’s minimal: a text box and a “flush” button to send the tweet.

We built it for two reasons:

- We wanted to tweet right when inspiration hits

- Opening Twitter can be quite overwhelming and distracting

It’s open-source (GitHub: henry-dowling/tweet-toilet).

Hope y’all find it useful. Open to feedback!
by ryao | 2025-04-28 13:28:23+00:00
Then it is possible to replicate German success in vehicle safety in the U.S. without increasingly draconian speed limit restrictions. As for laws/culture/training, look at NYS:

1. There are annual mandatory vehicle inspections. Driving an uninspected vehicle is illegal and you cannot get the inspection certificate for your windshield unless your vehicle passes.

2. The state requires a driving test to get a license (in addition to prelicensing education requirements) and effectively forces everyone to take driver education courses every 3 years by raising insurance rates if they do not.

3. There is a points system for violations. Reach 11 points, and you lose your license. Reaching 11 points is fairly easy to do.

It is unclear how driving skill in Germany would be much different than driving skill in NYS. If you believe it should be, then you should have reasons for it that would give concrete things that can be changed.
by jviotti | 2025-04-28 13:28:51+00:00
Premium tooling to work with JSON Schema (https://www.sourcemeta.com).

I'm a member of the JSON Schema Technical Steering Committee, and been making a living consulting with companies making use of JSON Schema at large. Think data domains in the fintech industry, big OpenAPI specs, API Governance programs, etc. The tooling to support all of these use cases was terrible (non-compliant, half-baked, lack of advanced features, etc), and I've been trying to fix that. Some highlights include:

- An open-source JSON Schema CLI (https://github.com/sourcemeta/jsonschema) with lots of features for managing large schema ontologies (like a schema test runner, linter, etc)

- Blaze (https://github.com/sourcemeta/blaze), a high-performance JSON Schema C++ compiler/validator, proven to be in average at least 10x faster than others while retaining a 100% compliance score. For API Gateways and some high-throughput financial use cases

- Learn JSON Schema (https://www.learnjsonschema.com/2020-12/), becoming the de-facto documentation site for JSON Schema. >15k visits a month

Right now I'm trying to consolidate a lot of the things I built into a "JSON Schema Registry" self-hosted micro-service that you can just provision your schemas to (from a git repo) and it will do all of the heavy lifting for you, including rich API access to do a lot of schema related operations. Still in alpha (and largely undocumented!), but working hard to transition some of the custom projects I did for various orgs to use this micro-service long term.

As a schema and open-source nerd, I'm working on my dream job :)
by zdragnar | 2025-04-28 13:29:03+00:00
The past year or so has probably been the worst market for developers since 2008. It's been picking up again, or at least it was for a bit.

If you haven't yet, one thing that would be worth doing is working with a recruiter. There's plenty of bad ones out there, of course, but a good one will have direct access to the people hiring. If you're willing to work on-site, even better, as that will significantly reduce the number of people you're competing against for attention.

I hope you find some of this useful, and either way, I wish you luck!
by SketchySeaBeast | 2025-04-28 13:29:18+00:00
(My spouse was an ultrasound tech for many years.)

The problem with an example like ultrasound is that it's not a passive modality - you don't just take a sweep and then analyze it later. The tech is taking shots and adjusting as they go along to see things better in real time. There's all sorts of potential stuff in way often bowel and bones and you have to work around all that to see what you need to.

A lot of the job is actively analyzing what you're seeing while you're scanning and then going for better shots of the things you see, and having the experience and expertise to get the shots is the same skills required to analyze the images to know what shots to get. It's not just a matter of waving a wand around and then having the rad look at it later.
by megous | 2025-04-28 13:29:48+00:00
How many people will turn off AC and will not bake that cake, or wash clothes, when they know they're going off their own battery vs some electricity distributor's battery shared by others?

And if someone is dumb enough to do high load stuff on their own battery during a blackout, then it's less of a problem for others. Also individual failures will cover less homes.

Incentives and consequences will be different and differently spread.

And on individual level, you can also chose whether you want this or are fine with outage. (I'm against mandating this)
by SnazzyUncle | 2025-04-28 13:29:52+00:00
> Except the average person isn't a highways engineer and isn't aware of the road design limits which means 120mph can be unsafe even on a visually empty road.

Firstly there is no such thing as the average person.

Secondly, I don't need to be a "highways engineer" to be able to see there is few / no cars in front of me for over several miles on a long straight, multiple lane highway with no junctions for sometimes miles.

Thirdly, the decision for the motorway speed in the UK is a historical artifact.

https://readcars.co/2017/06/20/history-speed-limits-uk/

Generally most cars (even modern ones) it is unwise to sustain speeds over 90mph for a long duration if the engine is small (coolant systems are more likely to fail, it is hard on engines), it is also not fuel efficient to drive much faster than 60 mph in cars that have engines that are lower than 2.0 litres IME (I've done a lot of driving in different vehicles).

I would prefer they have variable speed limits on motorways / or special toll roads where the limit is higher.
by thehappyfellow | 2025-04-28 13:29:52+00:00
Learning Rust by building a simple database using it.

I’ve done my share of programming languages (PHP, C++, Python, Ruby, Haskell) and for the last 10 years I’ve been working in OCaml (which I love so much) but Rust would be a nice addition IMO.

And I never implemented LSM style database before! So that’s fun.

I only just started and the pace will be slow (I have 3h/week to spend on it on a good week), if you are curious: https://github.com/happyfellow-one/crab-bucket
by Jensson | 2025-04-28 13:30:02+00:00
> So with that in mind, how can we reject the possibility that as an AI Agent (e.g. Aider) works on a program over time, it bootstraps a theory?

Lack of effective memory, that might have worked if you constantly retrained the LLM incorporating the new wisdom iteratively like a human does, but current LLM architecture doesn't enable that. The context provided is neither large enough nor can it use it effectively enough for complex problems.

And this isn't easy to solve, you very quickly collapse the LLM if you try to do this in the naive ways. We need some special insight that lets us update LLM continuously as it works in a positive direction the way humans can.
by 9dev | 2025-04-28 13:30:11+00:00
https://github.com/colibri-hq/colibri/

Colibri—a self-hostable web application to manage your (and your family's) ebook library, intended as a companion to Calibre. I want it to be a friendly, simple, capable, opinionated app to review your books, add metadata to them, get them onto your reader, share them with family and (few) friends, create a public shelf for bragging, connect with Goodreads etc., and exchange comments and reviews on books.

This is explicitly not intended to ever be monetised, and I enjoy all the implications that has on the design. Colibri is as much a tool I personally want to use, as it is a study in small-audience user interfaces, and the quest to build the perfect book catalog schema.

I'm looking for fellow book-loving people to work on Colibri, to create the best personal digital library possible. If you're interested, feel free to reach out via email (in bio), or on GitHub.
by jerf | 2025-04-28 13:30:28+00:00
You can't prove LLMs can build theories like humans can, because we can effectively prove they can't. Most code bases do not fit in a context window. And any "theory" an LLM might build about a code base, analogously to the recent reasoning models, itself has to carve a chunk out of the context window, at what would have to be a fairly non-trivial percentage expansion of tokens versus the underlying code base, and there's already not enough tokens. There's no way that is big enough to build a theory of a code base.

"Building a theory" is something I expect the next generation of AIs to do, something that has some sort of memory that isn't just a bigger and bigger context window. As I often observe, LLMs != AI. The fact that an LLM by its nature can't build a model of a program doesn't mean that some future AI can't.
by ryao | 2025-04-28 13:30:56+00:00
As I said to someone else, look at NYS:

1. There are annual mandatory vehicle inspections. Driving an uninspected vehicle is illegal and you cannot get the inspection certificate for your windshield unless your vehicle passes.

2. The state requires a driving test to get a license (in addition to prelicensing education requirements) and effectively forces everyone to take driver education courses every 3 years by raising insurance rates if they do not.

3. There is a points system for violations. Reach 11 points, and you lose your license. Reaching 11 points is fairly easy to do.

You are saying that improved driver education and vehicle maintenance cannot be done in the U.S., yet NYS does it. You say that people’s licenses cannot be taken away for unsafe driving in the U.S., yet NYS does it. NYS is part of the U.S.
by maxsilver | 2025-04-28 13:30:59+00:00
"5G UW" is good service, but it's not usually mmWave. It's primarily mid-band stuff, usually Band n77 (3.7ghz C-Band)

It's usually good, but that's primarily because Verizon is going a good-ish job (in Michigan, at least) of deploying it densely in smaller neighborhood/urban cell sites (2x to 3x site density over traditional PCS-spaced cell towers). It's basically Verizon's version of what Clear was supposed to be doing with WiMax.

Notably, C-Band is not mmWave. mmWave bands start at like the 24.2ghz+, way way higher up the spectrum band.

If your phone reads "5G UW", there's like a 95% chance you aren't on mmWave, you are on n77 / C-Band / 'mid-band'.
by paganel | 2025-04-28 13:31:13+00:00
Maybe I'm looking at the wrong article, but there's this:

> For journeys outside the base, *the Army uses Renfe locomotives*.

which, in my understanding, means that in order to move military materiel (to the borders with France, let's say, or to the closest sea-ports most probably) and tens to hundreds of thousands of mobilised men the Spanish Army does indeed rely on Renfe locomotives, i.e not on their own.
by ModernMech | 2025-04-28 13:31:14+00:00
Part of the issue is the number of instructions Python has to go through to do useful work. Most of that is unwrapping values and making sure they're the right type to do the thing you want.

For example if you compile x + y in C, you'll get a few clean instructions that add the data types of x and y. But if you compile this thing in some sort of Python compiler it would essentially have to include the entire Python interpreter; because it can't know what x and y are at compile time, there necessarily has to be some runtime logic that is executed to unwrap values, determine which "add" to call, and so forth.

If you don't want to include the interpreter, then you'll have to add some sort of static type checker to Python, which is going to reduce the utility of the language and essentially bifurcate it into annotated code you can compile, and unannotated code that must remain interpreted at runtime that'll kill your overall performance anyway.

That's why projects like Mojo exist and go in a completely different direction. They are saying "we aren't going to even try to compile Python. Instead we will look like Python, and try to be compatible, but really we can't solve these ecosystem issues so we will create our own fast language that is completely different yet familiar enough to try to attract Python devs."
by anonymars | 2025-04-28 13:31:38+00:00
I noticed there was no #3 in your list: there's no reason to be mean if you're trying to have a genuine discussion. You could actually just stop with "there's no reason to be mean" -- what purpose does that serve? (Trying to hurt others?)

I (another third party) still don't know what you're trying to say. It seems like you are equating "private citizen physicians not accepting patients who refuse to follow medical advice with respect to vaccinations" with "the government is deporting people with different opinions on the Israel/Palestine conflict"? Or generally equating "public health" with "differing opinions"?

I absolutely think they are different. Measles is back now in the US and puts everyone at risk of physical harm, because people have chosen to not get vaccinated without good reason. I don't think that is remotely comparable to differing opinions on the ethical situation between Israel and Palestine.

I think it would be more fruitful if you spend some time refining your message to distill what you're trying to say. Maybe less is more.
by rayiner | 2025-04-28 13:31:49+00:00
He was a little speech delayed, has somewhat below age level fine motor function, can sight read a lot of words, and has some odd behaviors, like taking to his hand pretending its Toodles from Mickey Mouse Clubhouse. The county said he was borderline. There is some gaming of the system going on for sure. They said they were ready to diagnose him with something and give him an IEP if he were going to public school where he could get extra services, but since we’re planning to send him to private K-12 they recommended against it.

I’ll be honest, my first thought was that it was white women (everyone in this story besides me) overreacting. In our circle of friends, several of the kids are diagnosed with something on the spectrum. By contrast I don’t know a single person from my immigrant group whose child has a diagnosis. So I was skeptical. But ultimately, I figured that the teachers see dozens of these kids every year and I trust their judgment.
by criticalpudding | 2025-04-28 13:31:52+00:00
I'm working on an unified MCP server that can search and use a large number of tools. The current way of using MCP server (adding each MCP server directly) simply doesn't scale. If your AI agent needs to use 100 tools, you need to manually configure a lot of MCP servers. And when you feed those tools to the LLM, it may get confused and tool calling accuracy starts to drop.

This is why I'm building a unified MCP server with just two meta tools: - Search Available tools - Execute a tool

When I want to send an email, I ask LLM to use the Search Meta tool to search for Gmail related tools in the backend, then the meta tool returns the description of relevant tools. The LLM then uses the Execute meta tool to actually use the gmail tool returned. https://github.com/aipotheosis-labs/aci