Feeds to Scour
SubscribedAll
Scoured 259188 posts in 1.61 s
Algebraic Topology 1: Homotopy Equivalence
youtube.comยท7h
๐ŸŽฏType Theory
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏType Theory
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.eduยท2h
๐Ÿ—๏ธCalculus of Constructions
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy โ€” TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.ioยท7h
๐Ÿ”คLanguage Tokenizers
Preview
Report Post
Higman-Neumann-Neumann extension in nLab
ncatlab.orgยท1d
๐ŸคZipper Structures
Preview
Report Post
Error Bounds in a Smooth Metric for Brownian Approximation of Dynamical Systems via Steinโ€™s Method | Journal of Statistical Physics
link.springer.comยท1d
โšกFusion Laws
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.ioยท1hยท
Discuss: Hacker News
๐Ÿ”ML Language
Preview
Report Post
A Mechanistic Analysis of Transformers for Dynamical Systems
arxiv.orgยท2d
๐Ÿ”ML Language
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท11h
๐Ÿ”งLLVM IR
Preview
Report Post
Hj Hornbeck
freethoughtblogs.comยท14h
๐Ÿ”ML Language
Preview
Report Post
Information, Physics, and Computation (Oxford Graduate Texts): Mรฉzard, Marc, Montanari, Andrea: 8601410201722: Amazon.com: Books
amazon.comยท1d
๐ŸŽฏBit-Vector Algorithms
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.comยท1d
ฮปLambda Calculus
Preview
Report Post
Profunctors, Arrows, & Static Analysis
elvishjerricco.github.ioยท5dยท
Discuss: Hacker News
โšกfunctional programming
Preview
Report Post
Regression by Composition
lesswrong.comยท1d
๐Ÿ’ซEffect Systems
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.comยท23hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Preview
Report Post
Donald Knuthโ€™s 2025 Christmas Lecture: The Knightโ€™s Tours
denvermobileappdeveloper.comยท1dยท
Discuss: DEV
๐ŸงฎCombinator Calculus
Preview
Report Post
Portvilleโ€™s Gariepy elevated Panthersโ€™ standard
oleantimesherald.comยท1d
๐Ÿ”Fuzzy Matching
Preview
Report Post
GHC 9.12.3 is now available
haskell.orgยท22h
๐Ÿ“Linear Haskell
Preview
Report Post
(19) Elisenda Grigsby - Braids, complex geometry, and homology-type invariants
youtube.comยท18h
๐ŸŽฏType Theory
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.devยท4h
๐ŸŒณTree Walking
Preview
Report Post