Stories by namin

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

Verifying State and Reconciliation in Collaborative Web Apps

Show HN: Henri: a small, hackable agent CLI

Show HN: Holey: Staged execution from Python to SMT for synthesis

Building a React App with Formally Verified State

From Intent to Proof: Dafny Verification for Web Apps

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

1
2