corysama's favorites | Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		358 points by vitalnodo 1 day ago \| 121 comments
2.		Recursive macros in C, demystified (once the ugly crying stops) (h4x0r.org)
		147 points by eatonphil 4 days ago \| 86 comments
3.		Resolution limit of the eye – how many pixels can we see? (nature.com)
		65 points by bookofjoe 12 days ago \| 55 comments
4.		Affinity Studio now free (affinity.studio)
		1216 points by dagmx 10 days ago \| 793 comments
5.		Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)
		94 points by nsomani 18 days ago \| 63 comments
6.		Fast calculation of the distance to cubic Bezier curves on the GPU (pkh.me)
		157 points by ux 22 days ago \| 33 comments
7.		Control your Canon Camera wirelessly (github.com/julianschroden)
		94 points by nklswbr 33 days ago \| 22 comments
8.		SGI demos from long ago in the browser via WASM (github.com/sgi-demos)
		253 points by yankcrime 48 days ago \| 76 comments
9.		Claude can sometimes prove it (galois.com)
		219 points by lairv 53 days ago \| 69 comments
10.		Show HN: A store that generates products from anything you type in search (anycrap.shop)
		1184 points by kafked 57 days ago \| 333 comments
11.		FFglitch, FFmpeg fork for glitch art (ffglitch.org)
		331 points by captain_bender 58 days ago \| 46 comments
12.		I made a real-time C/C++/Rust build visualizer (danielchasehooper.com)
		417 points by dhooper 87 days ago \| 89 comments
13.		Building Bluesky comments for my blog (natalie.sh)
		382 points by g0xA52A2A 3 months ago \| 141 comments
14.		Enough AI copilots, we need AI HUDs (geoffreylitt.com)
		979 points by walterbell 3 months ago \| 271 comments
15.		Performance Debugging with LLVM-mca: Simulating the CPU (johnnysswlab.com)
		33 points by signa11 4 months ago \| 14 comments
16.		NativeJIT: A C++ expression –> x64 JIT (2018) (github.com/bitfunnel)
		75 points by nateb2022 4 months ago \| 46 comments
17.		How fast are Linux pipes anyway? (2022) (mazzo.li)
		258 points by keepamovin 4 months ago \| 43 comments
18.		Compiling LLMs into a MegaKernel: A path to low-latency inference (zhihaojia.medium.com)
		314 points by matt_d 4 months ago \| 76 comments
19.		A High-Level View of TLA+ (lamport.azurewebsites.net)
		92 points by blobcode 5 months ago \| 19 comments
20.		AI video you can watch and interact with, in real-time (odyssey.world)
		187 points by olivercameron 5 months ago \| 82 comments
21.		C++ to Rust Phrasebook (brown.edu)
		221 points by wcrichton 5 months ago \| 78 comments
22.		Teal – A statically-typed dialect of Lua (teal-language.org)
		229 points by generichuman 5 months ago \| 173 comments
23.		We Made CUDA Optimization Suck Less (rightnowai.co)
		47 points by jaberjaber23 6 months ago \| 28 comments
24.		Writing that changed how I think about programming languages (bernsteinbear.com)
		463 points by r4um 5 months ago \| 60 comments
25.		Nnd – a TUI debugger alternative to GDB, LLDB (github.com/al13n321)
		278 points by zX41ZdbW 6 months ago \| 83 comments
26.		Analyzing Modern Nvidia GPU Cores (arxiv.org)
		178 points by mfiguiere 6 months ago \| 37 comments
27.		Show HN: I built a synthesizer based on 3D physics (anukari.com)
		512 points by humbledrone 6 months ago \| 123 comments
28.		WorldGen: Open-source 3D scene generator for Game/VR/XR (worldgen.github.io)
		138 points by ziyangxie 6 months ago \| 19 comments
29.		Verus: Verified Rust for low-level systems code (github.com/secure-foundations)
		158 points by mmcloughlin 6 months ago \| 48 comments
30.		AudioX: Diffusion Transformer for Anything-to-Audio Generation (zeyuet.github.io)
		148 points by gnabgib 6 months ago \| 19 comments
		More