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
馃幆 Hindley-Milner
Type Inference, Unification, Polymorphism, ML-family
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9239
posts in
992.0
ms
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
路
1d
馃М
Lambda Calculus
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
路
1d
路
Discuss:
Hacker News
位
Functional Programming
Wheeler
Bisimulations
arxiv.org
路
1d
馃搻
Hoare Logic
Large Language Models for
Mortals
book released
crimede-coder.com
路
20h
路
Discuss:
Hacker News
馃惈
OCaml
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
路
11h
馃З
Parser Combinators
Row
Polymorphism
without the
Jargon
(2020)
jadon.io
路
1h
路
Discuss:
Hacker News
馃敘
Algebraic Data Types
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
路
20h
路
Discuss:
r/programming
馃敘
Algebraic Data Types
C-- Home
cs.tufts.edu
路
1d
路
Discuss:
Lobsters
鈿欙笍
Compiler Design
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
路
1d
路
Discuss:
Hacker News
馃З
Parser Combinators
Introspective
Interpretability
: a Definition, Motivation, and Open Problems
lesswrong.com
路
1d
馃摎
Automata Learning
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
路
3d
路
Discuss:
DEV
馃摝
Module Systems
Functional
Programming
in an LLM World
notes.druchan.com
路
6h
路
Discuss:
Hacker News
位
Functional Programming
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
路
1d
馃寪
Network Protocols
Extractional
AI as
Opposed
to Conversational AI
normain.com
路
22h
路
Discuss:
Hacker News
馃摎
Automata Learning
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
路
2d
路
Discuss:
DEV
馃攢
Brzozowski Derivatives
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
路
19h
路
Discuss:
Hacker News
鈿欙笍
Compiler Design
Observe
emergent
behavior in autonomous multi-agent LLM networks
agents.glide2.app
路
19h
路
Discuss:
Hacker News
馃敳
Cellular Automata
Show HN: The Hidden Bit - A Game Based
proof
architecture for P vs.
NP
vakofmaya.github.io
路
2h
路
Discuss:
Hacker News
鈴憋笍
Computational Complexity
Logic
That
Patterns
Find
udara.io
路
6h
路
Discuss:
Hacker News
馃摎
Automata Learning
Adventures
in Neural
Rendering
interplayoflight.wordpress.com
路
14h
路
Discuss:
Hacker News
馃敳
Cellular Automata
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