∑ Math - buckman · Scour

Vector, the Journal of the British APL Association 🔍Static Analysis

web.archive.org·2d·Hacker News

Mathsci-comm Network 🕸️Network Topology

mathsci-comm.maths.org·2d

Math Notes 📐Mathematics

futilitycloset.com·3d

Rank & Select 📊Columnar Databases

curiouscoding.nl·1d

Double Maths First Thing: Issue 55 📐Mathematics

aperiodical.com·5d

The fall of the theorem economy ∞Philosophy of Math

davidbessis.substack.com·6d·Substack

simple type conjecture in nLab ⚛️Particle Physics

ncatlab.org·2d

Proofs are Programs: A Few Examples of the Curry-Howard Correspondence 🧮Complexity Theory

adueck.github.io·5d·Hacker News, r/programming

An Algorithmic Reconstruction of Normalisation by Evaluation 🔍Binary Diffing

yangzhixuan.github.io·5d·Lobsters, Hacker News

Mathematician Collapses All Functions to One Weird Formula 📐Mathematics

backreaction.blogspot.com·6d·backreaction.blogspot.com

Show HN: Four years of my CS degree, typeset in LaTeX (850 pages) 🖥️CS Fundamentals

starikov.co·6d·Hacker News

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔍Static Analysis

lispy-gopher-show.itch.io·3d

The Proof in the Code traces efforts to digitally verify mathematical truths 🔍Static Analysis

sciencenews.org

·6d

Sequent Calculi for Public Announcement Logic and Action Model Logic 🧠LLM Reasoning

philsci-archive.pitt.edu·3d

Effekt Language: Effectful Recursion Schemes 🧠LLM

effekt-lang.org·6d·Lobsters

Comptime tensor 🔢NumPy

Visualize linked list, trees, and many more. 🗂️Data Structures

dsapanicle.com·6d·r/coding

Fundamental Theorem of Calculus | David Álvarez Rosa 📜History of Mathematics

david.alvarezrosa.com·4d·Hacker News

The Grammaticon: Linking grammatical comparative concepts to typological databases 🗣️Linguistics

dlc.hypotheses.org·4d

Max-and-Omnis/Nemotron-3-Super-64B-A12B-Math-REAP-GGUF ⚡Quantization

huggingface.co·3d·r/LocalLLaMA

Log in to enable infinite scrolling