tla+, p-lang, property-based testing, simulations
CarAT: Carbon Atom Tracing across Industrial Chemical Value Chains via Chemistry Language Models
arxiv.org·2d
⭐ jbyuki ntangle.nvim
waylonwalker.com·1d
microsoft/magentic-ui
github.com·1d
Debian Preseed Notes - Classes
blog.raymond.burkholder.net·3h
how-side-effects-work-in-fp
chadnauseam.com·1d
Formulations and Constructions of Remote State Preparation with Verifiability, with Applications
arxiv.org·3d
Loading...Loading more...