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
111880
posts in
1.16
s
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
1d
🔧
functional programming languages
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
1d
·
Discuss:
Hacker News
🔧
functional programming languages
The man who
transposed
human thought into
algebra
bigthink.com
·
21h
🔧
functional programming languages
Project
NIKA
: Unlocking
Epistemic
Agency in 4-Bit Quantized Models
pub.towardsai.net
·
8h
⚠️
Error Handling
Differential
Logic
• 6
inquiryintoinquiry.com
·
20h
💻
programming
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
15h
🔧
functional programming languages
Unlocking Lightweight Search: A Look at `
bm25-lite
` for TypeScript
github.com
·
1h
·
Discuss:
DEV
🦀
Rust
Generative
Type
experiments
brendandawes.com
·
3d
🔧
functional programming languages
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
1d
⚠️
Error Handling
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🔧
functional programming languages
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
16h
·
Discuss:
Lobsters
,
Hacker News
🔧
functional programming languages
Functional
Programming
in an LLM World
notes.druchan.com
·
2d
🔧
functional programming languages
microgpt
karpathy.github.io
·
1d
·
Discuss:
Hacker News
💻
programming
Associative
Methods
dev.to
·
17h
·
Discuss:
DEV
⚠️
Error Handling
Balance
of
abstraction
aleksei.dev
·
17h
🦀
Rust
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
3d
🔧
functional programming languages
Trace
Length
is a Simple Uncertainty Signal in Reasoning Models
machinelearning.apple.com
·
13h
⚠️
Error Handling
🔗 Explainer:
Tree-sitter
vs.
LSP
yellowduck.be
·
1d
🔧
functional programming languages
Languages
aren
’t real
facebook.com
·
12h
🔧
functional programming languages
The
Observer
Lemma
zenodo.org
·
1d
·
Discuss:
Hacker News
⚠️
Error Handling
Loading...
Loading more...
« Page 1
•
Page 3 »
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