Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
148 points by perryprog 3 days ago | 9 comments
151The Doom Spenders (macleans.ca)
4 points by johnshades 6 hours ago | 0 comments
152A National Mission to Accelerate Science Through Artificial Intelligence (energy.gov)
11 points by kordlessagain 10 hours ago | 5 comments
153Build a Compiler in Five Projects (kmicinski.com)
203 points by azhenley 3 days ago | 44 comments
154µcad: New open source programming language that can generate 2D sketches and 3D (microcad.xyz)
395 points by todsacerdoti 3 days ago | 134 comments
155Using Antigravity for Statistical Physics in JavaScript (christopherkrapu.com)
44 points by ckrapu 5 days ago | 28 comments
156Show HN: Wolfrominoes (demos.samgentle.com)
9 points by sgentle 4 days ago | 2 comments
157Claude Opus 4.5 (anthropic.com)
1099 points by adocomplete 2 days ago | 499 comments
158Show HN: I wrote a minimal memory allocator in C (github.com)
135 points by t9nzin 3 days ago | 32 comments
159You can see a working Quantum Computer in IBM's London office (ianvisits.co.uk)
57 points by thinkingemote 4 days ago | 28 comments
160The 101 of analog signal filtering (2024) (lcamtuf.substack.com)
132 points by harperlee 6 days ago | 10 comments
161Mount Proton Drive on Linux using rclone and systemd (github.com)
146 points by cf100clunk 3 days ago | 58 comments
162Study claims to provide first direct evidence of dark matter (theguardian.com)
12 points by giuliomagnifico 12 hours ago | 2 comments
163Building the largest known Kubernetes cluster (cloud.google.com)
157 points by TangerineDream 5 days ago | 89 comments
164GrapheneOS migrates server infrastructure from France (privacyguides.org)
309 points by 01-_- 2 days ago | 131 comments
165EU set to adopt ChatControl negotiating mandate tomorrow without discussion (digitalcourage.social)
99 points by nickslaughter02 a day ago | 26 comments
166Not good news: The FDA is conducting fewer foreign inspections (foodpolitics.com)
11 points by speckx a day ago | 0 comments
167Show HN: Cynthia – Reliably play MIDI music files – MIT / Portable / Windows (blaizenterprises.com)
86 points by blaiz2025 2 days ago | 31 comments
168The gruesome new data on tech jobs (businessinsider.com)
68 points by pseudolus a day ago | 73 comments
169We stopped roadmap work for a week and fixed bugs (lalitm.com)
278 points by lalitmaganti 3 days ago | 346 comments
170Chinese researchers simulate jamming Starlink in Taiwan conflict (taipeitimes.com)
9 points by perihelions 4 hours ago | 1 comment
171Show HN: A WordPress plugin that rewrites image URLs for near-zero-cost delivery (wordpress.org)
65 points by cr1st1an a day ago | 58 comments
172RuBee (computer.rip)
346 points by Sniffnoy 3 days ago | 61 comments
173Native Secure Enclave backed SSH keys on macOS (gist.github.com)
456 points by arianvanp 3 days ago | 192 comments
174Model Context Protocol turns one, releases new spec version (blog.modelcontextprotocol.io)
5 points by dend a day ago | 0 comments
175Build desktop applications using Go and Web Technologies (github.com)
94 points by selvan 3 days ago | 77 comments
176Apple Asks Indian Court to Block Antitrust Law Allowing $38B Fine (macrumors.com)
5 points by 7777777phil 2 hours ago | 0 comments
177Editing Code in Emacs (redpenguin101.github.io)
171 points by redpenguin101 3 days ago | 52 comments
178Indie game developers have a new sales pitch: being 'AI free' (theverge.com)
72 points by 01-_- 11 hours ago | 70 comments
179McMaster Carr – The Smartest Website You Haven't Heard Of (2022) (bedelstein.com)
91 points by jcartw 3 days ago | 54 comments
180