Feeds to Scour
SubscribedAll
Scoured 76502 posts in 701.9 ms
Learning Compact Boolean Networks
arxiv.org·1d
🧮SMT Solvers
Build a Compiler in Five Projects
kmicinski.com·1h
🔨Compilers
Sparse Sum‑of‑Squares Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...
freederia.com·18h
🔢Numerical Methods
Dot Chain Special Operators
yamlscript.org·6h
3️⃣Three-Address Code
Efficient Benchmarking of Logical Magic State
link.aps.org·1d
✅Model Checking
The control layer for AI
blog.dottxt.ai·11h·
Discuss: Hacker News
🛡️AI Security
Hello Edge: Keyword Spotting on Microcontrollers
paperium.net·14h·
Discuss: DEV
📱Edge AI
Three-Round (Robust) Threshold ECDSA from Threshold CL Encryption
eprint.iacr.org·1d
🔐Homomorphic Secret Sharing
News for January 2026
ptreview.sublinear.info·1d
🕸️GraphBLAS
A future for bitflags
kodraus.github.io·12h·
Discuss: r/rust
📦Folly
Symbolic Model Checking using Intervals of Vectors
arxiv.org·3d
✅Model Checking
Intersection of Two Linked Lists
dev.to·17h·
Discuss: DEV
🌳Fenwick Trees
Crafting the Eyes for Thinking Machines: The “White Box” VLM
pub.towardsai.net·8h
🤖TVM
Hello Edge: Keyword Spotting on Microcontrollers
dev.to·14h·
Discuss: DEV
🎛️Microcontrollers
Differential Logic • 1
inquiryintoinquiry.com·1d
📊Datalog
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔤Suffix Automata
From Monolithic SoCs To Chiplets: A New Hardware Security Paradigm
semiengineering.com·2d
🔐Hardware Security
Constrained parallel tempering in traveling-salesman problems with circular neighborhoods
link.aps.org·1h
📮Multi-producer Queues
The Little Book of Linear Algebra
little-book-of.github.io·22h
📐Linear Algebra
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🌳Fenwick Trees

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
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