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
馃惈 OCaml
Type Inference, Pattern Matching, Modules, Compiler Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
111631
posts in
526.6
ms
Programming
languages
mothcodes.bearblog.dev
路
6h
馃敡
Functional Programming
keplertech/kepler-formal
:
LEC
- Logic Equivalence Checking - Formal Verification
github.com
路
5h
路
Discuss:
Hacker News
馃
LLM
Functional
Programming
in an LLM World
notes.druchan.com
路
2d
馃敡
Functional Programming
Proof-oriented
Programming in F*
fstar-lang.org
路
1d
路
Discuss:
Lobsters
馃敡
Functional Programming
I built a scripting language that
compiles
to self-contained
binaries
dev.to
路
1h
路
Discuss:
DEV
馃敡
Functional Programming
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
路
2d
路
Discuss:
Lobsters
馃敡
Functional Programming
fltk-rs/flemish
: An
elmish
architecture for
fltk-rs
github.com
路
5h
路
Discuss:
Lobsters
,
Hacker News
馃敡
Functional Programming
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
路
12h
路
Discuss:
Hacker News
,
r/compsci
馃敡
Functional Programming
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
路
1d
馃敡
Functional Programming
EduC
++
Documentation
educplusplus.com
路
1d
路
Discuss:
r/cpp
馃敡
Functional Programming
Atomistic
, but non-complete
lattices
dominiczypen.wordpress.com
路
6h
馃敡
Functional Programming
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
路
3d
路
Discuss:
Hacker News
馃敡
Functional Programming
Python to
Wisp
: The Lisp That Stole Python's
Indentation
dev.to
路
1d
路
Discuss:
DEV
馃敡
Functional Programming
The missing
call-assign
operator
kevincox.ca
路
50m
路
Discuss:
Hacker News
馃敡
Functional Programming
Co-Routines
in 1-page of C (2013)
embeddedrelated.com
路
3h
路
Discuss:
Hacker News
馃敡
Functional Programming
Compiler-Guided
Inference-Time Adaptation: Improving GPT-5 Programming Performance in
Idris
arxiv.org
路
11h
馃敡
Functional Programming
The
prehistory
of generative grammar and聽
Chomsky
鈥檚 debt to Emil Post
benjamins.com
路
19h
路
Discuss:
Hacker News
馃敡
Functional Programming
Moss
: A Linux-compatible Rust
async
kernel, 3 months on
news.ycombinator.com
路
1h
路
Discuss:
Hacker News
馃敡
Functional Programming
Associated prime
ideals
and regular elements in
polynomial
rings
freedommathdance.blogspot.com
路
1h
路
Discuss:
freedommathdance.blogspot.com
馃敡
Functional Programming
How to think like a computer
scientist
: Learning with C
open.umn.edu
路
13h
路
Discuss:
r/C_Programming
馃敡
Functional Programming
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