Verification, Type-level Programming, Safety Proofs, Linear Types
1827 Burn Book
universityarchives.princeton.edu·1d
Wikipedia Editors Reject Founder's AI Review Proposal After ChatGPT Fails Basic Policy Test
news.slashdot.org·1d
‘I thought my birthmark was harmless for 45 years - now it’s a rare aggressive cancer’
the-independent.com·2d
Israel could face massive EU sanctions, despite veto
euobserver.com·1d
Someone made a 3D printer out of Lego — maker puts together specialist project using bricks, motors, and Python
tomshardware.com·1d
Suspect in Oakley shooting arrested following car chase
mercurynews.com·19h
How DPE can speed development — and boost your AppSec
reversinglabs.com·1d
How SF Giants’ grounds crew transformed Oracle Park for Bay FC’s record-setting match
mercurynews.com·23h
Is American Science Stuck in a Doom Loop?
nakedcapitalism.com·1d
The AI Data Scientist
arxiv.org·2d
Loading...Loading more...