⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Gloom and Despair -- LaTeX Edition
slott56.github.io·7h
📄PostScript
You should try having a local database with APEX
hartenfeller.dev·20h
⛏️SQL Archaeology
What is Visual Prompting?
img.ly·7h
🤖Advanced OCR
‘Are you joking, mate?’ AI doesn’t get sarcasm in non-American varieties of English
theconversation.com·21h·
Discuss: Hacker News
🌀Brotli Dictionary
Reverse Proxy Deep Dive Part 3: Understanding Service Discovery Challenges
startwithawhy.com·1d·
Discuss: r/devops
📊PCAP Analysis
A Tale of Practical Keylogger Forensics
research.hisolutions.com·1d·
Discuss: Hacker News
🔍NTLM Forensics
Think You Don't Manage Your Knowledge? Think Again
notelab.hypotheses.org·1d·
Discuss: Hacker News
🧠Knowledge Management
Product as Code: Version Control for Product Management
mantcz.com·5d·
Discuss: Hacker News
📐Delta Encoding
Machine Learning Fundamentals: hyperparameter tuning project
dev.to·3d·
Discuss: DEV
📊Feed Optimization
Adaptive Learned Belief Propagation for Decoding Error-Correcting Codes
arxiv.org·16h
🧮Kolmogorov Complexity
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·4d
🔌Interface Evolution
RAG Isn’t Enough. Context Engineering is how real AI gets built
dev.to·4d·
Discuss: DEV
🌀Brotli Internals
From Chaos to Clarity: Help Us Build an Open-Source Brainstorm Engine
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Incentivised Orchestrated Training Architecture (IOTA): A Technical Primer for Release
arxiv.org·4d
🌊Streaming Systems
Retail Router: Building Beyond Boundaries
dev.to·2d·
Discuss: DEV
🖥️Modern Terminals
SentinelShade: Building with Bolt - WLH Challenge
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
A Lyapunov-Guided Diffusion-Based Reinforcement Learning Approach for UAV-Assisted Vehicular Networks with Delayed CSI Feedback
arxiv.org·16h
📡Network Archaeology
Uncertainty on Display: The Effects of Communicating Confidence Cues in Autonomous Vehicle-Pedestrian Interactions
arxiv.org·1d
🔲Cellular Automata
Bankrupt Clock: Building with Bolt - WLH Challenge
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
EyeAI: AI-Assisted Ocular Disease Detection for Equitable Healthcare Access
arxiv.org·16h
🤖Advanced OCR