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
80631
posts in
865.3
ms
Language
Modeling
and Understanding Through
Paraphrase
Generation and Detection
arxiv.org
·
12h
📊
LR Parsing
Circuit
Representations
of Random
Forests
with Applications to XAI
arxiv.org
·
12h
🌲
Deforestation
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
2d
·
Discuss:
DEV
✅
Configuration Validation
Agents That Build Agents — Building
Autonomous
Browsing
with Claude Code
dev.to
·
8h
·
Discuss:
DEV
🎭
Program Synthesis
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
4d
🎭
Program Synthesis
Scientists reveal the alien logic of AI:
hyper-rational
but
stumped
by simple concepts
psypost.org
·
2d
🎭
Program Synthesis
These
Mathematicians
Are Trying to
Educate
A.I.
nytimes.com
·
3d
·
Discuss:
Hacker News
📐
Mathematical Computing
Synthesizing
scientific
literature
with retrieval-augmented language models
nature.com
·
4d
🌱
Minimal ML
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
github.com
·
5d
·
Discuss:
DEV
💬
Interactive REPLs
Tip
of the Week #131: Special Member Functions and `=
default
`
abseil.io
·
2d
🪆
Embedded DSLs
*Explainable Predictive Modeling of Settlement
Likelihood
in Small Claims
Arbitration
: A Graph‑Neural‑Network and Transformer‑Based Approach*
freederia.com
·
4d
⚖️
Weighted Automata
Level up your C++ with
Packt
books
meetingcpp.com
·
2d
🔬
Nanopasses
Tip of the Week #94:
Callsite
Readability and
bool
Parameters
abseil.io
·
2d
🔧
Error Recovery
*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological
Invariants
in High‑Dimensional Random
Simplicial
Complexes*
freederia.com
·
3d
🪢
Rope Data Structures
From Simple RAG to Agentic RAG:
Unlocking
Smarter AI
Workflows
as an AI Engineer
pub.towardsai.net
·
1d
🌱
Minimal ML
The Machine
Learned
Our Language
medium.com
·
3d
·
Discuss:
r/programming
🧠
Semantic Parsing
Your Best Thinking Is
Wasted
on the Wrong
Decisions
iankduncan.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🚂
Error Propagation
AdviceNXT/sbp
:
Stigmergic
Blackboard Protocol: Environment-based coordination for AI agents
github.com
·
2d
·
Discuss:
DEV
✨
Gleam
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
jack-clark.net
·
1d
🪜
Recursive Descent
A
Proposal
for
TruesightBench
lesswrong.com
·
5d
🌱
Minimal ML
Loading...
Loading more...
« Page 13
•
Page 15 »
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