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
GADTs
🎨 GADTs
Specific
Generalized ADTs, Type Equality, Phantom Types, OCaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24
posts in
15.8
ms
A line-by-line translation of the
OCaml
runtime from C to Rust
📦
Opam
Content type:
Discussion
discuss.ocaml.org
·
18h
18 hours ago
·
Lobsters
,
Hacker News
Actions for A line-by-line translation of the OCaml runtime from C to Rust
OCaml
Onboarding: Introduction to the Dune build system
🏗️
Dune
Content type:
Blog
ocamlpro.com
·
6d
6 days ago
·
Hacker News
Actions for OCaml Onboarding: Introduction to the Dune build system
Kan Extensions in
Haskell
🎁
Monads
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
Poor Man's Time Machine: Lazy Evaluation in JavaScript and
Haskell
λ
Functional Programming
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
Extension or Imitation? Can you tell the valid
Haskell
Language Extensions, from the Impostors?
🎁
Monads
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?
Co-Creator of
Haskell
: Functional Prog., Thinking in
Types
, Useless Languages [video]
🎁
Monads
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]
Less-relevant results
Debootstrapping without Archeology: Stacked Implementations in Camlboot
📦
Module Systems
Content type:
Academic
arxiv.org
·
4h
4 hours ago
·
Lobsters
Actions for Debootstrapping without Archeology: Stacked Implementations in Camlboot
Static
types
and shovels (2026)
🔢
Algebraic Data Types
carefully.understood.systems
·
4h
4 hours ago
·
Lobsters
Actions for Static types and shovels (2026)
Pasteur, a zero-knowledge pastebin as an unikernel in
OCaml
🔬
Unikernels
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for Pasteur, a zero-knowledge pastebin as an unikernel in OCaml
We Cut Semgrep's Taint Analysis Time by 75%
📦
Module Systems
Content type:
Blog
semgrep.dev
·
2d
2 days ago
·
Hacker News
Actions for We Cut Semgrep's Taint Analysis Time by 75%
A Concurrent Language for Non-Concurrent Software (2010)
λ
Functional Programming
prog21.dadgum.com
·
5d
5 days ago
·
Hacker News
Actions for A Concurrent Language for Non-Concurrent Software (2010)
Implementing Monads with Async Zig
λ
Functional Programming
Content type:
Blog
platypro.net
·
1d
1 day ago
·
Hacker News
Actions for Implementing Monads with Async Zig
Nontrailing separators do not spark joy
🔤
Language Design
Content type:
News
Computer Things via buttondown.com
·
10h
10 hours ago
·
Lobsters
Actions for Nontrailing separators do not spark joy
I wish Deno would keep doing what it does best
🎁
Monads
hackers.pub
·
2d
2 days ago
·
Lobsters
,
Hacker News
,
r/javascript
Actions for I wish Deno would keep doing what it does best
Property-based testing | Liam DeVoe
🧪
Property-Based Testing
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
geohot/fromthetransistor: From the Transistor to the Web Browser, a rough outline for a 12 week course
🎁
Monads
Content type:
Code
github.com
·
15h
15 hours ago
·
Hacker News
Actions for geohot/fromthetransistor: From the Transistor to the Web Browser, a rough outline for a 12 week course
AI and the Redmonk Language Rankings
⚙️
Compiler Design
briandouglas.ie
·
2d
2 days ago
·
Hacker News
Actions for AI and the Redmonk Language Rankings
Jas: AI-Paired Engineering as a Revival of N-Version Programming
📦
Module Systems
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Jas: AI-Paired Engineering as a Revival of N-Version Programming
Revo, the Programming Language
🔤
DSLs
if-not-nil.github.io
·
6d
6 days ago
·
Hacker News
Actions for Revo, the Programming Language
Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
📐
Linear Algebra
Content type:
News
Content type:
Blog
leetarxiv.substack.com
·
2d
2 days ago
·
Substack
,
r/programming
Actions for Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
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