Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
On This Dayin Math - November 2
pballew.blogspot.com·2h·
⚙️Proof Engineering
Flag this post
Physicists Have Mathematically Proven the Universe Is Not a Simulation
scitechdaily.com·2h
Time Crystals
Flag this post
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·2d
🕸️Algebraic Topology
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·1d
🦀Rust Macros
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·3d
🗺️Competency Maps
Flag this post
Stochastic computing
scottlocklin.wordpress.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·2d
💻Programming languages
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·20h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Jordan triple system
ncatlab.org·1d
📐Linear Algebra
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·4h·
Discuss: DEV
🌀Differential Geometry
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
Joy & Curiosity #60
registerspill.thorstenball.com·17m
🎯Content Recommendation
Flag this post
[D] Realized I like the coding and ML side of my PhD way more than the physics
reddit.com·1d·
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.com·1d·
🗂Data structures
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.com·15h
🦴Database Paleontology
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·8h·
Discuss: Hacker News
📚Proof Pedagogy
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·8h·
Discuss: Substack
🧠Machine Learning
Flag this post
Issue 496
haskellweekly.news·2d
🔗Functional Compilers
Flag this post