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.
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.
GitLab
man: Declare drm-backend support for HDCP (fbfcc304) · Commits · wayland / weston
Modify weston.ini man page to update that drm-backend supports HDCP. Signed-off-by: Ankit Nautiyal
Forwarded from Hacker News
Forwarded from Hacker News
Mgechev
Developing Statically Typed Programming Language
In this blog post we’ll go through a sample implementation of a type checker, interpreter and a transpiler for a basic purely functional programming language, which is based on the lambda calculus. We will do a “full-stack” programming language development…
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
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/
http://ttendency.cs.ucl.ac.uk/projects/type_study/
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
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38603
debbugs.gnu.org
GNU bug report logs - #38603 [WIP Mercury 0/2] Add Mercury.
Previous Next