tla+, p-lang, property-based testing, simulations
Typescript and Gemini evil mode
markjgsmith.com·22h
CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.org·23h
ARENA 5.0 Impact Report
lesswrong.com·1h
I finally understand how AI can handle legal paperwork better than humans.
threadreaderapp.com·10h
Beyond the Hype: Building Agentic Systems for the Enterprise
aussiebytes.com·1d
raphamorim/rio v0.2.28
github.com·19h
Loading...Loading more...