Coding in AI Era: Adapt Your Methods
⚡Proof Automation
Flag this post
M2dir specification - man.sr.ht
man.sr.ht·1h
📦Content Addressing
Flag this post
Weekly Bookmarks
inkdroid.org·1h
💿FLAC Archaeology
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
🎯Performance Proofs
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
🎯Performance Proofs
Flag this post
AI Agents in Legacy Systems — The Problem No One Talks About
thenewstack.io·1d
👁️Observatory Systems
Flag this post
98% of MCP Servers Got This Wrong: The Reason Why the Protocol Never Worked
hackernoon.com·10h
🏺Protocol Archaeology
Flag this post
Refactoring Legacy: Part 1 - DTO's & Value Objects
🔐CBOR
Flag this post
Can a Domain-Specific Language Improve Program Structure Comprehension of Data Pipelines? A Mixed-Method Study [EMSE Journal]
dirkriehle.com·11h
🔤DSLs
Flag this post
I built a modern DHCP server with GitOps and a web UI because Kea was driving me crazy [ironDHCP v1.0]
🏠Homelab Orchestration
Flag this post
Creating & Combobulating
johnjohnston.info·23h
⟷Bidirectional Programming
Flag this post
A treap week
🎨Graph Coloring
Flag this post
Ossa: Towards the Next Generation Web
🏠Homelab Federation
Flag this post
Loading...Loading more...