⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·1h
🔄Archival Workflows
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·2h·
Discuss: DEV
🔗Constraint Handling
Self-Healing Network of Interconnected Edge Devices Empowered by Infrastructure-as-Code and LoRa Communication
arxiv.org·8h
🕸️Mesh Networking
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·23h·
Discuss: Hacker News
⚙️Proof Engineering
RTL generation for custom CPU Mrav
popovicu.com·1d
⚙️Modern Assembly
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·1h·
Discuss: r/programming
🔌Interface Evolution
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Some recent project milestones
markjgsmith.com·16h
🔌Interface Evolution
Custom slash commands in Claude Code
boliv.substack.com·1d·
Discuss: Substack
⚔️Lean Tactics
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·1d
🗄️Database Internals
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·1d
📺VT100 Emulation
Muhammad Azeez - The Agent Builder's Reading List: What Actually Matters
mazeez.dev·1h·
Discuss: Hacker News, r/programming
⚔️Lean Tactics
Welcome to AI Week 2025
blog.cloudflare.com·20h
👁️Observatory Systems
Over-Engineering Sleep
matt.blwt.io·21h
🐚Bash FP
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Date driven development
major.io·1d
🔄Language Evolution
ALAS: Autonomous Learning Agent for Self-Updating Language Models
arxiv.org·8h
💻Local LLMs
AI Code Generation: Trust and Verify, Always
thenewstack.io·2d
⚙️Proof Engineering
Capture Checking in Scala
nrinaudo.github.io·6h·
Discuss: Hacker News
🧪Binary Fuzzing