Why Computer Science Is No Good, Redux
cacm.acm.org·14h
🌐Distributed systems
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·18h·
Discuss: www.blogger.com
🔒Transaction Isolation
Building Paperboy: A Personal Reading Recommendation Engine
joshbeckman.org·15h·
Discuss: Hacker News
📰RSS Reading Practices
Decomposition of Symmetrical Classes of Central Configurations
arxiv.org·4h
📇Vector Indexing
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·3h
💾Binary Formats
Parallelization of cryptographic protocol analyzer Maude-NPA reduces analysis time, makes internet safer
techxplore.com·18h
📋MCP
Arenas in Rust
russellw.github.io·6h·
Discuss: Hacker News
🦀Rust
Anonymous Functions in Python
valuetown.bearblog.dev·6h
💻Programming languages
The Christofides Algorithm
alon.kr·16h·
Discuss: Hacker News
🔍Vector Search Algorithms
Cypherix Cryptainer LE 18.5.3.0
majorgeeks.com·16h
🔐Hardware Security
Encapsulated Collaboration: Using Closures to Extend Class Behavior Without Violating Interface Boundaries [OC]
medium.com·18h·
Discuss: r/programming
🔌API Design Theory
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·21h·
Discuss: Hacker News
⚡Zero-Copy APIs
Rod Burstall: In Memoriam
arxiv.org·14h·
Discuss: Lobsters
🌐Distributed systems
Spanner columnar engine: Powering next-generation analytics on operational data
cloud.google.com·7h
⚙️Database Internals
Reducing double spend latency from 40 ms to < 1 ms on privacy proxy
blog.cloudflare.com·19h
📡Network Latency
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·18h·
Discuss: Hacker News
🌐Distributed systems
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·2h·
Discuss: Hacker News
🔒Transaction Isolation
Discarded particles dubbed 'neglectons' may unlock universal quantum computing
phys.org·23h
⚛️Physics
How the Lean language brings math to coding and coding to math
amazon.science·13h·
Discuss: Hacker News
🧮SMT Solvers
Modernizing the IT portfolio: A primer
nordot.app·22h
💾Persistence Strategies