Efficient set-membership filters and dictionaries based on SAT (github.com)
49 points by keepamovin 7 days ago | 14 comments
271Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories (arxiv.org)
8 points by pizza 2 days ago | 0 comments
272Busting the top myths about the Big Bang (bigthink.com)
9 points by VignuB 17 hours ago | 1 comment
273Ask HN: How many communities HN it devs in C language?
6 points by FerkiHN a day ago | 9 comments
274Escher's art and computer science (github.com)
67 points by signa11 5 days ago | 11 comments
275Hexagon fuzz: Full-system emulated fuzzing of Qualcomm basebands (srlabs.de)
80 points by mschuster91 4 days ago | 22 comments
276Show HN: I built the tool I wished existed for moving Stripe between countries (stripemove.com)
108 points by felphos 5 days ago | 53 comments
277The Reality My Medicaid Patients Face (theatlantic.com)
27 points by petethomas a day ago | 7 comments
278Ask HN: What Are You Working On? (June 2025)
437 points by david927 7 days ago | 1374 comments
279A Rust-TypeScript integration (github.com)
51 points by wreedtyt 2 days ago | 50 comments
280Demonstration of Algorithmic Quantum Speedup for an Abelian Hidden Subgroup (journals.aps.org)
36 points by boilerupnc 4 days ago | 13 comments
281Cops in [Spain] think everyone using a Google Pixel must be a drug dealer (androidauthority.com)
96 points by zczc a day ago | 64 comments
282Developing with GitHub Copilot Agent Mode and MCP (austen.info)
90 points by miltonlaxer 6 days ago | 64 comments
283A CarFax for Used PCs; Hewlett Packard wants to give old laptops new life (spectrum.ieee.org)
98 points by rubenbe 6 days ago | 109 comments
284Fast, reliable configuration distribution to workload containers at scale (datadoghq.com)
4 points by tanelpoder 15 hours ago | 0 comments
285What to build instead of AI agents (decodingml.substack.com)
236 points by giuliomagnifico 4 days ago | 116 comments
286Why are there no good dinosaur films? (briannazigler.substack.com)
9 points by fremden 2 days ago | 0 comments
287Pbf2sqlite: Reading OpenStreetMap into a SQLite Database (github.com)
62 points by amadeuspagel 5 days ago | 9 comments
288Swearing as a Response to Pain: Assessing Effects of Novel Swear Words (frontiersin.org)
75 points by sega_sai 7 days ago | 105 comments
289OpenFLOW – Quickly make beautiful infrastructure diagrams local to your machine (github.com)
378 points by x0z 6 days ago | 82 comments
290Show HN: Spegel, a Terminal Browser That Uses LLMs to Rewrite Webpages (simedw.com)
423 points by simedw 5 days ago | 180 comments
291Show HN: I rewrote my notepad calculator as a local-first app with CRDT syncing (numpad.io)
44 points by tonyonodi 6 days ago | 19 comments
292Ask HN: Freelancer? Seeking freelancer? (July 2025)
84 points by whoishiring 5 days ago | 201 comments
293Core RISC-V supercluster on a single M.2 [video] (youtube.com)
10 points by victorbjorklund a day ago | 3 comments
294I write type-safe generic data structures in C (danielchasehooper.com)
411 points by todsacerdoti 6 days ago | 179 comments
295GPEmu: A GPU emulator for rapid, low-cost deep learning prototyping [pdf] (vldb.org)
80 points by matt_d 6 days ago | 12 comments
296WebAssembly Troubles part 4: Microwasm (2019) (troubles.md)
45 points by Bogdanp 7 days ago | 1 comment
297Serving 200M requests per day with a CGI-bin (jacob.gold)
167 points by feep 2 days ago | 82 comments
298WASM Agents: AI agents running in the browser (blog.mozilla.ai)
165 points by selvan 3 days ago | 44 comments
299Claude Code now supports hooks (docs.anthropic.com)
382 points by ramoz 6 days ago | 170 comments
300