Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
Codeminer42 Dev Weekly #82
blog.codeminer42.com·4h
🎯Gradual Typing
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·18h
🗺️Competency Maps
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·1d
⚛️Quantum Algorithms
Umwelt
en.wikipedia.org·20h
⚙️systems theory
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·12h·
Discuss: Substack
🔲Cellular Automata
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·2d
🕸️Graph Algorithms
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·18h
🧮Theorem Proving
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
💧Liquid Types
Neuro-Symbolic AI
en.wikipedia.org·7h·
Discuss: Hacker News
🔲Cellular Automata
Every Line of Code Is a Philosophy in Disguise
dev.to·15h·
Discuss: DEV
⚖️Emulation Ethics
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·4d
🎯Gradual Typing
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·5h·
Discuss: Hacker News
📟Terminal Typography
IASC: Interactive Agentic System for ConLangs
arxiv.org·18h
🌳Context free grammars
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs