Precision Clock Mk IV (mitxela.com)

279 points by ahlCVA 5h ago 86 comments

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

119 points by jeremyscanvic 4h ago 8 comments

Sguaba: Hard-to-misuse rigid body transforms for engineers (blog.helsing.ai)

9 points by lukastyrychtr 28m ago 1 comments

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

80 points by 1659447091 2d ago 37 comments

Show HN: PunchCard Key Backup (github.com)

77 points by ciprian_craciun 4h ago 25 comments

Photos taken inside musical instruments (dpreview.com)

923 points by worik 1d ago 47 comments

From Clocks to Chaos: The Rhythms of Life (press.princeton.edu)

5 points by teleforce 3d ago 0 comments

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

139 points by ahamez 3d ago 43 comments

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

37 points by roma_glushko 3d ago 9 comments

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

46 points by BoingBoomTschak 7h ago 23 comments

The Two Ideals of Fields (susam.net)

39 points by susam 6h ago 23 comments

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

39 points by sim04ful 6h ago 18 comments

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

262 points by blobcode 13h ago 178 comments

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

130 points by archargelod 12h ago 67 comments

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

124 points by olivercameron 3d ago 49 comments

Gradients Are the New Intervals (mattkeeter.com)

120 points by surprisetalk 14h ago 43 comments

Exploring a Language Runtime with Bpftrace (mgaudet.ca)

13 points by mgaudet 3d ago 1 comments

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

19 points by og_kalu 6h ago 1 comments

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

79 points by pseudolus 3d ago 44 comments

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

362 points by mfiguiere 1d ago 152 comments

Acclimation of Osmoregulatory Function in Salmon (unm.edu)

18 points by mooreds 6h ago 3 comments

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

569 points by lwo32k 1d ago 1026 comments

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

66 points by ddxv 12h ago 3 comments

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

38 points by skadamat 3d ago 19 comments

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

26 points by ponta17 10h ago 7 comments

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

80 points by rjakob 7h ago 67 comments

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

182 points by wcrichton 22h ago 59 comments

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

1 points by mathiasn 13h ago 0 comments

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

319 points by anematode 1d ago 92 comments

For Some Recent Graduates, the A.I. Job Apocalypse May Already Be Here (nytimes.com)

5 points by demirbey05 50m ago 1 comments

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

361 points by makeboss 1d ago 171 comments

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

217 points by Cyao 3d ago 50 comments

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

146 points by flashblaze 2d ago 30 comments

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

352 points by tanelpoder 1d ago 127 comments

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

163 points by GreenWatermelon 3d ago 97 comments

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

38 points by ingve 2d ago 15 comments

Simpler Backoff (commaok.xyz)

111 points by todsacerdoti 16h ago 43 comments

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

154 points by tiagorangel 1d ago 115 comments

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

221 points by birriel 1d ago 191 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

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

26 points by mooreds 2d ago 3 comments

The Rise of the Japanese Toilet (nytimes.com)

26 points by Kaibeezy 5h ago 38 comments

Every 5x5 Nonogram (pixelogic.app)

105 points by eieio 20h 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 37 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)

21 points by benbreen 14h ago 6 comments

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

100 points by thisdavej 1d ago 14 comments

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

235 points by cebert 22h ago 101 comments

Implementing a Forth (ratfactor.com)

16 points by todsacerdoti 13h ago 0 comments

Radio Astronomy Software Defined Radio (Rasdr) (radio-astronomy.org)

129 points by zeristor 1d ago 8 comments

Apple in China: The Capture of the Greatest Company

4 belter 0 5/29/2025, 8:26:14 PM youtube.com ↗

Comments (0)

No comments yet