Attention Wasn't All We Needed(stephendiehl.com)

87 points by mooreds 1 year ago | 14 comments

Silence Is a Commons by Ivan Illich (1983)(davidtinapple.com)

182 points by entaloneralie 1 year ago | 46 comments

Mathematics Without Mathematicians(borretti.me)

34 points by varjag 2 months ago | 38 comments

No one should use the AT&T syntax (2021)(outerproduct.net)

76 points by Tomte 2 years ago | 63 comments

What is going on in Unix with errno's limited nature(utcc.utoronto.ca)

61 points by ingve 1 year ago | 38 comments

Opinions of Doron Zeilberger(sites.math.rutgers.edu)

46 points by kaladin-jasnah 2 years ago | 42 comments

Deep learning gets the glory, deep fact checking gets ignored(rachel.fast.ai)

549 points by chmaynard 1 year ago | 134 comments

Rachel Thomas blog post on how a high-profile Nature paper using a Transformer to predict enzyme functions contained many errors that received far less attention than the original result.

Google is winning on every AI front(thealgorithmicbridge.com)

847 points by vinhnx 1 year ago | 687 comments

A paid Algorithmic Bridge Substack post by Alberto Romero arguing that Google is ahead of OpenAI and Anthropic across every front of AI.

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.

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.

The new skill in AI is not prompting, it's context engineering(philschmid.de)

832 points by robotswantdata 1 year ago | 467 comments

Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.