MurphyA/hacker-news huggingface dataset:
by weinzierl | 2025-05-26 18:20:25+00:00
Thanks for that detailed argument, especially for pointing out the three necessary components.

I agree even with the following paragraph in principle:

"If you're wondering whether whatever.sh is safe in the first place, and you want some council of elders to pinky promise that it's safe to run, then I don't think the nix ecosystem has much to offer you."

For me it is not so much about what the council of elders says, but more about when FAANG and Co. are OK to run a binary I think needn't worry about the rest. Or to think this further, they should care more about Nix than I should.
by HenryBemis | 2025-05-26 18:20:37+00:00
With the political tensions in the US (I'm not trying to fan any flames - wait to read the full thing), I think that SBF made the mistake to 'bet on both teams - with a smile', and he is punished because teamA that eventually won punished him for funding teamB as well. So a friend of our enemy is our enemy (!?). Also, he may have been seen as a 'traitor' by both teams. I know about the case what I've read in some news sites and Coffeezilla/Voidzilla, and it seems like the guy should be behind bars. And with that said, I rarely celebrate when someone loses their freedom. I mostly feel sorry for them and their life's choices (and the fact that with being in prison he made his own life hell, and put in some very difficult position everyone near/around him).
by scyclow | 2025-05-26 18:20:40+00:00
I think this is why regulation is so important. As the GENIUS Act is written, all funds backing the coin need to be held in cash or Treasuries. And if they go bankrupt, coin holders would have a higher claim on that money than creditors. If stablecoins aren't regulated then what's to stop issuers from creating stablecoin products without those protections?
by lisper | 2025-05-26 18:20:52+00:00
> your compiler has to handle each type of expression sooner or later, so this isn't as big a deal as it might sound

It's a bigger deal than you think. Not only can you leverage the CL parser on the front end so that you can convert code to data simply by prefixing it with a quote, but you can also leverage the CL compiler on the back end to generate the final code. So you don't have to build a complete back end. All you have to do is translate your language into Common Lisp and then pass that on to the CL compiler. That is almost always orders of magnitude simpler than writing a complete back end. The only time it doesn't work is if your language has semantics that are fundamentally different from CL. (The classic example of this is call/cc.) But 99% of the time you don't need this, and so 99% of the time writing a compiler in CL is 1% of the work it otherwise would be.
by kazinator | 2025-05-26 18:20:55+00:00
FOSS-side-project-wise, working on next release of the TXR Language.

It is just now a matter of, cut it now, or include yet one more thing?

I started writing the RELNOTES two weekends ago, yet more stuff started going in.

In the semantic versioning scheme selected for this project, 300 means that it is literally the 300th public release.

There are over 140 new commits and 299 was all the way back in February.

It's going to be very exciting (for the small number of people that know about this project, now nearing its 16th anniversary).

https://nongnu.org/txr
by epistasis | 2025-05-26 18:20:57+00:00
I still have no concrete idea of what you are talking about. You say it happens all the time, but I have not seen it. One person's "StupidBullshit" could be another person's "AmazingIdea" or it could be "StupidBullshit" to 99.999% of people, but without actually knowing what you're referring to it's impossible to know.

For example, there's tons of things that I love that others consider "StupidBullshit": book stores, game shops, live music venues, etc. In my town, a brewery in an industrially zoned area got exceptions to start allow serving beer and food, then a temporary one to allow live music. It's great. Then a shop owner next door shut down the extension that allowed live music because they thought that in the next 10 years there's a chance they might be allowed to build apartments, and that the live music permit should not be allowed because of that potential. 2 years of dragging out the permitting process continued, because a few people thought a beloved music venue was StupidBullshit.

That's the closest example to what you're talking about that I can think of, and it doesn't even involve developers. So I'm very skeptical about the public process of deciding "StupidBullshit," and have not once seen it turn out positively. Like, literally zero times. And I've been following land use in my city very closely for the past decade.
by brobdingnagians | 2025-05-26 18:21:20+00:00
My assumption is that creating a compiler and runtime to match sbcl isn't in scope for racket, so it wouldn't be polite to request racket to do so :) there were probably other benefits of similar orthogonal features, where racket users don't necessarily need it, but another language/runtime already has it because that's where people who need that go
by agcat | 2025-05-26 18:22:07+00:00
Nowadays, I am working on learning robotics from a software engineer's lens on weekends. I got a yahboom one hand robot with Nvidia jetson nano orin gpu. So far i have setup the robot and next i am going to run basic apps on it. I am also going to document video and blog the journey. If someone else is also playing with robots would love to learn
by detaro | 2025-05-26 18:22:31+00:00
(I assume you ask about the exact numbers, not how to translate it?) The actual prison sentences are 4.5 years for the former head of diesel engine development, 2 years 7 months for the former head of engine electronics. Two more got sentenced on probation, a former (guessing at the translation here) Chief R&D Officer for 1 year 3 months, a (unspecified in the source I'm reading) department head 1 year 10 months.

Apparently 31 more people are targeted by further cases. (+ Winterkorn, but I wouldn't be surprised if he never makes it to trial given it's been aborted twice already due to health issues)
by michelsedgh | 2025-05-26 18:23:07+00:00
I think it will write code like cake in 2 years time just like how we went from will smith eating spaghetti to Veo3 in 2 years time. I think it will write senior level code in 2-4 years time depending on how optimistic u want to be. The reason they say all jobs is because you can not differentiate between doctors and actors and coders, ALL jobs are at stake.
by whyowhy3484939 | 2025-05-26 18:23:27+00:00
> My sisters played around with Dall-E and are now able to do simiiliar things.

This is no way shape or form in any actual productive way similar to being skilled at Photoshop. There is absolutely no way these people can mask, crop, tweak color precisely, etc. There are hundreds of these sub-tasks. It's not just "making cool images". No amount of LLMing will make you skilled and no amount of delegation will make you able to ask these specific questions in a skillful way to the LLM.

There is a very real fundamental problem here. To be able to state the right questions you have to have a base of competence that ya'll are so happy about throwing into the wind. The next generation will not even know what a "mask" is, let alone ask an LLM for details. Education is dropping worldwide and these things are not going to help. They are going to accelerate this bullshit.

> liberating knowledge through accessability

Because the thing is, availability of knowledge never was the issue. The existence of ridiculous amounts of copyright free educational material and the hundreds of gigs of books on Project Gutenberg are testament to that.

Even in my youth (90s) there were plenty of books and easy to access resources to learn, say, calculus. Did I peruse them? Hell no. Did my friends? You bet your ass they were busy wasting time doing bullshit as well. Let's just be honest about this.

These problems are not technical and no amount of technology is going to solve them. If anything, it'll make things worse. Good education is everything, focus on that. Drop the AI bullshit, drop the tech bullshit. Read books, solve problems. Focus on good teachers.
by m3drano | 2025-05-26 18:23:33+00:00
one extra thing to mention is he role of Telefonica here. they are both an ISP that needs to apply the blocks, but also its subsidiary "Telefonica Audiovisual", who holds rights for the football, is a plaintiff.

one of the claims were that this is somewhat a procedural fraud since the plaintiff (Telefonica Audiovisual) and the defendant (Telefonica Spain) is technically the same thing. the order was granted after the defendants admitted, and therefore there wasn't any hearing with CF.
by ProllyInfamous | 2025-05-26 18:23:48+00:00
I am a fattie (BMI 36.5). I also have sleep apnea. Wearing a CPAP, I couldn't ever get any sleep (toss&turner).

Things that've helped:

1) Using body pillows to force sleeping on side, which straightens the neck (versus face-down) — also lessens low-back pain

