refsys's favorites | Hacker News

1.		Graph Topology and Battle Royale Mechanics (lukesalamone.com)
		47 points by salamo 10 days ago \| 4 comments
2.		Ask HN: Why don't software developers make medical devices?
		8 points by piratesAndSons 10 days ago \| 21 comments
3.		Show HN: Prism AI – open-source research agent that visualizes concepts (github.com/precious112)
		2 points by PreciousH 8 days ago \| 1 comment
4.		JIT: A header-only, cross-platform JIT compiler library in C (github.com/abdimoallim)
		20 points by linkdd 9 days ago \| 1 comment
5.		Six Math Essentials (terrytao.wordpress.com)
		317 points by digital55 9 days ago \| 64 comments
6.		Aqua: A CLI message tool for AI agents (github.com/quailyquaily)
		76 points by lyricat 9 days ago \| 33 comments
7.		Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com/younes-io)
		41 points by youio 9 days ago \| 4 comments
8.		Finding forall-exists Hyperbugs using Symbolic Execution (acm.org)
		48 points by todsacerdoti 15 days ago \| 2 comments
9.		How I use Claude Code: Separation of planning and execution (boristane.com)
		975 points by vinhnx 10 days ago \| 591 comments
10.		Cord: Coordinating Trees of AI Agents (june.kim)
		154 points by gfortaine 11 days ago \| 81 comments
11.		macOS's Little-Known Command-Line Sandboxing Tool (2025) (igorstechnoclub.com)
		224 points by Igor_Wiwi 10 days ago \| 89 comments
12.		What Is OAuth? (leaflet.pub)
		231 points by cratermoon 11 days ago \| 83 comments
13.		Visualizing the ARM64 Instruction Set (2024) (zyedidia.github.io)
		81 points by userbinator 16 days ago \| 18 comments
14.		SwiftUI Agent Skill: Build Better Views with AI (avanderlee.com)
		31 points by skreep 11 days ago \| 1 comment
15.		Fast Sorting, Branchless by Design (00f.net)
		29 points by jedisct1 14 days ago \| 9 comments
16.		I traced 3,177 API calls to see what 4 AI coding tools put in the context window (theredbeard.io)
		36 points by theredbeard 12 days ago \| 4 comments
17.		The Big TDD Misunderstanding (kiss-and-solid.com)
		40 points by WolfOliver 13 days ago \| 12 comments
18.		R3forth: A concatenative language derived from ColorForth (github.com/phreda4)
		96 points by tosh 13 days ago \| 26 comments
19.		Show HN: Trust Protocols for Anthropic/OpenAI/Gemini (mnemom.ai)
		40 points by alexgarden 13 days ago \| 33 comments