cd/entity/F*Ā· homeā€ŗ entitiesā€ŗ F*
grep -l @f* /news/*.json | wc -l ā†’ 2

F*

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

04:40
2026-08-25
risemsr.github.io
artificial-intelligence

A Verified Generational GC for OCaml

Researchers at Microsoft Research, led by Nik Swamy, used AI coding agents to port and evolve a verified mark-and-sweep garbage collector for OCaml into a generational garbage collector, integrating iā€¦

02:13
2026-08-13
fstar-lang.org
artificial-intelligence

Agentic Proof-Oriented Programming

As of late 2025, AI agents integrated into coding environments such as Claude Code, OpenAI Codex, and GitHub Copilot CLI have made automated formal proofs a reality, according to researchers who have ā€¦

// co-occurs with top 8 entities
Pulse 2 OCaml 2 Claude Opus 4.5 1 GPT-5.2 1 Claude Code 1 OpenAI Codex 1 GitHub Copilot CLI 1 Microsoft Research 1
// topics top 5 topics
artificial intelligence 2 ai agents 2 ai research 2 ai tools 2 ai products 1