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, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8619
posts in
235.5
ms
So we have any for
interface
{} and
nil
reddit.com
·
4d
·
Discuss:
r/golang
❓
Existential Types
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
2d
🧮
Lambda Calculus
Function
Calling
& Tool
Schemas
dev.to
·
4d
·
Discuss:
DEV
λ
Functional Programming
Some conditions
implying
if P=NP then P=
PSPACE
arxiv.org
·
1d
⏱️
Computational Complexity
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
4d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
The Two-Board Problem: Training
Environment
for Research Agents
lesswrong.com
·
3d
🔀
Brzozowski Derivatives
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
2d
🔢
Philosophy of Mathematics
Togelius
:
Math
and me
togelius.blogspot.com
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
3d
·
Discuss:
Hacker News
,
r/golang
🏃
Escape Analysis
I
Wrote
a
Scheme
in 2025
maplant.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔤
Language Design
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
📐
Hoare Logic
To Be
Determined
anekstein.com
·
4d
·
Discuss:
Hacker News
📐
Hoare Logic
Humanity
's last
programming
language
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔤
Language Design
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🎯
GADT
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
4d
·
Discuss:
Hacker News
⚙️
Compiler Design
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
3d
·
Discuss:
Hacker News
🔤
Language Design
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
6d
·
Discuss:
Hacker News
📦
Module Systems
Portable
C
Compiler
en.wikipedia.org
·
4d
·
Discuss:
Hacker News
🐫
Embedded OCaml
The Evolution of a
Lean
Programmer
unnamed.website
·
3d
·
Discuss:
Hacker News
📝
Nix Language
Loading...
Loading more...
« Page 3
•
Page 5 »
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