64 karma · joined April 12, 2014
You could advocate teaching the kids to read, but fuck that. Keep them illiterate. Surely the ANC won't complain.
(And before someone says this 'research' has other uses, I'm referring to part of his abstract:
"The developed world dominates the design of programming environments, assuming letteracy and computer literacy on the part of the programmer. In developing areas, this assumption raises the bar for novice programmers and especially pre-school children from differing socio-economic and ethnic backgrounds. In general, our research aims at developing a programming environment that does not require either computer literacy or letteracy from the programmer, thereby affording the novice user the opportunity to control appliances connected to the IoT." )
It seems that PS4 encryption is broken.
IV, V, II, III, IV (no I)
Guix:
Specializes in providing exclusively free software.
Based on Nix [2].
Implementation differences, quoted from section 2.3 in [3]:
"Our main contribution with GNU Guix is the use of Scheme for both the composition and description of build processes, and the implementation of build scripts. In other words, Guix builds upon the build and deployment primitives of Nix, but replaces the Nix language by Scheme with embedded domain-specific languages (EDSLs), and promotes Scheme as a replacement for Bash in build scripts. Guix is implemented using GNU Guile 2.0 2 , a rich implementation of Scheme based on a compiler and bytecode interpreter that supports the R5RS and R6RS standards. It reuses the build primitives of Nix by making remote procedure calls (RPCs) to the Nix build daemon.
We claim that using an embedded DSL has numerous practical benefits over an independent DSL: tooling (use of Guile’s compiler, debugger, and REPL, Unicode support, etc.), libraries (SRFIs, internationalization support, etc.), and seamless integration in larger programs. To illustrate this last point, consider an application that traverses the list of available packages and processes it—for instance to filter packages whose name matches a pattern, or to render it as HTML. A Scheme program can readily and efficiently do it with Guix, where packages are first-class Scheme objects; conversely, writing such an implementation with an external DSL such as Nix requires either extending the language implementa- tion with the necessary functionality, or interfacing with it via an external representation such as XML, which is often inefficient and lossy.
We show that use of Scheme in build scripts is natural, andcan achieve conciseness comparable to that of shell scripts, but with improved expressivity and clearer semantics."From my limited view, Nix has a very strong theoretical base. Do you expect any developments at that level, and do you think these hypothetical developments will be integrated by the developers of Guix, or might it at some point start ignoring improvements in the theory?
[1] http://nixos.org/~eelco/pubs/phd-thesis.pdf
There are people (Alan Kay et al.) apparently born with Nada's glasses, but industry as a whole doesn't believe them.