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
⚖️ Inference Rules
Type Systems, Judgments, Proof Trees, Formal Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
129343
posts in
1.70
s
Varparser
Reveals How LLM Log
Parsing
Benefits From Variable Data
quantumzeitgeist.com
·
1d
📊
Log Parsers
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
4h
·
Discuss:
Hacker News
🧩
SAT Solvers
Databases
joodaloop.com
·
12h
🎓
Educational Databases
Looking at
binary
trees
in C++
meetingcpp.com
·
3d
🤐
Zipper Structures
Generative
Type
experiments
brendandawes.com
·
1d
🤖
Code Generation
parse
human-friendly filter
strings
into structured queries
filtron.dev
·
2d
·
Discuss:
Hacker News
⚡
Incremental Parsing
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
10h
·
Discuss:
r/rust
🦀
MIR Optimization
Claude
Opus
4.6 as an
Observability
Co-pilot
parseable.com
·
1d
·
Discuss:
r/ClaudeAI
⚡
Incremental Parsing
Fine
Grained
Everything, and what comes after React Server
Components
blog.logrocket.com
·
4h
📦
Monorepos
I’m experimenting with a
stricter
way to handle AI answers that might not be
justified
.
layal-production.up.railway.app
·
2d
·
Discuss:
r/SideProject
🛡️
Parser Security
The development and evaluation of
agricultural
question-answering
systems based on large language models
nature.com
·
1d
📊
LR Parsing
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
1d
🧠
Semantic Parsing
Reasoning: A
smarter
way for AI to
understand
text and images
techxplore.com
·
2h
🌱
Minimal ML
The
Lazy
Builder
’s Complexity Lesson
artima.com
·
3d
🌳
Tree Walking
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
18h
🧩
SAT Solvers
Claude Skills vs. MCP: A Technical
Comparison
for AI
Workflows
intuitionlabs.ai
·
10h
🎭
Program Synthesis
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🚂
Error Propagation
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
🔄
Bootstrapping
I got
bored
and had Claude design and
implement
a programming language
github.com
·
14h
·
Discuss:
Hacker News
✅
Type Checking
Loading...
Loading more...
« Page 5
•
Page 7 »
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