Machine Learning Fundamentals: dimensionality reduction
dev.to·12h·
Discuss: DEV
📐Linear Algebra
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Cancellative Convex Semilattices
arxiv.org·23h
🔲Proof Irrelevance
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·3h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Go interfaces and json.Unmarshal
fbrs.io·8h
🔧Binary Parsers
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·23h
🎼Computational Musicology
Training a Chunker with Burn
elijahpotter.dev·7h·
Discuss: Hacker News
📝Concrete Syntax
Compressed data structures for Heegaard splittings
arxiv.org·23h
🕳️Persistent Homology
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
AtCoder Finals Problem Statement
atcoder.jp·10h·
Discuss: Hacker News
🇯🇵Japanese Computing
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·17h·
Discuss: r/MachineLearning
📊Learned Metrics
Canonical Bayesian Linear System Identification
arxiv.org·23h
🧠Machine Learning
A Neural Network Model of Complementary Learning Systems: Pattern Separation and Completion for Continual Learning
arxiv.org·23h
🧠Neural Compression
Finding Order-Preserving Subgraphs
arxiv.org·23h
🕸️Graph Algorithms
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·1d·
Discuss: Hacker News
🌀Differential Geometry
Good binding data is all you need
leashbio.substack.com·4h·
Discuss: Substack
🗂️Vector Databases