Feeds to Scour
SubscribedAll
Scoured 9563 posts in 2.31 s
Understanding Automata Theory Through Route Maps
dev.to·2h·
Discuss: DEV
🎯Automata theory
Preview
Report Post
Rust Errors Without Dependencies
vincents.dev·3h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·2d
📐Linear Algebra
Preview
Report Post
On Factoring and Power Divisor Problems via Rank-3 Lattices and the Second Vector
arxiv.org·5d
🧮SMT Solvers
Preview
Report Post
Information, Physics, and Computation (Oxford Graduate Texts): Mézard, Marc, Montanari, Andrea: 8601410201722: Amazon.com: Books
amazon.com·1d
📐Compression Mathematics
Preview
Report Post
<p>**Abstract:** This paper proposes a novel framework for Federated Quantum Key Distribution (FQKD) integrating adaptive trust management mechanisms to enhance...
freederia.com·6h
🔐Quantum Security
Preview
Report Post
LLM & AI Agent Applications with LangChain and LangGraph — Part 4 — Components of GPT
pub.towardsai.net·3h
🤖Grammar Induction
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·9h·
Discuss: Hacker News
🔩Systems Programming
Preview
Report Post
Gaussian concentration bounds for probabilistic cellular automata | Journal of Statistical Physics
link.springer.com·1d
🔲Cellular Automata
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
💧Liquid Types
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·3d
🤝Paxos Consensus
Preview
Report Post
Keeping Probabilities Honest: The Jacobian Adjustment
towardsdatascience.com·2d
🎯Arithmetic Coding Theory
Preview
Report Post
What Deep Learning Theory Teaches Us About AI Memory
dev.to·1d·
Discuss: DEV
🧠Learned Compression
Preview
Report Post
Overengineering float serialization for no good reason
wejn.org·2d
🧪Binary Fuzzing
Preview
Report Post
🎲 The Automatic Grover Algorithm
lucamarx.com·1d
⚛️Quantum Algorithms
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.io·21h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Preview
Report Post
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.to·11h·
Discuss: DEV
📝Text Parsing
Preview
Report Post
HyperFoldUK/sparse-ternary-fma: High-performance ternary arithmetic kernel with 2-bit encoding and AVX-512 SIMD acceleration for FHE and AI applications
github.com·4d·
Discuss: Hacker News
🔐Homomorphic Encryption
Preview
Report Post
Parameter-free inexact block Schur complement preconditioning for linear poroelasticity under a hybrid Bernardi-Raugel and weak Galerkin finite element discretization
arxiv.org·3d
📐Linear Algebra
Preview
Report Post