>progscrape ▒
All the news that's fit to scrape
Subscribe to search feed
Trending tags:
ai
github.com
rust
trump
health
psychology
linux
apple
microsoft
psypost.org
show
vibecoding
google
theregister.com
theverge.com
brain
go
video
arstechnica.com
meta
A Flying Demo of ACL2 (2000)
4 years ago
cs.utexas.edu
Related Stories
The Humble Programmer (1972)
2 days ago
cs.utexas.edu
Compiler demo working
14 days ago
reddit.com
compiler
Flying Now Puts You at Risk of Measles Exposure, CDC Says
11 days ago
jalopnik.com
Spatializing 6k years of global urbanization from 3700 BC to AD 2000
4 days ago
nature.com
Chinese AI Companies Dodge US Chip Curbs Flying Suitcases of Hard Drives Abroad
5 days ago
wsj.com
ai
china
Can I stop drone delivery companies flying over my property?
17 days ago
rte.ie
drone
From zero to demo: a newcomer's experience learning Bevy
8 days ago
youtube.com
education
rust
video
AI agent startups at Y Combinator’s Spring ’25 Demo Day
5 days ago
businessinsider.com
ai
The northward drift of the jet stream has caused a 40% drop in marine primary production in the NW Mediterranean since 2000
6 days ago
sciencedirect.com
environment
1 year making a game in Go - the demo just entered Steam Next Fest 2025
8 days ago
store.steampowered.com
game
go
I'm looking for a demo that replicated the Windows 10 desktop in a browser window.
9 days ago
reddit.com
javascript
windows
The Illusion of “The Illusion of Thinking”
10 days ago
seangoedecke.com
The full version of the saying: "Jack of all trades, master of none."
45 hours ago
rochemamabolo.wordpress.com
Distribution of bots that are accused of vibecoding
16 days ago
reddit.com
go
The Unreasonable Effectiveness of Fundamentals of Computer Science
12 days ago
osada.blog
The Algebra of an Infinite Grid of Resistors
4 days ago
mathpages.com
Meta-analysis of three different notions of software complexity
5 days ago
typesanitizer.com
philosophy
Cinematography of “Andor”
18 days ago
pushing-pixels.org
Suppressions of Suppressions
7 days ago
overreacted.io
javascript
The Illusion of Thinking: Strengths and Limitations of Reasoning Models
11 days ago
machinelearning.apple.com
ai
Privacy implications of browsers’ (mis)implementations of Widevine EME (2023)
2 days ago
hal.science
privacy
The Simple Macroeconomics of AI – Extended Summary of the related paper
18 days ago
codingismycraft.blog
ai
The Illusion of Thinking: Understanding the Limitations of Reasoning LLMs [pdf]
13 days ago
ml-site.cdn-apple.com
ai
llm
pdf
Use of Common Psychiatric Medications and Risk and Prognosis of ALS
11 days ago
jamanetwork.com
health
CEO of Health Care Software Company Convicted of $1B Fraud Conspiracy
11 days ago
justice.gov
The virtue of unsynn
17 days ago
youtube.com
rust
So tired of python
16 days ago
reddit.com
python
The Spectacle of "Building"
12 days ago
fakepixels.substack.com
Performance of random floats
11 days ago
dotat.at
performance
rewrite of the century
9 days ago
reddit.com
rust