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
λ Functional Programming
Category theory, Monads, Pure functions, Type systems
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
6399
posts in
99.6
ms
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔍
Parsers
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
1d
🐫
OCaml
Breaking Down
Barriers
: My Journey to Make Programming
Truly
Global
dev.to
·
4h
·
Discuss:
DEV
🕸️
WASM
Lambda
cube
en.wikipedia.org
·
5d
·
Discuss:
Lobsters
🐫
OCaml
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
3d
·
Discuss:
Substack
🦀
Rust
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
13h
·
Discuss:
Lobsters
,
Hacker News
🐫
OCaml
Evaluate generative AI models with an Amazon Nova
rubric-based
LLM judge on Amazon
SageMaker
AI (Part 2)
aws.amazon.com
·
17h
🔍
Parsers
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
11h
🐫
OCaml
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
3d
·
Discuss:
Lobsters
🐫
OCaml
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
16h
·
Discuss:
r/golang
🕸️
WASM
mstrYoda/goraphdb
: A graph database implemented in Golang
github.com
·
15h
·
Discuss:
r/programming
🔍
Query Optimization
Layered
Modal ML: Syntax and Full
Abstraction
arxiv.org
·
3d
🐫
OCaml
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
2d
·
Discuss:
DEV
🐫
OCaml
ML-LIB
: Machine Learning Library Proposed For The Linux Kernel
phoronix.com
·
14h
·
Discuss:
Hacker News
🐫
OCaml
Text classification with Python 3.14's
zstd
module • Max
Halford
maxhalford.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔍
Parsers
java
sucks
(2000)
jwz.org
·
3d
·
Discuss:
Lobsters
🪶
suckless
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
17h
·
Discuss:
Lobsters
,
Hacker News
🕸️
WASM
On
craft
and AI
slightknack.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🪶
suckless
Flavours
of
Reflection
semantics.bernardteo.me
·
4d
·
Discuss:
Lobsters
,
r/cpp
🐫
OCaml
Jacob
Boxerman
-
Declarative
, Reproducible Emacs with straight.el and use-package
jakebox.github.io
·
11h
·
Discuss:
Lobsters
,
Hacker News
🏠
Home Manager
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