Daily edition · OCaml
TILens turns technical updates into a focused daily brief: official releases, trusted reporting, and practitioner analysis, deduplicated and organized by topic.
3 articles · 1 source ·
Top topics: OCaml · Information Retrieval · AI
John Crepezzi has spent his career building tools for other programmers—at Tumblr, at Square, and then at GitHub, where he worked on the merge queue and the early versions of Codespaces. He came to Jane Street to build…
John Crepezzi has spent his career building tools for other programmers—at Tumblr, at Square, and then at GitHub, where he worked on the merge queue and the early versions of Codespaces. He came to Jane Street to build…
Notes from a Paris evening on AI and formal methods: message sequence charts for agent workflows, proofs on machine code checked by a byte-for-byte oracle, and AI tools for democracy.
