skysight-inc/HackerNews huggingface dataset:
Nix derivations are pretty neat!

I've been building a Nix store navigator for MyNixOS v2. It can help you get a feel for how derivations are connected in Nix:

https://v2.mynixos.com/nix/store/lsk1c4v03y4lmpxdcwal99nm5nw...

PS: The controls to the upper right can be used to limit what is downloaded.
Interesting, I’ve been using o1-pro and Gemini 2.5 Pro with identical profiles and prompts and o1-pro has won every single time without exception.

Where win means the problem I set out to solve was solved and passed tests. Where both are aware of the tests.
Numbers and Unicorns
That's thought-terminating. Remember that basically every MAGA accusation has been a confession.
Simple fix: Hire onshore persons, interview in person. Pay a living salary.
If they can perform well without reviewing the material, that's a problem with either the performance measure or the material.

And not watching lectures is not the same as not reviewing the material. I generally prefer textbooks and working through proofs or practice problems by hand. If I listen to someone describe something technical I zone out too quickly. The only exception seems to be if I'm able to work ahead enough that the lecture feels like review. Then I'm able to engage.
There are so many problems with your explanation it's hard to know where to start. Just ask ChatGPT to explain it and go back and forth until it's clear.

Really, it's bad form to comment on something technical where you are just miles out of your depth.
It’s more like looking up the solution to the math problem you’re supposed to solve on your own. It can be helpful in some situations, but in general you don’t learn the problem-solving skills if you don’t do it yourself.
In my experience, many if not most tech executives don’t believe in the concept of truth vs lying. There are only “competing narratives.”
The Goldilocks zone of software stability
I think this is how Boris Yeltsin ran the Russian government in the 1990s... so many interesting similarities.
Google also has quite the graveyard of products. I dont trust them. Hell they even have an OS that competes directly with Android.
that would be a good feature. though there are already playback and record tools to do just that. I really only see this for low-code users who want to automate a novel task.
I didn’t see that at all, but I also don’t consider flashy technology to define quality of life.
That future is far, far off.

China’s per capita GDP is 1/7th that of the US.

To match the US GDP per capita would require China growing at 10%/yr for 35 years (while the US grows at 3-4% per year).

Thats 35 years of phenomenal growth, with no recessions, no “slow” years of only 5% growth (like the past 3 years). Assume an average of 7% growth (and US 3%) and now it takes 50 years to match the US per capita GDP.

This is why GDP growth of 5% is regarded as “bad” in China. They need double that.

And China needs to do this all the while having massive debt overhang, a world moving away from free trade (which their economy is highly dependent on) and a shrinking and rapidly aging population (by 2050 it will be 1 worker per retiree).

I don’t have a crystal ball, so who knows, but suffice to say if things stay relatively the same it’s going to be 2060-2070 before China is as rich as the US on a per capita basis.
Have you actually ever stepped on one?

If you have, then why was it unplugged? A plug should be plugged in (in which case it is safe) or it is superfluous.

I've managed to struggle through to the age of 54 without treading on one of our thrusting tri-pronged plugs. It is surprisingly easy to avoid stepping on them.
Where does the nitrogen go in a closed system? I'm not aware of a natural process that converts fixed nitrogen back to N2. Doesn't mean a process doesn't exist, I just don't know about it.
Yeah, that’s how we customize the NVidia Orin BSP before flashing it. Untar the rootfs onto a fast x86-64 machine, chroot into it, and use qemu-user to run a bunch of Arm commands and build some stuff. Way easier than trying to set up a cross-compiler toolchain.
Those things are all optimizing…
FWIW, she was fired in 2017 and only now is trying to become a "whistleblower." If the conduct needed whistle-blowing, surely it would have been more timely to come out almost a decade ago.
Strikes on houthi are not because "he's a wannabe dictator", let's be real. US is involved in ME for one reason and one reason only.
That's been a known fact for centuries.
Many developers are seriously lacking in database fundamentals, especially over the past 10 years. I regularly see tables that don't have primary keys or indexes of any sort. It boggles the mind.
We have the same plugs in Singapore.

