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
matmat's Likes
Subscribe
Accurate Estimation of
Mutual
Information in High
Dimensional
Data
arxiv.org
·
35w
📐
Information Geometry
Using
Obscure
Graph Theory to Solve Programming
Languages
Problems
reasonablypolymorphic.com
·
38w
·
Discuss:
Hacker News
🔗
Topological Sorting
My
Homelab
Network (so far)
reddit.com
·
36w
·
Discuss:
r/homelab
🏠
HomeLab
Beyond the If
Pattern
lambdaisland.com
·
35w
🔗
Lisp
Closure
Conversion
Takes The Function Out Of Functional Programming
thunderseethe.dev
·
38w
⬆️
Lambda Lifting
The 1977
Trinity
- Which Computer is the Best Buy?
nerdlypleasures.blogspot.com
·
37w
·
Discuss:
nerdlypleasures.blogspot.com
💾
vintage computing
Announcing
Scour
on
r/RSS
emschwartz.me
·
37w
📰
RSS Reading Practices
Rewrite
OS without C
completely
, why, how, and when?
gizvault.com
·
35w
·
Discuss:
Hacker News
,
r/programming
🔩
Systems Programming
RFC 8152 –
CBOR
Object Signing and Encryption (
COSE
)
datatracker.ietf.org
·
38w
·
Discuss:
Hacker News
🔐
CBOR
MicroHs
: Haskell implemented with combinators by Lennart
Augustsson
github.com
·
35w
·
Discuss:
Hacker News
,
Hacker News
🔗
Functional Compilers
Cascading
retrieval with multi-vector
representations
pinecone.io
·
36w
·
Discuss:
Hacker News
,
Hacker News
🗂️
Vector Search
Monad
Transformers are a Great
Abstraction
soap.coffee
·
37w
🔗
Functional Compilers
Master Thesis
Impredicative
Encodings of Inductive and
Coinductive
Types
arxiv.org
·
37w
🔤
Type Theory
Coding Theorem for Generalized
Reed-Solomon
Codes
arxiv.org
·
38w
🔧
Reed-Solomon
Grouping
Similar RSS Articles Using Vector
Embeddings
reddit.com
·
35w
·
Discuss:
r/rss
📡
RSS Syndication
Grammars
of
Formal
Uncertainty
arxiv.org
·
36w
·
Discuss:
Hacker News
📐
Binary Grammars
original ↗
lawrencecpaulson.github.io
·
35w
👑
Isabelle
Formal
Verification and Why I
Fell
in Love With It
dev.to
·
38w
·
Discuss:
DEV
👑
Isabelle
Rationale
for a Large Text
Compression
Benchmark (2009)
mattmahoney.net
·
35w
·
Discuss:
Hacker News
📝
Text Compression
Silly
job interview questions in
Haskell
chrispenner.ca
·
37w
·
Discuss:
Hacker News
λ
Lambda Encodings
Loading...
Loading more...
« Page 2
•
Page 4 »
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