Multi-Stage Programming, Code Specialization, MetaOCaml, Template Haskell

Sabbatical and pre-faculty positions at Flatiron Institute in NYC
statmodeling.stat.columbia.edu·1d
🧮Linear Algebra
Flag this post
When told that he solved something that Codex failed at
i.redd.it·19h·
Discuss: r/ClaudeAI
💬Error Messages
Flag this post
Flipping the script on machine learning – data first, models later
software.ac.uk·19h
🌱Minimal ML
Flag this post
When Models Manipulate Manifolds: The Geometry of a Counting Task
transformer-circuits.pub·2d·
Discuss: Hacker News
🔄Subinterpreters
Flag this post
Basic manipulation & mixing Gaussian Splats 🫟 in WLJS Notebook
wljs.io·2d·
Discuss: r/programming
Format Preserving
Flag this post
I built an AI tool that turns your error log into fix suggestions — meet StackFix!
stack-fix-ai.lovable.app·2d·
🩺Compiler Diagnostics
Flag this post
Finding links between gcc source code and the C Standard
shape-of-code.com·4d·
Discuss: Hacker News
🪄C Metaprogramming
Flag this post
How to Run 1:1s as an Engineering Manager
justoffbyone.com·1d·
💬Error Message Design
Flag this post
I built a DIY scraper that updates a local price dashboard every morning
reddit.com·2h·
Discuss: r/selfhosted
Live Coding
Flag this post
Building a local voice AI agent on ESP32 with Rust — introducing EchoKit
reddit.com·19h·
Discuss: r/rust
Gleam
Flag this post
The salesperson with the highest sales during the promotion period--SPL Programming Practice
dev.to·29m·
Discuss: DEV
📋Datalog
Flag this post
A Stupidly Detailed Instagram Caption Prompt (That Actually Works)
dev.to·1d·
Discuss: DEV
📚Factor
Flag this post
Cycode Previews Ability to Identify AI Tools and Platforms Used to Write Code
devops.com·2d
🎭Program Synthesis
Flag this post
Idempotence in System Design: Full example
dev.to·3d·
Discuss: DEV
🔗Concurrency Primitives
Flag this post
Better Late Than Never: Tackling the 2022 Cloud Portfolio Challenge in 2025 (With a Modern Twist)
dev.to·3d·
Discuss: DEV
💬Smalltalk VMs
Flag this post
My first game for a GameJam (MMORPG) (1 month of development)
reddit.com·18h·
Discuss: r/godot
🔄Go Scheduler
Flag this post
Beyond the Diff: How Deep Context Analysis Caught a Critical Bug in a 20K-Star Open Source Project
dev.to·3d·
Discuss: DEV
🔮Metacircular Evaluators
Flag this post
Plural Voices, Single Agent: Towards Inclusive AI in Multi-User Domestic Spaces
arxiv.org·1d
🎪Actor Frameworks
Flag this post