A formal proof of C∞ISRT
bsky.app·2d·
Discuss: r/LessCredibleDefence
♾️Codata Types
This Guy Found a Faster Way to Multiply
popularmechanics.com·3h
📐Mathematical Computing
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
What happens when you run a program?
dev.to·1d·
Discuss: DEV
📜Bytecode Interpreters
picoCTF new_caesar writeup
zeroday.forem.com·2d·
Discuss: DEV
📝Rope Editors
Ian Bos
hackaday.com·1d
🐹Minimal Go
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
GB/s Level Editable DOM JSON Engine: The Architectural Philosophy Behind LJSON
github.com·15h·
Discuss: DEV
📋JSON Parsing
original ↗
alexplescan.com·1d·
Discuss: Lobsters, Hacker News
🏠indieweb
The future of microoptimization
goldenstack.net·3d·
Discuss: Hacker News
🔬Nanopasses
Down and out with Cerebras Code
infoworld.com·1d
⚡Tokenizer Optimization
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·13h
✨Gleam
The Symbiosis Of Rust And Arm: A Conversation With David Wood
filtra.io·1h·
Discuss: r/rust
📦Monorepos
Cycles in Marsaglia’s mental RNG
johndcook.com·6h·
Discuss: Hacker News
⏭️Skip Lists
I paired NotebookLM with VS Code for my coding classes, and I can’t believe how much easier coding got
xda-developers.com·2h
📚Self-Documenting Code
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·5d
📝Rope Editors
Effective Software Engineering with Claude Code
reddit.com·1d·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
VoidCrawlers v0.2.0.25 to v0.2.0.33 Devlog
drjuicybear.itch.io·1d
🏗️Custom Allocators
Don’t let a generation lose faith in free speech - The Bradford Era
bradfordera.com·13h
🏠indieweb
Automated Granular Keyword Clustering for Hyper-Targeted SEM Campaign Optimization
dev.to·5h·
Discuss: DEV
🔍Search Algorithms