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
80552
posts in
474.2
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
Categorical
systems
theory
danmackinlay.name
·
5d
🔗
Category Theory
30+ Data
Engineer
Interview Questions and
Answers
analyticsvidhya.com
·
2d
🗄️
Database Engines
A
Normalized
Gaussian
Wasserstein
Distance for Tiny Object Detection
paperium.net
·
2d
·
Discuss:
DEV
🗺️
Region Inference
Building an AI Assistant for
Investigative
Journalists
reichaves.github.io
·
2d
🌱
Minimal ML
From
Monolith
to Micro-Brain:
Architecting
Scalable AI Inference in .NET
dev.to
·
2d
·
Discuss:
DEV
🗺️
Region Inference
A
GTM
guide to AI models
revengine.substack.com
·
2d
·
Discuss:
Substack
🏷️
Attribute Grammars
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
2d
·
Discuss:
DEV
✅
Configuration Validation
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
1d
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Tip of the Week #176:
Prefer
Return Values to Output
Parameters
abseil.io
·
2d
⚡
Interpreter Optimization
ValkDB/postgresparser
: ANTLR-based PostgreSQL query parser for Go. Extracts tables, columns, joins, CTEs, parameters, DDL actions, and full column-usage metadata from SQL into a structured IR.
github.com
·
1d
·
Discuss:
Hacker News
,
r/devops
,
r/golang
🗃️
Query Compilation
On
variability
surfingcomplexity.blog
·
2d
🚂
Error Propagation
Code only says what it does
brooker.co.za
·
2d
·
Discuss:
Hacker News
📚
Self-Documenting Code
Weeknote
06/2026
blog.dougbelshaw.com
·
2d
🔄
Bootstrapping
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
4d
💓
Live Variable Analysis
Tip of the Week #165: <code>if</code> and <code>switch</code>
statements
with
initializers
abseil.io
·
2d
🔗
Lexical Scoping
Agentic Banking: How AI Systems and
Tokenized
Compliance Are
Restructuring
Investment and…
medium.com
·
1d
🏷️
Attribute Grammars
Differential
Logic
• 1
inquiryintoinquiry.com
·
5d
🧩
Constraint Logic
**Abstract:** This paper introduces Quantum-Inspired Algorithm for
Axiomatic
System Generation and Verification (
QASAGV
), a novel approach to automatically c...
freederia.com
·
4d
📜
Proof Languages
Loading...
Loading more...
« Page 12
•
Page 14 »
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