[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·4h·
Discuss: r/golang
🔧API Design
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·12h·
Discuss: Lobsters, Hacker News
🗂️Type Indexing
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·12h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·8h·
Discuss: Hacker News
📡Protocol Stacks
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·12h·
Discuss: Hacker News
📡Erlang BEAM
Flag this post
What are you doing this weekend?
lobste.rs·8h·
Discuss: Lobsters
💬Interactive REPLs
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·17h
🎭Erlang OTP
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·7h·
Discuss: DEV
📖Literate Programming
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·1d·
Discuss: DEV
🎯Pattern Matching
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·6h·
Discuss: Hacker News
🔄Copy Propagation
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔗Weak References
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·11h
🐛Interactive Debuggers
Flag this post
Keeping Your Claude Code Subagents Aligned
dev.to·2h·
Discuss: DEV
⚡Incremental Parsing
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
⚡functional programming
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Magisterium
isaacbowen.com·8h·
Discuss: Hacker News
💫Effect Systems
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
reddit.com·1d·
Discuss: r/compsci
🎭Program Synthesis
Flag this post
Making Mathematical Reasoning Adaptive
paperium.net·21h·
Discuss: DEV
🏗️MLIR
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·7h
🎭Program Synthesis
Flag this post