2) DENTAL GUARD (a 3D-printed plastic insert which form-fits my teeth, slightly opening jaw-angle/mouth)

3) Losing weight — YES, sleep apnea is worsened by excess weight

4) Pseudoephedrine (an hour before sleep) — but be careful cause too much and you won't ever sleep

YMMV; I am not a doctor (just fat guy with apnea).
by mattnewton | 2025-05-26 18:25:02+00:00
I mean, my understanding is that the United States v. Verdugo-Urquidez basically ruled the fourth amendment doesn't apply for foreigners at borders in 1990, so I think that is true but not new.*

What is new is putting people in CECOT forever without trial. https://www.cbsnews.com/news/what-records-show-about-migrant...

One particular case stands out of Andry José Hernández Romero https://www.theguardian.com/us-news/2025/apr/01/its-a-tradit...

And they are certainly arresting people on student visas they don't like, and shifting them to favorable jurisdictions to get the court rulings they want.

* My understanding is that the fourth amendment has been eroded in practice over several years, with decisions like border exceptions apply to anywhere within 100 air miles of an airport or coastline, which is where basically everyone in the US lives. https://www.aclu.org/know-your-rights/border-zone
by mystifyingpoi | 2025-05-26 18:25:49+00:00
I have never tried Nix, but read about it a lot, and I agree that this part is most of the time completely glossed over in tutorials. I get that nix-shell is cool, and I can get the shell with everything configured to run, let's say, Python with specific deps, very easily - but... then what? Can I run, let's say, IDEA or vscode from there and get all the PATH stuff right? Or does it require extra magic? Not everyone lives and breathes in terminal (even though I mostly do).
by ajross | 2025-05-26 18:26:00+00:00
Yeah yeah. But nonetheless group think and echo chambers are real things. Not all opinions are uncorrelated data points, probably most of them aren't. And real people (you too) do indeed hold contradictory opinions all the time.

