Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Issue 481
haskellweekly.news·2m
🔗Functional Compilers
‘Controlled chaos’: how to create an environment that fosters genius
nature.com·34m
📐Mathematical Art
Historical highlights?
logicmatters.net·2d
🔀Category Theory
Agent Memory with Spring AI & Redis
dev.to·16h·
Discuss: DEV
⚡Redis Internals
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·8h
💻Programming languages
Gradual negation types and the Python type system
jellezijlstra.github.io·5h·
Discuss: Hacker News
🔬Refinement Types
An engineer’s path from data loss to software preservation
softwareheritage.org·1d
🔄Archival Workflows
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·16h·
Discuss: Hacker News
✨Algebraic Effects
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·8h
🗂️Vector Databases
Almost Always Auto (2013)
herbsutter.com·2h·
Discuss: Hacker News
🔒Type Safety
Go interfaces and json.Unmarshal
fbrs.io·16h
🔧Binary Parsers
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·1d·
Discuss: r/MachineLearning
📊Learned Metrics
Billions of Edges per Second with Postgres
onesparse.com·1d·
Discuss: Hacker News
🗜️Graph Compression
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·1d·
Discuss: Hacker News
🌀Differential Geometry
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity