Forwarded from GNU Propaganda (Archived)
https://drewdevault.com/2019/11/29/dotorg.html
"Take action to save .org and prosecute those who sold out the internet"
"Take action to save .org and prosecute those who sold out the internet"
Forwarded from Hacker News
Forwarded from Pure & constructive mathematics in theory and use (GNU/Brett G.)
minicaml, a didactical OCaml-like functional programming language. :: 0x0f0f0f
https://0x0f0f0f.github.io/posts/2019/12/minicaml-a-didactical-ocaml-like-functional-programming-language./
https://0x0f0f0f.github.io/posts/2019/12/minicaml-a-didactical-ocaml-like-functional-programming-language./
0x0f0f0f.github.io
minicaml, a didactical OCaml-like functional programming language.
minicaml is a small, purely functional interpreted programming language with a didactical purpose. I wrote minicaml for the Programming 2 course at the University of Pisa, taught by Professors Gianluigi Ferrari and Francesca Levi. It is based on the teachers'…
Forwarded from Hacker News
Show HN: AI Dungeon 2 – AI-generated text adventure built with 1.5B param GPT-2 (Score: 104+ in 3 hours)
Link: https://readhacker.news/s/4dF5Y
Comments: https://readhacker.news/c/4dF5Y
Link: https://readhacker.news/s/4dF5Y
Comments: https://readhacker.news/c/4dF5Y
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/