Rebase 2024
who it's for
language designers, developer tools engineers, ai and ml engineers, systems programmers, platform architects, product managers, open source maintainers
topics
functional logic programming language; lenient evaluation model; types as predicates; choice operator yielding sequences; dynamic software update; object capabilities and replication; prolog-like automation language; proof-carrying code verification; retrieval-augmented generation tooling; vector retrieval for code; capability-based C/C++ memory safety; accurate concurrent non-moving GC
| title | author | length |
|---|---|---|
| Verse - a new functional logic language | Lennart Augustsson | 35m |
A new language designed at Epic mixes functional logic semantics (Curry/Mercury style) with a lenient evaluation model that evaluates in compiler-chosen order… | ||
| Apps and their Stores: An Alternative History | Gilad Bracha | 33m |
An alternate history argues that apps can be local‑first, auto‑synced, and updated without restarts by treating programs as data and letting the platform… | ||
| From AI Software Engineers to AI Knowledge Workers | Erik Meijer | 41m |
Argues that AI should empower end users to build automations directly, not just augment developers, and proposes a Prolog-like language Universalis plus… | ||
| Lessons Learned from Building GitHub Copilot(s) | Eddie Aftandilian | 34m |
Built original GitHub Copilot, Copilot for Docs, and Copilot Workspace and report concrete outcomes: 1.8 million paying users and ~50% of some users’ code… | ||
| Fil-C: memory safety with fanatical C/C++ compatibility | Filip Pizlo | 45m |
A garbage‑collected, capability‑based C/C++ implementation enforces zero unsafe escape hatches and runs large real projects: zsh, XZ, bzip2, mg, PCRE, ncurses… | ||
| Interview with Alan Kay | Alan Kay | 01h 01m |
Argues that a change of point of view is worth 80 IQ points, shows how Xerox PARC’s success came from integrated hardware and software (microcode, B5000… | ||
| nothing matches | ||