Meta Invests $14.3B in Scale AI to Kick-Start Superintelligence Lab (nytimes.com)

276 points by RyanShook 4h ago 301 comments

OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)

166 points by lairv 3h ago 44 comments

If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)

460 points by sdoering 9h ago 164 comments

Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)

83 points by tombh 3h ago 22 comments

The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)

33 points by todsacerdoti 2h ago 1 comments

100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (research.mietek.io)

55 points by Bogdanp 3h ago 28 comments

When random people give money to random other people (2017) (quomodocumque.wordpress.com)

19 points by munificent 1h ago 6 comments

Jemalloc Postmortem (jasone.github.io)

620 points by jasone 16h ago 178 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

34 points by ljosifov 4h ago 11 comments

Frequent reauth doesn't make you more secure (tailscale.com)

1058 points by ingve 22h ago 454 comments

Ask HN: How do I give back to people helped me when I was young and had nothing?

156 points by jupiterglimpse 4h ago 98 comments

Luxe Game Engine (luxeengine.com)

85 points by garrypettet 2h ago 28 comments

Rendering Crispy Text on the GPU (osor.io)

349 points by ibobev 15h ago 111 comments

A receipt printer cured my procrastination (laurieherault.com)

1063 points by laurieherault 1d ago 542 comments

Kyber (YC W23) Is Hiring a Technical Account Manager (ycombinator.com)

1 points by asontha 5h ago 0 comments

Show HN: Qrkey – Offline private key backup on paper (github.com)

41 points by techwolf12 4h ago 26 comments

Subtype Inference by Example (blog.polybdenum.com)

4 points by azhenley 3d ago 0 comments

Show HN: Job Compass – AI agents that help you find jobs, not replace you (jobcompass.ai)

14 points by dloku 5h ago 6 comments

A Dark Adtech Empire Fed by Fake CAPTCHAs (krebsonsecurity.com)

209 points by todsacerdoti 19h ago 98 comments

The Missing Manual for Signals: State Management for Python Developers (bui.app)

60 points by buibuibui 5h ago 20 comments

iPhone 11 emulation done in QEMU (github.com)

352 points by 71bw 1d ago 30 comments

Slow and steady, this poem will win your heart (nytimes.com)

80 points by mrholme 12h ago 26 comments

Show HN: Tritium – The Legal IDE in Rust (tritium.legal)

265 points by piker 1d ago 143 comments

Zero-Shot Forecasting: Our Search for a Time-Series Foundation Model (parseable.com)

51 points by tiwarinitish86 12h ago 20 comments

Show HN: I wrote a BitTorrent Client from scratch (github.com)

170 points by piyushgupta53 12h ago 42 comments

Maximizing Battery Storage Profits via High-Frequency Intraday Trading (arxiv.org)

273 points by doener 1d ago 258 comments

Rust compiler performance (kobzol.github.io)

256 points by mellosouls 3d ago 230 comments

Worldwide power grid with glass insulated HVDC cables (omattos.com)

125 points by londons_explore 21h ago 120 comments

Design Patterns for Securing LLM Agents Against Prompt Injections (simonwillison.net)

79 points by simonw 4h ago 16 comments

Urban Design and Adaptive Reuse in North Korea, Japan, and Singapore (governance.fyi)

55 points by daveland 15h ago 11 comments

Microsoft Office migration from Source Depot to Git (danielsada.tech)

349 points by dshacker 1d ago 268 comments

Why does my ripped CD have messed up track names? And why is one track missing? (akpain.net)

152 points by surprisetalk 1d ago 132 comments

Three Algorithms for YSH Syntax Highlighting (github.com)

43 points by todsacerdoti 15h ago 17 comments

Show HN: Tool-Assisted Speedrunning the Boring Parts of Animal Crossing (GCN) (github.com)

141 points by hunterirving 1d ago 21 comments

Show HN: McWig – A modal, Vim-like text editor written in Go (github.com)

139 points by andrew_bbb 1d ago 13 comments

Solving LinkedIn Queens with SMT (buttondown.com)

126 points by azhenley 1d ago 38 comments

Dancing brainwaves: How sound reshapes your brain networks in real time (sciencedaily.com)

181 points by lentoutcry 5d ago 72 comments

The curse of Toumaï: an ancient skull and a bitter feud over humanity's origins (theguardian.com)

75 points by benbreen 20h ago 25 comments

Helion: A modern fast paced Doom FPS engine in C# (github.com)

176 points by klaussilveira 2d ago 63 comments

Quantum Computation Lecture Notes (2022) (math.mit.edu)

151 points by ibobev 4d ago 48 comments

Are Python Dictionaries Ordered Data Structures? (thepythoncodingstack.com)

7 points by rbanffy 7h ago 2 comments

First thoughts on o3 pro (latent.space)

183 points by aratahikaru5 2d ago 190 comments

Show HN: GetHooky – a language-agnostic Git hook manager (ezpieco.github.io)

19 points by Ezpie 14h ago 7 comments

US-backed Israeli company's spyware used to target European journalists (apnews.com)

675 points by 01-_- 1d ago 342 comments

Research suggests Big Bang may have taken place inside a black hole (port.ac.uk)

723 points by zaik 1d ago 575 comments

EM Eavesdropping Attack on Digital Microphones Using Pulse Density Modulation (usenix.org)

34 points by gnabgib 20h ago 3 comments

Reflections on Sudoku, or the Impossibility of Systematizing Thought (rjp.io)

87 points by rjpower9000 4d ago 61 comments

Show HN: Swift Scribe: On-device AI scribe using Apple's new Foundation Models (github.com)

5 points by Wayve 1h ago 0 comments

Chatterbox TTS (github.com)

639 points by pinter69 1d ago 183 comments

The hunt for Marie Curie's radioactive fingerprints in Paris (bbc.com)

111 points by rmason 3d ago 94 comments

A subtle data race in Go

1 broken_broken_ 0 6/11/2025, 8:07:32 PM gaultier.github.io ↗

Comments (0)

No comments yet