⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

What’s New in Calico – Summer 2025
tigera.io·9h
📦Container Security
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·2d
📺VT100 Emulation
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·2d
🗄️Database Internals
Can large language models figure out the real world?
news.mit.edu·11h
🧮Kolmogorov Bounds
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·16h·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Reliable
catherinejue.com·1d·
Discuss: Hacker News
💾Persistence Strategies
QllmSoft
dev.to·56m·
Discuss: DEV
✅Format Verification
How Spring Boot Microservices Are Powering the Next Wave of AI-Driven Applications
blog.devops.dev·19h
🌊Streaming Systems
Can AI Have a Personality? Prompt Engineering for AI Personality Simulation: A Chatbot Case Study in Gender-Affirming Voice Therapy Training
arxiv.org·3h
💻Programming languages
Show HN: Async – Claude Code and Linear and GitHub PRs in One Opinionated Tool
github.com·18h·
Discuss: Hacker News
🔓Open Source Software
Robot-Agents: End-to-End Robotics with Gemini AI & Gradio
dev.to·18h·
Discuss: DEV
⚡Proof Automation
LLMs Won't Replace Programming Languages
mech-lang.org·4d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·17h·
Discuss: Hacker News
✅Format Verification
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.org·3h
🔗Constraint Handling
FRAME : Comprehensive Risk Assessment Framework for Adversarial Machine Learning Threats
arxiv.org·3h
🦠Malware Analysis
Why Science Must Embrace Co-Creation with Generative AI to Break Current Research Barriers
towardsdatascience.com·13h
🌍Cultural Algorithms
💻MCP: Protocol as Product, Hype as Standard
dev.to·16h·
Discuss: DEV
🏺Protocol Archaeology
Measuring Large Language Models Dependency: Validating the Arabic Version of the LLM-D12 Scale
arxiv.org·3h
🔍Information Retrieval
Building Swift Tech Now: a behind-the-scenes look at creating a modern tech blog with Python and C++
dev.to·22h·
Discuss: DEV
🔄Reproducible Builds