📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Connecting to production: the architecture of remote bindings
blog.cloudflare.com·1d
☁️Cloudflare Workers
Flag this post
FEX-emu – run x86 applications on ARM64 Linux devices
fex-emu.com·22h·
Discuss: Hacker News
🖥️Emulation
Flag this post
[Android App Store] A Road Behind, a Road Ahead
blog.accrescent.app·16h·
Discuss: Hacker News
🔧Abseil
Flag this post
Smarter Adaptive Graph Sampling for More Accurate Graph Learning
kumo.ai·16h·
Discuss: Hacker News
🕸️Graph Databases
Flag this post
Windows ARM Goes Tier 1
weeklyrust.substack.com·3d·
Discuss: Substack
🐧Rust for Linux
Flag this post
Val Town 2023-2025 Retrospective
macwright.com·1d·
Discuss: Hacker News
📦Folly
Flag this post
Lighthaven-ish Ticket Strategy: Three Pillars of FOMO
lesswrong.com·22h
📦Folly
Flag this post
What Does Bad Code Mean to Developers
blog.jetbrains.com·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Stop Blaming Doctrine - Start Understanding It
dev.to·1d·
Discuss: DEV
💧Materialize
Flag this post
SmolRTSP: Open-Source Practices for Efficient RTSP Streaming in Embedded Systems
dev.to·1d·
Discuss: DEV
📹WebRTC
Flag this post
Comprehensive Hands-on Walk Through of Dremio Cloud Next Gen (Hands-on with Free Trial)
dev.to·18h·
Discuss: DEV
⚡ClickHouse
Flag this post
Automatic Extraction of Road Networks by using Teacher-Student Adaptive Structural Deep Belief Network and Its Application to Landslide Disaster
arxiv.org·2d
👁️Computer Vision
Flag this post
IBM Delivers New Quantum Processors, Software, and Algorithm Breakthroughs on Path to Advantage and Fault Tolerance
newsroom.ibm.com·1d·
Discuss: Hacker News
⚛️Quantum Computing
Flag this post
Versatile and Risk-Sensitive Cardiac Diagnosis via Graph-Based ECG Signal Representation
arxiv.org·1d
🧠Machine Learning
Flag this post
🔥 LLM Interview Series(1): What Are Large Language Models and How Do They Work
dev.to·1d·
Discuss: DEV
💬Prompt Engineering
Flag this post
PokeeResearch: Effective Deep Research via Reinforcement Learning from AIFeedback and Robust Reasoning Scaffold
paperium.net·19h·
Discuss: DEV
📱Edge AI
Flag this post
Creating Custom Evaluators to Measure Model Quality
dev.to·4d·
Discuss: DEV
🚀MLOps
Flag this post
PgFirstAid-The PostgreSQL Health Check
github.com·15h·
Discuss: Lobsters, Hacker News
🐘PostgreSQL
Flag this post
Introducing `coderkit` — A Practical Utility Toolkit for Everyday JavaScript Work
dev.to·16h·
Discuss: DEV
🔧Abseil
Flag this post
What if 100 agents could optimize your code simultaneously in isolated production environments without copying data?
dev.to·3d·
Discuss: DEV
🚀Performance
Flag this post