📐 Mathematics - nioobers · Scour

Topics in Probability, Parametric Estimation and Stochastic Calculus 📉Statistics

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

quantamagazine.org·14h·Hacker News

Gift Ideas for Mathematicians — Thirteen Objects with Real Math Inside 📐Computational Geometry

abakcus.com·1d

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

Domino Tiling: From Dynamic Programming to Finite Fields 📊Algorithms

omegasyntax.com·2d·Hacker News

An Experiment in Formal Verification with Claude 📐Type Systems

blog.succinct.xyz·10h

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·9h·Hacker News

machine review for the scientific record λPL Theory

pith.science·2d·Hacker News

White Rabbit Mathematics-Extended 🔐Cryptography

pballew.blogspot.com·23h·Blogger

Barlow surface in nLab λPL Theory

ncatlab.org·1d

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

datascienceweekly.org·6d

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

scientificamerican.com

·1d·Hacker News

Kangaroo Euclid ♟️Chess

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

Abstract Algebra: Theory and Applications λPL Theory

twjudson.github.io·1d

RT by @ylecun: Yann LeCun says LLMs are strongest in domains where language itself is the substrate of reasoning, like math and code λPL Theory

twitter.macworks.dev

·5d

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

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

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·14h

Self-Complementary Graphs 📊Algorithms

mathworld.wolfram.com·4d·Hacker News

Log in to enable infinite scrolling