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
馃搻 Type Theory
Dependent Types, Linear Types, Effect Systems, Hindley-Milner
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112085
posts in
374.6
ms
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
路
1d
馃敡
functional programming languages
microgpt
karpathy.github.io
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃捇
programming
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
路
21h
馃敡
functional programming languages
Balance
of
abstraction
aleksei.dev
路
23h
馃
Rust
Lean
4 and the Curry鈥揌oward
correspondence
wildonblog.wordpress.com
路
4d
馃敡
functional programming languages
Trace
Length
is a Simple Uncertainty Signal in Reasoning Models
machinelearning.apple.com
路
19h
鈿狅笍
Error Handling
Understanding
JavaScript
the Easy Way
dev.to
路
4h
路
Discuss:
DEV
馃捇
programming
Presentation: Building
Embedding
Models for Large-Scale Real-World
Applications
infoq.com
路
3h
馃敡
functional programming languages
馃敆 Explainer:
Tree-sitter
vs.
LSP
yellowduck.be
路
1d
馃敡
functional programming languages
Compositionality
of Systems and
Partially
Ordered Runs
arxiv.org
路
14h
馃
Rust
The
Observer
Lemma
zenodo.org
路
1d
路
Discuss:
Hacker News
鈿狅笍
Error Handling
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
路
8h
路
Discuss:
Substack
馃
Rust
What a
multiverse
good for
anyway
?
statmodeling.stat.columbia.edu
路
1d
馃敡
functional programming languages
12
OOP
Concepts
EVERY Developer Should Know
blog.algomaster.io
路
1d
馃
Rust
Languages
aren
鈥檛 real
facebook.com
路
18h
馃敡
functional programming languages
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
路
1d
路
Discuss:
Hacker News
馃敡
functional programming languages
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
路
1d
路
Discuss:
Hacker News
馃
Rust
Proving
What's Possible
buttondown.com
路
2d
鈿狅笍
Error Handling
EduC
++
Documentation
educplusplus.com
路
1d
路
Discuss:
r/cpp
馃
Rust
The
Redundancy
Paradox
mihirdeshpande.com
路
1d
路
Discuss:
Hacker News
馃
Rust
Sign up or log in to see more results
Sign Up
Login
« 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