Hacker News on Thursday, 3 July 2025

Introducing tmux-rs(richardscollin.github.io)

813 points by Jtsummers 1 year ago | 274 comments

Blog post introducing tmux-rs, a hobby port of tmux from about 67,000 lines of C to roughly 81,000 lines of unsafe Rust, describing the porting process.

Opening up ‘Zero-Knowledge Proof’ technology(blog.google)

303 points by doomroot13 1 year ago | 175 comments

Flounder Mode – Kevin Kelly on a different way to do great work(joincolossus.com)

300 points by latentnumber 1 year ago | 67 comments

Astronomers discover 3I/ATLAS – Third interstellar object to visit Solar System(abc.net.au)

293 points by gammarator 1 year ago | 161 comments

Peasant Railgun(knightsdigest.com)

265 points by cainxinth 1 year ago | 181 comments

Wind Knitting Factory(merelkarhof.nl)

261 points by bschne 1 year ago | 60 comments

Tools: Code Is All You Need(lucumr.pocoo.org)

259 points by Bogdanp 1 year ago | 194 comments

AV1@Scale: Film Grain Synthesis, The Awakening(netflixtechblog.com)

241 points by CharlesW 1 year ago | 198 comments

Baba Is Eval(fi-le.net)

238 points by fi-le 1 year ago | 48 comments

Taking over 60k spyware user accounts with SQL injection(ericdaigle.ca)

221 points by mtlynch 1 year ago | 64 comments

François Chollet: The Arc Prize and How We Get to AGI [video](youtube.com)

215 points by sandslash 1 year ago | 185 comments

Launch HN: K-Scale Labs (YC W24) – Open-Source Humanoid Robots

214 points by codekansas 1 year ago | 93 comments

Poor Man's Back End-as-a-Service (BaaS), Similar to Firebase/Supabase/Pocketbase(github.com)

189 points by dcu 1 year ago | 111 comments

What every programmer should know about how CPUs work [video](youtube.com)

171 points by bschne 1 year ago | 11 comments

Where is my von Braun wheel?(angadh.com)

169 points by speckx 1 year ago | 117 comments

I scanned all of GitHub's "oops commits" for leaked secrets(trufflesecurity.com)

164 points by elza_1111 1 year ago | 87 comments

Trans-Taiga Road (2004)(jamesbayroad.com)

138 points by jason_pomerleau 1 year ago | 79 comments

Robots move Shanghai city block [video](youtube.com)

124 points by surprisetalk 1 year ago | 44 comments

Postcard is now open source(contraption.co)

108 points by philip1209 1 year ago | 32 comments

AI for Scientific Search(arxiv.org)

108 points by omarsar 1 year ago | 26 comments

Show HN: HomeBrew HN – Generate personal context for content ranking(hackernews.coffee)

107 points by azath92 1 year ago | 41 comments

The End of Moore's Law for AI? Gemini Flash Offers a Warning(sutro.sh)

100 points by sethkim 1 year ago | 62 comments

Michael Madsen has died(nytimes.com)

100 points by anigbrowl 1 year ago | 32 comments

High-Fidelity Simultaneous Speech-to-Speech Translation(arxiv.org)

100 points by Bluestein 1 year ago | 51 comments

Take Two: Eshell(yummymelon.com)

99 points by nanna 1 year ago | 62 comments

The uv build back end is now stable(docs.astral.sh)

96 points by NeutralForest 1 year ago | 31 comments

Locality of Behaviour (2020)(htmx.org)

95 points by jstanley 1 year ago | 54 comments

N-Back – A Minimal, Adaptive Dual N-Back Game for Brain Training(n-back.net)

70 points by gregzeng95 1 year ago | 19 comments

Mysterious life form found on ship that docked in Cleveland(cleveland.com)

69 points by DocFeind 1 year ago | 39 comments

Development of a transputer ISA board(nanochess.org)

66 points by nanochess 1 year ago | 9 comments

