The $20k American-made electric pickup with no paint, no stereo, no screen (🔥 Score: 166+ in 58 minutes)
Link: https://readhacker.news/s/6tp2N
Comments: https://readhacker.news/c/6tp2N
Link: https://readhacker.news/s/6tp2N
Comments: https://readhacker.news/c/6tp2N
The Verge
Slate Truck is a $20,000 American-made electric pickup with no paint, no stereo, and no touchscreen
Would you buy a truck this bare-bones?
A Love Letter to People Who Believe in People (Score: 150+ in 18 hours)
Link: https://readhacker.news/s/6tm79
Comments: https://readhacker.news/c/6tm79
Link: https://readhacker.news/s/6tm79
Comments: https://readhacker.news/c/6tm79
swissmiss
A Love Letter To People Who Believe in People
Tina on the transformative power of enthusiasm When I was eight, I made a big, hand-drawn poster that said, “Do you want to join my fan club?” and put it up in the small Swiss town where I grew up.…
What If We Could Rebuild Kafka from Scratch? (Score: 150+ in 11 hours)
Link: https://readhacker.news/s/6tmMN
Comments: https://readhacker.news/c/6tmMN
Link: https://readhacker.news/s/6tmMN
Comments: https://readhacker.news/c/6tmMN
www.morling.dev
What If We Could Rebuild Kafka From Scratch?
Update April 25: This post is being discussed on Hacker News, lobste.rs, and /r/apachekafka
The last few days I spent some time digging into the recently announced KIP-1150 ("Diskless Kafka"), as well AutoMQ’s Kafka fork, tightly integrating Apache Kafka…
The last few days I spent some time digging into the recently announced KIP-1150 ("Diskless Kafka"), as well AutoMQ’s Kafka fork, tightly integrating Apache Kafka…
Eurorack Knob Idea (Score: 150+ in 4 hours)
Link: https://readhacker.news/s/6tnH2
Comments: https://readhacker.news/c/6tnH2
Link: https://readhacker.news/s/6tnH2
Comments: https://readhacker.news/c/6tnH2
Mitxela
Eurorack Knob Idea - mitxela.com
An idea for knobs for synthesizers.
More Everything Forever (❄️ Score: 150+ in 2 days)
Link: https://readhacker.news/s/6tgu4
Comments: https://readhacker.news/c/6tgu4
Link: https://readhacker.news/s/6tgu4
Comments: https://readhacker.news/c/6tgu4
NY Times
Go to Mars, Never Die and Other Big Tech Pipe Dreams
In “More Everything Forever,” the science journalist Adam Becker subjects Silicon Valley’s “ideology of technological salvation” to critical scrutiny.
The Policy Puppetry Prompt: Novel bypass for major LLMs (Score: 151+ in 5 hours)
Link: https://readhacker.news/s/6tnGS
Comments: https://readhacker.news/c/6tnGS
Link: https://readhacker.news/s/6tnGS
Comments: https://readhacker.news/c/6tnGS
HiddenLayer | Security for AI
Novel Universal Bypass for All Major LLMs
HiddenLayer’s latest research uncovers a universal prompt injection bypass impacting GPT-4, Claude, Gemini, and more, exposing major LLM security gaps.
Lossless LLM compression for efficient GPU inference via dynamic-length float (🔥 Score: 154+ in 2 hours)
Link: https://readhacker.news/s/6tpS9
Comments: https://readhacker.news/c/6tpS9
Link: https://readhacker.news/s/6tpS9
Comments: https://readhacker.news/c/6tpS9
arXiv.org
70% Size, 100% Accuracy: Lossless LLM Compression for Efficient...
Large Language Models (LLMs) have grown rapidly in size, creating significant challenges for efficient deployment on resource-constrained hardware. In this paper, we introduce Dynamic-Length Float...
GCC 15.1 (Score: 150+ in 10 hours)
Link: https://readhacker.news/s/6tnns
Comments: https://readhacker.news/c/6tnns
Link: https://readhacker.news/s/6tnns
Comments: https://readhacker.news/c/6tnns
Wikipedia’s nonprofit status questioned by D.C. U.S. attorney (🔥 Score: 157+ in 2 hours)
Link: https://readhacker.news/s/6tqCq
Comments: https://readhacker.news/c/6tqCq
Link: https://readhacker.news/s/6tqCq
Comments: https://readhacker.news/c/6tqCq
Reproducibility project fails to validate dozens of biomedical studies (Score: 150+ in 11 hours)
Link: https://readhacker.news/s/6tpkW
Comments: https://readhacker.news/c/6tpkW
Link: https://readhacker.news/s/6tpkW
Comments: https://readhacker.news/c/6tpkW
Nature
Huge reproducibility project fails to validate dozens of biomedical studies
Nature - Unique reproducibility effort in Brazil focuses on common methods rather than a single field ― and prompts call for reform.
Show HN: I used OpenAI's new image API for a personalized coloring book service (Score: 152+ in 19 hours)
Link: https://readhacker.news/s/6tnhS
Comments: https://readhacker.news/c/6tnhS
I've had an idea for a long time to generate a cute coloring book based on family photos, send it to a printing service, and then deliver it to people.
Last month, when OpenAI's Sora was released for public use I (foolishly) thought I'd manually drag-and-drop each order’s photos into Sora's UI and copy the resulting images back into my system. This took way too much time (about an hour for each of the few books I made and tested with family and friends). It clearly wasn't possible to release this version because I’d be losing a huge amount of time on every order. So instead, I decided I'd finish off the project as best I could, put it "on ice," and wait for the API release.
The API is now released (quicker than I thought it'd be, too!) and I integrated it last night. I'd love your feedback on any and all aspects.
The market is mostly family-based, but from my testing of the physical book I've found that both adults and kids enjoy coloring them in (it's surprisingly cathartic and creative). If you would like to order one you can get 10% off by tapping the total price line item five times.
Link: https://readhacker.news/s/6tnhS
Comments: https://readhacker.news/c/6tnhS
I've had an idea for a long time to generate a cute coloring book based on family photos, send it to a printing service, and then deliver it to people.
Last month, when OpenAI's Sora was released for public use I (foolishly) thought I'd manually drag-and-drop each order’s photos into Sora's UI and copy the resulting images back into my system. This took way too much time (about an hour for each of the few books I made and tested with family and friends). It clearly wasn't possible to release this version because I’d be losing a huge amount of time on every order. So instead, I decided I'd finish off the project as best I could, put it "on ice," and wait for the API release.
The API is now released (quicker than I thought it'd be, too!) and I integrated it last night. I'd love your feedback on any and all aspects.
The market is mostly family-based, but from my testing of the physical book I've found that both adults and kids enjoy coloring them in (it's surprisingly cathartic and creative). If you would like to order one you can get 10% off by tapping the total price line item five times.
I wrote a book called "Crap Towns". It seemed funny at the time (Score: 151+ in 5 hours)
Link: https://readhacker.news/s/6tqME
Comments: https://readhacker.news/c/6tqME
Link: https://readhacker.news/s/6tqME
Comments: https://readhacker.news/c/6tqME
Substack
That joke isn't funny any more
In 2003, I wrote a book called Crap Towns. It seemed funny at the time. But plenty of people say it would not be possible to publish it today. Is that a problem?
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