Unlocking the Impossibly Optimized: Enter the 'Hyper-Optimizer' by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
โšกPartial Evaluation
Flag this post
Mastering Claude Code โ€” A Free Open-Source Handbook for Developers
github.comยท13hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท12h
๐Ÿ—‚๏ธType Indexing
Flag this post
Parallel Threads in Racket v9.0
blog.racket-lang.orgยท25mยท
Discuss: Hacker News
๐Ÿ”„Coroutines
Flag this post
Meditations on geometric packing
shvbsle.inยท1d
๐ŸŒŠEffect Rows
Flag this post
10000
jro.sgยท21h
๐Ÿ“ฆExecutable Size
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.toยท1dยท
Discuss: DEV
๐ŸงฎCombinator Calculus
Flag this post
Rust Isn't the Future of Systems Programming โ€“ It's Just the Hype Cycle
freedium-mirror.cfdยท4hยท
Discuss: Hacker News
๐Ÿš‚Cranelift Backend
Flag this post
Why Not Just Train For Interpretability?
lesswrong.comยท1d
๐ŸŒฑMinimal Interpreters
Flag this post
my journey to accepting that you wont know it all
blog.prdai.devยท12hยท
๐ŸŒˆGradual Languages
Flag this post
The Sacrilegious Coder
medium.comยท10hยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
Flag this post
Axelang - A Systems Programming Language with Concurrency as a First-Class feature
axelang.orgยท1dยท
Discuss: DEV
๐Ÿ”งError Recovery
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.meยท12hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Flag this post
Probabilistic Graph Neural Inference for coastal climate resilience planning with ethical auditability baked in
dev.toยท1dยท
Discuss: DEV
๐ŸŒฒDeforestation
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ”„Bootstrapping
Flag this post
Nano Banana Pro ๅฎŒๆ•ดๅผ€ๅ‘่€…ๆ•™็จ‹
linguista.bearblog.devยท4h
๐ŸŒ™Lua
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.comยท11h
๐Ÿ”„Nanopass
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
Flag this post
Towards a comprehensive decision support system for agroforestry systems
iopscience.iop.orgยท1d
๐ŸŒฒDeforestation
Flag this post