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 Would ‌‌‎(oldosfan)
Weston is no longer free software, as it now includes DRM.
Use a free compositor such as the GNOME Shell instead.
Source 1 2 3

This is an extension to the Wayland protocol, that is currently only supported by Weston. It is not officially endorsed by the XDG, nor a core part of the Wayland protocol, so I see no reason to classify Wayland non-free as of now.
Forwarded from Hacker News
If the Moon Were Only 1 Pixel (2014)
Article, Comments
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