The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
Type Checking
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
🎭Program Synthesis
Flag this post
Discovering physical laws with parallel symbolic enumeration
nature.com·1d
🔍ML Language
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
🔧API Design
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·10h·
Discuss: Hacker News
🔶Lattice Theory
Flag this post
What is Declarative Programming
dev.to·1d·
Discuss: DEV
🧩Constraint Logic
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
A VS Code Fork for Writing
debamitro.github.io·4h
📚Self-Documenting Code
Flag this post
Post-Conj update
ericnormand.substack.com·1d·
Discuss: Substack
🔮Clojure
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·15h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·23h·
Discuss: Substack
📚Forth Compilers
Flag this post
Taming the Data Beast: Build Pipelines That Bend, Not Break by Arvind Sundararajan
dev.to·23h·
Discuss: DEV
📋JSON Parsing
Flag this post
Package Hygiene in Alice, an experimental OCaml build system
alicecaml.org·1d·
Discuss: Hacker News
📦Package Managers
Flag this post
Sports architecture analysis among projects from University of Southern California
dezeen.com·16h
🔍Lens Libraries
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
📚Self-Documenting Code
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·13h·
Discuss: DEV
🎪Playground Compilation
Flag this post
ChangeDINO: DINOv3-Driven Building Change Detection in Optical Remote Sensing Imagery
arxiv.org·2d
🔍Lens Libraries
Flag this post
Trying Out C++26 Executors
mropert.github.io·12h·
🔮Speculative Execution
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·22h·
Discuss: Substack
🎭Program Synthesis
Flag this post
My code is 100% AI generated
jda.bearblog.dev·14h
📚Self-Documenting Code
Flag this post