⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Bazel and action (non-) determinism
jmmv.dev·1d
🔄Reproducible Builds
The AGI Final Frontier: The CLJ-AGI Benchmark
raspasov.posthaven.com·2d·
Discuss: Hacker News
🏛️Agda
Python 3.14 release candidate 1 is go!
pythoninsider.blogspot.com·1h
💧Liquid Types
This startup thinks email could be the key to usable AI agents
techcrunch.com·9h·
Discuss: Hacker News
🏠Homelab Automation
Proven Practices for Succeeding with a Multicloud Strategy
aws.amazon.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Teaching the Toaster: What We Get Wrong About AI "Learning"
dev.to·44m·
Discuss: DEV
🤖Grammar Induction
Intuitionistic monotone modal logic via translation
arxiv.org·1d
🏗️Constructive Mathematics
Forcing Myself to Vibe Code
kevinhighwater.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·17h
💻Programming languages
Tell HN: GPT a and B Chatted 32 Rounds via Our Mediation Layer – No Crashes
news.ycombinator.com·9h·
Discuss: Hacker News
📝ABNF Extensions
Collaborative Distillation Strategies for Parameter-Efficient Language Model Deployment
arxiv.org·17h
🎙️Whisper
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.edu·1d·
Discuss: Hacker News
💻Programming languages
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·17h
🏛Digital humanities
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·1d
🎯Performance Proofs
Revolutionizing Financial Data Infrastructure: Real-Time Systems Architecture Leadership
hackernoon.com·5h
🌊Stream Processing
Learn To Love the Command-Line Interface With Agentic LLMs
thenewstack.io·3d
🔩Systems Programming
The Chainsaw Metaphor: AI in software development represents an evolution, not a destructive revolution
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Exploring Amazon's Kiro AI: A New Era in AI-Driven Development
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
From Neurons to Semantics: Evaluating Cross-Linguistic Alignment Capabilities of Large Language Models via Neurons Alignment
arxiv.org·17h
🧮Kolmogorov Complexity
Building Domain Expert Voice Agents with AssemblyAI: Creating Specialized AI Assistants for Medical, Legal, and Technical Fields
dev.to·4h·
Discuss: DEV
🎙️Whisper