Hacker News new | past | comments | ask | show | jobs | submit | 2025-04-25 login
Stories from April 25, 2025 (UTC)
Go back a day, month, or year. Go forward a day.
1.
Notation as a Tool of Thought (1979) (jsoftware.com)
303 points by susam 1 day ago | 94 comments
2.
Writing "/etc/hosts" breaks the Substack editor (scalewithlee.substack.com)
518 points by scalewithlee 16 hours ago | 285 comments
3.
A $20k American-made electric pickup with no paint, no stereo, no screen (theverge.com)
1096 points by kwindla 15 hours ago | 964 comments
4.
A Love Letter to People Who Believe in People (swiss-miss.com)
332 points by NaOH 1 day ago | 93 comments
5.
Eurorack Knob Idea (mitxela.com)
264 points by po 17 hours ago | 100 comments
6.
FBI arrests judge accused of helping man evade immigration authorities (apnews.com)
940 points by eterps 14 hours ago | 866 comments
7.
GCC 15.1 (gcc.gnu.org)
221 points by jrepinc 19 hours ago | 130 comments
8.
The Policy Puppetry Attack: Novel bypass for major LLMs (hiddenlayer.com)
267 points by jacobr1 17 hours ago | 206 comments
9.
Lossless LLM compression for efficient GPU inference via dynamic-length float (arxiv.org)
312 points by CharlesW 12 hours ago | 103 comments
10.
Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity (science.org)
130 points by bookofjoe 15 hours ago | 35 comments
11.
DeepMind releases Lyria 2 music generation model (deepmind.google)
292 points by velcrobeg 1 day ago | 415 comments
12.
What If We Could Rebuild Kafka from Scratch? (morling.dev)
218 points by mpweiher 1 day ago | 190 comments
13.
Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com/magnitudedev)
144 points by anerli 13 hours ago | 34 comments
14.
Wikipedia’s nonprofit status questioned by D.C. U.S. attorney (washingtonpost.com)
413 points by coloneltcb 7 hours ago | 333 comments
15.
Reproducibility project fails to validate dozens of biomedical studies (nature.com)
167 points by rntn 14 hours ago | 86 comments
16.
Large language models, small labor market effects [pdf] (uchicago.edu)
118 points by luu 22 hours ago | 28 comments
17.
Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)
123 points by ndrwnaguib 11 hours ago | 28 comments
18.
Paper2Code: Automating Code Generation from Scientific Papers (arxiv.org)
99 points by Jerry2 12 hours ago | 13 comments
19.
Curry: A functional logic programming language (curry-lang.org)
123 points by hyperbrainer 11 hours ago | 25 comments
20.
The VTech Socratic Method (leadedsolder.com)
71 points by zdw 2 days ago | 9 comments
21.
A Visual Journey Through Async Rust (github.com/alexpusch)
141 points by PaulHoule 1 day ago | 22 comments
22.
Show HN: I built Lovable for text bots and mini apps (plutonic.dev)
41 points by piotmni 1 day ago | 16 comments
23.
Differential Coverage for Debugging (swtch.com)
56 points by todsacerdoti 14 hours ago | 7 comments
24.
Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf] (utl.pt)
86 points by luu 3 days ago | 69 comments
25.
Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com/fourlexboehm)
86 points by alexboehm 1 day ago | 30 comments
26.
Programming in D: Tutorial and Reference (ddili.org)
86 points by teleforce 10 hours ago | 40 comments
27.
Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
174 points by darajava 20 hours ago | 93 comments
28.
Avoiding skill atrophy in the age of AI (addyo.substack.com)
219 points by NotInOurNames 21 hours ago | 235 comments
29.
Observability 2.0 and the Database for It (greptime.com)
122 points by todsacerdoti 1 day ago | 50 comments
30.
Echo – Open Hardware Music Player (github.com/amachronic)
82 points by todsacerdoti 2 days ago | 20 comments

Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: