Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Longreads + Open Thread
thediff.co·13h
🌊Gradual Effects
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·3d
🦀MIR Optimization
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·2d
🚂Cranelift Backend
Mid-October 2025 AI Software Development News Roundup: Tools, Trends, and Breakthroughs
vibe.forem.com·1h·
Discuss: DEV
🎭Program Synthesis
New React Foundation To Manage Framework
thenewstack.io·16h
📦Monorepos
Toy Binary Decision Diagrams
philipzucker.com·6d
✅Type Checking
TASI Lectures On Topological Field Theories And Differential Cohomology
arxiv.org·2d
🎯Type Theory
Lobsters Interview with Zdsmith
lobste.rs·2d·
Discuss: Lobsters
📚Stack Languages
Videogame Dev for a university course project
reddit.com·15h·
Discuss: r/gamedev
🛠programming language development
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·5d
🌊Gradual Typing
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Fast, Declarative Open Graph Image Generation in Python
dev.to·3h·
Discuss: DEV
✨Code Formatting
The Hidden Bias: A Study on Explicit and Implicit Political Stereotypes in Large Language Models
arxiv.org·2d
📋S-Expression
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·2d·
Discuss: r/rust
🏗️Cranelift
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·1d·
Discuss: Hacker News
📝Text Editors
Building My Movie Discovery App: A Full-Stack Journey of Challenges, Tools, and Growth
dev.to·12h·
Discuss: DEV
🔍Lens Libraries
From Docker Containers to Kubernetes Pods: Deploying My First Microservices Platform
dev.to·5h·
Discuss: DEV
📦Monorepos
Local Storage: From Cookies to Web Storage and IndexedDB
dev.to·1d·
Discuss: DEV
💾Minimal Databases