⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·1d
📺VT100 Emulation
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·1d
🗄️Database Internals
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·2h·
Discuss: Hacker News
⚡gRPC
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·3h
⚡Proof Automation
ALAS: Autonomous Learning Agent for Self-Updating Language Models
arxiv.org·16h
💻Local LLMs
Custom slash commands in Claude Code
boliv.substack.com·2d·
Discuss: Substack
⚔️Lean Tactics
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·5h·
Discuss: Hacker News
🌳Archive Merkle Trees
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·13h·
Discuss: Hacker News
💾Binary Linguistics
Build a baby Claude Code using Python
siddharthbharath.com·6h·
Discuss: Hacker News
⚡Proof Automation
Prompt mastery meets modular execution
indiehackers.com·4h·
Discuss: Hacker News
🎙️Whisper
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·8h
🌊Stream Processing
5 Tiny Phrases Every Engineer Should Use With AI
read.highgrowthengineer.com·1d
⚡Proof Automation
A Systematic Mapping Study on Smart Cities Modeling Approaches
arxiv.org·16h
🔶Voronoi Diagrams
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·22h·
Discuss: Hacker News
🔗Concatenative Languages
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·8h
🔗Topological Sorting
Show HN: I made a WASI orchestration prototype
github.com·16h·
Discuss: Hacker News
🌐WASI
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·7h·
Discuss: Hacker News
⚡Proof Automation