>progscrape ▒
All the news that's fit to scrape
Subscribe to search feed
Trending tags:
ai
github.com
rust
psychology
trump
health
microsoft
psypost.org
show
apple
linux
vibecoding
theregister.com
brain
go
arstechnica.com
video
environment
nature.com
java
Proof Without Words: Gregory’s Theorem
6 years ago
divisbyzero.com
Related Stories
Maypole Dance of Braid Like Groups (2009)
11 days ago
divisbyzero.com
Proofs Without Words
6 days ago
artofproblemsolving.com
CAP Theorem in 1 diagram and 132 words
11 days ago
systemdesignbutsimple.com
PCP Theorem Question
17 days ago
reddit.com
The Core of Fermat's Last Theorem Just Got Superpowered
11 days ago
quantamagazine.org
'Proof' Review: Finding Truth in Numbers
14 days ago
wsj.com
A Straightforward Explanation of the Good Regulator Theorem
6 days ago
lesswrong.com
Proof of concept - Linux distro with Go
17 days ago
reddit.com
go
linux
CQRS in 1 diagram and 178 words
27 hours ago
systemdesignbutsimple.com
A maths proof that is only true in Japan
14 days ago
newscientist.com
japan
Consistent Hashing in 1 diagram and 198 words
18 days ago
systemdesignbutsimple.com
Consistency Patterns in 3 diagrams and 165 words
8 days ago
systemdesignbutsimple.com
Pub/Sub in 1 diagram and 187 words
4 days ago
systemdesignbutsimple.com
Formalizing a proof in lean using GitHub Copilot and canonical
16 days ago
youtu.be
github
vibecoding
video
Unlocking the Motorola G23 (and some words on Motorola)
11 days ago
shomy.is-a.dev
android
motorola
reversing
security
Retry with Exponential Backoff in 1 diagram and 173 words
15 days ago
systemdesignbutsimple.com
Shirt Without Stripes (2021)
13 days ago
github.com
Mushrooms communicate with each other using up to 50 'words', scientist claims (2022)
11 days ago
theguardian.com
Recovering control flow structures without CFGs
14 days ago
purplesyringa.moe
java
plt
Electric motor runs without metal coils
8 days ago
newatlas.com
Quantum Computing without the Linear Algebra
7 days ago
eprint.iacr.org
compsci
pdf
pmGenerator 1.2.2 released: Extended proof compression and natural deduction to Hilbert-style conversion
8 days ago
reddit.com
compression
release
Streaming HTML out of order without JavaScript
18 days ago
lamplightdev.com
html
javascript
Life Really Is Better Without the Internet
17 days ago
theatlantic.com
Customizing checkboxes and radio buttons without hacks
17 days ago
rafaelcamargo.com
Building Industrial Strength Software without Unit Tests
17 days ago
chrispenner.ca
testing
Getting started with Qt, without the nonsense
12 days ago
sebastiano.tronto.net
Low-background Steel: content without AI contamination
10 days ago
blog.jgc.org
ai
A 'cheat-proof' protocol for generating random numbers could prevent hidden tampering or rigged outcomes in drawings
9 days ago
sciencenews.org
Show HN: Localize React apps without rewriting code
17 days ago
github.com
react
show