larve on Hacker News

1

Modern Common Lisp with FSet (opens in new tab)

(fset.common-lisp.dev)

182larve25d ago28

2

GPT-5.4 pro solves erdos problem #1196 (opens in new tab)

(erdosproblems.com)

4larve25d ago0

3

The "AI Vulnerability Storm": Building a "Mythos-Ready" Security Program [pdf] (opens in new tab)

(labs.cloudsecurityalliance.org)

5larve27d ago0

4

From Fossil to Fact: The Denisova Discovery as Science in Action [pdf] (opens in new tab)

(diva-portal.org)

2larve27d ago0

5

AI, Gods, and Selves: Effective Illusions [video] (opens in new tab)

(youtube.com)

2larve27d ago0

6

Why algorithms can't think: "Artifical Communication" by Elena Esposito [video] (opens in new tab)

(youtube.com)

3larve27d ago0

7

Training AI models doesn't emit that much (opens in new tab)

(blog.andymasley.com)

3larve27d ago0

8

From "prompt and pray" to prompt engineering (opens in new tab)

(gogogolems.substack.com)

2larve1mo ago0

9

The Augmentation of Doug Engelbart (opens in new tab)

(youtube.com)

3larve1mo ago0

10

The Price of Truth (opens in new tab)

(harmoniousdiscourse.substack.com)

3larve1mo ago0

11

Slowing Down in the Age of Coding Agents (opens in new tab)

(the.scapegoat.dev)

18larve1mo ago3

12

Slowing Down in the Age of Coding Agents (opens in new tab)

(gogogolems.substack.com)

5larve1mo ago0

13

Simplicity in the age of AI-assisted coding (opens in new tab)

(the.scapegoat.dev)

1larve1mo ago0

14

Simplicity in the age of AI-assisted coding (opens in new tab)

(gogogolems.substack.com)

3larve1mo ago0

larve

Recent submissions

Modern Common Lisp with FSet (opens in new tab)

GPT-5.4 pro solves erdos problem #1196 (opens in new tab)

The "AI Vulnerability Storm": Building a "Mythos-Ready" Security Program [pdf] (opens in new tab)

From Fossil to Fact: The Denisova Discovery as Science in Action [pdf] (opens in new tab)

AI, Gods, and Selves: Effective Illusions [video] (opens in new tab)

Why algorithms can't think: "Artifical Communication" by Elena Esposito [video] (opens in new tab)

Training AI models doesn't emit that much (opens in new tab)

From "prompt and pray" to prompt engineering (opens in new tab)

The Augmentation of Doug Engelbart (opens in new tab)

The Price of Truth (opens in new tab)

Slowing Down in the Age of Coding Agents (opens in new tab)

Slowing Down in the Age of Coding Agents (opens in new tab)

Simplicity in the age of AI-assisted coding (opens in new tab)

Simplicity in the age of AI-assisted coding (opens in new tab)

Recent submissions

Modern Common Lisp with FSet (opens in new tab)

GPT-5.4 pro solves erdos problem #1196 (opens in new tab)

The "AI Vulnerability Storm": Building a "Mythos-Ready" Security Program [pdf] (opens in new tab)

From Fossil to Fact: The Denisova Discovery as Science in Action [pdf] (opens in new tab)

AI, Gods, and Selves: Effective Illusions [video] (opens in new tab)

Why algorithms can't think: "Artifical Communication" by Elena Esposito [video] (opens in new tab)

Training AI models doesn't emit that much (opens in new tab)

From "prompt and pray" to prompt engineering (opens in new tab)

The Augmentation of Doug Engelbart (opens in new tab)

The Price of Truth (opens in new tab)

Slowing Down in the Age of Coding Agents (opens in new tab)

Slowing Down in the Age of Coding Agents (opens in new tab)

Simplicity in the age of AI-assisted coding (opens in new tab)

Simplicity in the age of AI-assisted coding (opens in new tab)