A Childhood Dream, Created and Open Sourced
hackaday.com·11h
🏗️Minimal Compilers
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·4d·
Discuss: Hacker News
📐Mathematical Computing
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·19h·
Discuss: Hacker News
🔀SSA Construction
Thoughts on The Curve
interconnects.ai·10h
🎭Program Synthesis
LongCat-Flash-Chat: Powerful Open-Source AI for 2025
digitalocean.com·1d
💬Smalltalk VMs
Introduction to Python Module Two Part Four Data Types
dev.to·1d·
Discuss: DEV
🐍lisp
Day 24 of My 90 Days Python Series – Word Counter Tool
github.com·1d·
Discuss: DEV
💬Interactive REPLs
obsidian.nvim 3.14.0 release, in-process LSP has landed
reddit.com·8h·
Discuss: r/neovim
🔄Incremental Lexing
LLMs as a limiter of social intercourse
lesswrong.com·15h
📚Factor
Understanding Linux Namespaces: A Guide to Process Isolation
dev.to·1d·
Discuss: DEV
🛡️Capability VMs
H-DDx: A Hierarchical Evaluation Framework for Differential Diagnosis
arxiv.org·18h
🏗️MLIR
Domain-Driven Design: Turbocharge video processing
dev.to·10h·
Discuss: DEV
🎨Domain-Specific Languages
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·18h
🪜Recursive Descent
Can an LLM Induce a Graph? Investigating Memory Drift and Context Length
arxiv.org·18h
🔍ML Language
Optimized Minimal 4D Gaussian Splatting
arxiv.org·18h
🔄Loop Optimization
Qualcomm Acquires Arduino, Launches the New Arduino UNO Q Single-Board Computer
hackster.io·13h·
Discuss: Hacker News
🔌Microcontrollers
Built this because scrolling through ChatGPT is actual torture (Threadly AI)
reddit.com·15h·
Discuss: r/browsers
💬Smalltalk VMs
ReSharper and Rider 2025.2.3: The Third Set of Updates Released
blog.jetbrains.com·1d
🐛Interactive Debuggers
The future of your code is no-code
pleasedontdeploy.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·1d
🔍ML Language