Feeds to Scour
SubscribedAll
Scoured 77915 posts in 972.1 ms
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·4h
🔢Algebraic Datatypes
Preview
Report Post
weitianxin/Awesome-Agentic-Reasoning
github.com·51m
🤖Abstract Machines
Preview
Report Post
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
arxiv.org·1d
🎯Constraint Solving
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today·16h·
Discuss: Hacker News
📐Mathematical Computing
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Divide and Conquer: A Complete Guide with Practical Examples
dev.to·2h·
Discuss: DEV
🔗Unification
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·19h·
Discuss: Blogger
📐Mathematical Computing
Preview
Report Post
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·2d
🧩SAT Solvers
Preview
Report Post
Using Local LLMs to Discover High-Performance Algorithms
towardsdatascience.com·2d
🦀MIR Optimization
Preview
Report Post
Logic Puzzle with Poison Pill
dev.to·1d·
Discuss: DEV
🧮Theorem Provers
Preview
Report Post
Colloquium : Qudits for decomposing multiqubit gates and realizing quantum algorithms
link.aps.org·1d
🎯Bit-Vector Algorithms
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·19h
🔀Control Structures
Preview
Report Post
Trying Zig by Implementing CHIP-8
agentultra.com·1d
Zig
Preview
Report Post
Solved yet stuck
kevinsdias.com·11h
🧩Prolog
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
Designing AI-resistant technical evaluations
anthropic.com·8h·
Discuss: Hacker News
🌪️V8 TurboFan
Preview
Report Post
jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry
github.com·3d
🧸Toy Compilers
Preview
Report Post
Qdrant - Vector Database
qdrant.tech·1d
🔍Query Engines
Preview
Report Post
Iterative multi-word anagram solver
boulter.com·1d
🤖Suffix Automata
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