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
🧩 Parser Combinators
Parsing Expression Grammars, Recursive Descent, Monadic Parsing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9180
posts in
247.1
ms
Targeted
Syntactic
Evaluation of Language Models on
Georgian
Case Alignment
arxiv.org
·
15h
📚
Automata Learning
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
3h
🐫
OCaml
Llama-Polya
:
Instruction
Tuning for Large Language Model based on
Polya
's Problem-solving
arxiv.org
·
15h
📚
Automata Learning
You get about.... how many
words
exactly
?
lesswrong.com
·
1h
📵
Digital Minimalism
Architecture
of
SQLite
sqlite.org
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Show HN: We Made Nasdaq
Parsing
Even Faster (and More
Reliable
)
lunyn.com
·
25m
·
Discuss:
Hacker News
📊
Runtime Verification
Show HN: Detecting
coordinated
financial narratives with embeddings and
AVX2
news.ycombinator.com
·
12h
·
Discuss:
Hacker News
📚
Automata Learning
Karpathy
's
Micro
LLM in JavaScript
github.com
·
4h
·
Discuss:
Hacker News
📚
Automata Learning
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
2d
·
Discuss:
Hacker News
📚
Automata Learning
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
4h
·
Discuss:
Hacker News
⏱️
Computational Complexity
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
Prompting Best Practices for
Instruction-Following
Rerankers
zeroentropy.dev
·
6h
·
Discuss:
Hacker News
📝
Term Rewriting
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
10h
·
Discuss:
Hacker News
🧮
SMT Solvers
From 34% to 96%: The
Porting
Initiative
Delivers
hologram.page
·
20h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
2d
·
Discuss:
Hacker News
🧩
SAT Solvers
The
Discourse
has been Automated
xeiaso.net
·
20h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
parse
human-friendly filter
strings
into structured queries
filtron.dev
·
3d
·
Discuss:
Hacker News
🔤
Kleene Algebra
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
3d
·
Discuss:
Hacker News
🔤
Kleene Algebra
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
17h
·
Discuss:
Hacker News
🎮
Verification Games
Next-Gen
Frontier
Model
glm5.app
·
1d
·
Discuss:
Hacker News
🐫
OCaml
Loading...
Loading more...
« Page 1
•
Page 3 »
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