A Childhood Dream, Created and Open Sourced
hackaday.com·16h
🏗️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·1d·
Discuss: Hacker News
🔀SSA Construction
Thoughts on The Curve
interconnects.ai·15h
🎭Program Synthesis
Signal: Financial Funny Business 📧
spyglass.org·11h
🔍Lens Libraries
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·13h·
Discuss: r/neovim
🔄Incremental Lexing
LLMs as a limiter of social intercourse
lesswrong.com·20h
📚Factor
Understanding Linux Namespaces: A Guide to Process Isolation
dev.to·1d·
Discuss: DEV
🛡️Capability VMs
Microsoft Agent Framework: Combining Semantic Kernel + Autogen for Advanced AI Agents
dev.to·2h·
Discuss: DEV
🎪Actor Frameworks
LLM Data Detox: Erasing the Past for a Brighter AI Future
dev.to·13h·
Discuss: DEV
🌱Minimal ML
wyr: Typesafe Dependency Injection for TypeScript (and why I built it)
dev.to·3d·
Discuss: DEV
📦Monorepos
Compressed Convolutional Attention: Efficient Attention in a Compressed Latent Space
arxiv.org·23h
📐Succinct Data Structures
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·1d
📋Souffle Datalog
Refactor Smart Today, Move Faster Tomorrow — Bonus Pack: 4 Lessons to Refactor Smarter
dev.to·1d·
Discuss: DEV
🚚Code Migration
The Future is Composable: Orchestrating Multiple APIs with FastServe MCP Servers
dev.to·2d·
Discuss: DEV
🌉Language Bridges
The Tower of Babel in Reverse
lesswrong.com·6h
💫Effect Systems
Activation Steering with a Feedback Controller
arxiv.org·23h
⚡Control Synthesis