Feeds to Scour
SubscribedAll
Scoured 80679 posts in 215.7 ms
**Abstract:** This paper introduces a novel approach to augmenting automated theorem provers (ATPs) using hyperdimensional semantic encoding to improve logic...
freederia.com·7h
✓Formal Verification
Preview
Report Post
Solving Systems of Equations Faster
entropicthoughts.com·21h
🧩Constraint Programming
Preview
Report Post
Linear Programming: Solving Real-World Optimization Problems
datacamp.com·3d
🧩Constraint Programming
Preview
Report Post
TongGeometry: Proposing and solving olympiad geometry with guided tree search
nature.com·2d·
Discuss: Hacker News
🧩Constraint Programming
Preview
Report Post
Algorithmic Prompt-Augmentation for Efficient LLM-Based Heuristic Design for A* Search
arxiv.org·1d
🧩Constraint Programming
Preview
Report Post
**Abstract:** Addressing complex inequalities—systems of constraints often encountered in optimization, control theory, and resource allocation—is computatio...
freederia.com·6h
🧩Constraint Programming
Preview
Report Post
Geometric Constraint Satisfaction in the Zodiac Z32 Cipher: Discovery of a Triangular Anthropogenic Feature via Archaeological Remote Sensing
zenodo.org·2d·
Discuss: Hacker News
🧩Constraint Programming
Preview
Report Post
[CS series]Computer Structure
dev.to·1d·
Discuss: DEV
⚙️Systems Programming
Preview
Report Post
We Built an Optimization Engine - and Realized Optimization Was the Wrong Problem
kiploks.com·5h·
Discuss: DEV
🚀Performance Engineering
Preview
Report Post
Learning to Execute
paperium.net·6h·
Discuss: DEV
🧩Constraint Programming
Preview
Report Post
Advanced PyMOL Visualization for Weighted Structural Ensembles (Part 2): Efficient Weighted SASA Surfaces
blopig.com·1d
📊Algorithms
Preview
Report Post
Python⇒Speed: Speeding up NumPy with parallelism
pythonspeed.com·1h
⚡SIMD Optimization
Preview
Report Post
A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
arxiv.org·1d
🔍Type Inference
Preview
Report Post
From Pratt parsing to the Dijkstra shunting yard
matklad.github.io·8h·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Solve It With Code
solve.it.com·2d
🧩Constraint Programming
Preview
Report Post
UPP: Universal Predicate Pushdown to Smart Storage
danglingpointers.substack.com·2d·
Discuss: Substack
🗄️Database Internals
Preview
Report Post
Prepping for the SAT Using AI
bespacific.com·3d
🧩Constraint Programming
Preview
Report Post
Problem Solving Using UCSD Pascal - K. L. Bowles, Stephen D. Franklin, Dennis J. Volper
books.google.com·1d
⚠️Error Handling
Preview
Report Post
The KNN Algorithm (№ 01)
wellactuarially.com·23h
📊Algorithms
Preview
Report Post
Pipelining and prefetching: a 45% speedup story
sebastiano.tronto.net·1d·
Discuss: Hacker News
💾Cache Optimization
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