_factor's favorites | Hacker News

1.		Proof of Capture: Apple Reference Image, but open source and using steganography (merybenavente.me)
		137 points by merybenavente 3 days ago \| 85 comments
2.		Cloud in a Bottle: making self-hosting accessible to everyone (cloudinabottle.org)
		653 points by zplizzi 7 days ago \| 321 comments
3.		MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server (github.com/staatsgeheim)
		37 points by staatsgeheim 6 days ago \| 5 comments
4.		Music Theory for Programmers (runjs.app)
		404 points by birdculture 11 days ago \| 249 comments
5.		K2 Horizon: A connected fleet of six open models (ifm.ai)
		335 points by karimf 10 days ago \| 131 comments
6.		How to get a free .arpa domain (hawksley.dev)
		175 points by ethanhawksley 12 days ago \| 16 comments
7.		WebFPGA (2019) (webfpga.io)
		112 points by gurjeet 11 days ago \| 36 comments
8.		Domain-Driven Agents (coldtake.dev)
		97 points by AlarQ 15 days ago \| 21 comments
9.		The coolest anti-surveillance tools at Defcon [video] (youtube.com)
		247 points by neom 26 days ago \| 48 comments
10.		HashAgent – Share an AI agent as a URL, runs locally via WebGPU (hashagent.pages.dev)
		58 points by masonhsu 30 days ago \| 7 comments
11.		Google is making private AI practical with homomorphic encryption (blog.google)
		498 points by u1hcw9nx 30 days ago \| 290 comments
12.		Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
		186 points by matt_d 25 days ago \| 39 comments
13.		[flagged] NeoBrowser: An MCP server that drives real Chrome with your logged-in sessions (github.com/pitiflautico)
		34 points by pitiflautico 26 days ago \| 30 comments
14.		Better and Cheaper Than IPTV (github.com/stupside)
		348 points by xonery 56 days ago \| 107 comments
15.		Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
		244 points by badcryptobitch 56 days ago \| 52 comments
16.		Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser (scalatutorials.com)
		81 points by eranation 51 days ago \| 41 comments
17.		Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com/garagehq)
		120 points by NickySlicks 41 days ago \| 35 comments
18.		Show HN: Juggler – an open-source GUI coding agent, by the creator of JUCE (github.com/juggler-ai)
		280 points by julesrms 63 days ago \| 119 comments
19.		Show HN: Physically accurate black hole you can put in your room (blackhole.plav.in)
		477 points by aplavin 52 days ago \| 193 comments
20.		How we made our LeRobot video reader up to 15× faster (eventual.ai)
		24 points by ykev 58 days ago
21.		Xiaomi-Robotics-1 (xiaomi.com)
		528 points by ilreb 55 days ago \| 325 comments
22.		AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM (zksecurity.xyz)
		100 points by duha 58 days ago \| 9 comments
23.		Designing and assembling my first PCB (vilkeliskis.com)
		165 points by tadasv 62 days ago \| 93 comments
24.		Against Usefulness (motivenotes.ai)
		129 points by supo 63 days ago \| 40 comments
25.		RISCBoy is an open-source portable games console, designed from scratch (github.com/wren6991)
		209 points by mariuz 63 days ago \| 35 comments
26.		Meta's Un-Stable Signature (hackerfactor.com)
		146 points by ementally 74 days ago \| 25 comments
27.		Drone Physics (iahmed.me)
		138 points by wrxd 75 days ago \| 34 comments
28.		The bottleneck might be the air in the room (mikebowler.ca)
		833 points by gslin 71 days ago \| 468 comments
29.		Software, from First Principles (fazamhd.com)
		145 points by faza 71 days ago \| 21 comments
30.		Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf)
		69 points by rot256 73 days ago \| 12 comments
		More