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 Solvers
SAT, Z3, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123629
posts in
1.32
s
New course:
SQL
Server
Vector
Search in Practice
sqlskills.com
·
6h
🧮
Linear Algebra
Databases
joodaloop.com
·
1d
🎓
Educational Databases
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
1d
🔤
Regex Engines
Deterministic
Inference with
EigenAI
deterministicinference.com
·
6h
🗺️
Region Inference
Building an AI Code
Analyzer
with Google AI Studio (And
Finishing
It in Cursor)
dev.to
·
6h
·
Discuss:
DEV
🎭
Program Synthesis
AI-aided optimization of
droplet
layout in distribution zone for commercial bipolar plates of
PEMFC
sciencedirect.com
·
10h
🌪️
V8 TurboFan
datavorous/spheni
: An in-memory vector search library in C++ with Python bindings
github.com
·
10h
·
Discuss:
Hacker News
🔀
SIMD Programming
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
1d
📡
Erlang BEAM
N-Grams
and Other
Experiments
dotterrer.bearblog.dev
·
7h
🌱
Minimal ML
Plugin-Based
LLM
Workflows
agentplatform.app
·
1d
🎨
Domain-Specific Languages
Prompt to Protocol:
Architecting
Agent-Oriented
Infrastructure for Production LLMs
pub.towardsai.net
·
11h
🎭
Program Synthesis
The
Univalence
Principle
golem.ph.utexas.edu
·
22h
🔗
Category Theory
A data-efficient foundation model for
porous
materials based on expert-guided
supervised
learning
nature.com
·
11h
🔢
Algebraic Datatypes
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
1d
·
Discuss:
Hacker News
⚡
Performance
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
1h
·
Discuss:
Hacker News
🎭
Program Synthesis
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
📜
Proof Languages
The Seven
Qualification
Tests for an AI
Scientist
hackernoon.com
·
9h
⚖️
Inference Rules
The Price of Privacy For
Approximating
Max-CSP
arxiv.org
·
19h
📏
Linear Memory
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
The LLM
Context
Tax: Best Tips for Tax
Avoidance
nicolasbustamante.com
·
5h
·
Discuss:
Hacker News
🔄
Incremental Lexing
Loading...
Loading more...
« Page 4
•
Page 6 »
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