survey of software verification etc., lean-lang.
Related
AI Companies
Note ·
-Fixie.ai turbopuffer
Offline AI
Note ·
Can we run AI and #ai tools offline? What would it take? These are interesting and important questions. Some thoguhts…
Keeping up with AI
Note ·
Sources on keeping up with AI. This is a good start as of July 2025 - How I keep up with AI progress (and why you must…
AI reading
Note ·
Via AI Papers Community notes via \@zaph0id; Apr 2024. -- Ilya's reccommendation to Carmack.. also available as this…
Segment Anything Model
Note ·
Segment Anything -- The Segment Anything Model (SAM) produces high quality object masks from input prompts such as…
transformers
Note ·
8 Google Employees Invented Modern AI. Here’s the Inside Story | WIRED ¶ Transformers from Scratch Transformers were…