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
8796
posts in
252.5
ms
Reasons for Logic, Logic for Reasons:
Pragmatics
, Semantics, and
Conceptual
Roles / Reviews
ndpr.nd.edu
·
4d
🧩
Constraint Logic
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
1d
🎭
Program Synthesis
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
22h
·
Discuss:
Hacker News
⚡
Automated Reasoning
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
2d
🚂
Error Propagation
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
13h
·
Discuss:
Hacker News
💫
Effect Systems
Type
Variance
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
📐
Type Theory
Tutorial
on Reasoning for
IR
&
IR
for Reasoning
arxiv.org
·
3d
⚡
Automated Reasoning
When Language Models Get Stuck: The Mechanics of
Repetition
Loops
pub.towardsai.net
·
7h
🪜
Recursive Descent
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
2d
·
Discuss:
Hacker News
🌳
Tree-sitter
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
6h
·
Discuss:
Hacker News
🔍
Type Inference
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
💎
Refinement Types
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
18h
·
Discuss:
Hacker News
🚂
Error Propagation
(6) How
foreground-swapping
can improve LLM response
usability
mikecaulfield.substack.com
·
35m
·
Discuss:
Substack
💬
Prompt Engineering
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
1d
·
Discuss:
Hacker News
🧠
Symbolic AI
A Neighborhood of Infinity: You Could Have
Invented
Monads
! (And Maybe You Already Have.)
blog.sigfpe.com
·
15h
∘
Category Theory
Let
Lambda
Come Over
yamlscript.org
·
4h
🌙
Lua
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
16h
·
Discuss:
Hacker News
🚂
Error Propagation
The control
layer
for AI
blog.dottxt.ai
·
10h
·
Discuss:
Hacker News
🚂
Error Propagation
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
17h
✓
Formal Methods
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
1d
·
Discuss:
Hacker News
🌊
Gradual Effects
Loading...
Loading more...
Page 2 »
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