Submissions from github.com

		Reflex – run a Jev-like decision model locally on a 16GB Nvidia GPU (github.com/lateos-ai)
		2 points by leochong 24 minutes ago \| past \| discuss
		Privacy-focused general productivity webapp (github.com/ontoplano)
		3 points by philipthetenth 1 hour ago \| past \| discuss
		Show HN: Tenjin – A Jev based x402 tool router for Claude Code (github.com/backtrackco)
		2 points by AliAbdoli 1 hour ago \| past \| discuss
		Show HN: KISS – A highly performant agent harness inspired off Pi built in Rust (github.com/racetozero)
		2 points by racetozero 1 hour ago \| past \| 2 comments
		Primal Solver (github.com/c-vision)
		1 point by c-vision 1 hour ago \| past \| discuss
		LeanAPI: API Servers for web applications written in Lean 4 (github.com/theoriclabs)
		2 points by hargup 1 hour ago \| past \| discuss
		Solon – Docker on Windows Without Docker Desktop or WSL (github.com/v94lere)
		4 points by v94lere 2 hours ago \| past \| discuss
		Paranoia-Sans: A Conspiratorial Typeface (github.com/flegfleg)
		4 points by birdculture 3 hours ago \| past \| discuss
		Show HN: OnionGuard – IP-agnostic, zero-JS DDoS defense in Go for Tor services (github.com/ihatemyfcklife)
		2 points by ihatemyfcklife 3 hours ago \| past \| discuss
		Rank Anything: convert your income to League of Legends rank (github.com/szge)
		2 points by szge 3 hours ago \| past \| 5 comments
		Show HN: Pbi-guard – Unit testing for Power BI (github.com/patens-dev)
		1 point by randomlyGenerat 4 hours ago \| past \| discuss
		Forging 1024-bit RSA signatures in nearly SNFS time (github.com/ucsd-hacc)
		3 points by coreyp_1 5 hours ago \| past \| discuss
		Pluto: A StarCraft Brood War neural network trained by self-play RL (github.com/tscmoo)
		1 point by __cayenne__ 5 hours ago \| past \| discuss
		Show HN: AgentLens – Replay and compare Codex runs (github.com/fang520huang-lgtm)
		1 point by fang520huang 6 hours ago \| past \| discuss
		Bug: Border radius has infected VSCode editor (github.com/microsoft)
		71 points by 2Ucoder 6 hours ago \| past \| 46 comments
		QuarkDown: Markdown with Superpowers (github.com/iamgio)
		8 points by Muhammad523 6 hours ago \| past \| discuss
		Show HN: Aslmp, an async Python SLMP client for Mitsubishi MELSEC PLCs (github.com/acaysiachem)
		3 points by AiasT 6 hours ago \| past \| discuss
		Show HN: Paper-docx – agent-native Python-docx fork with 78% fewer DOCX failures (github.com/paper-instruments)
		5 points by i_rush_carriers 6 hours ago \| past \| discuss
		Levyra: Open-source music player for Android and Windows (github.com/luc4n3x)
		2 points by LUC4N3X 6 hours ago \| past \| discuss
		Contrastive Language Models: A Fast, Generalizable System One Model (github.com/contrastive-lm)
		2 points by yarapavan 7 hours ago \| past \| discuss
		Offensive-forensic-distros-installer-MacBook-air-M1-M2-external-disk-luks Public (github.com/securizart)
		1 point by ignardpent 7 hours ago \| past \| 1 comment
		Show HN: Stop shipping AI slop, Executor makes agents prove it works (github.com/atri10)
		1 point by LambdaLogic 7 hours ago \| past \| 1 comment
		FiOTP an offline TOTP and HOTP authenticator for macOS (github.com/mehmetfiskindal)
		1 point by arbayi 7 hours ago \| past \| discuss
		Oxide – a native terminal for macOS and Linux, built on GPUI (github.com/oxide-terminal)
		1 point by bobbycoleman-de 7 hours ago \| past \| discuss
		MacTube 2 YouTube as a real Mac app – without Shorts and without AI slop (github.com/depo23)
		2 points by edib 8 hours ago \| past \| discuss
		Show HN: Reliopt – Pareto-frontier, contract-gated optimization for LLM programs (github.com/obielin)
		1 point by arabking 8 hours ago \| past \| discuss
		Prompt2ELF: An LLM wrote a 449-byte HTTP server without a compiler (github.com/faustinoaq)
		2 points by totakaro 8 hours ago \| past \| discuss
		Replicating Classic Adobe Photoshop with PSD/PSB Compatibility (github.com/eolix)
		1 point by Venn1 8 hours ago \| past \| discuss
		Show HN: Open-Source Origami CLI (github.com/braingridai)
		1 point by acossta 8 hours ago \| past \| discuss
		Show HN: PromptPad- A lightweight editor for long coding prompts (github.com/aaravchour)
		1 point by aaravchour 8 hours ago \| past \| discuss
		More