top 20 hacker news stories for 2025-04-25

A $20k American-made electric pickup with no paint, no stereo, no screen

https://www.theverge.com/electric-cars/655527/slate-electric-truck-price-paint-radio-bezos

1 year ago

FBI arrests judge accused of helping man evade immigration authorities

https://apnews.com/article/immigration-judge-arrested-7997186bbca5730e70a25f2347e631f6

1 year ago

Wikipedia’s nonprofit status questioned by D.C. U.S. attorney

https://www.washingtonpost.com/technology/2025/04/25/wikipedia-nonprofit-ed-martin-letter/

1 year ago

Writing "/etc/hosts" breaks the Substack editor

https://scalewithlee.substack.com/p/when-etchsts-breaks-your-substack

1 year ago

Lossless LLM compression for efficient GPU inference via dynamic-length float

https://arxiv.org/abs/2504.11651

1 year ago

Avoiding skill atrophy in the age of AI

https://addyo.substack.com/p/avoiding-skill-atrophy-in-the-age

1 year ago

Eurorack Knob Idea

https://mitxela.com/projects/euroknob

1 year ago

Notation as a Tool of Thought (1979)

https://www.jsoftware.com/papers/tot.htm

1 year ago

Show HN: I used OpenAI's new image API for a personalized coloring book service

https://clevercoloringbook.com/

1 year ago

The Policy Puppetry Attack: Novel bypass for major LLMs

https://hiddenlayer.com/innovation-hub/novel-universal-bypass-for-all-major-llms/

1 year ago

DeepMind releases Lyria 2 music generation model

https://deepmind.google/discover/blog/music-ai-sandbox-now-with-new-features-and-broader-access/

1 year ago

GCC 15.1

https://gcc.gnu.org/gcc-15/

1 year ago

Reproducibility project fails to validate dozens of biomedical studies

https://www.nature.com/articles/d41586-025-01266-x

1 year ago

What If We Could Rebuild Kafka from Scratch?

https://www.morling.dev/blog/what-if-we-could-rebuild-kafka-from-scratch/

1 year ago

World Emulation via Neural Network

https://madebyoll.in/posts/world_emulation_via_dnn/

1 year ago

Parallel ./configure

https://tavianator.com/2025/configure.html

1 year ago

Show HN: Formalizing Principia Mathematica using Lean

https://github.com/ndrwnaguib/principia

1 year ago

Show HN: Magnitude – open-source, AI-native test framework for web apps

https://github.com/magnitudedev/magnitude

1 year ago

Curry: A functional logic programming language

https://curry-lang.org/

1 year ago

Hegseth had an unsecured internet line set up in his office to connect to Signal

https://apnews.com/article/hegseth-signal-chat-dirty-internet-line-6a64707f10ca553eb905e5a70e10bd9d

1 year ago