corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087e7-e22f-7078-983f-21a5bddd57b7

The social consequences of type systems

sunshowers · published 27 September 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at sunshowers.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
29
Words captured
2,227

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/The_Social_Contract
en.wikipedia.org
https://www.python.org/dev/peps/pep-0257/
python.org
https://docs.racket-lang.org/guide/contract-boundaries.html
docs.racket-lang.org
https://en.wikipedia.org/wiki/Coverity
en.wikipedia.org
https://clang-analyzer.llvm.org/
clang-analyzer.llvm.org
https://clang-analyzer.llvm.org/available_checks.html
clang-analyzer.llvm.org
https://ccsearch-dev.creativecommons.org/photos/197cd4c9-c481-4b3c-804a-b8146926d47a
ccsearch-dev.creativecommons.org
https://en.wikipedia.org/wiki/Formal_verification
en.wikipedia.org
https://www.reddit.com/r/rustjerk/comments/e2e48x/rust_programmer_fighting_the_borrow_checker_2019/
reddit.com
https://doc.rust-lang.org/std/mem/fn.transmute.html
doc.rust-lang.org
https://doc.rust-lang.org/std/cell/struct.UnsafeCell.html
doc.rust-lang.org
https://doc.rust-lang.org/book/ch19-01-unsafe-rust.html
doc.rust-lang.org
Thinking about dependencies Read at the source ↗
sunshowers.io
https://medium.com/adobetech/how-i-learned-to-stop-fighting-the-borrow-checker-and-learned-to-love-dirty-structs-b6c5fe91b1dd
medium.com
https://twitter.com/ekuber/status/1303107711928643584
twitter.com
https://doc.rust-lang.org/std/string/struct.String.html
doc.rust-lang.org
https://doc.rust-lang.org/1.46.0/src/alloc/string.rs.html
doc.rust-lang.org
https://wipp.energy.gov/pdfs/site_markers.pdf
wipp.energy.gov
https://en.wikipedia.org/wiki/Fuzzing
en.wikipedia.org
https://doc.rust-lang.org/1.46.0/std/string/struct.String.html
doc.rust-lang.org
https://levelup.gitconnected.com/type-level-finite-state-machines-6714f849255
levelup.gitconnected.com
https://blog.patternsinthevoid.net/implementing-as-safe-as-possible-misuse-resistant-cryptographic-libraries-part-i.html
blog.patternsinthevoid.net
https://doc.rust-lang.org/rust-by-example/scope/move.html
doc.rust-lang.org
https://en.wikipedia.org/wiki/Linguistic_relativity
en.wikipedia.org
https://github.com/inanna-malick
github.com
https://twitter.com/monadliker
twitter.com
https://twitter.com/ManishEarth
twitter.com
https://twitter.com/yaahc_
twitter.com
https://twitter.com/mgattozzi
twitter.com