Feeds to Scour
SubscribedAll
Scoured 26595 posts in 96.5 ms
Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware  🌊Stream Ciphers
arxiv.org·2d
Ramanujan-Pi Series and Nvidia Blackwell B200 : FP64 Architecting Transcendental Entropy for Bitcoin Security  🎯Arithmetic Coding Theory
zenodo.org·6d·Hacker News
Deutsch–Jozsa Algorithm  ⚛️Quantum Algorithms
en.wikipedia.org·23h·Hacker News
Big O for MySQL: Why the Same Query Gets Slow at Scale  📐Error Bounds
anotherboringtechblog.com·2d·Hacker News
A Multi‑Threaded Branchless Quicksort in C  🔗Topological Sorting
easylang.online·6d·Hacker News, r/compsci, r/programming
Binary GCD  📐Interval Arithmetic
en.algorithmica.org·6d·Hacker News
Hacking Google Random Number Generator (Part 2)  🌊Stream Ciphers
ivanludvig.dev·5d·Hacker News
Efficient Arithmetic-and-Comparison Homomorphic Encryption with Space Switching  🔐Homomorphic Encryption
arxiv.org·2d
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking  🔧Hardware Verification
arxiv.org·1d
A General Technique for Searching in Implicit Sets via Function Inversion  🕸️Graph Algorithms
arxiv.org·2d
PVAC: A RowHammer Mitigation Architecture Exploiting Per-victim-row Counting  🦀Embedded Rust
arxiv.org·2d
From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification  ⚡Circuit Verification
arxiv.org·3d
Layer-wise MoE Routing Locality under Shared-Prefix Code Generation: Token-Identity Decomposition and Compile-Equivalent Fork Redundancy  📼Cassette Combinators
arxiv.org·4d
AutoPPA: Automated Circuit PPA Optimization via Contrastive Code-based Rule Library Learning  ⚙️Logic Synthesis
arxiv.org·4d
Enabling AI ASICs for Zero Knowledge Proof  🔧Hardware Verification
arxiv.org·4d
Resource-aware Mixed-precision Quantization for Enhancing Deployability of Transformers for Time-series Forecasting on Embedded FPGAs  📊Quantization
arxiv.org·3d
Near-Codewords Aware Bit Flipping Decoding of QC-MDPC Codes  ⚛️Quantum LDPC
arxiv.org·4d
Low-Stack HAETAE for Memory-Constrained Microcontrollers  ⚡CPU Microarchitecture
arxiv.org·5d
E2AFS: Energy-Efficient Approximate Floating Point Square Rooter for Error Tolerant Computing  📐Error Bounds
arxiv.org·4d
GreenPeas: Unlocking Adaptive Quantum Error Correction with Just-in-Time Decoding Hypergraphs  ⚛️Quantum LDPC
arxiv.org·4d

No more posts from matmat's subscribed feeds.

Scour all 24370 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help