⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Single Node VMware Avi Load Balancer with VCF 9.0
williamlam.com·24m
🏠HomeLab
The Intersection of API Rate Limits, Plans & Pricing, and Marketplace Working Things Out
apievangelist.com·6h
🌊Streaming Systems
An Interview With Alex Ward
ciamweekly.substack.com·22h·
Discuss: Substack
🔐PKI Archaeology
21st July – Threat Intelligence Report
research.checkpoint.com·20h
🔓Hacking
How to create a PDFs API using Puppeteer with auto-deploy to AWS Lambda
buglesstack.com·1d·
Discuss: Hacker News
🔌Archive APIs
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·4d·
Discuss: Hacker News
🗂️Vector Databases
DeepMind’s Quest for Self-Improving Table Tennis Agents
spectrum.ieee.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Nvidia's desktop PC chip holdup purportedly tied to Windows delays — ongoing chip revisions and weakening demand also blamed
tomshardware.com·2h·
Discuss: r/hardware
🎯Emulator Accuracy
Why evaluating the impact of AI needs to start now
nature.com·1d·
Discuss: Hacker News
⚡Effectful Programming
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·4d·
Discuss: Hacker News
🔒WASM Capabilities
Writing Is Thinking
nature.com·1d·
Discuss: Hacker News
🏛Digital humanities
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·5d·
Discuss: Hacker News
🏛Digital humanities
Don't Trust Machines
campbellramble.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
built TailorMyResume.online Magic with Bolt.new
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
"PhyWorldBench": A Comprehensive Evaluation of Physical Realism in Text-to-Video Models
arxiv.org·1d
📟Terminal Physics
Depthwise-Dilated Convolutional Adapters for Medical Object Tracking and Segmentation Using the Segment Anything Model 2
arxiv.org·11h
🌀Hyperbolic Geometry
GitLab Preps Platform for Building and Managing AI Agents for DevOps Teams
devops.com·3d
🔌Interface Evolution
AI in Blockchain Isn’t Magic - It’s ETL, And It’s Messy
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Efficient Story Point Estimation With Comparative Learning
arxiv.org·11h
📊Learned Metrics
[2025] Homelab Update
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab