A formal proof of C∞ISRT
bsky.app·2d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Haskell Interlude: 70: Phil Wadler
haskell.foundation·2d
🔬programming language theory
CTD after switching Vortex profiles
pastebin.com·5h·
Discuss: r/skyrimmods
🔐Ownership Types
The Open Source Ward Weekly (16 September 2025)
open-source-ward.com·20h
🌱Forth Kernels
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·1d
📋Tablegen
An introduction to program synthesis
mchav.github.io·5d·
Discuss: Hacker News, r/programming
🛠️Code Synthesis
Show HN: Building an open-source agentic terminal
davehudson.io·1d·
Discuss: Hacker News
💻Terminal UIs
I tested AI tools on data analysis — here’s how they did (and what to look out for)
onlinejournalismblog.com·14h
🌱Minimal ML
Linear Regression in a Nutshell
dev.to·10h·
Discuss: DEV
🌱Minimal ML
New C++ Conference Videos Released This Month - September 2025
reddit.com·1d·
Discuss: r/cpp
🎓Teaching Compilers
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·2d·
Discuss: Hacker News, r/LLM, r/rust
🌱Minimal ML
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·2d·
Discuss: Hacker News
⚡functional programming
Tips for working with Claude on large creative writing projects. My experience.
reddit.com·4h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Building MCP Servers: Understanding Transport Layers and Core Components
github.com·5h·
Discuss: DEV
📡Protocol Parsers
Stop Memorizing, Start Scripting: My Journey to cli-bits
dev.to·21h·
Discuss: DEV
💻Terminal Control
SpecVLM: Fast Speculative Decoding in Vision-Language Models
arxiv.org·22h
🌱Minimal ML
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·1d
🎮Language Ergonomics
Claude-code.nvim: Seamless integration between Claude Code and Neovim
github.com·11h·
Discuss: Hacker News
📚Self-Documenting Code
Here’s how far I’ve come after 7 days of grinding on system design.
github.com·13h·
Discuss: DEV
🧱First Principles
**Python Geometric Algorithms: Point-in-Polygon, Convex Hull & Spatial Indexing Techniques**
dev.to·17h·
Discuss: DEV
🔢Algebraic Datatypes