World Emulation via Neural Network (Score: 150+ in 10 hours)
Link: https://readhacker.news/s/6tqsF
Comments: https://readhacker.news/c/6tqsF
Link: https://readhacker.news/s/6tqsF
Comments: https://readhacker.news/c/6tqsF
Show HN: Magnitude – open-source, AI-native test framework for web apps (Score: 150+ in 15 hours)
Link: https://readhacker.news/s/6tpzv
Comments: https://readhacker.news/c/6tpzv
Hey HN, Anders and Tom here - we’ve been building an end-to-end testing framework powered by visual LLM agents to replace traditional web testing.
We know there's a lot of noise about different browser agents. If you've tried any of them, you know they're slow, expensive, and inconsistent. That's why we built an agent specifically for running test cases and optimized it just for that:
- Pure vision instead of error prone "set-of-marks" system (the colorful boxes you see in browser-use for example)
- Use tiny VLM (Moondream) instead of OpenAI/Anthropic computer use for dramatically faster and cheaper execution
- Use two agents: one for planning and adapting test cases and one for executing them quickly and consistently.
The idea is the planner builds up a general plan which the executor runs. We can save this plan and re-run it with only the executor for quick, cheap, and consistent runs. When something goes wrong, it can kick back out to the planner agent and re-adjust the test.
It’s completely open source. Would love to have more people try it out and tell us how we can make it great.
Repo: https://github.com/magnitudedev/magnitude
Link: https://readhacker.news/s/6tpzv
Comments: https://readhacker.news/c/6tpzv
Hey HN, Anders and Tom here - we’ve been building an end-to-end testing framework powered by visual LLM agents to replace traditional web testing.
We know there's a lot of noise about different browser agents. If you've tried any of them, you know they're slow, expensive, and inconsistent. That's why we built an agent specifically for running test cases and optimized it just for that:
- Pure vision instead of error prone "set-of-marks" system (the colorful boxes you see in browser-use for example)
- Use tiny VLM (Moondream) instead of OpenAI/Anthropic computer use for dramatically faster and cheaper execution
- Use two agents: one for planning and adapting test cases and one for executing them quickly and consistently.
The idea is the planner builds up a general plan which the executor runs. We can save this plan and re-run it with only the executor for quick, cheap, and consistent runs. When something goes wrong, it can kick back out to the planner agent and re-adjust the test.
It’s completely open source. Would love to have more people try it out and tell us how we can make it great.
Repo: https://github.com/magnitudedev/magnitude
GitHub
GitHub - magnitudedev/magnitude: Open source, AI-native testing framework for web apps
Open source, AI-native testing framework for web apps - magnitudedev/magnitude
Cloth (Score: 153+ in 4 hours)
Link: https://readhacker.news/s/6trdV
Comments: https://readhacker.news/c/6trdV
Link: https://readhacker.news/s/6trdV
Comments: https://readhacker.news/c/6trdV
Cloudofoz
@cloudofoz - Verlet simulation test
A 2D cloth Verlet simulation made in Rust
Berkeley Humanoid Lite – Open-source robot (Score: 150+ in 9 hours)
Link: https://readhacker.news/s/6tqQU
Comments: https://readhacker.news/c/6tqQU
Link: https://readhacker.news/s/6tqQU
Comments: https://readhacker.news/c/6tqQU
People say they’ll pay more for “made in the USA” so we ran a test (Score: 150+ in 1 day)
Link: https://readhacker.news/s/6tkUh
Comments: https://readhacker.news/c/6tkUh
Link: https://readhacker.news/s/6tkUh
Comments: https://readhacker.news/c/6tkUh
Afina
Everyone Says They’ll Pay More for “Made in the USA.” So We Ran an A/B
When we priced a U.S.-made version of our flagship product 85% higher than our Chinese-made one, 25,650 customers had the chance to vote with their wallets. Here’s what happened. As small business owners, we’ve heard it a thousand times: “I’d gladly pay more…
Mark Zuckerberg personally lost the Facebook antitrust case (🔥 Score: 150+ in 1 hour)
Link: https://readhacker.news/s/6trDt
Comments: https://readhacker.news/c/6trDt
Link: https://readhacker.news/s/6trDt
Comments: https://readhacker.news/c/6trDt
Show HN: Formalizing Principia Mathematica using Lean (Score: 150+ in 18 hours)
Link: https://readhacker.news/s/6tpXS
Comments: https://readhacker.news/c/6tpXS
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia using Rocq (formerly Coq), which is much mature work than this one. However, I still thought it would be fun to do it using Lean4.
https://ndrwnaguib.com/principia/
https://github.com/ndrwnaguib/principia
Link: https://readhacker.news/s/6tpXS
Comments: https://readhacker.news/c/6tpXS
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia using Rocq (formerly Coq), which is much mature work than this one. However, I still thought it would be fun to do it using Lean4.
https://ndrwnaguib.com/principia/
https://github.com/ndrwnaguib/principia
GitHub
GitHub - ndrwnaguib/principia: Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean
Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean - ndrwnaguib/principia
An end to all this prostate trouble? (Score: 152+ in 4 hours)
Link: https://readhacker.news/s/6trsU
Comments: https://readhacker.news/c/6trsU
Link: https://readhacker.news/s/6trsU
Comments: https://readhacker.news/c/6trsU
The Friendship Recession: The Lost Art of Connecting (🔥 Score: 152+ in 1 hour)
Link: https://readhacker.news/s/6trHz
Comments: https://readhacker.news/c/6trHz
Link: https://readhacker.news/s/6trHz
Comments: https://readhacker.news/c/6trHz
The Leadership & Happiness Laboratory
The Friendship Recession: The Lost Art of Connecting — The Leadership & Happiness Laboratory
February 2025 Issue Carolyn Bruckmann, Harvard Kennedy School MPP ‘25 The so-called “Friendship Recession” is making its way into the vernacular—a profound shift in how Americans experience and sustain friendships. The data paints a stark picture.…
ICE Deports 3 U.S. Citizen Children Held Incommunicado Prior to the Deportation (Score: 155+ in 5 hours)
Link: https://readhacker.news/s/6trtR
Comments: https://readhacker.news/c/6trtR
Link: https://readhacker.news/s/6trtR
Comments: https://readhacker.news/c/6trtR
American Civil Liberties Union
ICE Deports 3 U.S. Citizen Children Held Incommunicado Prior to the Deportation | American Civil Liberties Union
Families disappeared and isolated without legal access; one child with cancer deported without medication and pregnant mother deported as well
Curry: A functional logic programming language (Score: 150+ in 19 hours)
Link: https://readhacker.news/s/6tpX6
Comments: https://readhacker.news/c/6tpX6
Link: https://readhacker.news/s/6tpX6
Comments: https://readhacker.news/c/6tpX6
curry-lang.org
- Curry Programming Language
A Truly Integrated Functional Logic Programming Language
Parallel ./configure (Score: 152+ in 16 hours)
Link: https://readhacker.news/s/6tqE6
Comments: https://readhacker.news/c/6tqE6
Link: https://readhacker.news/s/6tqE6
Comments: https://readhacker.news/c/6tqE6
Watching o3 guess a photo's location is surreal, dystopian and entertaining (🔥 Score: 151+ in 2 hours)
Link: https://readhacker.news/s/6trSM
Comments: https://readhacker.news/c/6trSM
Link: https://readhacker.news/s/6trSM
Comments: https://readhacker.news/c/6trSM
Simon Willison’s Weblog
Watching o3 guess a photo’s location is surreal, dystopian and wildly entertaining
Watching OpenAI’s new o3 model guess where a photo was taken is one of those moments where decades of science fiction suddenly come to life. It’s a cross between the …
Backblaze: Mounting Losses, Lawsuits, Sham Accounting, Insider Selling (Score: 154+ in 5 hours)
Link: https://readhacker.news/s/6trGD
Comments: https://readhacker.news/c/6trGD
Link: https://readhacker.news/s/6trGD
Comments: https://readhacker.news/c/6trGD
Morpheus Research
Backblaze: A Loss-Making Data Storage Business Mired in Lawsuits, Sham Accounting, and Brazen Insider Dumping
Summary
* Backblaze (NASDAQ:BLZE) is a $250 million cloud storage and backup solution provider based in California that operates through two business segments: B2 Cloud Storage allowing “customers to store data” and “developers to build applications,” and…
* Backblaze (NASDAQ:BLZE) is a $250 million cloud storage and backup solution provider based in California that operates through two business segments: B2 Cloud Storage allowing “customers to store data” and “developers to build applications,” and…
Australian who ordered radioactive materials walks away from court (Score: 151+ in 10 hours)
Link: https://readhacker.news/s/6triz
Comments: https://readhacker.news/c/6triz
Link: https://readhacker.news/s/6triz
Comments: https://readhacker.news/c/6triz
Chemistry World
Australian who ordered radioactive materials over the internet walks away from court
Emmanuel Lidden had been attempting to collect every element on the periodic table
Show HN: My self-written hobby OS is finally running on my vintage IBM ThinkPad (Score: 154+ in 5 hours)
Link: https://readhacker.news/s/6trR6
Comments: https://readhacker.news/c/6trR6
Finally got my hobby OS up and running on real hardware. I love the old IBM thinkpads, so thought it was the perfect machine to get it working on. Been working on it for quite some time now, but this has been a big milestone!
Link: https://readhacker.news/s/6trR6
Comments: https://readhacker.news/c/6trR6
Finally got my hobby OS up and running on real hardware. I love the old IBM thinkpads, so thought it was the perfect machine to get it working on. Been working on it for quite some time now, but this has been a big milestone!
GitHub
GitHub - joexbayer/RetrOS-32: A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for…
A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for i386 architecture. - joexbayer/RetrOS-32
Your phone isn't secretly listening to you, but the truth is more disturbing (Score: 153+ in 18 hours)
Link: https://readhacker.news/s/6tqMk
Comments: https://readhacker.news/c/6tqMk
Link: https://readhacker.news/s/6tqMk
Comments: https://readhacker.news/c/6tqMk
New Atlas
Your phone isn’t secretly listening to you, but the truth is more disturbing
A longstanding conspiracy is the tale of how Facebook is listening in on your conversations, but the way it is actually serving you ads is much more unsettling.
Mike Lindell's lawyers used AI to write brief–judge finds nearly 30 mistakes (Score: 150+ in 10 hours)
Link: https://readhacker.news/s/6trvH
Comments: https://readhacker.news/c/6trvH
Link: https://readhacker.news/s/6trvH
Comments: https://readhacker.news/c/6trvH
Ars Technica
Mike Lindell’s lawyers used AI to write brief—judge finds nearly 30 mistakes
Lindell brief has many defects including “cases that do not exist,” judge says.
Mobygratis – Free Moby music to empower your creative projects (Score: 154+ in 20 hours)
Link: https://readhacker.news/s/6tqTz
Comments: https://readhacker.news/c/6tqTz
Link: https://readhacker.news/s/6tqTz
Comments: https://readhacker.news/c/6tqTz
Mobygratis
mobygratis - Free Moby music to empower your creative projects
Free music resource designed to empower creative projects by students, non-profits, indie filmmakers, musicians and more.
LLMs can see and hear without any training (Score: 150+ in 9 hours)
Link: https://readhacker.news/s/6trXG
Comments: https://readhacker.news/c/6trXG
Link: https://readhacker.news/s/6trXG
Comments: https://readhacker.news/c/6trXG
GitHub
GitHub - facebookresearch/MILS: Code release for "LLMs can see and hear without any training"
Code release for "LLMs can see and hear without any training" - facebookresearch/MILS