>progscrape ▒
All the news that's fit to scrape
Subscribe to search feed
Trending tags:
ai
github.com
rust
health
apple
show
google
trump
theverge.com
go
neuroscience
linux
security
china
psypost.org
arstechnica.com
nature.com
java
brain
psychology
Proof by storytelling
8 years ago
chalkdustmagazine.com
Related Stories
Small Propositional Logic Proof Assistant
2 days ago
reddit.com
python
A proof of concept tool to verify estimates
14 days ago
terrytao.wordpress.com
New 'Superdiffusion' Proof Probes the Mysterious Math of Turbulence
15 hours ago
quantamagazine.org
math
A tool to verify estimates, II: a flexible proof assistant
6 days ago
terrytao.wordpress.com
formalmethods
math
Linguists Find Proof of Sweeping Language Pattern Once Deemed a 'Hoax'
7 days ago
scientificamerican.com
Security Researchers Create Proof-of-Concept Program that Evades Linux Syscall-Watching Antivirus
12 days ago
theregister.com
linux
A Rust API Inspired by Python, Powered by Serde
9 days ago
ohadravid.github.io
api
python
rust
Stability by Design
8 days ago
potetm.com
clojure
Process state by &mut, or, by move in and out
8 days ago
reddit.com
rust
Time saved by AI offset by new work created, study suggests
14 days ago
arstechnica.com
ai
The Cybertruck was supposed to be apocalypse-proof. Can it even survive a trip to the grocery store?
2 days ago
theguardian.com
"Vibe Coding" by Emergent Garden
10 days ago
youtube.com
vibecoding
video
Filtering GitHub actions by changed files
12 days ago
nedbatchelder.com
devops
github
vcs
Stop Solving Problems by Adding Processes
4 days ago
medium.com
UK could require solar panels on most new homes by 2027 | Country aims to decarbonize by 2030
12 days ago
techspot.com
Contributions to ruby/spec by Ruby implementation
13 days ago
eregon.me
ruby
Reducing SVGs by 90% with Javascript tricks
9 days ago
lostpixels.io
javascript
Ports that are blocked by browsers (2023)
3 days ago
keenformatics.com
Mac app launches slowed by malware scan (2024)
15 days ago
lapcatsoftware.com
mac
malware
AfD classified as extreme-right by German intelligence
14 days ago
bbc.com
Pinterest Users Left Confused By Mass Account Suspensions
14 days ago
theverge.com
16-bit Intel 8088 Chip by Charles Bukowski
7 days ago
kottke.org
culture
intel
I ruined my vacation by reverse engineering WSC
5 days ago
blog.es3n1n.eu
reversing
security
windows
Nvidia Reportedly Raises GPU Prices by 10-15%
4 days ago
tomshardware.com
gpu
nvidia
Malicious compliance by booking an available meeting room
43 hours ago
clientserver.dev
Giant Bomb has been sold by Fandom, will continue independently | The site has been purchased by long-time staff members
5 days ago
videogameschronicle.com
ADHD could contribute to obesity by reducing physical activity, and this relationship could also be influenced by where you live
24 hours ago
scimex.org
health
US Manufacturing Activity Shrinks by the Most Since November
15 days ago
bloomberg.com
claude-code: Anthropic's CVE 9.x "by design"
14 days ago
substack.evancarroll.com
Website for US deportation airline GlobalX defaced by hackers
10 days ago
reuters.com
airline
flight