⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·10h·
Discuss: www.blogger.com
🔗Lisp
Optimal Plan Generation via Hierarchical Temporal Logic & Probabilistic Model Composition
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Show HN: Building an open-source agentic terminal
davehudson.io·9h·
Discuss: Hacker News
📟Terminals
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·13h
🤖Grammar Induction
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·3h
⚡Proof Automation
What is Algebraic about Algebraic Effects?
interjectedfuture.com·9h
✨Algebraic Effects
15 Best Practices for Building MCP Servers in Production
thenewstack.io·9h
🌐NetworkProtocols
You Only Need 3 Things to Turn AI Experiments into AI Advantage
towardsdatascience.com·7h
🏠Homelab Orchestration
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·11h·
Discuss: DEV
⚡Proof Automation
OpenAI Model Spec
model-spec.openai.com·23h·
Discuss: Hacker News
🔒WASM Capabilities
ISO C++ committee has a new chief sheep herder
shape-of-code.com·1d
📜Proof Carrying Code
Semantic Dictionary Encoding
falvotech.com·11h·
Discuss: Hacker News
🌀Brotli Dictionary
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·7h
🏛️Agda
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·21h
🔢Denotational Semantics
Fighting human trafficking with self-contained applications
lwn.net·2h·
Discuss: Hacker News
🔩Systems Programming
Status Week 37
blogs.gnome.org·7h
📺VT100
Microservices vs Monolith: A Complete Architecture Guide for Modern Software Development
blog.devops.dev·11h
🖥️Self-hosted Infrastructure
How to Debug Chez Scheme Programs (2002)
scheme.com·4h·
Discuss: Hacker News
📜Proof Carrying Code
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·20h·
Discuss: Hacker News
🌐Protocol Synthesis
Building Production-Ready AI Agents: A Multi-Framework Journey with Amazon Bedrock AgentCore
dev.to·15h·
Discuss: DEV
🌊Streaming Systems