Idris, Agda, Proof Assistants, Type-Level Programming
Breaking Things, Fixing Things
mtwb.blogยท4h
Microsoft Announces Open-Source Agent Framework to Simplify AI Agent Development - infoq.com
news.google.comยท2d
New ways to build with Jules, our AI coding agent - The Keyword
news.google.comยท2d
Smarter, Not Harder: How AIโs Self-Doubt Unlocks Peak Performance
towardsdatascience.comยท2d
9/30/25 Array API Spec
github.comยท3d
LLVM Weekly - #351, September 21st 2020
llvmweekly.orgยท3d
LLVM Weekly - #413, November 29th 2021
llvmweekly.orgยท3d
Loading...Loading more...