Construction and Classification of Crystalline Topological Superconductor and Insulators in Three-Dimensional Interacting Fermion Systems
link.aps.org·3h
🎯Type Theory
This one Excel symbol will change how you write formulas
makeuseof.com·16h
📇Symbol Tables
Three Meanings of "To Know"
madhadron.com·1d·
Discuss: Hacker News
🔗Concatenative Theory
A PhD in Snapshots
rbharath.github.io·1d·
Discuss: Hacker News
🎯Finite Automata
2.0.0 Update Release: Updated to Python 3
ludowoods.itch.io·6h
📝Rope Editors
🎲 Popping the Filter Bubble
schembri.me·1d
🥾Bootstrapping Strategies
About hover LSP with TypeScript (expanding types)
reddit.com·3d·
Discuss: r/neovim
🌈Gradual Languages
I Hate Next. You should, too.
fadamakis.com·18h·
Discuss: r/reactjs
🔮Metacircular Evaluators
Fullstack Language Servers
404wolf.com·1d
📦Monorepos
Stop Hitting Runtime Errors: Why TypeScript Is the Full-Stack Developer's Secret Weapon
dev.to·1d·
Discuss: DEV
🔧API Design
Tired of Juggling Multiple Projects? I Built a Framework to Automate It All.
dev.to·34m·
Discuss: DEV
🎮Language Ergonomics
SoK: Kicking CAN Down the Road. Systematizing CAN Security Knowledge
arxiv.org·23h
🛡️Security Type Systems
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·11h·
Discuss: Hacker News
🗺️Region Inference
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·13h·
Discuss: r/rust
📚Stack Allocation
Zig STD does not seems to use structural inheritance
reddit.com·1d·
Discuss: r/Zig
🏷️Symbol Mangling
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·23h
🧩Constraint Solvers
Eclectic English Vocab
404wolf.com·1d
🔄Incremental Lexing
How to approach low-level programming.
reddit.com·12h·
Discuss: r/embedded
⚙️Assembly
Tour of Nix
404wolf.com·1d
🏗️Build Systems
feedback: web app using Go, SQLite and HTMX
github.com·2d·
Discuss: r/golang
📋Tablegen