Deep Learning Is Applied Topology (theahura.substack.com)

196 points by theahura 3h ago 106 comments

Show HN: 90s.dev - game maker that runs on the web (90s.dev)

107 points by 90s_dev 2h ago 45 comments

27000 Dragons and 10'000 Lights: GPU-Driven Clustered Forward Renderer (logdahl.net)

41 points by logdahl 1h ago 12 comments

Show HN: A Tiling Window Manager for Windows, Written in Janet (agent-kilo.github.io)

92 points by agentkilo 2h ago 22 comments

Robin: A multi-agent system for automating scientific discovery (arxiv.org)

22 points by nopinsight 1h ago 5 comments

Show HN: Juvio – UV Kernel for Jupyter (github.com)

24 points by okost1 59m ago 9 comments

Ashby (YC W19) Is Hiring Engineering Managers (ashbyhq.com)

1 points by abhikp 31m ago 0 comments

The Fractured Entangled Representation Hypothesis (github.com)

25 points by akarshkumar0101 1h ago 4 comments

The Dawn of Nvidia's Technology (blog.dshr.org)

11 points by wmf 28m ago 1 comments

Launch HN: Opusense (YC X25) – AI assistant for construction inspectors on site

14 points by rcody 1h ago 4 comments

The emoji problem (2022) (artofproblemsolving.com)

241 points by mtsolitary 7h ago 36 comments

OpenAI Codex Review (zackproser.com)

48 points by fragmede 3h ago 20 comments

The Lisp in the Cellar: Dependent types that live upstairs [pdf] (zenodo.org)

54 points by todsacerdoti 3h ago 8 comments

Show HN: Astra – a new js2exe compiler (github.com)

39 points by qwertycodepl 2h ago 14 comments

A simple search engine from scratch (bernsteinbear.com)

185 points by bertman 7h ago 28 comments

Making Video Games (Without an Engine) in 2025 (noelberry.ca)

400 points by selvan 11h ago 174 comments

Google is quietly giving Amazon a leg up in digital book sales (washingtonpost.com)

42 points by bookofjoe 3d ago 14 comments

Teachable Machine (teachablemachine.withgoogle.com)

18 points by tosh 1h ago 5 comments

Show HN: Olelo Foil - NACA Airfoil Sim (foil.olelohonua.com)

4 points by rbrownmh 48m ago 4 comments

The Last Letter (aeon.co)

5 points by HR01 22m ago 0 comments

llm-d, Kubernetes native distributed inference (llm-d.ai)

69 points by smarterclayton 4h ago 13 comments

Compiling OCaml to the TI-84 CE Calculator (farlow.dev)

70 points by farlow 2d ago 3 comments

DDoSecrets publishes 410 GB of heap dumps, hacked from TeleMessage (micahflee.com)

588 points by micahflee 16h ago 165 comments

Have I Been Pwned 2.0 (troyhunt.com)

773 points by LorenDB 19h ago 257 comments

Hypervisor as a Library (seiya.me)

20 points by ingve 11h ago 1 comments

Production tests: a guidebook for better systems and more sleep (martincapodici.com)

14 points by mcapodici 3d ago 0 comments

Show HN: Text to 3D simulation on a map (does history pretty well) (mused.com)

37 points by lukehollis 5h ago 32 comments

Jules: An Asynchronous Coding Agent (jules.google)

462 points by travisennis 20h ago 191 comments

Finland announces migration of its rail network to international gauge (trenvista.net)

378 points by axelfontaine 9h ago 336 comments

Show HN: JavaFactory – IntelliJ plugin to generate Java code (github.com)

33 points by javafactory 6h ago 10 comments

I got fooled by AI-for-science hype–here's what it taught me (understandingai.org)

302 points by qianli_cs 12h ago 224 comments

The Windows Subsystem for Linux is now open source (blogs.windows.com)

1491 points by pentagrama 1d ago 1043 comments

RepoRoulette: Randomly sample repositories from GitHub (github.com)

17 points by deontology 2d ago 2 comments

What are people doing? Live-ish estimates based on global population dynamics (humans.maxcomperatore.com)

250 points by willbc 15h ago 87 comments

Show HN: I made an app to create personalized stories for children in 5 minutes (unlimitedtales.com)

4 points by xcanchal 2h ago 0 comments

Claude Code SDK (docs.anthropic.com)

429 points by sync 23h ago 188 comments

Launch HN: Better Auth (YC X25) – Authentication Framework for TypeScript

235 points by bekacru 1d ago 89 comments

Biff – a batteries-included web framework for Clojure (biffweb.com)

104 points by TheWiggles 14h ago 21 comments

Kilo: A text editor in less than 1000 LOC with syntax highlight and search (github.com)

202 points by klaussilveira 21h ago 48 comments

Game theory illustrated by an animated cartoon game (ncase.me)

392 points by felineflock 1d ago 59 comments

A man who visited every country in the world without boarding a plane (2023) (theguardian.com)

119 points by thunderbong 3d ago 52 comments

Questioning Representational Optimism in Deep Learning (github.com)

39 points by mattdesl 10h ago 5 comments

Lyria 2 (deepmind.google)

5 points by georgehill 41m ago 1 comments

Microsoft-backed Builder.ai enters insolvency proceedings (techcrunch.com)

14 points by upupupandaway 1h ago 2 comments

Why Does the U.S. Always Run a Trade Deficit? (libertystreeteconomics.newyorkfed.org)

141 points by jnord 5h ago 285 comments

Ann, the Small Annotation Server (mccd.space)

67 points by todsacerdoti 13h ago 11 comments

xAI's Grok 3 comes to Microsoft Azure (techcrunch.com)

149 points by mfiguiere 1d ago 169 comments

The forbidden railway: Vienna-Pyongyang (2008) (vienna-pyongyang.blogspot.com)

212 points by 1317 22h ago 73 comments

Remarks on AI from NZ (nealstephenson.substack.com)

171 points by zdw 4d ago 100 comments

Linguists Find Proof of Sweeping Language Pattern Once Deemed a 'Hoax' (scientificamerican.com)

43 points by bryanrasmussen 1d ago 34 comments

Algebraic Type Theory, Part 1: Martin-Löf Algebras

3 matt_d 0 5/20/2025, 5:29:10 AM arxiv.org ↗

Comments (0)

No comments yet