Precision Clock Mk IV (mitxela.com)

230 points by ahlCVA 4h ago 73 comments

A Lean companion to Analysis I (terrytao.wordpress.com)

94 points by jeremyscanvic 2h ago 5 comments

We're beating $359M in funding with two people and OCaml (terrateam.io)

11 points by imadj 39m ago 0 comments

Oxfordshire clock still keeping village on time after 500 years (bbc.com)

61 points by 1659447091 2d ago 27 comments

Show HN: PunchCard Key Backup (github.com)

61 points by ciprian_craciun 3h ago 23 comments

Photos taken inside musical instruments (dpreview.com)

893 points by worik 23h ago 46 comments

AtomVM, the Erlang virtual machine for IoT devices (atomvm.net)

130 points by ahamez 3d ago 39 comments

The Two Ideals of Fields (susam.net)

35 points by susam 5h ago 17 comments

Using Ed(1) as My Static Site Generator (aartaka.me)

37 points by BoingBoomTschak 5h ago 14 comments

Designing Pareto-optimal RAG workflows with syftr (datarobot.com)

27 points by roma_glushko 3d ago 7 comments

Show HN: Fontofweb – Discover Fonts Used on a Website or Websites Using Font(s) (fontofweb.com)

34 points by sim04ful 5h ago 18 comments

AI video you can watch and interact with, in real-time (experience.odyssey.world)

79 points by olivercameron 3d ago 26 comments

Beware of Fast-Math (simonbyrne.github.io)

254 points by blobcode 12h ago 170 comments

Using lots of little tools to aggressively reject the bots (lambdacreate.com)

117 points by archargelod 11h ago 57 comments

Gradients Are the New Intervals (mattkeeter.com)

112 points by surprisetalk 13h ago 41 comments

Acclimation of Osmoregulatory Function in Salmon (unm.edu)

16 points by mooreds 5h ago 3 comments

Webb telescope helps refines Hubble constant, suggesting resolution rate debate (phys.org)

76 points by pseudolus 3d ago 40 comments

Atlas: Learning to Optimally Memorize the Context at Test Time (arxiv.org)

13 points by og_kalu 5h ago 0 comments

Surprisingly fast AI-generated kernels we didn't mean to publish yet (crfm.stanford.edu)

354 points by mfiguiere 23h ago 149 comments

Show HN: AI Peer Reviewer – Multiagent System for Scientific Manuscript Analysis (github.com)

74 points by rjakob 5h ago 65 comments

Show HN: I built an AI agent that turns ROS 2's turtlesim into a digital artist (github.com)

23 points by ponta17 9h ago 6 comments

Exploring a Language Runtime with Bpftrace (mgaudet.ca)

5 points by mgaudet 3d ago 0 comments

The Illusion of Causality in Charts (filwd.substack.com)

34 points by skadamat 3d ago 18 comments

The ‘white-collar bloodbath’ is all part of the AI hype machine (cnn.com)

554 points by lwo32k 1d ago 998 comments

The Trackers and SDKs in ChatGPT, Claude, Grok and Perplexity (jamesoclaire.com)

57 points by ddxv 11h ago 2 comments

C++ to Rust Phrasebook (cel.cs.brown.edu)

170 points by wcrichton 21h ago 57 comments

Beating Google's kernelCTF PoW using AVX512 (anemato.de)

316 points by anematode 1d ago 91 comments

Microsandbox: Virtual Machines that feel and perform like containers (github.com)

352 points by makeboss 1d ago 169 comments

Revenge of the Chickenized Reverse-Centaurs (pluralistic.net)

159 points by GreenWatermelon 3d ago 89 comments

AccessOwl (YC S22) is hiring an AI TypeScript Engineer to connect 100s of SaaS (ycombinator.com)

1 points by mathiasn 12h ago 0 comments

Pure vs. Impure Iterators in Go (jub0bs.com)

37 points by ingve 2d ago 13 comments

Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)

214 points by Cyao 3d ago 50 comments

Reverse engineering of Linear's sync engine (github.com)

145 points by flashblaze 2d ago 29 comments

Systems Correctness Practices at Amazon Web Services (cacm.acm.org)

351 points by tanelpoder 1d ago 127 comments

Simpler Backoff (commaok.xyz)

111 points by todsacerdoti 15h ago 43 comments

Java Virtual Threads Ate My Memory: A Web Crawler's Tale of Speed vs. Memory (dariobalinzo.medium.com)

99 points by dariobalinzo 2d ago 38 comments

Cap: Lightweight, modern open-source CAPTCHA alternative using proof-of-work (capjs.js.org)

153 points by tiagorangel 1d ago 115 comments

The Rise of the Japanese Toilet (nytimes.com)

24 points by Kaibeezy 4h ago 36 comments

The Darwin Gödel Machine: AI that improves itself by rewriting its own code (sakana.ai)

220 points by birriel 1d ago 190 comments

Randomness Requirements for Security (2005) (datatracker.ietf.org)

25 points by mooreds 2d ago 3 comments

'just put it in ChatGPT': the workers who lost their jobs to AI (theguardian.com)

17 points by fallinditch 3h ago 4 comments

Every 5x5 Nonogram (pixelogic.app)

104 points by eieio 19h ago 42 comments

Show HN: MCP Defender – OSS AI Firewall for Protecting MCP in Cursor/Claude etc (mcpdefender.com)

55 points by gsundeep 2d ago 36 comments

Ray Tracing in J (idle.nprescott.com)

81 points by todsacerdoti 3d ago 11 comments

Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)

17 points by benbreen 12h ago 6 comments

Valkey Turns One: Community fork of Redis (gomomento.com)

234 points by cebert 21h ago 101 comments

Copy Excel to Markdown Table (and vice versa) (thisdavej.com)

99 points by thisdavej 1d ago 14 comments

I Switched to UTC and Never Looked Back (timestripe.com)

59 points by adamci 6h ago 57 comments

Silicon Valley finally has a big electronics retailer again: Micro Center opens (microcenter.com)

271 points by modeless 21h ago 144 comments

Grammar Index, Syntax Highlighting on GitHub (github.com)

7 points by brianzelip 3d ago 1 comments

GG: GUI for JJ

2 tosh 0 5/29/2025, 4:44:16 PM github.com ↗

Comments (0)

No comments yet