⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·1d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
On Having a Data Object
natemeyvis.com·19h·
Discuss: Hacker News
🗄️Database Internals
Flag this post
Jailbreak Mimicry: Automated Discovery of Narrative-Based Jailbreaks for Large Language Models
arxiv.org·3h
🧪Binary Fuzzing
Flag this post
Nonmonotonic Logic
cambridge.org·13h·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
How to Use a Spec-Driven Approach for Coding with AI
blog.jetbrains.com·20h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
You Don't Need an Agentic Framework to Start Building Agents
gnanaguru.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
The Art and Discipline of Prompt Engineering
cacm.acm.org·13h
⚡Proof Automation
Flag this post
Six Months Building Open Source: What I Learned, What I Wish I Knew, What I Know Now
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Flag this post
The New Calculus of AI-Based Coding
blog.joemag.dev·1h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Speedrunning an RL Environment
sidb.in·17h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Learn TLA+
learntla.com·5d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Multi-Agent Orchestration with the Microsoft Agent Framework
devblogs.microsoft.com·19h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·3h
🎯Dependent Parsing
Flag this post
Production-Grade Machine Learning Through MLOps
blog.devops.dev·18h
⚡Incremental Computation
Flag this post
A Modern Approach to Multi-Signal Optimization
devops.com·19h
👁️Observatory Systems
Flag this post
Show HN: Rethinking the Interface for Vibe Coding
mauriciogomes.com·16h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
The Complete Guide to Prompt Engineering (That Actually Works)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
CLIN-LLM: A Safety-Constrained Hybrid Framework for Clinical Diagnosis and Treatment Generation
arxiv.org·3h
🧠Machine Learning
Flag this post
AgentKit: How Efficient Laziness Fixes Fragile LLM Workflows
dev.to·22h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·11h·
Discuss: Hacker News
🐚Shell Monads
Flag this post