⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Redefining DNS Protection
paloaltonetworks.com·7h
🌐DNS Security
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·13h·
Discuss: Hacker News
🔐Quantum Security
If Coding Agents Were Rappers
install.md·22h·
Discuss: Hacker News
🚀Indie Hacking
An update on Home Assistant's Android app
lwn.net·4h
🏠Home Automation
A generic non-invasive neuromotor interface for human-computer interaction
nature.com·3h·
Discuss: Hacker News
✋Tactile Computing
Grok has an AI chatbot for young kids. I used it to try to understand why.
businessinsider.com·1h
🎙️Whisper
We Will Not Accidentally Create AGI
loukidelis.com·2d·
Discuss: Hacker News
🔲Cellular Automata
StarTree Bridges the Lakehouse Gap: Serving Apache Iceberg Data Directly to Applications
devops.com·7h
🌊Stream Processing
Google launches OSS Rebuild
lwn.net·1d
🔓Open Source Software
Built a little CLI tool to track my work sessions, figured I’d share it
reddit.com·21h·
Discuss: r/linux
🪟Awesome windows command-line
Transformation fatigue: the silent barrier to AI success
techradar.com·9h
🔌Interface Evolution
AI Career Guardian – How I Used AI to Guide Girls Toward Their Dream Careers
dev.to·9h·
Discuss: DEV
🎙️Whisper
The Hidden Risk in ERP Automation: How One Bad Sentence Can Cost Your Company Millions
hackernoon.com·14h
⚡Proof Automation
🚀 Introducing AI Assistant Pro – An Open Source Chatbot with a Brain 🧠💬
dev.to·6h·
Discuss: DEV
🎙️Whisper
ToFe: Lagged Token Freezing and Reusing for Efficient Vision Transformer Inference
arxiv.org·15h
🤖Advanced OCR
Machine learning - the code that feels
dev.to·6h·
Discuss: DEV
🧠Machine Learning
From RAG to RAMM: Building Retrieval-Augmented Multi-Modal Apps with OpenAI & Ll
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
From Disagreement to Understanding: The Case for Ambiguity Detection in NLI
arxiv.org·1d
🎯Dependent Parsing
Data Mixing Agent: Learning to Re-weight Domains for Continual Pre-training
arxiv.org·1d
🤖Grammar Induction
Qwen 3 Drops a Update, Outshining DeepSeek V3
dev.to·1d·
Discuss: DEV
🗜️LZW Variants