🔄 CRDT

Conflict-free Replicated Data Types, Offline-first, Synchronization, Distributed Collaboration

Ransomware-Resilient Storage
infoq.com·2h·
Discuss: Hacker News
🔌Embedded Rust
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·2d·
Discuss: Hacker News
λFunctional Programming
Do I not like Ruby anymore? (2024)
sgt.hootr.club·15h·
Discuss: Hacker News, r/programming
λFunctional Programming
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·21h·
Discuss: Hacker News
🔌Embedded Rust
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·1d·
Discuss: Lobsters, Hacker News, r/programming
🔐Decentralized Identity
Maestro 2.0
maestro.dev·5h·
Discuss: Hacker News
🦋Tauri
My year-long quest to debug a single TCP connection
fdi.sk·3d·
Discuss: Hacker News
🔍eBPF
Mojo Vision
docs.modular.com·18h·
Discuss: Hacker News
🧩Low-code
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.to·11h·
Discuss: DEV
☁️Serverless Rust
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
☁️Serverless Rust
A Defect Classification Framework for AI-Based Software Systems (AI-ODC)
arxiv.org·18h
🏗️AI Infrastructure
FedKLPR: Personalized Federated Learning for Person Re-Identification with Adaptive Pruning
arxiv.org·18h
🤝Federated Learning
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded Rust
Building a high-performance home lab with AMD Threadripper and Proxmox
xda-developers.com·1h
🏢Self-hosting
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·18h
🔗Distributed CRDTs
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·6h
λFunctional Programming
Sound and Solution-Complete CCBS
arxiv.org·1d
🎚️Audio Codecs
Securing AI workloads in Azure: A zero-trust architecture for MLOps
infoworld.com·1d
🏠Self-hosted AI
Unlocking the Power of Kuma Service Mesh: Enhancing Reliability and D... Deepak Verma & Arpit Mishra
youtube.com·1h
📦Container Orchestration
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·18h
🛡️Byzantine Consensus