Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·7h·
Discuss: r/programming
🐚Shell Calculus
Chess Llama - Training a tiny Llama model to play chess
lazy-guy.github.io·7h·
Discuss: r/LocalLLaMA, r/programming
👑Coq Tactics
Notes on Image Generation with GPT-4.1
taoofmac.com·3h·
Discuss: Hacker News
📐Mathematical Art
MCP with Postgres – Querying my data in plain English
punits.dev·2d·
Discuss: Hacker News
🔗Constraint Handling
Gradual negation types and the Python type system
jellezijlstra.github.io·3d·
Discuss: Hacker News
🔬Refinement Types
I Spy: Escalating to Entra ID's Global Admin with a First-Party App
securitylabs.datadoghq.com·7h·
Discuss: Hacker News
🎫Kerberos Exploitation
Show HN: Posthuman Framework for AI Consciousness Thresholds and VR Emancipation
kanarya.group·5h·
Discuss: Hacker News
🔲Cellular Automata
How to actually use Model Context Protocol
seangoedecke.com·3d·
Discuss: Hacker News
⚡Proof Automation
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·3d·
Discuss: DEV
🔄Lens Laws
I Spent 40 Hours Writing Tests That Broke in 2 Weeks — A Confession Story
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Show HN: New Audiobook Generator for Nvidia Using Chatterbox TTS
github.com·17h·
Discuss: Hacker News
🎙️Whisper
Show HN: Built a localhost-sharing CLI with live feedback
news.ycombinator.com·11h·
Discuss: Hacker News
🚀Indie Hacking
Python Fundamentals: celery
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Seven Years in Tech Taught Me This: Low-Code Is a Power Tool, Not a Magic Wand
hackernoon.com·2d
📏Code Metrics
🚀 Introducing SyntaxRush: A Terminal-Based Code Typing Game for Developers
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·2d
📊Learned Metrics
Anthony Scopatz on xonsh and shells in general (2015)
johndcook.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
AI whiplash, and Neovim in the age of AI
dlants.me·3d·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Bridging the gap: From axios to gRPC interceptors in Go
dev.to·1h·
Discuss: DEV
⚡gRPC