Deputy Sheriff The Viking Programmer – Telegram
Deputy Sheriff The Viking Programmer
248 subscribers
1.36K photos
161 videos
41 files
1.29K links
Download Telegram
Forwarded from Pure & constructive mathematics in theory and use (Univalence (apparently does haskell tech support))
Syntax and Semantics of Quantitative Type Theory
https://bentnib.org/quantitative-type-theory.pdf
Forwarded from Pure & constructive mathematics in theory and use (uhhh greasy moist ig idk)
On the Effects of Static Typing in Detecting Public Bugs
http://ttendency.cs.ucl.ac.uk/projects/type_study/
Photogrammetry attempt on my 2011 tablet with Intel HD 3000
Forwarded from Brett G.
Just opened a bug report for WIP Mercury on GNU Guix. Hopefully it will be added soon. :) If you want to contribute to help getting it added PLEASE do help.

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38603