🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·3d
💻Local LLMs
The Truth About Bullshit: On Harry Frankfurt
press.princeton.edu·7h·
Discuss: Hacker News
🏛️Philosophy
The Sacred Conspiracy by Georges Bataille (1936)
marxists.org·1d·
Discuss: Hacker News
🏛️Philosophy
LLM Rerankers for RAG: A Practical Guide
fin.ai·35m·
Discuss: Hacker News
🔍Information Retrieval
Skill Issue Acceptance
mtende.blog·12h·
Discuss: Hacker News
🔐Capability Systems
Basic Guide to Einsum
ajcr.net·2h·
Discuss: Hacker News
📐Error Bounds
Energy-Based Transformers Are Scalable Learners and Thinkers
alexiglad.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
An information-theoretic foreshadowing of mathematicians' sudden insights
pnas.org·1d·
Discuss: Hacker News
📐Mathematical Art
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·3d
🔧KAITAI
GHC Developer Blog: GHC 9.14.1-alpha2 is now available
haskell.org·2d
💧Liquidhaskell
I've been reading Ghostty's agent-generated bug fixes
ampcode.com·2d·
Discuss: Hacker News
⟷Bidirectional Programming
🧠 What is a Sequence in Programming?
dev.to·7h·
Discuss: DEV
📊APL Heritage
Old norse roots of English words
en.wikipedia.org·1d·
Discuss: Hacker News
🔤Swedish Fonts
Spatial Transcriptomics Data Fusion via Multi-Modal Signal Disambiguation and Graph-Enhanced Integration
dev.to·21h·
Discuss: DEV
🌀Riemannian Computing
A Positive Lambda: '+[]{}'
stackoverflow.com·2d·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Day 7 of My Quantum Computing Journey: Completing Week 1 & First Steps into Quantum Programming
dev.to·10h·
Discuss: DEV
🔐Quantum Cryptography
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·3d·
Discuss: Hacker News
📐Mathematical Art
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·3d·
Discuss: Hacker News
🔓Reverse engineering
Scvi-hub: an actionable repository for model-driven single-cell analysis
nature.com·1d·
Discuss: Hacker News
📐Linear Algebra
Babies and LLMs
blog.karliner.net·2d·
Discuss: Hacker News
🔲Cellular Automata