A deep dive into deeply recursive Go
mattermost.com·15h·
Discuss: Hacker News
⬆️Lambda Lifting
Dearest C++, Let Me Count the Ways I Love/Hate Thee
hackaday.com·15h
🔩Systems Programming
Curriculum Negative Mining For Temporal Networks
arxiv.org·1d
🕸️Graph Embeddings
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·16h·
Discuss: Hacker News
🌐Computational Topology
Python Fundamentals: bounded typevar
dev.to·20h·
Discuss: DEV
⬆️Lambda Lifting
A Harris Matrix Generator & Natural Language Query Tool
electricarchaeology.ca·16h
🤖Paleographic ML
Decision Trees Aren’t Just for Tabular Data
machinelearningmastery.com·1d
🧠Machine Learning
Moan-routine: LO's Predicate Signatures
lmika.org·1d
🔗Functional Compilers
Pytrees for Scientific Python
blog.scientific-python.org·4d
🔗Topological Sorting
Opportunities for interpretable statistics for large language models
statmodeling.stat.columbia.edu·11h
🧠Intelligence Compression
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·16h·
Discuss: r/programming
🗂️Vector Databases
Graph foundation models for relational data
research.google·2d·
Discuss: Hacker News, r/programming
🕸️Graph Embeddings
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·16h·
Discuss: Hacker News, r/programming
💻Programming languages
A stupid “real-life” application of quadratic reciprocity
blog.evanchen.cc·15h
🔢Reed-Solomon Math
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·1d·
Discuss: Hacker News
🧠Separation Logic
Contemplating Entity Component Architecture (2024)
datavirke.dk·19h·
Discuss: Hacker News
🔐Capability Systems
A Catalan question
cameroncounts.wordpress.com·2d
λLambda Encodings
BSDCan 2025 Trip Report – Mark Johnston
freebsdfoundation.org·12h
🔌Operating system internals
Binding Application in Idris
andrevidela.com·1d·
Discuss: Hacker News
🔤Type Theory
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·1d
🔤Type Theory