Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  security  vibecoding  github.com  linux  web  psychology  go  nature.com  google  tomshardware.com  health  show  i.redd.it  reuters.com  microsoft  apple  psypost.org  release 

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

2 months ago arxiv.org math vibecoding

ChatGPT finds an error in Terence Tao's math research

2 months ago news.ycombinator.com chatgpt gpt math

The Future of Math Research in the Age of AI

2 months ago siliconreckoner.substack.com ai math vibecoding

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

2 months ago github.com math show typescript

First Proof

3 months ago arxiv.org math pdf vibecoding

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

2 months ago github.com java

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

2 months ago fawazishola.ca show

Lambda cube

3 months ago en.wikipedia.org lambda math

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

3 months ago news.ycombinator.com math show

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

2 months ago reddit.com compiler math