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  github.com  rust  vibecoding  show  apple  go  health  nature.com  arstechnica.com  theguardian.com  psychology  media  javascript  china  web  game  brain  psypost.org  microsoft 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Broken Proofs and Broken Provers

11 hours ago lawrencecpaulson.github.io math

The largest number representable in 64 bits

2 days ago tromp.github.io math plt

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

3 days ago news.ycombinator.com math show

Lambda cube

2 days ago en.wikipedia.org lambda math

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

47 hours ago yurichev.com firefox javascript

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

32 hours ago github.com math python

The-Chamelot-Engine: An Open Source python-based Math Engine for RTP Stability using PID Control

32 hours ago reddit.com math python

TIL about "human computers", people who did math calculations manually for aerospace/military projects

26 days ago ooma.com math

The 500k-ton typo: Why data center copper math doesn't add up

20 days ago investinglive.com math

The Uncomfortable Math of Working for Yourself

12 days ago thomasunise.com math

A4 Paper Stories

28 days ago susam.net math

Floating-Point Printing and Parsing Can Be Simple and Fast

15 days ago research.swtch.com go math performance

Prime chains

24 days ago johndcook.com math

You can't handle the Buddhabrot! (2024)

8 days ago lcamtuf.substack.com art math

Implementing the Transcendental Functions in Ivy

9 days ago commandcenter.blogspot.com apl math plt

Extensible math Expression Parser

33 days ago i.redd.it java math parser

Beating the House for the Love of Math

26 days ago advantage-player.com math

AI models are starting to crack high-level math problems

20 days ago techcrunch.com ai math

'Basically zero, garbage': Renowned mathematician Joel David Hamkins declares AI Models useless for solving math. Here's why

29 days ago economictimes.com ai math

Category Theory and Inclusivity

6 days ago youtu.be math plt video

Six-decade math puzzle solved by Korean mathematician

31 days ago koreaherald.com math

The Universal Pattern Popping Up in Math, Physics and Biology (2013)

12 days ago quantamagazine.org biology math

Nature-Inspired Computers Are Shockingly Good At Math

24 days ago phys.org math science

Using the same math employed by string theorists, network scientists discover that surface optimization governs the brain’s architecture — not length minimization.

27 days ago news.northeastern.edu brain math neuroscience

You CAN Average Percentiles (2016)

13 days ago rpubs.com math performance

GNU Units

5 days ago gnu.org c gnu math

Case study: Creative math – How AI fakes proofs

9 days ago tomaszmachnik.pl ai math

Visualizing Delaunay Triangulation (2022)

15 days ago ianthehenry.com compsci math visualization

CSLib: A Focused Effort on Formalizing Computer Science in Lean

13 days ago cslib.io compsci formalmethods math

LLMs Are Currently Not Helpful at All for Math Research: Hamkins

30 days ago officechai.com llm math

More →