Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80512
posts in
578.8
ms
Operationalizing
Stein's Method for Online Linear Optimization:
CLT-Based
Optimal Tradeoffs
arxiv.org
·
16h
🧮
Algorithms
Protean
Compiler: An
Agile
Framework to Drive Fine-grain Phase Ordering
arxiv.org
·
16h
🧮
Hindley-Milner
**Abstract:** This paper presents a novel framework for
rigorously
verifying
algorithms claiming to efficiently predict prime number distributions. Current v...
freederia.com
·
6d
🧮
Algorithms
**Abstract:** This paper introduces a framework for automated analysis and property prediction of viral
capsids
, leveraging a novel multi-modal data
ingestio
...
freederia.com
·
3d
📄
Document Versioning
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
6d
·
Discuss:
Hacker News
🗂️
Hash Tables
DavidLevi1998/programming-foundations-python
: A structured exploration of programming fundamentals in Python, focused on mental models, state, control flow, and
abstraction
.
github.com
·
5d
·
Discuss:
Hacker News
💻
Programming Languages
AI-powered software development flow: Lessons from shipping My
Yarn
Stash
jtemporal.com
·
6d
·
Discuss:
Hacker News
📄
Document Versioning
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🏗
Datastructures
Article: Working with Code
Assistants
: The
Skeleton
Architecture
infoq.com
·
6d
🏗
Datastructures
The
Projection
Problem: Two
Pitfalls
in AI Safety Research
lesswrong.com
·
5d
🌲
Binary Search Trees
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
5d
🗣️
Natural Language Parsing
Self-Optimizing Football
Chatbot
Guided by Domain Experts on
Databricks
databricks.com
·
6d
📄
Document Versioning
Evaluating Large Language Models on Agentic
Workspace
Bootstrapping
nightshift.sh
·
6d
·
Discuss:
Hacker News
🗣️
Natural Language Parsing
Show HN: Build a coding agent in 500 lines (Pure Python, No
Vector
DBs
)
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
💻
Programming Languages
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
6d
·
Discuss:
Hacker News
💻
Programming Languages
Workflow
Optimization
Achieves
11.9% Gains In Agentic Task Efficiency
quantumzeitgeist.com
·
6d
📄
Document Versioning
Linear-time classical
approximate
optimization of
cubic-lattice
classical spin glasses
link.aps.org
·
6d
🧮
Algorithms
ML for Energy-Performance-Aware Scheduling On Heterogeneous
Multicore
Architectures (
Cambridge
)
semiengineering.com
·
6d
🌲
Binary Search Trees
Token-Guard Achieves
Substantial
Hallucination
Reduction In Large Language Models Using Self-Checking Decoding
quantumzeitgeist.com
·
6d
🗣️
Natural Language Parsing
AI
Ranking
Optimization Systems
open.forem.com
·
5d
·
Discuss:
DEV
🧮
Algorithms
Loading...
Loading more...
« Page 20
•
Page 22 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help