Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 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
44
posts in
26.9
ms
Haskell
Brain Teasers (Pragmatic Programmers)
📐
Type Theory
i-programmer.info
·
5d
Practical uses of monads in
Haskell
λ
Functional Programming
nauths.fr
·
2d
·
Hacker News
,
Hacker News
,
r/programming
H2JVM - A
Haskell
Library for writing JVM Bytecode
λ
Functional Programming
discourse.haskell.org
·
8h
·
Lobsters
Serokell’s Work on GHC: Dependent
Types
, Part 5
📐
Type Theory
serokell.io
·
20h
Blazestar.net
🌟
Pulsar
blazestar.net
·
1d
FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation
📊
Profile-Guided Optimization
arxiv.org
·
4d
Philip Wadler
λ
Functional Programming
deprogrammaticaipsum.com
·
17h
Data
types
à la carte | Journal of Functional Programming
🔗
Dependent Types
cambridge.org
·
1d
·
Lobsters
Issue 526
💎
Refinement Types
haskellweekly.news
·
4d
Profunctors in
Haskell
(2011)
∘
Category Theory
github.com
·
2d
·
Lobsters
Location: New York City area, USA Remote: Yes, also open to on-site Willing to r...
🏠
Home Automation
news.ycombinator.com
·
5h
·
Hacker News
Stealing from Biologists to Compile
Haskell
Faster
🎯
Escape Analysis
iankduncan.com
·
2d
·
Hacker News
Webbplats update (part 1)
⚡
HTMX
digitalflapjack.com
·
4d
Faster Cabal
Haskell
builds by eliminating redundant work
🏗️
Cranelift
well-typed.com
·
4d
Hypr, Hypr, bring out the Mango
⚡
LMAX Disruptor
thesaigoneer.bearblog.dev
·
12h
Coalgebras and Automata
∘
Category Theory
web.archive.org
·
2d
·
Lobsters
+12 years of programming, now what?
🎮
WebGPU
en.wikipedia.org
·
12h
·
r/programming
Fixed Income Outlook Q2 2026
📉
Time Series
seekingalpha.com
·
2d
Pratt knocks LA mayor’s approach to homeless people, says Seattle would ‘welcome them’
📸
Street Photography
thehill.com
·
6d
Evading Von Neumann
λ
Functional Programming
deprogrammaticaipsum.com
·
17h
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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