Human Folly about “langsec”

Workshop program (langsec.org):
The #LangSec 22 workshop schedule.
on 02022-05-26
Rusttypesystemturingcomplete (sdleffler.github.io):
Blog post announcing the discovery that #Rust’s type system is Turing-complete. #langsec
on 02017-03-11
Tarpit rs (github.com):
Smallfuck implemented in the #Rust type system, showing that it’s Turing-complete. #langsec
on 02017-03-11
Item (news.ycombinator.com):
discussion thread on the new proof that the #Rust type system is Turing-complete. #langsec
on 02017-03-11