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
80232
posts in
803.5
ms
Inference-Time Rethinking with
Latent
Thought
Vectors
for Math Reasoning
arxiv.org
·
1d
🎯
Constraint Solving
CORE: Comprehensive
Ontological
Relation
Evaluation for Large Language Models
arxiv.org
·
1d
📊
LR Parsing
What I
haven
't
figured
out
macwright.com
·
2d
·
Discuss:
Hacker News
📋
Datalog
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
1d
💬
Interactive REPLs
AI decision
aids
aren't neutral: Why some users become easier to
mislead
techxplore.com
·
8h
✨
Effect Inference
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
importai.substack.com
·
16h
·
Discuss:
Substack
🪜
Recursive Descent
Real world
scenario
of
refactoring
legacy code to strategy & chain of responsibility patterns
dev.to
·
13h
·
Discuss:
DEV
🔀
Control Structures
observation
: the future of building software
hanspham.com
·
12h
🎮
Language Ergonomics
The
Conceptual
Bullshit
Threshold: A Manifesto
dev.to
·
57m
·
Discuss:
DEV
🛡️
Error Boundaries
Rob
Pike
's Simple Regular
Expressions
bruceediger.com
·
2d
🔤
Regex Engines
Everything I know about good system design
seangoedecke.com
·
5h
🗄️
Database Engines
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
🧸
Toy Compilers
ERC-8004
: A
Trustless
Agent Standard for On-Chain AI in Avalanche C-Chain
medium.com
·
2d
📡
Erlang
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
1d
·
Discuss:
Hacker News
🌱
Minimal Languages
The
Quest
for Knowledge in The
Witness
superjumpmagazine.com
·
1d
🔗
Concatenative Theory
A
Sliver
of
Evidence
blog.catshavenolord.page
·
20h
🔮
Type Inference Visualization
Build a
Compiler
in Five Projects
kmicinski.com
·
2d
🎭
Racket Modules
Show HN: We added
AGENTS.md
to 120 challenges so AI
teaches
instead of codes
frontendmentor.io
·
15h
·
Discuss:
Hacker News
💬
Interactive REPLs
Unlocking
the hidden power of
unstructured
data with AI
theregister.com
·
21h
🧠
Semantic Parsing
Have I
hardened
against LLMs?
baldurbjarnason.com
·
19h
·
Discuss:
Hacker News
🧠
Memory Ordering
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