matmat's likes

Matched interest: Database Internals. See more posts related to it

How Databases Store Your Tables on Disk

deepintodev.comHN
Read on Scour →
Feeds
Matched interest: Type Theory. See more posts related to it

Proving Algebraic Datatypes are “Algebraic”

Thomas Letan’s Blog
Read on Scour →
Feeds
Matched interest: Nix Adoption. See more posts related to it

I Think It's Time to Give Nix a Chance

maych.inHN
Read on Scour →
Feeds
Matched interest: Functional Programming. See more posts related to it

A no-maths guide to monads

raphael-proust.gitlab.ioHN
Read on Scour →
Feeds
Matched interest: Proxmox HA. See more posts related to it

High Availability Proxmox clusters are amazing

XDA
Read on Scour →
Feeds
Matched interest: Information Geometry. See more posts related to it

Accurate Estimation of Mutual Information in High Dimensional Data

arXiv
Read on Scour →
Feeds
Matched interest: Topological Sorting. See more posts related to it

Using Obscure Graph Theory to Solve Programming Languages Problems

Reasonably PolymorphicHN
Read on Scour →
Feeds
Matched interest: Homelab Monitoring. See more posts related to it

My Homelab Network (so far)

r/homelabr/homelab
Read on Scour →
Feeds
Matched interest: Lisp. See more posts related to it

Beyond the If Pattern

lambdaisland.com
Read on Scour →
Feeds
Matched interest: Lambda Lifting. See more posts related to it

Closure Conversion Takes The Function Out Of Functional Programming

thunderseethe.dev
Read on Scour →
Feeds
Matched interest: vintage computing. See more posts related to it

The 1977 Trinity - Which Computer is the Best Buy?

Nerdly Pleasuresnerdlypleasures.blogspot.com
Read on Scour →
Feeds
Matched interest: RSS Reading Practices. See more posts related to it

Announcing Scour on r/RSS

Evan Schwartz
Read on Scour →
Feeds
Matched interest: Systems Programming. See more posts related to it

Rewrite OS without C completely, why, how, and when?

gizvault.comHN
Read on Scour →
Feeds
Matched interest: CBOR. See more posts related to it

RFC 8152 – CBOR Object Signing and Encryption (COSE)

IETF DatatrackerHNCovered by2
IETF Datatracker
Covered by2 sites
DEV Community, and more ›
Read on Scour →
Feeds
Matched interest: Functional Compilers. See more posts related to it

MicroHs: Haskell implemented with combinators by Lennart Augustsson

augustss/microhsHN2
Read on Scour →
Feeds
Matched interest: Vector Search. See more posts related to it

Cascading retrieval with multi-vector representations

PineconeHN2
Read on Scour →
Feeds
Matched interest: Functional Compilers. See more posts related to it

Monad Transformers are a Great Abstraction

Thomas Letan’s Blog
Read on Scour →
Feeds
Matched interest: Type Theory. See more posts related to it

Master Thesis Impredicative Encodings of Inductive and Coinductive Types

arXiv
Read on Scour →
Feeds
Matched interest: Reed-Solomon. See more posts related to it

Coding Theorem for Generalized Reed-Solomon Codes

arXiv
Read on Scour →
Feeds
Matched interest: RSS Syndication. See more posts related to it

Grouping Similar RSS Articles Using Vector Embeddings

r/rssr/rss
Read on Scour →
Feeds

Keyboard shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help