Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Economic Questions: The E F Schumacher Question
nakedcapitalism.com·11h
⚖️Emulation Ethics
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nl·15h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
A major week
blog.mitrichev.ch·19h·
🔢Bitwise Algorithms
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.tech·2d
📊Quantization
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.com·6h·
📦Deflate
Flag this post
Will the Odds Be Ever in Your Favor?
thefiddler.substack.com·1d·
Discuss: Substack
📐Interval Arithmetic
Flag this post
Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
arxiv.org·4d
👑Coq Tactics
Flag this post
Trends in Approximation and Online Algorithms
cstheory-events.org·2d
🕸️Network Topology
Flag this post
html-is-a-tree
glfmn.io·1d·
📝Concrete Syntax
Flag this post
Flat Combining: A Simple Rust Experiment
khayyamguliyev.substack.com·17h·
Discuss: Substack
Hardware Transactional Memory
Flag this post
The Road to Flux 1.0
github.com·1d·
Discuss: Hacker News
Effect Handlers
Flag this post
Are you the asshole? Of course not!—quantifying LLMs’ sycophancy problem
arstechnica.com·17h
💻Local LLMs
Flag this post
Verifiable Delay Functions: A brief and gentle introduction
medium.com·2d·
Discuss: Hacker News
🌊Stream Ciphers
Flag this post
Wolfram Rule 30 Prizes
rule30prize.org·1d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Agentic AI from First Principles: Reflection
towardsdatascience.com·22h
Effect Handlers
Flag this post
Beyond Arithmetic: Understanding Computation and Computers
madeunraveled.xyz·1d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Large Language Model enabled Mathematical Modeling
arxiv.org·1d
🔢Denotational Semantics
Flag this post
SATisfying Solutions to Difficult Problems!
vaibhavsagar.com·3d·
🔗Combinatory Logic
Flag this post
Purely Functional Retrogames (2008)
prog21.dadgum.com·1d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Autonomous Concrete Mix Optimization With Predictive Material Degradation Modeling
dev.to·12h·
Discuss: DEV
Incremental Computation
Flag this post