erichocean's favorites

1.		Extracting verified C++ from the Rocq theorem prover at Bloomberg (bloomberg.github.io)
		121 points by clarus 5 days ago \| 27 comments
2.		Claude Code's new hidden feature: Swarms (twitter.com/nicerinperson)
		428 points by AffableSpatula 21 hours ago \| 291 comments
3.		Floating-Point Printing and Parsing Can Be Simple and Fast (swtch.com)
		119 points by chmaynard 5 days ago \| 13 comments
4.		Unrolling the Codex agent loop (openai.com)
		437 points by tosh 1 day ago \| 201 comments
5.		I was banned from Claude for scaffolding a Claude.md file? (hugodaniel.com)
		738 points by hugodan 2 days ago \| 629 comments
6.		Compiling Scheme to WebAssembly (thegreenplace.net)
		85 points by chmaynard 7 days ago \| 14 comments
7.		Qwen3-TTS family is now open sourced: Voice design, clone, and generation (qwen.ai)
		725 points by Palmik 2 days ago \| 224 comments
8.		Design Thinking Books (2024) (designorate.com)
		303 points by rrm1977 3 days ago \| 143 comments
9.		Ask HN: Do you have any evidence that agentic coding works?
		454 points by terabytest 4 days ago \| 450 comments
10.		The WebRacket language is a subset of Racket that compiles to WebAssembly (github.com/soegaard)
		155 points by mfru 7 days ago \| 38 comments
11.		RTS for Agents (getagentcraft.com)
		106 points by summoned 8 days ago \| 45 comments
12.		The Agentic AI Handbook: Production-Ready Patterns (nibzard.com)
		208 points by SouravInsights 4 days ago \| 144 comments
13.		Show HN: ChartGPU – WebGPU-powered charting library (1M points at 60fps) (github.com/chartgpu)
		664 points by huntergemmer 3 days ago \| 212 comments
14.		Scaling long-running autonomous coding (simonwillison.net)
		181 points by srameshc 5 days ago \| 108 comments
15.		Show HN: Agent Skills Leaderboard (skills.sh)
		134 points by andrewqu 4 days ago \| 44 comments
16.		Reticulum, a secure and anonymous mesh networking stack (github.com/markqvist)
		348 points by brogu 5 days ago \| 92 comments
17.		Improving the performance of WAT parser (gplane.win)
		108 points by gplane 10 days ago \| 41 comments
18.		Linux kernel framework for PCIe device emulation, in userspace (github.com/cakehonolulu)
		239 points by 71bw 5 days ago \| 83 comments
19.		Flux 2 Klein pure C inference (github.com/antirez)
		450 points by antirez 6 days ago \| 141 comments
20.		Fil-Qt: A Qt Base build with Fil-C experience (qt.io)
		142 points by pjmlp 8 days ago \| 134 comments
21.		A decentralized peer-to-peer messaging application that operates over Bluetooth (bitchat.free)
		635 points by no_creativity_ 6 days ago \| 339 comments
22.		If you put Apple icons in reverse it looks like someone getting good at design (mastodon.social)
		851 points by lateforwork 7 days ago \| 321 comments
23.		Milk-V Titan: A $329 8-Core 64-bit RISC-V mini-ITX board with PCIe Gen4x16 (cnx-software.com)
		140 points by fork-bomber 12 days ago \| 82 comments
24.		FLUX.2 [Klein]: Towards Interactive Visual Intelligence (bfl.ai)
		227 points by GaggiX 8 days ago \| 58 comments
25.		Keifu – A TUI for navigating commit graphs with color and clarity (github.com/trasta298)
		73 points by indigodaddy 8 days ago \| 12 comments
26.		Briar keeps Iran connected via Bluetooth and Wi-Fi when the internet goes dark (briarproject.org)
		603 points by us321 9 days ago \| 368 comments
27.		psc: The ps utility, with an eBPF twist and container context (github.com/loresuso)
		107 points by tanelpoder 8 days ago \| 29 comments
28.		The spectrum of isolation: From bare metal to WebAssembly (buildsoftwaresystems.com)
		97 points by ThierryBuilds 9 days ago \| 34 comments
29.		Cloudflare acquires Astro (astro.build)
		959 points by todotask2 8 days ago \| 392 comments
30.		Claude Cowork runs Linux VM via Apple virtualization framework (gist.github.com)
		120 points by jumploops 11 days ago \| 46 comments
		More