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
馃М Haskell
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
115107
posts in
908.6
ms
What's up with
Haskell
's do
notation
?
slightknack.dev
路
1d
馃攢
Category Theory
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
路
1d
馃攢
Category Theory
Lean
4 and the Curry鈥揌oward
correspondence
wildonblog.wordpress.com
路
1d
馃攢
Category Theory
馃寣Beginner-Friendly Guide 'Longest Balanced
Subarray
II' -
Leetcode
3721 (C++, Python, JavaScript)
dev.to
路
1h
路
Discuss:
DEV
馃攢
Category Theory
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃敺
C#
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
路
1d
路
Discuss:
Hacker News
馃攢
Category Theory
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
路
13h
路
Discuss:
Hacker News
馃敺
C#
Simplifying
assertions
with
lenses
blog.ploeh.dk
路
1d
馃敺
C#
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
路
2d
路
Discuss:
Hacker News
馃攢
Category Theory
Impredicativity
in Linear
Dependent
Type Theory
arxiv.org
路
1d
馃攢
Category Theory
Functional
Programming
in an LLM World
notes.druchan.com
路
20m
路
Discuss:
Hacker News
馃攢
Category Theory
intersection
type in
nLab
ncatlab.org
路
17h
馃攢
Category Theory
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
路
1d
馃攢
Category Theory
Redefining
Go
Functions
news.ycombinator.com
路
12h
路
Discuss:
Hacker News
馃攢
Category Theory
Yet Another
YAML
kriskowal.com
路
3h
路
Discuss:
Hacker News
馃悕
Python
I got
bored
and had Claude design and
implement
a programming language
github.com
路
20h
路
Discuss:
Hacker News
馃悕
Python
Functional
Optics
for Modern Java
blog.scottlogic.com
路
2d
馃敺
C#
How I Built My Project in
Haskell
dev.to
路
3d
路
Discuss:
DEV
馃攢
Category Theory
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
路
16h
路
Discuss:
r/rust
馃攢
Category Theory
Large Language Models for
Mortals
book released
crimede-coder.com
路
15h
路
Discuss:
Hacker News
馃攢
Category Theory
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