Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·1d
🐪OCaml
Exited Mac Development
ds9soft.com·10h·
Discuss: Hacker News
💻Terminal UIs
Show HN: A minimalist, encrypted knowledge platform for solo devs and founders
orbivon.com·15h·
Discuss: Hacker News
📚Self-Documenting Code
Incommensurability
lesswrong.com·1d
🪞Homoiconicity
Thoughts about OpenAI GPT-5-Codex from my conversation with Greg Brockman and Thibault Sottiaux
andrewmayne.com·1d
🎮Language Ergonomics
Microsoft Goes All-in on Rust for Core Infrastructure and Much More
thenewstack.io·3d
🚂Cranelift IR
Are We Chasing Language Hype Over Solving Real Problems?
dayvster.com·2d·
🎮Language Ergonomics
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·4d
🧪Compiler Testing
Adaptive Fast-and-Slow Visual Program Reasoning for Long-Form VideoQA
arxiv.org·4h
🗺️Region Inference
Taking the right kind of vibe-coding risk
nadeeshacabral.com·3d·
Discuss: Hacker News
🎮Language Ergonomics
Working with JSON and XML: Free Tools Every Developer Should Know
dev.to·2d·
Discuss: DEV
📋JSON Parsers
CogAtom: From Cognitive Atoms to Olympiad-level Mathematical Reasoning in Large Language Models
arxiv.org·4h
🔗Concatenative Theory
Specification-Aware Machine Translation and Evaluation for Purpose Alignment
arxiv.org·4h
🔤Language Tokenizers
Python Strings: The Ultimate Guide for Beginners & Beyond
dev.to·1d·
Discuss: DEV
📝Rope Editors
Code Your Way to Perfect 3D: Introducing Gradient-Powered Geometry by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🎭Program Synthesis
Felling like a imposter.
reddit.com·1d·
🪜Recursive Descent
Actionpackd AI SDK: 2 Lines to Typed, Streaming AI Magic
dev.to·19h·
Discuss: DEV
Gleam
I Gave AIs "Hands". Now They Can Build Their Own Software.
github.com·5h·
Discuss: DEV
📚Self-Documenting Code
Multi-Agent Systems in PHP: A Practical Deep Research Implementation
dev.to·13h·
Discuss: DEV
🌊Reactive Languages
The Code Crisis Part 3 Memory Mazes Choose Own Adventure
reddit.com·1d·
Discuss: r/ClaudeAI
⏱️Real-Time GC