TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·9h·
⚙️TLA+
Flag this post
just use rustup
kivikakk.ee·2d
🦀Rust Macros
Flag this post
Our Naive "Innovation" Fetish (2014)
newrepublic.com·17h·
Discuss: Hacker News
🧲Magnetic Philosophy
Flag this post
Portable documents host new file formats
preludes.eu·2d·
Discuss: Hacker News
📋Document Standards
Flag this post
Deploying Temporal on AWS ECS with Terraform
papnori.github.io·1d·
Discuss: Hacker News
🤝Consensus Protocols
Flag this post
More Sub-Etha Software MM/1 source code on GitHub
subethasoftware.com·13h
🗃️ROM Preservation
Flag this post
Summer 2025 is being propped up by indie and AA gems
dev.to·7h·
Discuss: DEV
🖥️Terminal Renaissance
Flag this post
The keyboard of choice for modular synth nerds gets a proper sequel after 10 years
theverge.com·11h
⌨️Mechanical Keyboards
Flag this post
Pillar-cage fluorinated hybrid porous framework features rare quasi-Johnson solid J₂₈ structure
phys.org·13h
Coffee Chemistry
Flag this post
I worked at Baidu, ByteDance, and Microsoft. Now, I've raised millions to build robotic pets.
businessinsider.com·7h
🇨🇳Chinese Computing
Flag this post
Agents Are Commoditizing the Complement
andreasfragner.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
If you thought the 2008 bank bailout was bad, wait til you see the 2026 AI bailout.
garymarcus.substack.com·7h·
Discuss: Substack
🧲RISC-V Preservation
Flag this post
Euclid peers through dark cloud LDN 1641's dusty veil
phys.org·11h
🏺Computational Archaeology
Flag this post
Telex Weather Agent
dev.to·11h·
Discuss: DEV
🌊Apache Kafka
Flag this post
How to Build an AWS Bedrock Supervisor Agent to Automate EC2 and CloudWatch Tasks
hackernoon.com·3d
🚀Indie Hacking
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
dev.to·2d·
Discuss: DEV
📰Content Curation
Flag this post
Bottles 52.0 Brings Stability Boost, Sandbox Support
linuxiac.com·3d
🔓Open Source Software
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·1d
🌸Bloom Variants
Flag this post