Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·14h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Anonymous structavaganza in zig
lirk.top·7h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·14h
🤝Paxos Consensus
Stable, Mutable References for Ante
antelang.org·11h·
Discuss: Hacker News, r/programming
🔒Type Safety
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·20h
🎙️Whisper
Build a baby Claude Code using Python
siddharthbharath.com·10h·
Discuss: Hacker News
⚡Proof Automation
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Notes on Autograd
aschrein.github.io·6h·
Discuss: Hacker News
⚡Incremental Computation
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·13h
🔄Reproducible Builds
TypeScript: Enable Strict Mode by Default
github.com·8h·
Discuss: Hacker News
🎯Gradual Typing
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
The Baby Paradox in Haskell
blog.jle.im·4d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Scheme Basics
courses.cs.washington.edu·3d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Builder Pattern in CDK
medium.com·5h·
Discuss: Hacker News
🧱Immutable Infrastructure
My Current AI Dev Workflow
steipete.me·15h
⚡Proof Automation
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·11h·
Discuss: Hacker News
⚡Proof Automation