⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Windows Subsystem for Android
learn.microsoft.com·1d·
Discuss: Hacker News
🔌Operating system internals
MakeShift: Security Analysis of Shimano Di2 Wireless Gear Shifting in Bicycles
usenix.org·1d·
Discuss: Hacker News
📼Cassette Networking
Building a Sleeper Computer from an SGI Indy
buu342.me·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·4d·
Discuss: Hacker News
🔗Concatenative Programming
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Homelab Tour (2022)
taoofmac.com·1d·
Discuss: Hacker News
🏠Homelab Archaeology
The great AI delusion is falling apart
telegraph.co.uk·13h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Smart Money on How Devs Should Charge for Apps
thenewstack.io·1d
🌊Streaming Systems
PGR-DRC: Pre-Global Routing DRC Violation Prediction Using Unsupervised Learning
arxiv.org·3h
🔧Hardware Verification
3 Steps to Context Engineering a Crystal-Clear Project
towardsdatascience.com·4d·
Discuss: r/programming
🔄Archival Workflows
Why the Latest AI Model Isn’t Always Best for Edge AI
spectrum.ieee.org·18h
🎛️Feed Filtering
🧱 OLTP vs OLAP: When Transaction Meets Analytics
dev.to·16h·
Discuss: DEV
🧬PostgreSQL Forensics
We're Speeding Toward Skynet
news.ycombinator.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·4d
🌳Context free grammars
Essential Soft Skills for DevOps Professionals in the AI Age
devops.com·3d
🔐Capability Systems
Inside the Rise of the Next Big Agentic AI Company
dev.to·3d·
Discuss: DEV
🌊Stream Processing
NATS with JetStream
dev.to·15h·
Discuss: DEV
🌊Streaming Systems
A Modern Fashion Store During the World's Largest Hackathon
dev.to·15h·
Discuss: DEV
🦋Format Metamorphosis
**Essential Python Security Practices: Advanced Techniques to Protect Your Applications from Threats**
dev.to·9h·
Discuss: DEV
🛡️WASM Security
SecurePose: Automated Face Blurring and Human Movement Kinematics Extraction from Videos Recorded in Clinical Settings
arxiv.org·3h
🌀Differential Geometry