In point of fact insisting that "My Opinion Is Pure And Special and Uncorrelated To Anyone Else's" is probably the single best way to find yourself parroting echo chamber delusions. It's a license to ignore everyone who disagrees with you, because you can always construct things such that they're really arguing with someone else.

I think it's very appropriate to point out when "General consensus on HN as measured by article upvotes" happens to include two grossly contradictory opinions.
by kevincox | 2025-05-26 18:26:03+00:00
In theory nothing. If you have complete confidentiality you only enough entropy to ensure that the attacker can not guess it.

But in practice things get logged, people mess up their DNS and send the request to a different party (potentially after their CDN decrypts it) or some other blunder. With HMAC as long as the recipient is validating properly (which is a whole different can of worms) the worst the attacker can do is replay requests that they have observed.
by HenryBemis | 2025-05-26 18:26:22+00:00
A long time ago (2? years back) I remember a guy on Joe Rogan speaking how 'the best case scenario' is to burn that plastic. I did some reading about the fact, spoke with a guy that I knew that owns a "recycling factory" and I was 'convinced' that realistically this is (and should be) happening.

We know that now 'they' lied to us and most plastic is NOT recyclable, and they did so only to continue the oil business.

Seeing the map (Finland, Turkey, France), and in the past having garbage shipped all over the planet, do people calculate the "carbon tax" to move X tonnes to another country? The total cost of extract the energy from (the) earth (petrol for ships, fuel for planes, etc.)? Would it be better to use modern filters (as others wrote in comments) and burn them at the place of production?
by Altern4tiveAcc | 2025-05-26 18:26:32+00:00
This article felt like a strong argument against Nix rather than in favor of it. The complexity it brings is just not worth the gains for the majority of people that I know. No, most people won't be happy that Nix breaks dynamic linking.

Docker with a Debian Stable base will solve the problems listed for most users, with 1% of the time investment. The author used Nix for 8 years, and I'm not surprised it looks a bit simpler to them now.
by jimmaswell | 2025-05-26 18:26:44+00:00
I did read all the keybindings (as well as the entire README.md) hoping to find a "launch" or similar command but there was nothing relevant. "Increase number of master windows" was most promising but nothing happened. The only command that responded was super+shift+q to quit. Nothing abnormal going on in the Xorg or plwm logs.
by dotancohen | 2025-05-26 18:26:44+00:00
> And no, this is not something permitted by the second law of thermodynamics.

If someone points out to you that your pet theory of the universe is in disagreement with Maxwell’s equations—then so much the worse for Maxwell’s equations. If it is found to be contradicted by observation—well these experimentalists do bungle things sometimes. But if your theory is found to be against the second law of thermodynamics I can give you no hope; there is nothing for it but to collapse in deepest humiliation.
by sychu | 2025-05-26 18:27:09+00:00
Thanks for all the kind words and feedback! I’m the developer behind this project.