Apple made a very elegant USB charger with foldable pins. It’s like a fidget spinner, impossible to stop playing with.

https://m.youtube.com/watch?v=A4RxWEycdj4
Not only do they fall out, they also like to slide out part way, exposing the hot part of the plug while still being hot. In EU and these British ones, once it slides out a bit, it will lose contact before you can touch the metal.
You may not use Nix, but some pretty cool Nix tools use your work. :)

Just today I was working on some integrations with a runtime dependency resolver for shell programs that uses OSH for parsing on the job. We use Nix to manage our development environments, and we use it to make some small wrappers and tools written in Bash into something portable and reproducible that we can include in development environments that run both on Linux and macOS.

Historically we've just included them inline in our Nix files, but thanks to resholve, we're switching to a nicer system so that they live in separate files that are more pleasant to edit. The "source code" of the scripts lives in the repo as normal bash scripts, but when they get built into the development environment, all command invocations get automatically replaced with hard-coded references to the paths of the relevant executables in the Nix store, the shebang gets pinned to a specific bash version in the same way, and they also get run through ShellCheck. Now we have not only a really nice and quick way to define portable wrappers in our Nix code, but a sane way to manage longer scripts without any portability issues.

So thanks for your cool shell and associated tools and libs!

> Or maybe it's just a harder problem

Fwiw, I think this is true.

> Some people do not like git, but I get the feeling that most people just use it, and get on with their day.

I think one of the other devs on my team probably feels this way. He thinks it's conceptually cool but is somewhat horrified by the complexity and UI. He makes simple uses of it in ways that have precedent on our team, but never really dives in.

> Why the difference with Nix?

Nix didn't have a celebrity author to spur adoption early on, in some ways it can be slow, and I think maybe it isn't as much better than entrenched alternative stacks than Git was as opposed to SVN. The pain of SVN was very acute for the average developer. I'm not sure that any of the pains of dependency hell, stateful configuration management, distribution of portable executables, etc., are quite as acute for the average operator or developer as that. People who feel Nix makes their professional lives easier tend to have come to it after their career has inflicted more specialized pain upon them.

Using Git also doesn't generally (ever?) involve writing code in a Turing-complete language, but to make the best use of Nix, you do have to do that. The paradigm of that language is not very mainstream, either, and although it's generally suited to its domain imo, it certainly has some warts.
Quite a long time ago I worked on a system using Cassandra for storing some data. The system used about 100 gigabytes for data storage of Cassandra on all of the nodes in the cluster. At some point we needed to upgrade from version 2 to 3. I decided to take a backup using the included tooling of Cassandra. After taking a snapshot and compressing it, the size was 14 megabytes. I'm still in awe that this system existed.
Trump being a Russian asset is so tiring and wildly invalid.

He's threatening Iran because he's a Russian asset right? Bombing Houthis too? No, someone else benefits from those, maybe he's an asset of that country?
He owns like $100 billion in bitcoin, so I think unmasking him as either someone who just has chosen not to use that money yet, or someone who died with the keys likely lost would presumably have a big price shock. Once he is identified, he and everyone connected to him becomes a massive target for organized crime and such, that many coins ending up in the hands of North Korea or something would probably significantly damage bitcoin's future; I imagine the feds would do whatever they could to ensure that can't be turned into spendable money.
There's some sad irony to that, making homework easier for future generations but those generations being worse off as a result on average. The lack of AI assistance was a forcing function to greater depth.

Outliers will still work hard and become even more valuable, AI won't affect them negatively.
I feel non outliers will be affected negatively on average in ability to learn/think.

With no confirming data, I feel those who got that fancy education would do so in any other institution. Just those fancy institutions draw in and filter for intelligent types, not teach them to be intelligent as it's practically a pre-requisite.
Good stuff here. Would be great to include some ready-to-use tools so instead of needing to write my own python I could just run a command with some arguments to check if my ip was blacklisted (for example).
> No, because it works, and so it's not AI

