Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·2h·
Discuss: r/programming
📦Monorepos
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·14h·
Discuss: Hacker News
🎮Language Ergonomics
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
Is GRPO Broken?
neelsomaniblog.com·8h·
Discuss: Hacker News
⚡Partial Evaluation
I combined ZetaMac and MonkeyType into the best quick math game. Go try it!
monkeymac.vercel.app·12h·
Discuss: r/javascript, r/reactjs, r/webdev
🧸Toy Compilers
The Porcelain to Come
stackdiver.com·11h·
Discuss: Hacker News
🎭Program Synthesis
VLLM Predicted Outputs
cascadetech.ai·13h·
Discuss: Hacker News
🎭Program Synthesis
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Operable Software
ferd.ca·20h·
Discuss: Hacker News
✅Configuration Validation
Rewriting the Codebase: repo-contextr’s Week 6 Refactor Journey
dev.to·11h·
Discuss: DEV
🚚Code Migration
On Frame Messages
furretnz.bearblog.dev·9h
⚖️Inference Rules
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🛡️Error Handling
Working on Hard Problems
danvk.org·1d
🤐Zipper Structures
Coding Challenge Practice - Question 23
dev.to·3d·
Discuss: DEV
🤐Zipper Structures
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·11h·
Discuss: Hacker News
📋Task Queues
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🐹Goroutine Scheduling
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🌳Tree Shaking
The Future of AI is Verifiable Thought
pub.towardsai.net·15h
🎭Program Synthesis
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·1d·
Discuss: DEV
🔗Text Deduplication
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔍ML Language