Value in Formal Theory Land
4gravitons.com·1d
🏗️Constructive Analysis
Writing HTML, Writing the Web, Righting the Web
cogdogblog.com·2d
🚀Indie Hacking
MIT 6.1200J Mathematics for Computer Science, Spring 2024
ocw.mit.edu·3d·
Discuss: Hacker News, r/programming
💻CS
How to streamline GitHub API calls in Azure Pipelines
github.blog·2d
🔌Archive APIs
Python Morsels: Don't call dunder methods
pythonmorsels.com·3d
🔢Denotational Semantics
Never write your own Date Parsing Library
zachleat.com·2d·
Discuss: Hacker News
✅Format Verification
Mistral AI publishes the first comprehensive life cycle assessment of a large language model
the-decoder.com·9h
🎙️Whisper
Make Your Agent Listen: Tactics for Obedience
blog.pamba.app·3d·
Discuss: Hacker News
⚔️Lean Tactics
Building a Rust Crate Summarizer with Workers AI: Lessons Learned
samjs.io·1d·
Discuss: Hacker News
🦀Rust Macros
Coverage 7.10.0: patch
nedbatchelder.com·1d
👁️System Observability
Python Fundamentals: class variables
dev.to·5d·
Discuss: DEV
🐛Fuzzing
I created a solution for AWS called Anomaly Guardian
dev.to·21h·
Discuss: DEV
👁️Observatory Systems
Observability 2.0: Much more than the Three Pillars
devops.com·1d
👁️System Observability
Perfecting anti-aliasing on signed distance functions
blog.pkh.me·3h·
Discuss: Lobsters, Hacker News, r/programming
🎨LUT Compression
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·4d·
Discuss: Hacker News
🔗Concatenative Programming
AI Utilization Guidelines for Continuous Engineer Growth
dev.to·12h·
Discuss: DEV
🗺️Competency Maps
Decoding Instructional Dialogue: Human-AI Collaborative Analysis of Teacher Use of AI Tool at Scale
arxiv.org·1d
🗺️Competency Maps
I-CEE: Tailoring Explanations of Image Classification Models to User Expertise
arxiv.org·1d
📊Learned Metrics
The Rise of Agentic AI: Frontend Dev Tools That Act for You in 2025
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Top 5 LLM Observability Tools of 2025
dev.to·3d·
Discuss: DEV
👁️System Observability