📐 Mathematics - nioobers · Scour

Topics in Probability, Parametric Estimation and Stochastic Calculus 📉Statistics

How Alexander Grothendieck Revolutionized 20th-Century Mathematics 📐Type Systems

quantamagazine.org·13h·Hacker News

Domino Tiling: From Dynamic Programming to Finite Fields 📊Algorithms

omegasyntax.com·2d·Hacker News

rohitg00/ai-engineering-from-scratch: Learn it. Build it. Ship it for others. 🔍Reverse Engineering

machine review for the scientific record λPL Theory

pith.science·2d·Hacker News

An Experiment in Formal Verification with Claude 📐Type Systems

blog.succinct.xyz·9h

Jennifer Morse Math λPL Theory

morsej123.github.io·4d

New comment by m-hodges in "An OpenAI model has disproved a central conjecture in discrete geometry" 📐Computational Geometry

news.ycombinator.com·8h·Hacker News

Barlow surface in nLab λPL Theory

ncatlab.org·1d

On This Day in Math 🔬Science

pballew.blogspot.com·23h·Blogger

The Riemann hypothesis is a million-dollar math problem hardly anyone is trying to solve 📊Algorithms

scientificamerican.com

·1d·Hacker News

How much Math & Stats do I need on my Data Science resume? 📉Statistics

datascienceweekly.org·6d

Abstract Algebra: Theory and Applications λPL Theory

twjudson.github.io·1d

Five Books That Teach You to Think Like a Mathematician 🧩Cognitive Science

abakcus.com·5d

Using algebra and LLMs to verify a flight-plan bug fix in Lean 📊Algorithms

jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming

Why Category Theory Matters λPL Theory

Presentation of Xcas, the Swiss knife for mathematics 📐Computational Geometry

www-fourier.univ-grenoble-alpes.fr·2d·Hacker News

Two Researchers Are Rebuilding Mathematics From the Ground Up 📐Computational Geometry

quantamagazine.org·13h

Kangaroo Euclid ♟️Chess

blobthescientist.blogspot.com·5d·blobthescientist.blogspot.com

White Rabbit Mathematics-Extended 🔐Cryptography

pballew.blogspot.com·22h·Blogger

Log in to enable infinite scrolling