Precision Clock Mk IV (mitxela.com)

193 points by ahlCVA 3h ago 65 comments

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

65 points by jeremyscanvic 1h ago 4 comments

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

41 points by 1659447091 2d ago 18 comments

Show HN: PunchCard Key Backup (github.com)

39 points by ciprian_craciun 2h ago 12 comments

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

51 points by adamci 5h ago 32 comments

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

117 points by ahamez 3d ago 36 comments

Photos taken inside musical instruments (dpreview.com)

875 points by worik 22h ago 46 comments

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

71 points by rjakob 4h ago 51 comments

The Two Ideals of Fields (susam.net)

29 points by susam 4h ago 12 comments

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

23 points by roma_glushko 3d ago 7 comments

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

27 points by sim04ful 4h ago 18 comments

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

30 points by BoingBoomTschak 4h ago 10 comments

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

245 points by blobcode 11h ago 168 comments

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

105 points by archargelod 10h ago 50 comments

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

55 points by olivercameron 3d ago 14 comments

Gradients Are the New Intervals (mattkeeter.com)

104 points by surprisetalk 12h ago 34 comments

Acclimation of Osmoregulatory Function in Salmon (unm.edu)

14 points by mooreds 4h ago 3 comments

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

11 points by og_kalu 4h ago 0 comments

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

69 points by pseudolus 3d ago 37 comments

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

350 points by mfiguiere 22h ago 143 comments

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

21 points by ponta17 8h ago 5 comments

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

546 points by lwo32k 1d ago 971 comments

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

53 points by ddxv 10h ago 2 comments

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

313 points by anematode 1d ago 91 comments

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

161 points by wcrichton 20h ago 55 comments

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

28 points by skadamat 3d ago 12 comments

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

153 points by GreenWatermelon 3d ago 79 comments

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

348 points by makeboss 1d ago 167 comments

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

1 points by mathiasn 11h ago 0 comments

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

213 points by Cyao 3d ago 50 comments

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

33 points by ingve 2d ago 12 comments

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

141 points by flashblaze 2d ago 28 comments

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

349 points by tanelpoder 1d ago 127 comments

Simpler Backoff (commaok.xyz)

109 points by todsacerdoti 14h ago 41 comments

The Rise of the Japanese Toilet (nytimes.com)

19 points by Kaibeezy 3h ago 26 comments

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

95 points by dariobalinzo 2d ago 38 comments

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

151 points by tiagorangel 1d ago 114 comments

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

25 points by mooreds 2d ago 3 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

Ask HN: Anyone making a living from a paid API?

89 points by meander_water 4h ago 52 comments

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

53 points by gsundeep 2d ago 36 comments

Every 5x5 Nonogram (pixelogic.app)

102 points by eieio 18h ago 41 comments

Ray Tracing in J (idle.nprescott.com)

80 points by todsacerdoti 3d ago 11 comments

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

7 points by brianzelip 3d ago 1 comments

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

233 points by cebert 20h ago 101 comments

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

99 points by thisdavej 1d ago 14 comments

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

10 points by fallinditch 2h ago 2 comments

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

16 points by benbreen 12h ago 6 comments

Implementing a Forth (ratfactor.com)

11 points by todsacerdoti 11h ago 0 comments

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

270 points by modeless 20h ago 144 comments

Toying with the Lambda Calculus

2 jmount 0 5/29/2025, 5:11:12 PM github.com ↗

Comments (0)

No comments yet