Project management when the project is data
blog.datadef.io·17h·
Discuss: Hacker News
🌊Dataflow Languages
Mill as an Alternative Android Build Tool
mill-build.org·2h·
💪ARM64 Backend
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·3d
Symbolic Math
BlockBlasters: Infected Steam game downloads malware disguised as patch
gdatasoftware.com·1h
🛡️Parser Security
X Design Notes: Pattern Matching II
blog.polybdenum.com·7h
🎯Pattern Matching
The Modern Developer Blog Revolution: Why WordPress is Dead and Static is King
thedanielmark.com·10h·
Discuss: DEV
Live Coding
I tested AI tools on data analysis here’s how they did (and what to look out for)
bespacific.com·3d
🌱Minimal ML
AI Unified Process - AIUP
aiup.dev·1d·
Discuss: Hacker News
🎭Program Synthesis
From Junior to Pro: Mastering Code Design with S.O.L.I.D.
dev.to·1d·
Discuss: DEV
🔧API Design
First Professional C program
reddit.com·1d·
📚Self-Documenting Code
C++ Labs: Build Calculator, Manipulate Strings, & Master Class Inheritance
dev.to·14h·
Discuss: DEV
🎓Teaching Compilers
Numerical Discretization Methods for Seismic Response Analysis of SDOF Systems: A Unified Perspective
arxiv.org·3h
Mathematical DSLs
Web Developer Travis McCracken on Effective GitHub Practices for Backend Teams
dev.to·19h·
Discuss: DEV
📦Monorepos
Taking the right kind of vibe-coding risk
nadeeshacabral.com·2d·
Discuss: Hacker News
🎮Language Ergonomics
If you are good at code review, you will be good at using AI agents
seangoedecke.com·2d·
Discuss: Hacker News
🎭Program Synthesis
The Case Against DRY
reddit.com·1d·
Discuss: r/webdev
🌳Tree Shaking
Why Pointers and Memory Management Are the Backbone of C Programming
dev.to·1h·
Discuss: DEV
📚Stack Data Structures
Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
💫Effect Systems
I built a Go framework: Anclax
github.com·23h·
Discuss: Hacker News
🐹Go Runtime
Thoughts about OpenAI GPT-5-Codex from my conversation with Greg Brockman and Thibault Sottiaux
andrewmayne.com·13h
🎮Language Ergonomics