Use Prolog to improve LLM's reasoning(shchegrikovich.substack.com)

343 points by shchegrikovich 2 years ago | 122 comments

Substack post arguing that having LLMs generate Prolog code can improve their reasoning, given the limits of autoregressive transformer generation.

Talking to LLMs has improved my thinking(philipotoole.com)

117 points by otoolep 9 months ago | 95 comments

Can large language models reason?(arnaldur.be)

4 points by Hugsun 2 years ago | 0 comments

Task-specific LLM evals that do and don't work(eugeneyan.com)

171 points by ZeljkoS 1 year ago | 41 comments

LLMs reward expertise(seangoedecke.com)

1278 points by MaxMussio 2 months ago | 527 comments

Blog post by Sean Goedecke arguing that the most important skill in prompting LLMs is expertise in the domain being prompted for.

Patterns for building LLM-based systems and products(eugeneyan.com)

372 points by 7d7n 3 years ago | 49 comments

Eugene Yan's long-form blog post describing seven practical patterns, such as evals, RAG, and fine-tuning, for integrating large language models into systems and products.

A New Experiment Meta-Strategy(chillphysicsenjoyer.substack.com)

26 points by surprisetalk 1 month ago | 1 comments

A Substack post by an amateur physicist describing a new strategy for doing home experiments after reorganizing a messy lab to fit limited free evenings.

There is no epidemic of loneliness, but there is an epidemic of scurvy(experimental-history.com)

59 points by luu 1 month ago | 31 comments

An Experimental History Substack essay by Adam Mastroianni arguing there is no loneliness epidemic but there is an epidemic of scurvy.

The Rise and Fall of Jev(blog.alexewerlof.com)

49 points by flail 3 days ago | 34 comments

A Substack essay by Alex Ewerlöf critiquing the hype around Jev, a 'system one' decision model, and arguing AI progress since ChatGPT has been incremental.

PeerTube is a free, decentralized and federated video platform(github.com)

592 points by doener 3 months ago | 274 comments

GitHub repository for PeerTube, an AGPL-licensed ActivityPub-federated video streaming platform that uses P2P delivery in the browser.

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.

Every SaaS business will become a harness around a model(blog.sshh.io)

117 points by iacguy 23 days ago | 85 comments

Substack essay by Shrivu Shankar arguing that every SaaS business will become a harness wrapping AI models with tooling and state.