Intro to TLA+ for the LLM Era: Prompt Your Way to Victory (emptysqua.re) | HN Screenshots

YHacker Newsscreenshots

Screenshot of emptysqua.re: Intro to TLA+ for the LLM Era: Prompt Your Way to Victory

First screen, captured 5 months ago.

Looks similar

Screenshot of spakhm.com: Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing (spakhm.com)

5 points by lioeters 10 months ago | 1 comments

Screenshot of lewiscampbell.tech: The insecure evangelism of LLM maximalists

The insecure evangelism of LLM maximalists (lewiscampbell.tech)

189 points by todsacerdoti 9 months ago | 174 comments

Screenshot of linusakesson.net: The TTY Demystified (2008)

The TTY Demystified (2008)(linusakesson.net)

59 points by 20after4 5 months ago | 9 comments

Screenshot of lwn.net: A new futex API

A new futex API (lwn.net)

71 points by signa11 3 years ago | 36 comments

Screenshot of raspasov.posthaven.com: The AGI Final Frontier: The CLJ-AGI Benchmark

The AGI Final Frontier: The CLJ-AGI Benchmark (raspasov.posthaven.com)

10 points by raspasov 1 year ago | 6 comments

Screenshot of blog.kasperjunge.com: The Most Underrated Application of LLMs

The Most Underrated Application of LLMs (blog.kasperjunge.com)

56 points by juunge 3 years ago | 22 comments