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 system theory and implementation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112161
posts in
478.2
ms
Free
theorems
for the
dummies
hacklewayne.com
·
18h
🗄
databases and optimization
Monads,
Applicatives
&
Functors
slicker.me
·
1d
🗄
databases and optimization
The T Project
mumble.net
·
7h
·
Discuss:
Hacker News
🗄
databases and optimization
A Conversation with
Manfred
von
Thun
(2003)
nsl.com
·
12h
·
Discuss:
Hacker News
🗄
databases and optimization
How to Choose Between
Hindley-Milner
and Bidirectional Typing
thunderseethe.dev
·
1d
·
Discuss:
r/programming
🗄
databases and optimization
The Shape of Code » Algorithm
complexity
and implementation
LOC
shape-of-code.com
·
4h
🗄
databases and optimization
Grounding Computation and Ontology in Just 4
Axioms
— The Design Philosophy of the Rei Language (0 -
shiki
)
dev.to
·
1h
·
Discuss:
DEV
🗄
databases and optimization
I built
tokio-fsm
: proc macro for compile-time
validated
async state machines
github.com
·
16h
·
Discuss:
r/coding
🗄
databases and optimization
Fun with
TypeScript
Generics
frontendmasters.com
·
2d
🗄
databases and optimization
TIL:
Markov
Language
anup.io
·
6h
🗄
databases and optimization
Leaning Into the Coding Interview:
Lean
4 vs
Dafny
cage-match
ntaylor.ca
·
1d
·
Discuss:
Lobsters
,
Hacker News
🗄
databases and optimization
Runtime
Validation in Type
Annotations
blog.natfu.be
·
3h
·
Discuss:
Lobsters
,
Hacker News
🗄
databases and optimization
dfinity/ic-hs
: A haskell toolbox for the Internet Computer
github.com
·
2h
🗄
databases and optimization
Understanding the Go
Compiler
: The
Linker
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🗄
databases and optimization
Unravelling
Abstract
Cyclic
Proofs into Proofs by Induction
arxiv.org
·
2d
🗄
databases and optimization
Linkage
11011110.github.io
·
16h
🗄
databases and optimization
Mastering
Monad
Testnet
: Automate Your Developer Activity with Python 🐍
dev.to
·
2h
·
Discuss:
DEV
🗄
databases and optimization
Contra “
Grandmaster-Level
Chess
Without Search”
cosmo.tardis.ac
·
31m
·
Discuss:
Hacker News
🗄
databases and optimization
A
neat
pattern I wanted to share: "Typed Futures in
GDScript
"
holeprogramming.substack.com
·
12h
·
Discuss:
r/godot
🗄
databases and optimization
Inner-Platform
Effect
en.wikipedia.org
·
13h
·
Discuss:
Hacker News
🗄
databases and optimization
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