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
81226
posts in
216.5
ms
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
15h
🧩
SAT Solvers
Definability
and
Interpolation
in Philosophy
arxiv.org
·
15h
🔗
Category Theory
The Missing
Layer
Above AI Inference
Governance
vibe.forem.com
·
2d
·
Discuss:
DEV
🔍
Type Inference
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
4d
·
Discuss:
Hacker News
∀
Quantified Types
Cleaning Up Complexity:
Preprocessing
Attribution
Maps for Better Evaluation
dev.to
·
9h
·
Discuss:
DEV
✨
Effect Inference
Read The Code (
Sometimes
)
build.ms
·
1d
📚
Self-Documenting Code
Concludia
concludia.org
·
1d
🔗
Concatenative Theory
Document
Clustering
with LLM Embeddings in
Scikit-learn
machinelearningmastery.com
·
9h
📝
Text Algorithms
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
·
1d
👑
Dependent Haskell
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
16h
🎭
Program Synthesis
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
This [is/was] For Everyone
cogdogblog.com
·
1d
🏠
indieweb
Opus 4.6, Codex 5.3, and the post-benchmark era: On comparing models in 2026. (
Nathan
Lambert
)
interconnects.ai
·
1h
🎮
Language Ergonomics
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
1d
🧠
Semantic Parsing
Building Production-Ready AI
Chatbots
: Lessons from 6 Months of
Failure
lojiq.ai
·
3h
·
Discuss:
DEV
🔍
Tokenizers
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
6h
·
Discuss:
Hacker News
🔒
Rust Borrowing
Sympathy
for the Model, or,
Welfare
Concerns as Takeover Risk
lesswrong.com
·
1d
🔐
Capability Calculus
Writing a
ONNX
Neural Network Inference Engine from Scratch in C to run image classification with
MobileNetV2
flexw.github.io
·
2d
·
Discuss:
r/C_Programming
🗺️
Region Inference
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
23h
·
Discuss:
r/LLM
📡
Erlang BEAM
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