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
🧮 Hindley-Milner
Type Inference, Unification, Principal Types, Let-Polymorphism
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
113849
posts in
1.19
s
Unravelling
Abstract
Cyclic
Proofs into Proofs by Induction
arxiv.org
·
1d
🧩
Constraint Programming
Readable and
concise
concatenative
programming
cognate-lang.github.io
·
57m
·
Discuss:
Hacker News
💻
Programming Languages
Department of Computer Science and Technology – Course
pages
2017–18:
Computation
Theory
cl.cam.ac.uk
·
4h
🧮
Algorithms
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
1d
🌲
Binary Search Trees
iX-Workshop Softwarearchitektur
für
KI-Systeme – skalierbare
Lösungen
entwickeln
heise.de
·
6h
🗂️
Columnar Storage
Fun with
TypeScript
Generics
frontendmasters.com
·
22h
💻
Programming Languages
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
1d
·
Discuss:
Hacker News
,
r/compsci
🧩
Constraint Programming
aalpar/wile
: Embeddable
R7RS
Scheme interpreter for Go — bytecode compiler, stack VM, hygienic macros
github.com
·
4h
·
Discuss:
Hacker News
🧩
Constraint Programming
Trust: LLMs as
Compilers
mechanicalorchard.substack.com
·
2h
·
Discuss:
Substack
💻
Programming Languages
Programming
languages
mothcodes.bearblog.dev
·
1d
💻
Programming Languages
Proof-oriented
Programming in F*
fstar-lang.org
·
2d
·
Discuss:
Lobsters
🧩
Constraint Programming
(Re)
Discovering
Natural
Laws
lesswrong.com
·
1d
📄
Document Versioning
Completed
Hyperparameter
Transfer across Modules, Width, Depth, Batch and
Duration
machinelearning.apple.com
·
1d
📄
Document Versioning
You are
probably
overpaying
for intelligence
residuals.bearblog.dev
·
18h
🌲
Binary Search Trees
Associated prime
ideals
and regular elements in
polynomial
rings
freedommathdance.blogspot.com
·
1d
·
Discuss:
freedommathdance.blogspot.com
🧩
Constraint Programming
rawr
iloveyouindinosaur.org
·
41m
🗣️
Natural Language Parsing
Package
Management
Namespaces
nesbitt.io
·
15h
🏷️
Named Entity Recognition
Swift
Concurrency
from Zero to
Hero
| Reading List
swiftology.io
·
16h
🧮
Algorithms
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2d
·
Discuss:
Lobsters
💻
Programming Languages
Houses
and
Utilities
pballew.blogspot.com
·
8h
·
Discuss:
Blogger
🧮
Algorithms
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