cpt's Top FindsLoading...
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·1d·
Discuss: Lobsters, Hacker News
🧩programming
Efficient Differentiable Hardware Rasterization for 3D Gaussian Splatting
arxiv.org·2d
🎨Graphics Programming
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·22h·
Discuss: Hacker News
🧩programming
Typechecker Zoo
sdiehl.github.io·19h·
Discuss: Lobsters, r/programming
🧩programming
Memory optimizations to reduce CPU costs
ayende.com·1d
⚙️Compilers
Embedded bare-metal C with Bazel and AVR
popovicu.com·1d
⚙️Compilers
8×19 Text Mode Font Origins
os2museum.com·1d
💾vintage computing
The Summer of Johann: prompt injections as far as the eye can see
simonwillison.net·15h
🧩programming
Anaphoric Macros
letoverlambda.com·1d·
Discuss: Lobsters
🧩programming
Development Journey on Game Decompilation Using AI
gambiconf.substack.com·23h·
Discuss: Substack
🧩programming
Lithe, less analysis with Datalog
blog.waleedkhan.name·2d
🧩programming
Microsoft keeps adding stuff into Windows we don't need
theregister.com·2h·
Discuss: Hacker News
🖥️operating systems
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Notepad.exe 1.2.1139
mjtsai.com·18h
Morning web weaving
jamesg.blog·5h
Mellea is a library for writing generative programs
mellea.ai·1d·
Discuss: Lobsters, Hacker News
⚙️Compilers
Porting Gigabyte MZ33-AR1 Server Board with AMD Turin CPU to Coreboot
blog.3mdeb.com·17h·
Discuss: Hacker News
🖥️operating systems
Beyond guardrails: A taxonomy of platform engineering control mechanisms
cloud.google.com·22h
FOSS Weekly #25.33: Debian 13 Released, Torvalds vs RISC-V, Arch's New Tool, GNOME Perfection and More Linux Stuff
itsfoss.com·2d
🖥️operating systems
Coalton Playground: Type-Safe Lisp in the Browser
abacusnoir.com·2d·
Discuss: Lobsters, Hacker News
🧩programming
SABER: Switchable and Balanced Training for Efficient LLM Reasoning
arxiv.org·1d
🧩programming