Feeds to Scour
SubscribedAll
Scoured 77889 posts in 283.9 ms
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·3h
🧩Constraint Solvers
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·18h·
Discuss: Blogger
Symbolic Math
Preview
Report Post
Divide and Conquer: A Complete Guide with Practical Examples
dev.to·1h·
Discuss: DEV
🔗Unification
Preview
Report Post
Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
arxiv.org·1d
Symbolic Math
Preview
Report Post
Calculus Made Easy
calculusmadeeasy.org·16h
πPi Calculus
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·20h
🏗️Cranelift
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today·14h·
Discuss: Hacker News
🧩Constraint Solvers
Preview
Report Post
GNU C Language Manual
gnu.org·12h
🪄C Metaprogramming
Preview
Report Post
Dealing With Mixed Measurement Units in Data and Documentation
mmtocm.net·24m·
Discuss: DEV
📇Symbol Tables
Preview
Report Post
LLMs Under Siege: The Red Team Reality Check of 2026
eddieoz.com·11h·
Discuss: Hacker News
📏Linear Memory
Preview
Report Post
The Algebra of Speed: Mathematical Foundations of Computational Performance
ttsugriy.github.io·3d·
Discuss: Hacker News
🧠Memory Hierarchy
Preview
Report Post
Free papers, get your free papers here!
esat.kuleuven.be·12h
🔗Hash Functions
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·15h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Problem Solving
denvaar.dev·1d
🔗Hash Functions
Preview
Report Post
Binary Algorithms
exystence.net·1d
📡Binary Protocols
Preview
Report Post
Getting Rounding Right in DeFi
seceureka.com·20h·
Discuss: Hacker News
🔢Bit Manipulation
Preview
Report Post
Personal Knowledge Management
reseek.net·1h
🔍Search Algorithms
Preview
Report Post
Just Use MSYS2 You Say?
learncodethehardway.com·3h
🌱Minimal Interpreters
Preview
Report Post
Excellence and Impact Recognized by World's Preeminent Computing Society
prnewswire.com·14h
🗺️Region Inference
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·14h·
Discuss: Hacker News
📋Souffle Datalog
Preview
Report Post

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