progscrape: math

Inexpressibility in Exp-Minus-Log (EML)

53 days ago arxiv.org math

Raft Consensus with a Minority of Nodes

32 days ago padhye.org distributed math

I made a clean, generic, zero-dependency matrix math package for Go.

38 days ago reddit.com go math

Coalgebras and Automata

27 days ago web.archive.org haskell math

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

39 days ago jameshaydon.github.io formalmethods llm math vibecoding

ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parameters

51 days ago firethering.com math

Unlocking sudoku's secrets (2025)

48 days ago chalkdustmagazine.com math

Fast Fourier Transforms Part 1: Cooley-Tukey

48 days ago connorboyle.io math

Monocurl - Interactive math animation language and editor

50 days ago i.redd.it math rust

Three Cultures of Math

48 days ago rkirov.github.io math vibecoding

New study shows it's intelligence, not shared skills or rhythm, that link math & music talents together

56 days ago psypost.org math music psychology

When is your birthday? The math behind hash collisions

49 days ago 0xkrt26.github.io hash math

uiGrid - eGui- 1.0.6 - “Black Math” MIT licensed datagrid

37 days ago i.redd.it math mit rust

A recent experience with ChatGPT 5.5 Pro

49 days ago gowers.wordpress.com chatgpt gpt math vibecoding

MathNet:30k competition math problems for AI mathematical reasoning benchmarking

54 days ago mathnet.mit.edu ai math

GPU Memory Math for LLMs: Formula That Tells You What Fits on Your GPU

37 days ago theahmadosman.substack.com gpu llm math

US Math/Reading Scores Continue 13-Year Decline. Researchers Blame Reduced Testing and Social Media

40 days ago time.com media

Monocurl (interactive math animation editor) UPDATE: Linux now available!

48 days ago reddit.com linux math rust

Used Claude as my coding buddy to make a bunch of gambling math calculators. No frameworks, just raw HTML/CSS/JS

56 days ago github.com javascript math

Math-to-Manim

30 days ago github.com

All elementary functions from a single binary operator

2 months ago arxiv.org math

How does Shazam work?

2 months ago perthirtysix.com math shazam

Floating point from scratch: Hard Mode

2 months ago essenceia.github.io hardware math

Not all elementary functions can be expressed with exp-minus-log

2 months ago stylewarning.com math

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

2 months ago arxiv.org compiler math

A New Perspective on Drawing Venn Diagrams for Data Visualization