Coherent bunching of anyons and dissociation in an interference experiment
nature.com·2h
⚛️Quantum Channels
Superimposed codes
blog.sesse.net·3d
💾Binary codes
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·14h
🔗Hash Chains
A Qubit-Efficient Hybrid Quantum Encoding Mechanism for Quantum Machine Learning
arxiv.org·14h
⚛️Quantum Codes
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·49m·
Discuss: Hacker News
⚡Proof Automation
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·15h·
Discuss: Hacker News
📲Digitization
Passagemath project marks new era for open-source math software
appliedmath.ucdavis.edu·1d·
Discuss: Hacker News
📊APL Heritage
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
C++ Seeding Surprises (2015)
pcg-random.org·2h·
Discuss: Hacker News
🔢Bitwise Algorithms
High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations
arxiv.org·14h
⚙️Tape Engineering
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·12h
📝Concrete Syntax
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules
A Geometric Square-Based Approach to RSA Integer Factorization
arxiv.org·1d
🔱Galois Cryptography
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·14h
🔍Type Inference
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·8h·
Discuss: Hacker News, r/programming
🔗Lisp
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros