Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification
haskell/bytestring
github.com·5d
Preview: ‘Pragmata’ has an unconventional twist to the sci-fi shooter
mercurynews.com·20h
Controversial Quantum-Computing Paper Gets a Hefty Correction
scientificamerican.com·22h
Ishii: Public financing opened the door for me. A state Senate bill can do that for others.
mercurynews.com·1d
Monad annoyance
macwright.com·3d
In-Context Examples Matter: Improving Emotion Recognition in Conversation with Instruction Tuning
arxiv.org·3d
Loading...Loading more...