Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Functional Programming
λ Functional Programming
haskell, lisp, type theory, pure functions, FP
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
141
posts in
22.7
ms
λ
Type Theory
Haskell Weekly Newsletter
·
2d
2 days ago
Issue 529
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Issue 529
λ
Type Theory
Serokell Blog
·
5d
5 days ago
How Serokell Contributes to the Future of
Haskell
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How Serokell Contributes to the Future of Haskell
🐧
Open Source
lemmy.ml
·
21h
21 hours ago
FOSS
calc
and conversion
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for FOSS calc and conversion
🚨
AI Criticism
porchlab.com
·
2d
2 days ago
The best stack for the AI Era
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The best stack for the AI Era
🐘
PostgreSQL
Clojure Deref
·
5d
5 days ago
Clojure
Deref (Jun 16, 2026)
Covers
4 stories
See all stories this covers
including
Clojurists Together Foundation – Funding critical Clojure open source software
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Clojure Deref (Jun 16, 2026)
λ
Type Theory
GitHub
·
8h
8 hours ago
haskell/ghcup-metadata
Covers
#ariel-os:matrix.org .
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for haskell/ghcup-metadata
λ
Type Theory
Stephen Diehl
·
1d
1 day ago
Prism: An Impure
Functional
Language With
Typed
Effects
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Prism: An Impure Functional Language With Typed Effects
λ
Type Theory
nLab
·
6d
6 days ago
antinatural transformation in nLab
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for antinatural transformation in nLab
λ
Type Theory
youtube.com
Content type:
Video
·
2d
2 days ago
Dana Scott:
Lambda
Calculus
, Forcing and the Foundations of Math: #14 aboutlogic [video]
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]
λ
Type Theory
flaviocorpa.com
·
5d
5 days ago
Haskell
for Elm developers: giving names to stuff (Part 8 – IO)
Covered by
Haskell Weekly Newsletter
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Haskell for Elm developers: giving names to stuff (Part 8 – IO)
🔧
Electronics
ocsigen.org
·
2d
2 days ago
Ocsigen in 2026: what we're working on
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Ocsigen in 2026: what we're working on
🔐
Cryptography
alan.petitepomme.net
·
4d
4 days ago
OCaml
Weekly News, 16 Jun 2026
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for OCaml Weekly News, 16 Jun 2026
λ
Type Theory
arxiv.org
·
2d
2 days ago
A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness
🏗️
Compiler Design
Elixir Status
·
4d
4 days ago
Thinking
Elixir
308:
Elixir
Goes Gradually
Typed
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Thinking Elixir 308: Elixir Goes Gradually Typed
🐍
Python
Bob Belderbos
·
10h
10 hours ago
Bob Belderbos: From Python to Rust: Master Iterators by Rebuilding 10 Unix Tools
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bob Belderbos: From Python to Rust: Master Iterators by Rebuilding 10 Unix Tools
λ
Type Theory
wiki.haskell.org
·
1d
1 day ago
Wadler's Law
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Wadler's Law
💾
CPU Architecture
abhinavsarkar.net
·
3d
3 days ago
Nix for
Haskell
: Static Builds
Covers
3 stories
See all stories this covers
including
NixOS
Discussed on
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Nix for Haskell: Static Builds
λ
Type Theory
Jane Street Tech Blog
·
6d
6 days ago
Using OxCaml to implement
type-safe
reference counting between
OCaml
and Python
Covers
OxCaml, Jane Street's extension of OCaml is now open-source
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Using OxCaml to implement type-safe reference counting between OCaml and Python
⚙️
Compilers
discuss.ocaml.org
·
1d
1 day ago
OCaml
5.5.0
Discussed on
Hacker News
,
Hacker News
, and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for OCaml 5.5.0
🏗️
Compiler Design
Thinking Elixir Podcast
Content type:
Audio
·
5d
5 days ago
308:
Elixir
Goes Gradually
Typed
Covers
4 stories
See all stories this covers
including
Preinstall to persistence: Inside the Red Hat npm Miasma credential-stealing campaign
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 308: Elixir Goes Gradually Typed
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report