Stories by -1

50 Years of Proof Assistants

Show HN: Clai – Unixlike CLI context feeder for LLMs. Now with recursive tooling

Technology Radar

Public Prompt License (PPL) – prompt-native licensing for LLM prompts

Hetz Demo – build HTML tables online, copy code instantly (no signup)

The military's new AI says boat strike 'unambiguously illegal'

Android PSA: have at least 2 ways of taking your files (especially pictures) out

Homeownership in Australia

Computer animator and Amiga fanatic Dick van Dyke turns 100

Where Disney Is Heading in Its Next Century [video]

What's the point of lightweight code with modern computers?

Show HN: Zunorm – BYOM Spreadsheet Editor

How well do LLMs generate R code?

Trump Pretends to Block State AI Laws; Media Pretends That's Legal

30
31
32
33
34
35
36
37
38
39