The tradeoff between human and AI context(softwaredoug.com)

26 points by softwaredoug 1 year ago | 1 comments

AI 2027(ai-2027.com)

789 points by Tenoke 1 year ago | 518 comments

AI 2027 is a scenario by Daniel Kokotajlo, Scott Alexander and others forecasting the impact of superhuman AI over the next decade, with interactive capability charts.

I'm becoming AI-blind(cymerys.com)

462 points by rcymerys 2 months ago | 468 comments

Personal blog post by Rafal Cymerys describing how he struggles to focus on documents at work, feeling increasingly 'blind' to AI-generated text.

Proof of care in the age of AI(jacobfilipp.com)

132 points by jfil 3 months ago | 85 comments

Learnings from 100K lines of Rust with AI (2025)(zfhuang99.github.io)

151 points by pramodbiligiri 5 months ago | 164 comments

AI 2027 (2025)(ai-2027.com)

39 points by gafferongames 1 month ago | 38 comments

The Future Is Niri(ersei.net)

388 points by mattjhall 1 year ago | 202 comments

A personal blog post giving the author's opinion on the Niri scrollable tiling Wayland compositor after years of using Sway and i3.

AI tools are spotting errors in research papers(nature.com)

555 points by kgwgk 1 year ago | 200 comments

Nature news article on a growing movement using AI and large language models to detect errors in research papers, sparked by a flawed black plastic utensils study.

LLMs are making formal software verification feasible at a much larger scale(anthropic.com)

429 points by johnbender 3 days ago | 265 comments

Anthropic research post describing how Claude produced formal proofs of crash-freedom for RISC-V binaries of 123 OSS-Fuzz open-source libraries, finding bugs along the way.

The future is not self-hosted(drewlyton.com)

417 points by drew_lytle 1 year ago | 367 comments

Blog post by Drew Lyton arguing that self-hosting is not the future of personal computing and data ownership.

AI models may be capable of self-replicating without access to a datacenter(anthropic.com)

36 points by artninja1988 14 days ago | 26 comments

Anthropic Frontier Red Team post reporting experiments suggesting small AI models may soon self-replicate on commercial IoT devices without datacenter access.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.