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  rust  github.com  health  web  theguardian.com  i.redd.it  release  vibecoding  go  show  windows  brain  linux  security  apple  reuters.com  psypost.org  neuroscience  javascript 

A relationship between the Collatz conjecture and the Fibonacci numbers

35 days ago vincentrolfs.dev math

The Man Who Stole Infinity

25 days ago quantamagazine.org historical math

Broken Proofs and Broken Provers

47 days ago lawrencecpaulson.github.io math

Triangle of Power (2016)

23 days ago youtube.com math video

Long-Sought Proof Tames Some of Math's Unruliest Equations

42 days ago quantamagazine.org math

Napkin Math

36 days ago github.com math

The Four-Color Theorem 1852–1976

30 days ago ams.org historical math

Math learning disability affects how the brain tackles problems

41 days ago med.stanford.edu brain math neuroscience

Lindenmayer Systems

32 days ago justinpombrio.net art math

TIL about Math.hypot()

25 days ago developer.mozilla.org javascript

The largest number representable in 64 bits

49 days ago tromp.github.io math plt

Oregon raised spending by 80%, math scores dropped

45 days ago educationnext.org math

Deterministic Programming with LLMs

26 days ago mcherm.com llm math vibecoding

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

32 days ago arxiv.org math vibecoding

ChatGPT finds an error in Terence Tao's math research

28 days ago news.ycombinator.com chatgpt gpt math

The Future of Math Research in the Age of AI

30 days ago siliconreckoner.substack.com ai math vibecoding

Show HN: I ported Manim to TypeScript (run 3b1B math animations in the browser)

26 days ago github.com math show typescript

First Proof

44 days ago arxiv.org math pdf vibecoding

Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r

27 days ago github.com java

Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch)

33 days ago fawazishola.ca show

Lambda cube

49 days ago en.wikipedia.org lambda math

Show HN: SymDerive – A functional, stateless symbolic math library

51 days ago news.ycombinator.com math show

What math topics should I study to deeply understand compilers as a self-learner?

29 days ago reddit.com compiler math

`ggmath`: A games math library with const generics and SIMD

34 days ago reddit.com game math rust

Building a custom math engine in Rust

34 days ago reddit.com math rust

Java distro with math

25 days ago reddit.com java math

Predicting Math.random() in Firefox using Z3 SMT-solver

49 days ago yurichev.com firefox javascript

SymbAnaFis v0.8.0 - High-Performance Symbolic Math in Rust

42 days ago reddit.com math rust

I built an Open-Source Math Engine for iGaming using Python and PID Control

48 days ago github.com math python

Can I turn Rust hobby projects into a career without a CS background or strong math skills?

41 days ago reddit.com math rust

More →