Stories by namin

Show HN: Tiny Hoare logic verifier using SMT

Show HN: Live software archaeology of FOL (theory of reasoning)

Work with Apps on macOS

A Scalable Communication Protocol for Networks of Large Language Models

Arc Prize Guide

Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS

Show HN: LLM Verified with Monte Carlo Tree Search

Edited Works of Locke

Show HN: Turn GitHub repos into tutorials with code that can be edited and run

Understanding Machine Learning: From Theory to Algorithms (Downloadable Book)

UCL Course on Reinforcement Learning including Videos (2015)

Defining Intelligence (Stuart Russell)

interactive programming tutorials, powered by GitHub and Docker

Verified Programming in F*: A Tutorial

Can the Crowd Solve Medical Mysteries?

The Intelligent Plant

Listing of Turing lectures

Debunking AI Doomsday Scenarios

David Nolen – The Functional Final Frontier (Video)

Racket is ...

1
2