Verification, Type-level Programming, Safety Proofs, Linear Types
Flaky tests due to bad randomness?
gaultier.github.io·2d
Decent Patterns
decentpatterns.com·1d
OpenAI has finally released open-weight language models
technologyreview.com·1d
Hacker summer camp: What to expect from BSides, Black Hat, and DEF CON
theregister.com·23h
Make ’em Liable!
hackernoon.com·2d
The Evolution of DevOps Continues: How 2,000 Token-Per-Second AI Code Generation Changes Everything
devops.com·1d
Neovascularization Segmentation via a Multilateral Interaction-Enhanced Graph Convolutional Network
arxiv.org·5h
Loading...Loading more...