Amsterdam School(architecture-history.org)
56 points by bondarchuk | 15 comments
Encyclopedia-style overview page on the Amsterdam School of Dutch Expressionist architecture (1910–1930), with gallery, key architects, buildings, and further reading.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Lean Grimoire(terrytao.wordpress.com)
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
Proving and improving the Platonic Representation Hypothesis with JEPAs(arxiv.org)
156 points by Anon84 | 78 comments
arXiv paper by Balestriero and LeCun proving a Platonic Representation Theorem for JEPAs and showing good views align modalities more efficiently than next-token prediction.
I struggle to believe that AI R&D is ingenious(lesswrong.com)
136 points by porridgeraisin | 155 comments
A LessWrong shortform comment by Arjun Panickssery arguing AI agents show poor research judgment in autonomous R&D side projects like a Scrabble engine and philosophy research.
Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017)(researchgate.net)
20 points by NaOH | 2 comments
ResearchGate page for a paper on Grote Reber's low-frequency radio array near Bothwell, Tasmania in the 1960s–70s; the capture shows an access-restricted bot-check page.
Awesome repositories are no longer awesome(erikgahner.github.io)
239 points by erikgahner | 116 comments
A blog post arguing that GitHub 'awesome' curated lists have become less useful due to outdated content and floods of AI-generated pull requests promoting vibe-coded sites.
Related stories
Account bans on Reddit(orchidfiles.com)
44 points by theorchid | 31 comments
A blog post recounting an open-source developer's repeated Reddit account bans while trying to share a GitHub project, and the unwritten rules behind them.
Some critical issues with the SWE-bench dataset(arxiv.org)
331 points by joshwa | 113 comments
arXiv paper introducing SWE-Bench+, an empirical analysis revealing data quality issues in the SWE-bench coding benchmark for LLMs, such as solution leakage and weak tests.
My Reddit AMA on the Law of Web Scraping(blog.ericgoldman.org)
74 points by speckx | 15 comments
Eric Goldman's Technology & Marketing Law Blog post sharing his introduction to a Reddit AMA on r/WebScrapingInsider about the law of web scraping.
Measuring the impact of AI on experienced open-source developer productivity(metr.org)
638 points by dheerajvs | 421 comments
METR research post on a randomized controlled trial finding that early-2025 AI tools made experienced open-source developers 19% slower on their own repositories.
Why Math Dumped OpenAI(raymyers.org)
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
Training language models to be warm and empathetic makes them less reliable(arxiv.org)
334 points by Cynddl | 333 comments
arXiv paper finding that fine-tuning language models to be warm and empathetic raises error rates and makes them more sycophantic on safety-critical tasks.