Hacker News

1.		Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf] (upenn.edu)
		34 points by JackeJR 2 hours ago \| hide \| 5 comments
2.		Why do we tell ourselves scary stories about AI? (quantamagazine.org)
		9 points by lschueller 22 minutes ago \| hide \| 5 comments
3.		Intel 486 CPU announced April 10, 1989 (dfarq.homeip.net)
		100 points by jnord 2 hours ago \| hide \| 76 comments
4.		FBI used iPhone notification data to retrieve deleted Signal messages (9to5mac.com)
		254 points by 01-_- 3 hours ago \| hide \| 111 comments
5.		How NASA built Artemis II’s fault-tolerant computer (acm.org)
		504 points by speckx 15 hours ago \| hide \| 190 comments
6.		A new trick brings stability to quantum operations (ethz.ch)
		188 points by joko42 10 hours ago \| hide \| 45 comments
7.		CPU-Z and HWMonitor Compromised (reddit.com)
		19 points by Wingy 20 minutes ago \| hide \| 1 comment
8.		I still prefer MCP over skills (david.coffee)
		319 points by gmays 12 hours ago \| hide \| 267 comments
9.		OpenAI backs Illinois bill that would limit when AI labs can be held liable (wired.com)
		317 points by smurda 1 hour ago \| hide \| 217 comments
10.		The effects of caffeine consumption do not decay with a ~5 hour half-life (lesswrong.com)
		48 points by swah 1 hour ago \| hide \| 33 comments
11.		Code is run more than read (2023) (olano.dev)
		5 points by facundo_olano 45 minutes ago \| hide \| discuss
12.		Model-Based Testing for Dungeons & Dragons (loskutoff.com)
		76 points by Firfi 6 hours ago \| hide \| 28 comments
13.		Deterministic Primality Testing for Limited Bit Width (jeremykun.com)
		5 points by ibobev 1 hour ago \| hide \| discuss
14.		Penguin 'Toxicologists' Find PFAS Chemicals in Remote Patagonia (ucdavis.edu)
		73 points by giuliomagnifico 8 hours ago \| hide \| 26 comments
15.		Native Instant Space Switching on macOS (arhan.sh)
		579 points by PaulHoule 19 hours ago \| hide \| 280 comments
16.		Artemis II and the invisible hazard on the way to the Moon (ansto.gov.au)
		59 points by zeristor 7 hours ago \| hide \| 45 comments
17.		Show HN: Marimo pair – Reactive Python notebooks as environments for agents (github.com/marimo-team)
		59 points by manzt 4 hours ago \| hide \| 11 comments
18.		Show HN: QVAC SDK, a universal JavaScript SDK for building local AI applications
		20 points by qvac 2 hours ago \| hide \| 4 comments
19.		We've raised $17M to build what comes after Git (gitbutler.com)
		226 points by ellieh 13 hours ago \| hide \| 482 comments
20.		Show HN: Keeper – embedded secret store for Go (help me break it) (github.com/agberohq)
		47 points by babawere 6 hours ago \| hide \| 26 comments
21.		Generative art over the years (veitheller.de)
		200 points by evakhoury 14 hours ago \| hide \| 50 comments
22.		CollectWise (YC F24) Is Hiring (ycombinator.com)
		10 hours ago \| hide
23.		The Art of Risk Management (2017) (bcg.com)
		35 points by walterbell 8 hours ago \| hide \| 11 comments
24.		Charcuterie – Visual similarity Unicode explorer (elastiq.ch)
		278 points by rickcarlino 18 hours ago \| hide \| 64 comments
25.		RAM Has a Design Flaw from 1966. I Bypassed It [video] (youtube.com)
		323 points by surprisetalk 13 hours ago \| hide \| 113 comments
26.		Old laptops in a colo as low cost servers (colaptop.pages.dev)
		351 points by argentum47 20 hours ago \| hide \| 207 comments
27.		Unfolder for Mac – A 3D model unfolding tool for creating papercraft (unfolder.app)
		285 points by codazoda 21 hours ago \| hide \| 55 comments
28.		Instant 1.0, a backend for AI-coded apps (instantdb.com)
		186 points by stopachka 18 hours ago \| hide \| 92 comments
29.		Kagi Product Tips – Customize Your Search Results with URL Redirects (kagi.com)
		143 points by treetalker 17 hours ago \| hide \| 29 comments
30.		Research-Driven Agents: When an agent reads before it codes (skypilot.co)
		196 points by hopechong 21 hours ago \| hide \| 51 comments
		More