This is an important point. Hard "AI" problems are no longer "AI" once we have good algorithms and/or heuristics to solve them.
The deficit should count, but since Federal taxes haven't been increased to service it it doesn't, so there is that. Likewise, CA and WA are what they are, but I think it's a bit of a stretch to suggest they're so central to the US economy that their local tax structure is driving tracked changes to household income and savings, real wages, inflation, etc. metrics on a national level. Additionally relatively recent changes in these states do nothing to explain flat wages and the declining middle class over the last 50 years.

"So the mountains of new regulations have no effect?"

Difficult to say until there's a few specific examples to examine. I've just spent the last half hour digging around for evidence that suggests there's been a spike in enforcement actions by the government at any point in the last three presidential terms and I'm not coming up with anything so until some evidence surfaces I'm going with probably not.

As for local goings on in LA and Seattle, neither are "the market". This isn't the first time I've been exposed to the apparent self-absorption of West Coast politics but I gotta tell you, y'all aren't the singularity around which the US economy or global markets pivots around. That'd be the oil and gas industry.
For years I joked that it was a law that every Goodwill store had to have a copy of a Twilight or Hunger Games book on the shelves at all times. Every time I go to one I check and nearly every time they still do all these years later.

Or one of the Left Behind books.
Except cursor does the same thing. It's really good for creating small pieces of software, but beyond that just gets painful to fight with.
Solaris Zones too. Absolute magic, many years before Docker and friends.
The reasons SpaceX won nearly all recent military launch contracts
I would recommend programming, and designing your system, on a piece of paper instead.

It's the most efficient few-shot which beats the odds on any SotA model.
> but the more curious impact is they completely alter the character of an area.

Could anyone elaborate on this?
Elsewhere in the press:

The Register: Trump kills clearances for infosec's SentinelOne, ex-CISA boss Chris Krebs https://www.theregister.com/2025/04/10/trump_cisa_investigat...

CyberScoop: Trump signs order stripping Chris Krebs of security clearance https://cyberscoop.com/trump-chris-krebs-executive-order-202...

NB- not the same as Brian Krebs of KrebsOnSecurity.com.
This is genuinely the best plug ever and no one can convince me otherwise.

I've toured continental Europe (France, Austria, Switzerland, Germany, Italy), the US, India, and ANZ, and all of their plugs are downgrades in comparison to the icon of engineering that is Type G/BS1363. The former somehow all tend to end up with loose contact, wiggling and sparking, degraded power/current, or a cable that sticks out perpendicular to the wall, or some other annoyance. People argue for the Schuko but it is as large as, if not larger than BS1363 plugs. The earthing setup is odd.

The BS1363 is so massive that it shrugs off power loads of multiple kilowatts—British kettles and toaster ovens run at up to 3 kW or more. One could possibly even charge their EV with BS1363 without needing any automotive cable standard[1].

The BS1363 has a satisfying 'thonk' that no other plug has. It feels like you're powering up some futuristic space craft, not your vacuum cleaner.

[1]: https://www.reddit.com/r/ElectricVehiclesUK/comments/1gta12f...
Driving on I80 in western Nebraska Monday, I asked Google what time zone I was in currently. Based on location, time and date, Google very confidently told me I was in Mountain Standard Time.

Between "AI" and mobile first, technology has lost all of my respect and goodwill.
Also, the amount of badmouthing of Japan, Korea, Germany... Especially car companies which have built plants in America.
The false statement is “OpenAI got caught [gaming FrontierMath] a while back.”

From a primary source:

"OpenAI did not use FrontierMath data to guide the development of o1 or o3, at all.... we only downloaded FrontierMath for our evals long after the training data was frozen, and only looked at o3 FrontierMath results after the final announcement checkpoint was already picked."

https://x.com/__nmca__/status/1882563755806281986
People wanting magic to be real is the hook.

