Gecode is an open source C++ toolkit for developing constraint-based systems (2019) (gecode.org)
73 points by gjvc 2 days ago | 14 comments
121Sendkeys: Command line tool for automating keystrokes and mouse events on macOS (github.com)
30 points by nateb2022 a day ago | 11 comments
122July 5, 1687: When Newton explained why you don't float away (multiverseemployeehandbook.com)
98 points by TMEHpodcast 2 days ago | 103 comments
123Mirage: AI-native UGC game engine powered by real-time world model (blog.dynamicslab.ai)
29 points by zhitinghu 2 days ago | 25 comments
124Mini NASes marry NVMe to Intel's efficient chip (jeffgeerling.com)
446 points by ingve 3 days ago | 237 comments
125The Moat of Low Status (usefulfictions.substack.com)
389 points by jger15 5 days ago | 166 comments
126Massive study detects AI fingerprints in millions of scientific papers (phys.org)
21 points by pseudolus 15 hours ago | 14 comments
127X-Clacks-Overhead (xclacksoverhead.org)
251 points by weinzierl 5 days ago | 68 comments
128Usability barriers for liquid types [pdf] (catarinagamboa.github.io)
8 points by azhenley a day ago | 1 comment
129Show HN: a community for collaborating on sideprojects (relentlessly.no)
41 points by 0dKD 5 days ago | 25 comments
130macOS Icon History (basicappleguy.com)
249 points by ksec 2 days ago | 102 comments
131Europe's first geostationary sounder satellite is launched (eumetsat.int)
218 points by diggan 2 days ago | 49 comments
132Colombia seizes first unmanned narco-submarine with Starlink antenna (france24.com)
150 points by thm 2 days ago | 175 comments
133Primesweeper Number Puzzle Game (vole.wtf)
5 points by arantius 3 hours ago | 1 comment
134Nvidia won, we all lost (blog.sebin-nyshkim.net)
946 points by todsacerdoti 3 days ago | 557 comments
135Show HN: I made Logic gates using CSS if() function (yongsk0066.github.io)
80 points by yongsk0066 5 days ago | 20 comments
136OBBB signed: Reinstates immediate expensing for U.S.-based R&D (kbkg.com)
420 points by tareqak 3 days ago | 361 comments
137The Real GenAI Issue (tbray.org)
88 points by almost-exactly a day ago | 58 comments
138The State of Post-Quantum Cryptography (PQC) on the Web (f5.com)
5 points by Fethbita 4 hours ago | 0 comments
139Kepler.gl (kepler.gl)
176 points by 9woc 3 days ago | 19 comments
140Robots move Shanghai city block [video] (youtube.com)
152 points by surprisetalk 4 days ago | 53 comments
141QSBS Limits Raised (mintz.com)
67 points by tomasreimers 2 days ago | 33 comments
142How Uber Eats Scaled Search to Handle Billions of Daily Queries (hw.glich.co)
21 points by gsky a day ago | 2 comments
143Introducing tmux-rs (richardscollin.github.io)
845 points by Jtsummers 4 days ago | 287 comments
144Why I left my tech job to work on chronic pain (sailhealth.substack.com)
368 points by glasscannon 3 days ago | 227 comments
145As women have far fewer babies, the US and world face unprecedented challenges (npr.org)
5 points by pseudolus 7 hours ago | 0 comments
146Killer whales groom each other with pieces of kelp (science.org)
98 points by noleary 7 days ago | 52 comments
147ClojureScript from First Principles [video] (youtube.com)
121 points by puredanger 5 days ago | 29 comments
148Speeding up PostgreSQL dump/restore snapshots (xata.io)
147 points by tudorg 2 days ago | 39 comments
149EVs Will Decimate Big Oil (insideevs.com)
16 points by nreece 12 hours ago | 21 comments
150