🔀 CRDT

Conflict-free Replicated Data Types, Distributed Systems, Eventual Consistency, Collaborative Editing

Episciences links article code through Software Heritage
softwareheritage.org·2d
🏛️OAIS Implementation
Library database success story
leancrew.com·23h
📚MARC Evolution
Sneaking Invisible Instructions by Developers in Windsurf
embracethered.com·3h
🛡️WASM Sandboxing
Building Castles in the Air, but With Surprise Physics
dbreunig.com·2d
⚙️Proof Engineering
Wokwi: Most Advanced ESP32 Simulator
wokwi.com·21h·
Discuss: Hacker News
⚡Homebrew CPUs
Inspection of railway catenary systems using machine learning
nature.com·11h·
Discuss: Hacker News
🧠Machine Learning
how to decide on the sequence of computable numbers
academia.edu·3d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
A string formatting library in 65 lines of C++
riki.house·1d·
Discuss: Lobsters, Hacker News
✅Format Verification
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
What’s hierarchical about a hierarchical wallet?
johndcook.com·15h
🌳Archive Merkle Trees
Posit introduces Positron: New IDE for Data Science with Python and R
heise.de·3d
🔩Systems Programming
Why Semantic Layers Matter (and how to build one with DuckDB)
motherduck.com·4d·
Discuss: Hacker News, r/programming
🗄️Database Internals
Namrata Hinduja Blogger: Benefits & Challenges of Hybrid, Multi-Cloud Models
dev.to·1d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Is a new privacy protocol helping malicious actors more than Internet users?
techradar.com·2d
🔐Homomorphic Encryption
I built Puhu, a pillow drop-in replacement in Rust
reddit.com·17h·
Discuss: r/rust
🦀Rust Macros
Agentic AI: The Next Frontier in Enterprise Decision‑Making
dev.to·1d·
Discuss: DEV
🌊Stream Processing
The Open-Source App Builder That Ate SaaS: Dyad + Ollama Setup
dev.to·1d·
Discuss: DEV
🔓Open Source Software
Prompt Orchestration Markup Language (POML): Future of Structured Prompt Engineering 2025
dev.to·3d·
Discuss: DEV
📐Format Grammars
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·2d
📋Document Grammar
The Debugging Trick That Saves Me Every Sprint
dev.to·2d·
Discuss: DEV
🧪Binary Fuzzing