My guess is that the whole thing is made to work on a single word, either to promote it, hide it or change its meaning over time.

It has autonomous defenses (the creator(s) could claim it as a joke or misunderstanding), it has propagating parallell beliefs (the "typing" tulpa as an analog for muscular memory), etc. You acted to defend it using one of its autonomous mechanisms, unwillingly perhaps (it preys on the inability of some to perceive its parts as distinct pieces, you only saw the new age stuff outside).

It seems highly engineered, but not sophisticated enough to be completely invisible.
Correction. Mao is Mao like. And you could call Trump a Mao like person, not the other way around.
What is the goal function of life?
Curious to get thoughts on what you feel the goal function of life is? Feeling pretty lost at the moment and any semblance of structure or outlook on this would give me solace.
As per modus operandi of the midwit, you didn't demonstrate anything. You just disagreed.

I implore you to bring evidence where demonstrated competency of John Carmack or Michael Abrash is called into question. Demostrate how that is a phenomenon or a trend. And if you can't, I rest my case.

It is obvious to any reasonable person that in the statement "nobody" doesn't literally mean not a single entity within 8 billion population of the planet.
You can still read his papers and textbooks. I thought he was an engaging speaker as well, and several of his lectures and interviews are available on youtube, as well as tributes and retrospectives.
I think it's both, just like we saw with the internet.
Yes, the schuko seems to be a nice in-between of the compactness of the US plug and the mechanical robustness of the British plug and the bonus is that it can still take the Europlug. They definitely could have made it a bit smaller but it's good enough.
Your currency being valuable increase imports!
I run NixOS on every computer I'm allowed to install it and I really don't think it's hard to use, just different. Adapting to a new workflow is hard, but I don't know that NixOS is intrinsically more difficult than any other Linux.

I wouldn't want a docker container as my main environment, but I do like having NixOS managing my main environment for a few reasons.

First, the declarative nature of everything makes it clear and easy to know what is actually installed on my computer. I can simply look at my configuration file and see if a program is installed, and if it's not. If I want to uninstall something, I delete the program from the configuration.nix and rebuild. This might not seem insignificant, but to me it's game changing. How many times have you uninstalled things in Ubuntu or something and had a ton of lingering transitive dependencies? How many times have you been trying to debug a problem, end up installing a million things, and then painstakingly having to track down every unnecessary dependency and transitive dependency that you ended up installing, only to miss something for months? Maybe most people here are better at this than I am, but these things happened to me all the time.

Second, the declarative nature of NixOS makes snapshotting trivial. Again, this is game-changing for me, and it makes fixing stuff on my computer more fun and less scary. If I break something, all I have to do is reboot and choose the last generation, then fix it.

This might not seem like a big deal, and again maybe for people smarter than me it's not, but for me it completely changed the way I deal with computers. When I first started using Ubuntu, when I would do something like break the video driver or the WiFi driver, I would end up having to nuke the system and start again, because I would get into a state where I didn't know how to fix it. I probably could fix these things now, I've been doing this stuff for awhile, but even still, it's nice to be able to not ever have to worry about getting into a state like that.
Show HN: An immersive, social reading app for book nerds
This is a first draft of an app that I am working on that is the "anti blinkist (the book summarization app)".

I call it Augre (aug-ur - short for augmented reader) and the whole idea is that I want to immerse more, not less in a book.

I want to dive deeper into the text, chat with others who are reading the book and get into delicious discussions.

It's still early but here are a couple of features:

1. A really solid cross platform epub reader

2. Left sidebar which augments the reading experience with tables, images, maps (and other artifacts coming soon)

3. Book chat where you can chat with the book and ask questions such as how to apply lessons to real life.

