⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

AI in cybersecurity operations
jwgoerlich.com·5h
🛡Cybersecurity
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·1d
📺VT100 Emulation
GenAI, the KSA Model, and Why Industry-Experienced CS Teachers Matter More Than Ever
cacm.acm.org·7h
🗺️Competency Maps
5 Tiny Phrases Every Engineer Should Use With AI
read.highgrowthengineer.com·1d
⚡Proof Automation
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·10h·
Discuss: Hacker News
⚡Proof Automation
Agentic AI: unlocking new potential, demanding new rules
techradar.com·9h·
Discuss: Hacker News
🤖AI Curation
Muhammad Azeez - The Agent Builder's Reading List: What Actually Matters
mazeez.dev·12h·
Discuss: Hacker News, r/programming
⚔️Lean Tactics
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·16h·
Discuss: r/linux
🔌Operating system internals
The Lobster Programming Language
strlen.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
Building Personal Agents, Not General Agents? — Meland’s Reflection on Individual Value in the AI Era
dev.to·7h·
Discuss: DEV
🤖AI Curation
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence
Architecting Beliefs for a Contested World
vasily.cc·9h·
Discuss: Hacker News
⚙️systems theory
Writing Strong Content with AI
elite-ai-assisted-coding.dev·1h·
Discuss: Hacker News
📝Concrete Syntax
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·6h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
AGI Is an Engineering Problem
vincirufus.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Ditch MCP's Middlemen with UTCP
nextgenprodman.substack.com·6h·
Discuss: Substack
🔌Interface Evolution
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·16h·
Discuss: Hacker News
💾Binary Linguistics
LLMs: Common terms explained, simply
newsletter.eng-leadership.com·1d·
Discuss: Hacker News, r/programming
🧠Intelligence Compression
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·8h·
Discuss: Lobsters, Hacker News
🔑Cryptographic Protocols