Stalking the Statistically Improbable Restaurant with Data(ethanzuckerman.com)

65 points by nkurz 1 year ago | 31 comments

Uncommon Uses of Python in Commonly Used Libraries (2022)(eugeneyan.com)

65 points by sebg 1 year ago | 9 comments

The uncertain future of coding careers and why I'm still hopeful(jonmagic.com)

63 points by mooreds 1 year ago | 128 comments

Can we test it? Yes, was can [video](youtube.com)

60 points by zdw 1 year ago | 63 comments

Encoding Jake Gyllenhaal into one million checkboxes (2024)(ednamode.xyz)

58 points by chilipepperhott 1 year ago | 14 comments

CO2 sequestration through accelerated weathering of limestone on ships(science.org)

58 points by PaulHoule 1 year ago | 48 comments

Parallelizing SHA256 Calculation on FPGA(controlpaths.com)

57 points by hasheddan 1 year ago | 30 comments

CoMaps: New OSM based navigation app(comaps.app)

52 points by gedankenstuecke 1 year ago | 38 comments

Corrected UTF-8 (2022)(owlfolio.org)

47 points by RGBCube 1 year ago | 39 comments

Doom Didn't Kill the Amiga (2024)(datagubbe.se)

46 points by blakespot 1 year ago | 65 comments

Cpparinfer: A C++23 implementation of the parinfer algorithm(gitlab.com)

46 points by tosh 1 year ago | 3 comments

Gaza: Doctors Under Attack review – this crucial film is the stuff of nightmares(theguardian.com)

34 points by NomDePlum 1 year ago | 1 comments

EBAF – eBPF Based Ad Firewall(github.com)

33 points by ARob109 1 year ago | 25 comments

Impact of PCIe 5.0 Bandwidth on GPU Content Creation and LLM Performance(pugetsystems.com)

32 points by zdw 1 year ago | 15 comments

Just Ask for Generalization (2021)(evjang.com)

31 points by jxmorris12 1 year ago | 3 comments

Abrego Garcia Was Beaten and Tortured in El Salvador Prison, Lawyers Say(nytimes.com)

31 points by perihelions 1 year ago | 11 comments

Yurei – Open source social media researcher powered by Exa AI API and YouTube v3(github.com)

29 points by kasper_0990 1 year ago | 2 comments

The Mystery of People Who Speak Languages(newyorker.com)

28 points by rbanffy 1 year ago | 15 comments

Demonstration of Algorithmic Quantum Speedup for an Abelian Hidden Subgroup(journals.aps.org)

28 points by boilerupnc 1 year ago | 10 comments

LLMs as Compilers(resync-games.com)

28 points by kadhirvelm 1 year ago | 38 comments

Kubernetes is a symptom, not a solution(andreafortuna.org)

25 points by gsky 1 year ago | 9 comments

Why the simplest desktop agent abstraction wins(bytebot.ai)

24 points by atupem 1 year ago | 4 comments

Portability of Tar Features(mgorny.pl)

22 points by Bogdanp 1 year ago | 6 comments

Building Linux kernel on macOS natively(seiya.me)

21 points by ingve 1 year ago | 3 comments

Serial SPI RAM Emulation on Raspberry Pi Pico RP2040 MCU(github.com)

18 points by transpute 1 year ago | 2 comments

Hugging Your Cactus(hugyourcactus.com)

18 points by ozgrakkurt 1 year ago | 0 comments

Numerical Electromagnics Code (NEM)(nec2.org)

18 points by hyperific 1 year ago | 8 comments

Is It Cake? How Our Brain Deciphers Materials(nautil.us)

16 points by dnetesn 1 year ago | 4 comments

Head in the Clouds(commonwealmagazine.org)

14 points by bryanrasmussen 1 year ago | 1 comments

Four integers are enough to write a Snake Game(andreinc.net)

14 points by wonger_ 1 year ago | 4 comments