corysama's favorites | Hacker News

1.		SGI demos from long ago in the browser via WASM (github.com/sgi-demos)
		253 points by yankcrime 11 days ago \| 76 comments
2.		Claude can sometimes prove it (galois.com)
		219 points by lairv 15 days ago \| 69 comments
3.		Show HN: A store that generates products from anything you type in search (anycrap.shop)
		1184 points by kafked 19 days ago \| 333 comments
4.		FFglitch, FFmpeg fork for glitch art (ffglitch.org)
		331 points by captain_bender 20 days ago \| 46 comments
5.		I made a real-time C/C++/Rust build visualizer (danielchasehooper.com)
		417 points by dhooper 49 days ago \| 89 comments
6.		Building Bluesky comments for my blog (natalie.sh)
		382 points by g0xA52A2A 56 days ago \| 141 comments
7.		Enough AI copilots, we need AI HUDs (geoffreylitt.com)
		979 points by walterbell 67 days ago \| 271 comments
8.		Performance Debugging with LLVM-mca: Simulating the CPU (johnnysswlab.com)
		33 points by signa11 3 months ago \| 14 comments
9.		NativeJIT: A C++ expression –> x64 JIT (2018) (github.com/bitfunnel)
		75 points by nateb2022 3 months ago \| 46 comments
10.		How fast are Linux pipes anyway? (2022) (mazzo.li)
		258 points by keepamovin 3 months ago \| 43 comments
11.		Compiling LLMs into a MegaKernel: A path to low-latency inference (zhihaojia.medium.com)
		314 points by matt_d 3 months ago \| 76 comments
12.		A High-Level View of TLA+ (lamport.azurewebsites.net)
		92 points by blobcode 4 months ago \| 19 comments
13.		AI video you can watch and interact with, in real-time (odyssey.world)
		187 points by olivercameron 4 months ago \| 82 comments
14.		C++ to Rust Phrasebook (brown.edu)
		221 points by wcrichton 4 months ago \| 78 comments
15.		Teal – A statically-typed dialect of Lua (teal-language.org)
		229 points by generichuman 4 months ago \| 173 comments
16.		We Made CUDA Optimization Suck Less (rightnowai.co)
		47 points by jaberjaber23 4 months ago \| 28 comments
17.		Writing that changed how I think about programming languages (bernsteinbear.com)
		463 points by r4um 4 months ago \| 60 comments
18.		Nnd – a TUI debugger alternative to GDB, LLDB (github.com/al13n321)
		278 points by zX41ZdbW 4 months ago \| 83 comments
19.		Analyzing Modern Nvidia GPU Cores (arxiv.org)
		178 points by mfiguiere 5 months ago \| 37 comments
20.		Show HN: I built a synthesizer based on 3D physics (anukari.com)
		512 points by humbledrone 5 months ago \| 123 comments
21.		WorldGen: Open-source 3D scene generator for Game/VR/XR (worldgen.github.io)
		138 points by ziyangxie 5 months ago \| 19 comments
22.		Verus: Verified Rust for low-level systems code (github.com/secure-foundations)
		158 points by mmcloughlin 5 months ago \| 48 comments
23.		AudioX: Diffusion Transformer for Anything-to-Audio Generation (zeyuet.github.io)
		148 points by gnabgib 5 months ago \| 19 comments
24.		Rust to C compiler – 95.9% test pass rate, odd platforms (fractalfir.github.io)
		253 points by todsacerdoti 5 months ago \| 255 comments
25.		Rust CUDA Project (github.com/rust-gpu)
		146 points by sksxihve 5 months ago \| 47 comments
26.		Deterministic simulation testing for async Rust (s2.dev)
		107 points by shikhar 6 months ago \| 10 comments
27.		Hyperlight WASM: Fast, secure, and OS-free (microsoft.com)
		234 points by yoshuaw 6 months ago \| 86 comments
28.		Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)
		159 points by todsacerdoti 6 months ago \| 42 comments
29.		High-performance computing, with much less code (news.mit.edu)
		117 points by mpweiher 6 months ago \| 11 comments
30.		Arbitrary-Scale Super-Resolution with Neural Heat Fields (therasr.github.io)
		151 points by 0x12A 6 months ago \| 56 comments
		More