I totally agree — the current AI is still quite weak (even the “hard” mode isn’t available yet ). Right now it’s using a simple minimax + heuristic evaluation, but I’m actively working on a stronger version. If you’re curious about how it works or want to contribute ideas (or code!), feel free to check out the repo here: https://github.com/schaoss/wall-go

Also glad to hear some of you tried different strategies! I’ve seen players go for center control, corner traps, or aggressive sealing. It’s fascinating how this seemingly simple game offers so many tactical options.

Coming soon: • Better AI • 3/4 - player mode (yes, just like in the show!) • Maybe even online multiplayer, maybe

Thanks again for the encouragement — I didn’t expect this side project to gain traction, but it’s been a joy to build and share. Let me know what features you’d love to see next!
by ProllyInfamous | 2025-05-26 18:27:13+00:00
If you attempt body pillows, get TWO (so when you roll to other side you don't have to wake up in order to swap pillow placement). But the dental guard ($$$ — worth it, IMHO) is the best solution on my list (I'm sure CPAP is ideal, but if I ever even could fall asleep, I'd wake up de-masked).

Best of luck!
by 613style | 2025-05-26 18:29:02+00:00
The sharpest cries of, "that's not thinking!" always seem to have an air of desperation about them. It's as if I'm special, and I think, and maybe thinking is what makes me special, so if LLMs think then I'm less special.

At some point the cry will change to, "It only looks like thinking from the outside!" And some time after that: "It only looks conscious from the outside..."
by swanYC | 2025-05-26 18:29:23+00:00
Interesting analogy!

For instance, some cars periodically check if your hands are on the wheel. (Tesla does that, right?)

This type of check could helps confirm you are still engaged and proactively asking for consent. That would be a big step for us, we have searched the whole note-taking industry and it is very hard to find a method that is truly foolproof.

If you have a solution that wouldn't rely on pure user trust, please let us know.
by i80and | 2025-05-26 18:29:43+00:00
I was happily paying for Duolingo Super, despite being unconfident in its pedagogy, until they announced they were replacing their human curriculum writers.

Dropped it instantly. I get the bargain-basement cost-cutting appeal from a (bad) CEO's perspective, but if I'm paying actual money for a service, I want said money going to humans.
by crypto420 | 2025-05-26 18:29:50+00:00
All of this, as well as the crazy weird behaviors by o3 around it's hallucinations and Claude on deceiving users - is pointing to an interesting quote I saw about scaling RL in LLMs: https://x.com/jxmnop/status/1922078186864566491

"the AI labs spent a few years quietly scaling up supervised learning, where the best-case outcome was obvious: an excellent simulator of human text

now they are scaling up reinforcement learning, which is something fundamentally different. and no one knows what happens next"

I tend to believe this. AlphaGo and AlphaZero, which were both trained with RL at scale, led to strategies that have never been seen before. They were also highly specialized neural networks for a very specific task, which is quite different from LLMs, which are quite general in their capabilities. Scaling RL on LLMs could lead to models that have very unpredictable behaviors and properties on a variety of tasks.

This is all going to sound rather hyperbolic - but I think we're living in quite unprecedented times, and I am starting to believe Kurzweil's vision of the Singularity. The next 10-20 years are going to be very unpredictable. I don't quite know what the answer will be, but I believe scaling mechanistic interpretability will probably yield some breakthroughs into how these models approach problems.
by quinto_quarto | 2025-05-26 18:30:40+00:00
been building a free, simple save-later and notes app: https://eyeball.wtf/

you can do all the usual stuff (save any link with one click, tag your stuff, add notes to each link). i'm not sure what to do next with it, open to suggestions.

i also made a IMDB of the creator economy, a free database of indies making cool things: https://indieworld.io/
by acdha | 2025-05-26 18:30:57+00:00
It puts you one mistake or bit of misplaced trust away from permanent de-anonymization. In our example, you have to avoid ever using that wallet for anything else, scrupulously fund it using mixers, and hope that your VPN provider never does something which makes it possible to link your activity to that wallet.

This is not realistic for the average person.
by the__alchemist | 2025-05-26 18:30:59+00:00
Concur; the idea behind this class of devices is to take advantage of a daily humidity cycle. Whether it's CaCl (absorption) or Silica (adsorption), or the latest lab-designed adsorption surface.

This is a good time to note that I see one of these articles ~once every two years, for the past 10 years. I haven't observed one make it beyond the initial discovery phase.
by JumpCrisscross | 2025-05-26 18:31:03+00:00
> part of the reason that we don’t have those numbers is that there is in general not that many geriatric roofers, or geriatric craftsmen for that matter

This is a good hypothesis. Whatever the reason, I see no evidence for old roofers causing death or injury to anyone, including themselves. There is zero hypocrisy in regulating old drivers while being laxer with old roofers.
by dkarl | 2025-05-26 18:31:56+00:00
I agree — our scientific knowledge gives us no justification for believing that anything should be conscious, but our own experience shows that there's something we don't understand yet. In some ways, the next simplest thing to assume is panpsychism, but even that is just a starting place that tells us nothing about how to think about the consciousness of, say, a computer. We've barely scraped the surface even in the animal kingdom.
by speff | 2025-05-26 18:32:02+00:00
I skimmed the article - any significant concrete numbers were all sourced to the EPI site linked by the GP. There's an unsourced FBI chart that says >19B in 2012, but I couldn't find the actual numbers when I looked. Frankly - I don't trust this claim if the only one actually putting big numbers on it is one publication.

EDIT: I'm going to cast more suspicion on the FBI graph. According to a 2022 report[0], the number of robbery offenses reported in 2018 was 1691 cases. The median loss being about $2k. Doing some caveman-math, that's about $3B lost to robbery in 2018. Unless we went through some insane spike of lawlessness between 2012 and 2018, I don't see how $340m in 2012 jumps to $3B in 2018.

[0]: https://www.ussc.gov/sites/default/files/pdf/research-and-pu...
by jodrellblank | 2025-05-26 18:32:08+00:00
A bigotted ageist worldview from someone with an eastern european name; that's just what I'd expect from a Saggitarius[0].

Seriously, there's 800,000,000 people over 65 on the planet[1], and you're judging all of their abilities based on a two digit number, instead of individually on their actual health and abilities. That's ageism. That's a yesteryear worldview that people have been fighting against for a long time.

And that "I thought I could say horrible things and nobody would object" is common red flag behaviour mentioned on all the "what's a red flag about X" threads that appear on Reddit constantly; "my boss said something rude about <group> and nobody said anything". That you didn't expect an uproar about judging people you don't know as incompetent or incapable based only on their age - and got an uproar - should be a reason for you to reflect.

[0] https://www.youtube.com/watch?v=pCXBPLl7gXc

[1] https://ourworldindata.org/grapher/population-by-age-group
by douchescript | 2025-05-26 18:32:52+00:00
Nix + flakes & direnv is the perfect dev environment, run it on the Mac and everybody in team can setup any project in seconds. We also have a makefile that sets up Postgres / init,start,stop with a local file socket - so every project instance has it’s own db instance. Very jummy.

That said I wish it was easier to be able to pick a specific build of for example ruby like ruby-3.3.7-p123.
by techpineapple | 2025-05-26 18:33:16+00:00
It’s kind of interesting for the CEO to position DuoLingo this way, because without the human element, DuoLingo feels like exactly the kind of service to be disrupted by AI, which I guess is part of the reasons he’s trying to take the foot out of his own mouth.

But it does sort of highlight that I think sooner rather than later, human curation will be a selling point, once AI apps become more the norm.
by ravivooda | 2025-05-26 18:33:17+00:00
https://preview--tool-millions-accessed.lovable.app/launchpa...

For the tinkerers of the world: drop your tool, we handle auth, payments, usage. You get paid per run.

For the consumers: don’t like selling your data just to convert a file? You’ve found your home. No tracking. No ads. No dopamine hacks (only regular dosage).