🔀 CRDT

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

Program verification is not all-or-nothing
lawrencecpaulson.github.io·5d
🎯Performance Proofs
Security Affairs newsletter Round 540 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·2d
🔓Hacking
Wingware: Wing Python IDE Version 11.0.4 - September 8, 2025
wingware.com·2d
🔄Language Evolution
Nix SC member tomberek works for Anduril
discourse.nixos.org·2d·
Discuss: Hacker News
🐧FOSS
Finding bugs faster: A smarter way to debug integration failures
ministryoftesting.com·4d·
Discuss: Hacker News
🔍Concolic Testing
Bob Stein and Voyager (2021)
filfre.net·2d·
Discuss: Hacker News
🍎Apple Computing
The Evolution of Technical Scams: Why Developer Knowledge Isn't Enough
news.ycombinator.com·2d·
Discuss: Hacker News
🔒WASM Capabilities
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·4d·
Discuss: Hacker News
⚡Proof Automation
MRI-Based Brain Tumor Detection through an Explainable EfficientNetV2 and MLP-Mixer-Attention Architecture
arxiv.org·1d
🧠Machine Learning
OOTSM: A Decoupled Linguistic Framework for Effective Scene Graph Anticipation
arxiv.org·1d
🏛Digital humanities
ExSEnt: Extrema-Segmented Entropy Analysis of Time Series
arxiv.org·1h
📈Entropy Estimation
Evaluation of Machine Learning Reconstruction Techniques for Accelerated Brain MRI Scans
arxiv.org·1h
🧲Magnetic Resonance
Neurocognitive Modeling for Text Generation: Deep Learning Architecture for EEG Data
arxiv.org·1h
🤖Advanced OCR
Been curious about Kubernetes and start to create simple implementation of it
reddit.com·2d·
Discuss: r/kubernetes
📦Container Security
Room: Verilog for Read-Once-Only Memory (Quantum-Inspired Security Primitive)
github.com·3d·
Discuss: Hacker News
🔲Lattice Cryptography
Introducing an Interactive Code Review Experience with Amazon Q Developer in GitHub
aws.amazon.com·1d
🧬Bitstream Evolution
SAP September 2025 Patch Day fixed 4 critical flaws
securityaffairs.com·9h
💣ZIP Vulnerabilities
Glyph.Flow Devlog #4 – Import/Export, Config Overhaul, and the Road to 0.1.0
dev.to·2d·
Discuss: DEV
🔄Language Evolution
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·5d
✅Format Verification
Nutanix, Inc. (NTNX) Presents At Goldman Sachs Communacopia + Technology Conference 2025 Transcript
seekingalpha.com·1d
🌊Apache Kafka