🎭 Staging

Multi-Stage Programming, Code Specialization, MetaOCaml, Template Haskell

An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🌲Deforestation
FounderOS: A visual IDE idea
founderos.xyz·1d·
Discuss: Hacker News
📦Monorepos
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·2d
🚂Cranelift Backend
Three ways formally verified code can go wrong in practice
buttondown.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Languages
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·2d·
Discuss: Hacker News
📚Self-Documenting Code
The Pain Driven Workflow
magistr.me·2d·
Discuss: Hacker News
📚Self-Documenting Code
Lobsters Interview with Zdsmith
lobste.rs·2d·
Discuss: Lobsters
📚Stack Languages
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·2d
🔗Unification Algorithms
First Internship, First Big Project
reddit.com·18h·
Discuss: r/AskProgramming
🎮Language Ergonomics
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·2d
📋JSON Parsing
How to handle long running tools in realtime conversations.
reddit.com·3h·
Discuss: r/LocalLLaMA
🔀Concurrency Models
I Built a VS Code Extension to Simplify .NET Project Creation
dev.to·3d·
Discuss: DEV
📚Self-Documenting Code
Create Express Auth — A Clean Architecture Boilerplate for Modern APIs
dev.to·3d·
Discuss: DEV
🔧API Design
[WIP] API library for Geometry Dash: GDLib
reddit.com·12h·
Discuss: r/rust
📋Souffle Datalog
Stop “Vibe Coding”: What Worked for Me as a Front-End Tech Lead
dev.to·2h·
Discuss: DEV
🎮Language Ergonomics
Claude isn't a big fan of Plugins (not that serious)
reddit.com·2d·
Discuss: r/ClaudeAI
🔗Language Toolchains
Sentient Config is a Code Smell
dev.to·12h·
Discuss: DEV
🌉Cross-Platform FFI
Handling 100+ Website Scrapers with Python's asyncio
dev.to·9h·
Discuss: DEV
🚀PyPy JIT
The Library Method: Understanding @cache
dev.to·2d·
Discuss: DEV
🎯Symbolic Execution
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·2d
🔍ML Language