Top New Best Ask Show Jobs

sn9

1,910 karma · joined March 15, 2016

submissions comments

Introduction to Pragmatic Formal Modeling

elliotswart.github.io·1 pts·sn9·

How to Use AI for the Ancient Art of Close Reading

fast.ai·1 pts·sn9·

Ask HN: Why is Gmail so incompetent at basic search?

60 pts·sn9·

Mining Function Specifications (for dynamic invariants)

fuzzingbook.org·1 pts·sn9·

Review: Cræft, by Alexander Langlands

thepsmiths.com·1 pts·sn9·

The case for sans-io (fasterthanlime) [video] [24min]

youtube.com·1 pts·sn9·

Rust's trait system is a proof engine, let's make it prove us an ABI [35min] [video]

youtube.com·4 pts·sn9·

A Peer-Reviewed Portrait of Suffering: The Engineers' Daughter

theatlantic.com·1 pts·sn9·

American Mathematical Society: Open Math Notes

ams.org·4 pts·sn9·