4. Chat with other readers, aka, a virtual book club which you automatically join if you have a book (also doesn't have to
be an exact match. philoshopher's stone + sorcerer's stone for example would join the same club.

5. Background music that understands what you are reading and adapts accordingly (still clunky - I will do another pass soon).

I have been working on this for about a month now (started 3 months back but working on it only on weekends). It is a Tauri app so the sizes are really small (4MB). InstantDB is doing a lot of the syncing, auth, chat, stuff. (You don't need to login but it is recommended to get all the social features).

The goal is to have a place to publish books as well as read them as fewer people are reading and fewer new authors are getting published and to build a community of readers and authors and have a bunch of other interesting things which will make reading more fun and reward those activities.

Oh also there is an auto audiobook functionality coming soon and an iPad app coming soon where you can read some of the book, continue listening to the book in your car and then continue reading on the computer etc. I plan to replace the AI stuff with local models as soon as it is feasible.

Please let me know what other features would you want.

Here are the mac, linux, windows builds: https://getaugre.com
The incorrect part is “OpenAI got caught [gaming FrontierMath] a while back.”

From a primary source:

"OpenAI did not use FrontierMath data to guide the development of o1 or o3, at all.... we only downloaded FrontierMath for our evals long after the training data was frozen, and only looked at o3 FrontierMath results after the final announcement checkpoint was already picked."

https://x.com/__nmca__/status/1882563755806281986
Show HN: New Android App alerts you to scams and suspicious links
Hello everyone,

I’ve developed an Android app designed to help keep you safe from online scams. Here’s what it currently does:

1. Detects scams in messages from unknown numbers in SMS and WhatsApp and alerts you immediately.

2. Scans links shared in conversations and warns you if they are suspicious. If they’re safe, you’ll be notified too—so you can click with confidence.

3. Verifies Instagram ads and flags any that seem suspicious or potentially fraudulent.

Privacy first: Your conversations stay entirely on your device. Only links are analyzed externally by trusted servers, and they’re neither stored nor linked to your identity.

The app is currently in testing mode, with support for SMS and WhatsApp. I am actively working on expanding to other apps like Instagram messaging, Signal, Discord, Telegram etc.

Try it out: https://play.google.com/store/apps/details?id=com.scamdetect...

Learn more and share feedback: https://goprotego.ai/

Thanks for checking it out—and stay safe online!
Yeah, both UK and EU ones have the plastic coating on the base of the hot prongs to prevent this from happening. I really wish US plugs had this plastic coating.

I'd choose UK plugs over US plugs any day of the week, but I still think EU plugs are 10x better than UK.
> Holding mass gatherings under such conditions is utterly irresponsible

Yet they don't ban vital gatherings, like concerts[0]. They only ban elections, for which large gatherings are hardly necessary.

> Zelenskyy's main political rivals share the broad consensus that elections should be held only after the war.

His actual main rival's party was banned. Now you see the leaders of the remaining parties toeing the line as sign of robust democracy? Is this a joke?

https://concert.ua/en/catalog/all-cities/concerts
You mean Tamplin didn't ship this?! Srsly tho, I think the idea (or at least was my impression) that it's backed by firebase and firebase has just become ubiquitous for a part of the gcp backend stack? so I thought firebase studio was a way to put a v0 app creator tool on top of firebase? In that context it made sense to me, but maybe I'm misunderstanding.
We have slim plugs here in the US that fit nicely when you have furniture up right against the wall but still need to reach the plug. They have a flat back that definitely allows you to step on it.
Ultimately you get out of this trap by making work sustainable and trying to level the playing field.

Almost nobody is spending resources in the US. And that's half of the problem. It's spent elsewhere, therefore labor stagnates or falls, only leaving low tier jobs to work. No factories locks out advancement reducing morale and draining the best that could have their kids advance.

In the US, you had skyrocketing prices on basics like healthcare and housing too, way more than elsewhere. UK has a lot of this problem too.

That together ultimately causes a reduction in teaching and educational standard, which further shrinks the high end advantage.

Short version: economy and people hollowed out in the middle is unsustainable.
She published a book with these FB "revelations" recently, like a month ago, so kind of PR tour.
Cannot use my github username