Can large language models reason?(arnaldur.be)

4 points by Hugsun 2 years ago | 0 comments

There Are Magic Hexagons of Every Order(gukov.dev)

178 points by gukoff 2 months ago | 31 comments

Jev meets the Trolley Problem(zachlandes.com)

589 points by zlandes86 10 days ago | 231 comments

Blog post by Zach Landes exploring how Jev, a fast cheap decision-making AI model that outputs choices with probabilities, handles the trolley problem.

My article on why AI is great (or terrible) or how to use it(matthewrocklin.com)

151 points by akshayka 9 months ago | 208 comments

Unix philosophy and filesystem access makes Claude Code amazing(alephic.com)

377 points by noahbrier 1 year ago | 197 comments

Blog post by Noah Brier on Alephic describing how Claude Code, combined with Obsidian's plain Markdown files and filesystem access, became his agentic operating system.

Dempster-shafer and reasoning about sets(emiruz.com)

14 points by usgroup 11 months ago | 5 comments

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.

AI is a tool and using it well takes skill(yyhh.org)

742 points by layer8 13 days ago | 573 comments

Blog post by Huahai on yyhh.org rebutting Rich Hickey's "AI is Not a Tool" essay, arguing LLMs are tools that require skill to use well.

The AI Race Just Got Awkward(insufferable.dev)

300 points by allisdust 26 days ago | 269 comments

A blog post arguing about the Western vs. Chinese AI lab race, discussing Anthropic's claims that Chinese labs are distilling its models.

China tells its AI leaders to avoid U.S. travel over security concerns(wsj.com)

393 points by bookofjoe 1 year ago | 374 comments

Wall Street Journal article reporting that China has told its AI leaders to avoid travel to the U.S. over security concerns; the page showed a captcha.

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.

Recent AI models struggled to match a human algorithmic innovation(epoch.ai)

85 points by merksittich 16 days ago | 64 comments

Epoch AI report by David Owen presenting InnovationEval, finding early evidence that AI models cannot yet automate AI R&D or match human algorithmic innovation.