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/