Cyclic Proofs for iGL via Corecursion
arxiv.org·4h
🧮SMT Solvers
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
🔢Homomorphic Encryption
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·13h
🔨Incremental Compilation
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·14h
🦀Rust
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·2h
🔲Cellular Automata
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
#️⃣Hash Tables
Flag this post
On Async Mutexes
🔄Concurrency Patterns
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🦀Rust
Flag this post
A Note on Notes: Towards Scalable Anonymous Payments via Evolving Nullifiers and Oblivious Synchronization
eprint.iacr.org·3d
🤝Paxos
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·1d
⚡Quicksort
Flag this post
Think DSP second edition
allendowney.com·16h
🦀Rust Macros
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·1d
⛓️Blockchain
Flag this post
Loading...Loading more...