Submissions from github.com

		Surface – KDL Specification Format – Experimental (github.com/etoxin)
		2 points by etoxin 15 minutes ago \| past \| 1 comment
		Kubeside – a Kubernetes client that shows your app, not your cluster (github.com/dynaum)
		1 point by dynaum 32 minutes ago \| past \| discuss
		Show HN: PhaseProbe – Find simulation transitions and turn them into tests (github.com/aliengineering-byte)
		1 point by ali110v 41 minutes ago \| past \| discuss
		Show HN: Symbio self fine-tuning AI loop (github.com/huyedits)
		4 points by huyedit 48 minutes ago \| past \| discuss
		Karakeep Release 0.33.1 (github.com/karakeep-app)
		1 point by toomuchtodo 1 hour ago \| past \| 1 comment
		Rcarmo/umcp: A micro MCP core (asyncio and synchronous) (github.com/rcarmo)
		1 point by rcarmo 1 hour ago \| past \| discuss
		I am building a cool OS like simulator based on Corgis (github.com/ilikelinux123)
		2 points by Linuxisgood 1 hour ago \| past \| discuss
		Show HN: Evidence-to-Skill – a gate between untrusted sources and agent skills (github.com/sanexxxx777)
		2 points by Aleksandr_NFA 2 hours ago \| past \| discuss
		Show HN: Copy any website pixel perfect (github.com/harkro753)
		2 points by Harro123 2 hours ago \| past \| 3 comments
		Using Meta AI via WhatsApp for OpenCode (github.com/amita-seal)
		1 point by amita2 2 hours ago \| past \| discuss
		Soft-deprecating chrono and chrono-tz (github.com/chronotope)
		2 points by Paul-E 3 hours ago \| past \| discuss
		Pantograph (github.com/jeprinz)
		10 points by sargstuff 3 hours ago \| past \| discuss
		Uber SubmitQueue: a high-performance speculative merge queue (github.com/uber)
		1 point by handfuloflight 3 hours ago \| past \| discuss
		Structure Editors (github.com/yairchu)
		6 points by sargstuff 3 hours ago \| past \| 2 comments
		Show HN: Crew, a local collaborative (people and agents) IDE (github.com/jamelhammoud)
		4 points by jamelhammoud 3 hours ago \| past \| discuss
		Show HN: Open OneNote Viewer in Rust (github.com/emsi)
		3 points by emsi 3 hours ago \| past \| discuss
		Sigstore Cosign signature verifier in 150 lines of C (github.com/kern-werk)
		3 points by pdubouilh 5 hours ago \| past \| discuss
		Show HN: Cross-platform AirDrop replacement but over internet using Iroh (github.com/chad)
		2 points by chadfowler 5 hours ago \| past \| discuss
		TextGrad: Automatic "Differentiation" via Text (github.com/zou-group)
		2 points by rzk 5 hours ago \| past \| discuss
		Show HN: OpenLongevity – Longevity × AI – open, verifiable, for everyone (github.com/edison7009)
		2 points by edison7009 5 hours ago \| past \| discuss
		Show HN: SteerPlane – Deterministic runtime guardrails for AI agents (github.com/vijaym2k6)
		2 points by vijaym2k6 5 hours ago \| past \| discuss
		Ruby on Rails RCE (github.com/rails)
		1 point by campuscodi 6 hours ago \| past \| discuss
		Not another free whatsapp API (github.com/pocha)
		1 point by pocha 6 hours ago \| past \| discuss
		Show HN: Goulash – heckler/helper to local-LLM your shell as little as possible (github.com/chaboud)
		1 point by chaboud 7 hours ago \| past \| discuss
		Show HN: Netmnt 0.2.0 (github.com/thongor77)
		3 points by magetriste 8 hours ago \| past \| 1 comment
		Toast IDE Gets Markdown Spell Checking (github.com/paradise-runner)
		8 points by dividedcomet 8 hours ago \| past \| 6 comments
		Burn Their Money –> Humans and Freedom (github.com/peterlodri-sec)
		2 points by pocok0xRE 8 hours ago \| past \| 1 comment
		Ls-guard: generate and audit Postgres/Supabase RLS from a spec (github.com/greyrow)
		3 points by greyrow 8 hours ago \| past \| discuss
		Single-file Ada 83 LLVM compiler (github.com/adadoom3)
		5 points by roger23 8 hours ago \| past \| 5 comments
		docs: Add AI Section to CONTRIBUTING.md (github.com/thelounge)
		1 point by MaxLeiter 9 hours ago \| past \| discuss
		More