_factor's favorites | Hacker News

1.		Backups Aren't Simple (filipovski.net)
		358 points by afilipovski 5 days ago \| 223 comments
2.		Show HN: Capsule – Single-file web apps that save their data into SQLite (withcapsule.app)
		379 points by bashtian 6 days ago \| 167 comments
3.		Alternatives to MinIO for single-node local S3 (rmoff.net)
		274 points by rmoff 7 days ago \| 109 comments
4.		Benchmark: CadQuery vs. OpenSCAD for agentic CAD work (modelrift.com)
		40 points by jetter 9 days ago \| 65 comments
5.		Real-SWE: Benchmarking AI models on private, real-world, enterprise codebases (withspecific.com)
		275 points by theanonymousone 9 days ago \| 157 comments
6.		JetKVM Mini (jetkvm.com)
		571 points by taubek 9 days ago \| 235 comments
7.		Proof of Capture: Apple Reference Image, but open source and using steganography (merybenavente.me)
		142 points by merybenavente 11 days ago \| 85 comments
8.		Cloud in a Bottle: making self-hosting accessible to everyone (cloudinabottle.org)
		654 points by zplizzi 16 days ago \| 321 comments
9.		MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server (github.com/staatsgeheim)
		37 points by staatsgeheim 15 days ago \| 5 comments
10.		Music Theory for Programmers (runjs.app)
		404 points by birdculture 19 days ago \| 249 comments
11.		K2 Horizon: A connected fleet of six open models (ifm.ai)
		335 points by karimf 18 days ago \| 131 comments
12.		How to get a free .arpa domain (hawksley.dev)
		175 points by ethanhawksley 21 days ago \| 16 comments
13.		WebFPGA (2019) (webfpga.io)
		112 points by gurjeet 20 days ago \| 36 comments
14.		Domain-Driven Agents (coldtake.dev)
		97 points by AlarQ 23 days ago \| 21 comments
15.		The coolest anti-surveillance tools at Defcon [video] (youtube.com)
		247 points by neom 34 days ago \| 48 comments
16.		HashAgent – Share an AI agent as a URL, runs locally via WebGPU (hashagent.pages.dev)
		58 points by masonhsu 38 days ago \| 7 comments
17.		Google is making private AI practical with homomorphic encryption (blog.google)
		498 points by u1hcw9nx 38 days ago \| 290 comments
18.		Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
		186 points by matt_d 34 days ago \| 39 comments
19.		[flagged] NeoBrowser: An MCP server that drives real Chrome with your logged-in sessions (github.com/pitiflautico)
		34 points by pitiflautico 34 days ago \| 30 comments
20.		Better and Cheaper Than IPTV (github.com/stupside)
		348 points by xonery 65 days ago \| 107 comments
21.		Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
		244 points by badcryptobitch 64 days ago \| 52 comments
22.		Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser (scalatutorials.com)
		81 points by eranation 59 days ago \| 41 comments
23.		Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com/garagehq)
		120 points by NickySlicks 50 days ago \| 35 comments
24.		Show HN: Juggler – an open-source GUI coding agent, by the creator of JUCE (github.com/juggler-ai)
		280 points by julesrms 71 days ago \| 119 comments
25.		Show HN: Physically accurate black hole you can put in your room (blackhole.plav.in)
		477 points by aplavin 60 days ago \| 193 comments
26.		How we made our LeRobot video reader up to 15× faster (eventual.ai)
		24 points by ykev 66 days ago
27.		Xiaomi-Robotics-1 (xiaomi.com)
		528 points by ilreb 64 days ago \| 325 comments
28.		AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM (zksecurity.xyz)
		100 points by duha 66 days ago \| 9 comments
29.		Designing and assembling my first PCB (vilkeliskis.com)
		165 points by tadasv 71 days ago \| 93 comments
30.		Against Usefulness (motivenotes.ai)
		129 points by supo 71 days ago \| 40 comments
		More