🔀 Category Theory

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

The next new thing - Ahead-of-Time compilation, native AOT
blog.axantum.com·7h·
Discuss: blog.axantum.com
🏗️Compiler Archaeology
Flag this post
Geometric Math Art, Recovered
denisegaskins.com·1d
📐Mathematical Art
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
How Data Mixing Shapes In-Context Learning: Asymptotic Equivalence for Transformers with MLPs
arxiv.org·10h
🧠Machine Learning
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·14h·
Discuss: Hacker News
📊Static Analysis
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·1d
🕸️Neo4j
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·1d·
Discuss: Hacker News
📏Code Metrics
Flag this post
The Green Tea Garbage Collector
go.dev·1d·
Discuss: Lobsters, Hacker News, r/golang
🌊Streaming Algorithms
Flag this post
[P] I made a tool to search papers from selected AI venues
reddit.com·10h·
Discuss: r/MachineLearning
🌀Brotli Internals
Flag this post
Splitting (Empty) Strings (2017)
chriszetter.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
The True Guide to Omniscience And Why Everyone Lies to You About Knowledge
hackernoon.com·9h
🐚Shell Calculus
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·1h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Depth and Autonomy: A Framework for Evaluating LLM Applications in Social Science Research
arxiv.org·10h
🏛Digital humanities
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·1d
⚡Effectful Programming
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·3d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Everything About Transformers
krupadave.com·19h·
Discuss: Hacker News
📝Text Parsing
Flag this post
Transformers for Unseen Patterns: Bayesian Clustering Reimagined
dev.to·1d·
Discuss: DEV
🌊Spectral Clustering
Flag this post
Holographic theory of LLMs: explains unbreakable bias and cross-model infection
habr.com·1d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Can Aha Moments Be Fake? Identifying True and Decorative Thinking Steps in Chain-of-Thought
arxiv.org·10h
💻Programming languages
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·21h·
Discuss: Hacker News
📏Code Metrics
Flag this post