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

223 points by RyanShook 3h ago 256 comments

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

119 points by lairv 2h ago 27 comments

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

398 points by sdoering 7h ago 134 comments

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

41 points by Bogdanp 1h ago 8 comments

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

63 points by tombh 2h ago 16 comments

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

15 points by todsacerdoti 1h ago 0 comments

Luxe Game Engine (luxeengine.com)

56 points by garrypettet 1h ago 17 comments

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

59 points by simonw 3h ago 9 comments

Jemalloc Postmortem (jasone.github.io)

599 points by jasone 14h ago 171 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

28 points by ljosifov 3h ago 7 comments

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

115 points by jupiterglimpse 2h ago 73 comments

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

1029 points by ingve 21h ago 439 comments

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

35 points by techwolf12 2h ago 23 comments

Rendering Crispy Text on the GPU (osor.io)

332 points by ibobev 14h ago 105 comments

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

1 points by asontha 4h ago 0 comments

A receipt printer cured my procrastination (laurieherault.com)

1036 points by laurieherault 1d ago 535 comments

Anker is recalling over 1.1M power banks due to fire and burn risks (theverge.com)

82 points by vidyesh 3h ago 38 comments

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

48 points by buibuibui 4h ago 15 comments

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

203 points by todsacerdoti 18h ago 90 comments

iPhone 11 emulation done in QEMU (github.com)

348 points by 71bw 1d ago 29 comments

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

69 points by mrholme 11h ago 26 comments

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

256 points by piker 1d ago 139 comments

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

47 points by tiwarinitish86 11h ago 19 comments

Ask HN: Is ageism in tech still a problem?

74 points by leonagano 1h ago 72 comments

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

158 points by piyushgupta53 11h ago 41 comments

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

271 points by doener 1d ago 255 comments

Rust compiler performance (kobzol.github.io)

247 points by mellosouls 3d ago 223 comments

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

122 points by londons_explore 20h ago 110 comments

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

3 points by dloku 3h ago 0 comments

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

49 points by daveland 14h ago 9 comments

Three Algorithms for YSH Syntax Highlighting (github.com)

42 points by todsacerdoti 14h ago 16 comments

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

346 points by dshacker 1d ago 267 comments

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

150 points by surprisetalk 1d ago 131 comments

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

136 points by andrew_bbb 1d ago 13 comments

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

139 points by hunterirving 1d ago 20 comments

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

6 points by rbanffy 6h ago 1 comments

Solving LinkedIn Queens with SMT (buttondown.com)

125 points by azhenley 1d ago 38 comments

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

177 points by lentoutcry 5d ago 71 comments

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

73 points by benbreen 18h ago 23 comments

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

149 points by ibobev 4d ago 46 comments

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

173 points by klaussilveira 2d ago 63 comments

First thoughts on o3 pro (latent.space)

181 points by aratahikaru5 2d ago 184 comments

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

18 points by Ezpie 13h ago 6 comments

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

671 points by 01-_- 1d ago 341 comments

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

32 points by gnabgib 18h ago 3 comments

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

722 points by zaik 1d ago 573 comments

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

86 points by rjpower9000 4d ago 60 comments

Chatterbox TTS (github.com)

637 points by pinter69 1d ago 183 comments

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

110 points by rmason 3d ago 94 comments

HTML WARDen - an HTML-based wiki (ratfactor.com)

4 points by Bogdanp 58m ago 0 comments

Show HN: Jomon – a network forensics and passive sniffer tool

3 jo-lund 0 6/11/2025, 10:40:51 AM github.com ↗

Comments (0)

No comments yet