⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Feeds to Scour
SubscribedAll
Scoured 19449 posts in 337.5 ms
Layered Modal ML: Syntax and Full Abstraction
arxiv.org·8h
🌳Context free grammars
Preview
Report Post
Microsoft SDL: Evolving security practices for an AI-powered world
microsoft.com·20h
🎯Threat Hunting
Preview
Report Post
luml-ai/luml: LUML is an open-source MLOps/LLMOps platform, allowing to build and deploy AI/ML models in a matter of minutes.
github.com·22h·
Discuss: Hacker News
🌀Brotli Internals
Preview
Report Post
Differential Logic • Overview
inquiryintoinquiry.com·22h
📏Linear Logic
Preview
Report Post
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.
stefan-marr.de·1d
🛠Language Design
Preview
Report Post
AWS AI-DLC: Rethinking the SDLC in the Age of AI
dev.to·3h·
Discuss: DEV
🏠Homelab Orchestration
Preview
Report Post
Mekara: Workflows as Code Proof-of-Concept
meksys-dev.github.io·8h·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
The Necessity of a Unified Framework for LLM-Based Agent Evaluation
arxiv.org·8h
🔮Proof Search
Preview
Report Post
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Plan–Code–Execute: Designing Agents That Create Their Own Tools
towardsdatascience.com·1h
🔗Constraint Handling
Preview
Report Post
The year of the AI agents? More outages? Here’s what lies ahead for IT teams in 2026
techradar.com
·21h
💾Persistence Strategies
Preview
Report Post
Terminus Console — Firmware-Driven Serial UI for Embedded De
hackster.io·2h
🎮Switch Archaeology
Preview
Report Post
Multi-layer defense for LLM agents inspired by immune systems (seeking critique)
gist.github.com·3h·
Discuss: Hacker News
🎯Threat Hunting
Preview
Report Post
LLMs as the new high level language
federicopereiro.com·1d·
Discuss: Lobsters, Hacker News
🧩WASM Components
Preview
Report Post
Beyond Giant Models: Why AI Orchestration Is the New Architecture
kdnuggets.com·19h
⚡Incremental Computation
Preview
Report Post
Durable Execution: Build reliable software in an unreliable world
thenewstack.io·1d·
Discuss: Hacker News
💾Persistence Strategies
Preview
Report Post
Frontier Radar #1: From chatbots to problem solvers - the state of AI agents in 2026
the-decoder.com
·1d
⚡Proof Automation
Preview
Report Post
How Lisp Became God's Own Programming Language
twobithistory.org·9h
🔗Lisp
Preview
Report Post
Need for Speed: AI, Security, and Productivity
pentesterlab.com·1d
🔐Capability Systems
Preview
Report Post
Untangling Literate Programming
quotenil.com·2d
🔗Concatenative Programming
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help