Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  vibecoding  rust  health  github.com  openai  apple  psychology  china  techspot.com  psypost.org  show  microsoft  arstechnica.com  video  neuroscience  security  meta  game  brain 

Mathematics Without Mathematicians

55 days ago borretti.me math vibecoding

Living in the Math World Means Threading the Needle

55 days ago quantamagazine.org math

Palomar: A registry of Lean verified mathematics

38 days ago terrytao.wordpress.com formalmethods math

A Call for Action: The "Leiden Declaration on AI and Math"

35 days ago ams.org ai math

An internal OpenAI Astra model solved 10 major open math and CS problems

54 days ago twitter.com math openai

Learning more about Claude's mathematical capabilities

46 days ago anthropic.com math vibecoding

Lidiuma-Math: a math library using Project Valhalla

26 days ago reddit.com java math

Enshittification Relies on Broken Economic Math

54 days ago hamiltonnolan.com economic math

50 years of proof assistants

31 days ago lawrencecpaulson.github.io historical math plt

Accurate color conversions (2023)

39 days ago lomont.org graphics math

How Is Compression Prediction?

41 days ago lukefleed.xyz compression math

The mathematical beauty of hyperbezier curves

46 days ago linebender.org math visualization

A noob learns FFT

45 days ago entropicthoughts.com math visualization

A decades-old bug in Knuth's long division (TAOCP Vol II, Algorithm 4.3.1D)

43 days ago kolja.rs algorithm compsci math

The Math Superstar Who's Terrified of AI–and Just Took a Job at OpenAI

43 days ago wsj.com math openai

Making holograms with a pen plotter

45 days ago blog.jordan.matelsky.com art graphics math show

Why Erdős Problems Are Falling to AI

51 days ago quantamagazine.org ai math vibecoding

OpenAI's latest math breakthroughs commit research misconduct, experts say

50 days ago scientificamerican.com math openai

OpenAI's Astra Solved Decades-Old Math Problems For $2,000

53 days ago forbes.com ai math openai

Assessment of open AI math results

55 days ago twitter.com ai math

demoniC takes the dynamic-JIT lineage of HolyC, the vectorized math of Julia, the slicing ergonomics of Python, and the memory discipline of Rust

37 days ago github.com compiler math python rust

Classical Pell Equations Outperform math.sqrt in float64 by up to 2.5×

54 days ago reddit.com

Towards a Theory of Bugs: The Ruliology of the Unexpected

2 months ago writings.stephenwolfram.com math

Connections in Math: the two kinds of random

2 months ago stillthinking.net math

Logic for Programmers

58 days ago logicforprogrammers.com math

Methinks it is a weasel

56 days ago diatone.net math philosophy

Systems and Delays

2 months ago martin.janiczek.cz math

Claude found a counterexample to the Jacobian Conjecture

2 months ago news.ycombinator.com math vibecoding

Human mathematicians are being outcounterexampled

2 months ago xenaproject.wordpress.com math

Cross-stitch prep for math nerds

2 months ago posh.wiki math

More →