Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Longreads + Open Thread
thediff.co·11h
🌊Gradual Effects
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·3d
🦀MIR Optimization
Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🎭Polymorphic Variants
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·2d
🚂Cranelift Backend
Introducing Honey Nudger, and Why We're Launching with a Founder's Circle
honeynudger.ai·22h·
Discuss: DEV
🔮Metacircular Evaluators
Toy Binary Decision Diagrams
philipzucker.com·6d
✅Type Checking
TASI Lectures On Topological Field Theories And Differential Cohomology
arxiv.org·1d
🎯Type Theory
Lobsters Interview with Zdsmith
lobste.rs·1d·
Discuss: Lobsters
📚Stack Languages
Videogame Dev for a university course project
reddit.com·12h·
Discuss: r/gamedev
🛠programming language development
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·8h·
Discuss: Hacker News
📈Earley Parsing
Built ai-coreutils for Claude Code and a marketplace for plugins like it - contributions welcome
reddit.com·7h·
Discuss: r/commandline
💬Interactive REPLs
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.net·1d
🌱Minimal ML
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🪜Recursive Descent
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·5h·
Discuss: DEV
🧩Constraint Solvers
Less Is More: Recursive Reasoning with Tiny Networks
github.com·3d·
Discuss: Hacker News
🌱Minimal ML
A section of the App I am working on. Any advice or criticism is welcome.
reddit.com·1d·
Discuss: r/reactjs
💬REPL Design
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·5d
🌊Gradual Typing
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·2d·
Discuss: DEV
📦Monorepos
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·2d·
Discuss: r/rust
🏗️Cranelift