Brent Yorgey: Competitive programming in Haskell: prefix sums
byorgey.github.io·2d
🔤Type Theory
PMM support for na_game_tool
codecs.multimedia.cx·1d
🕸️WASM Archives
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·3d
🔬Binary Analysis
My AI Workflow for Understanding Any Codebase
steipete.me·4d
⚡Proof Automation
Architecting J.A.R.V.I.S. With the Gemini API and Concurrency in Rust
rohan.ga·2d·
Discuss: Hacker News
🌊Streaming Systems
I built a network-wide IPv6 DDNS updater — finds hosts by MAC and syncs DNS without touching the end device
github.com·1d·
Discuss: r/homelab
🌐DNS over QUIC
The language learning "Delta" Anki card pattern
hiandrewquinn.github.io·1d
📝Concrete Syntax
Get Bible Verses with This TUI App
dev.to·3d·
Discuss: DEV
📺Terminal UI
Build a Dynamic Color Changer using HTML, CSS & JavaScript 🎨 (Beginner Project)
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Web Agents That Actually Understand Websites: How Notte's Perception Layer Solves the DOM Problem
dev.to·2d·
Discuss: DEV
🗣️Domain-Specific Languages
Machine Learning Fundamentals: anomaly detection tutorial
dev.to·23h·
Discuss: DEV
👁️Observatory Systems
Recap of Vercel Ship 2025
dev.to·3h·
Discuss: DEV
🌐WASI
Building a Laravel Blog with ChatGPT Codex
dev.to·2d·
Discuss: DEV
⚡Proof Automation
I finally figured out how to get the best out of MCP Servers as an AI Developer
dev.to·4d·
Discuss: DEV
🪟Awesome windows command-line
Why I Built My Own Boilerplate
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Demystifying GPT-2: The Magic of Transformers and Attention published
dev.to·17h·
Discuss: DEV
🌀Brotli Internals
🤖 How I Went from Writing Tests Manually to AI-Driven API Testing with Keploy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
AI-Storyteller
dev.to·8h·
Discuss: DEV
🎙️Whisper
MURF AI Hackathon
dev.to·45m·
Discuss: DEV
🎙️Whisper
12 Lessons from AI Pair Programming (180 Days with AI, Zero Hype)
dev.to·2d·
Discuss: DEV
⚡Proof Automation