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
Algebraic Datatypes
🔢 Algebraic Datatypes
Specific
Sum Types, Product Types, Pattern Matching, ML Families
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
40
posts in
12.8
ms
Tarides
🔍
Type Inference
Content type:
Code
github.com
·
14h
14 hours ago
Actions for Tarides
Static
types
and shovels (2026)
📐
Type Theory
carefully.understood.systems
·
3h
3 hours ago
·
Lobsters
Actions for Static types and shovels (2026)
Issue 527
🔍
Type Inference
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
A line-by-line translation of the
OCaml
runtime from C to Rust
🔍
Type Inference
Content type:
Discussion
discuss.ocaml.org
·
17h
17 hours ago
·
Lobsters
,
Hacker News
Actions for A line-by-line translation of the OCaml runtime from C to Rust
Co-Creator of
Haskell
: Functional Programming, Thinking in
Types
, Useless Languages | Simon Jones
🔍
Type Inference
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Kan Extensions in
Haskell
∘
Category Theory
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
OCaml
Onboarding: Introduction to the Dune build system
🔍
Type Inference
Content type:
Blog
ocamlpro.com
·
6d
6 days ago
·
Hacker News
Actions for OCaml Onboarding: Introduction to the Dune build system
ocaml/odoc
: Documentation compiler for
OCaml
🔍
Type Inference
Content type:
Code
github.com
·
14h
14 hours ago
Actions for ocaml/odoc: Documentation compiler for OCaml
Poor Man's Time Machine: Lazy Evaluation in JavaScript and
Haskell
🔍
Type Inference
Content type:
Blog
irfanali.org
·
2d
2 days ago
·
Hacker News
,
r/compsci
,
r/programming
,
r/programming
Actions for Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell
Co-Creator of
Haskell
: Functional
Prog
., Thinking in
Types
, Useless Languages [video]
🔍
Type Inference
Content type:
Video
youtube.com
·
2d
2 days ago
·
Hacker News
Actions for Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]
Extension or Imitation? Can you tell the valid
Haskell
Language Extensions, from the Impostors?
🔍
Type Inference
doscienceto.it
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors?
Less-relevant results
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🔗
Dependent Types
lix.polytechnique.fr
·
12h
12 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Debootstrapping without Archeology: Stacked Implementations in Camlboot
🔍
Type Inference
Content type:
Academic
arxiv.org
·
3h
3 hours ago
·
Lobsters
Actions for Debootstrapping without Archeology: Stacked Implementations in Camlboot
Pasteur, a zero-knowledge pastebin as an unikernel in
OCaml
🔍
Type Inference
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for Pasteur, a zero-knowledge pastebin as an unikernel in OCaml
Jas: AI-Paired Engineering as a Revival of N-Version Programming
🔍
Type Inference
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Jas: AI-Paired Engineering as a Revival of N-Version Programming
Show HN: Free AI agent audit for Shopify catalogs (1.2M open captures)
🔍
RAG
aicatalogscore.com
·
6d
6 days ago
·
Hacker News
Actions for Show HN: Free AI agent audit for Shopify catalogs (1.2M open captures)
We Cut Semgrep's Taint Analysis Time by 75%
🎯
Taint Analysis
Content type:
Blog
semgrep.dev
·
2d
2 days ago
·
Hacker News
Actions for We Cut Semgrep's Taint Analysis Time by 75%
Nontrailing separators do not spark joy
🧩
Constraint Logic
Content type:
News
Computer Things via buttondown.com
·
9h
9 hours ago
·
Lobsters
Actions for Nontrailing separators do not spark joy
Programming Languages Software Award
✓
Formal Methods
sigplan.org
·
14h
14 hours ago
Actions for Programming Languages Software Award
Introduction - Rust for Python Programmers
🌉
Language Bridges
microsoft.github.io
·
6d
6 days ago
·
Hacker News
Actions for Introduction - Rust for Python Programmers
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