Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Toy Binary Decision Diagrams
philipzucker.com·1d
Adversary TTP Simulation Lab
infosecwriteups.com·5h
Embedding Lua in Nim
lambdacreate.com·23h
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
Seriously Testing LLMs
satisfice.com·1d
How I Used ChatGPT to Land My Next Data Science Role
towardsdatascience.com·17h
expressjs/express
github.com·1d
Loading...Loading more...