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
🔍 Type Inference
Hindley-Milner, Algorithm W, Constraint Generation, Unification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80614
posts in
813.4
ms
[2602.07604] Free
fibrations
, lax
colimits
and Kan extensions for $(infty,2)$-categories
arxiv.org
·
4h
🔗
Category Theory
rePIRL
: Learn
PRM
with Inverse RL for LLM Reasoning
arxiv.org
·
13h
🪜
Recursive Descent
I made a
Wordle
variant
. Is it fun though?
casju0.bearblog.dev
·
2d
🌱
Tiny Languages
Navigating
CRAN
's Reverse
Dependency
Check Logs
yihui.org
·
1d
🔧
Error Recovery
The Missing
Layer
Above AI Inference
Governance
vibe.forem.com
·
2d
·
Discuss:
DEV
⚖️
Inference Rules
Automatic
Programming
notes.billmill.org
·
5d
🎭
Program Synthesis
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
2d
·
Discuss:
DEV
✨
Gleam
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
📏
Linear Memory
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
2d
·
Discuss:
Hacker News
📚
Self-Documenting Code
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🚂
Error Propagation
VSORA
Board Chair Sandra
Rivera
on Solutions for AI Inference and LLM Processing
semiwiki.com
·
1d
🎭
Program Synthesis
How I Approach a System I Have Never Seen Before
dev.to
·
1d
·
Discuss:
DEV
🛡️
Security Type Systems
Stochastic
Differential
Equations
and Temperature — NASA Climate Data pt. 2
pub.towardsai.net
·
2d
🔢
Algebraic Datatypes
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
2d
💬
Interactive REPLs
ESLint
Plugin
Perfectionist
perfectionist.dev
·
1d
✨
Code Formatters
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
17h
⚖️
Inference Rules
I Let AI Agents Train Their Own Models. Here's What Actually
Happened
.
hamzamostafa.com
·
1d
·
Discuss:
Hacker News
🎭
Erlang OTP
Jokes
on You AI: Turning the
Tables
dev-log.me
·
2d
·
Discuss:
Hacker News
💬
Interactive REPLs
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
🎭
Program Synthesis
Loading...
Loading more...
« Page 11
•
Page 13 »
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