Hybrid Diffusion Policies with Projective Geometric Algebra for Efficient Robot Manipulation Learning
arxiv.org·3h
🌀Riemannian Computing
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·3h
🧮Kolmogorov Complexity
QuHE: Optimizing Utility-Cost in Quantum Key Distribution and Homomorphic Encryption Enabled Secure Edge Computing Networks
arxiv.org·3h
🔲Lattice Cryptography
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·1d·
Discuss: Hacker News
🔤Type Theory
The State of Post-Quantum Cryptography (PQC) on the Web
f5.com·1d·
Discuss: Hacker News
🔐Quantum Security
Fun with flags: How Compilers Break and Fix Constant-Time Code
arxiv.org·3h
🚀Compiler Optimizations
My first verified (imperative) program
markushimmel.de·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
$BTC Bitcoin White Paper Annotated
bitcoinpaper.tech·23h·
Discuss: Hacker News
🔗Hash Chains
Efficient Quantum Access Model for Sparse Structured Matrices using Linear Combination of Things
arxiv.org·1d
⚛️Quantum Algorithms
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·16h·
Discuss: Hacker News
🖥️Terminal Renaissance
Chalmers-Led Team Develops Algorithm to Simulate GKP Codes for Quantum Computing
hpcwire.com·1d·
Discuss: Hacker News
⚛️Quantum Error Correction
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·3h
⚛️Quantum Circuits
GATMesh: Clock Mesh Timing Analysis using Graph Neural Networks
arxiv.org·3h
🔧Hardware Verification
On the Complexity of Problems on Graphs Defined on Groups
arxiv.org·3h
🔗Graph Isomorphism
We Need Knowledge Distillation for Solving Math Word Problems
arxiv.org·1d
🧮Kolmogorov Complexity
Writing an LLM from scratch, part 16 -- layer normalisation
gilesthomas.com·12h·
Discuss: Hacker News
📊Quantization
Preventing Reentrancy Bugs From Creeping Back In: Linking TLA+ Models to Rust Code
medium.com·12h·
Discuss: Lobsters
🏛️Agda
Air-FedGA: A Grouping Asynchronous Federated Learning Mechanism Exploiting Over-the-air Computation
arxiv.org·3h
🤐Secure Multiparty
Modern Methods in Associative Memory
arxiv.org·3h
🔲Cellular Automata
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·3h
💻Programming languages