sideeffffect

10 ms·

151.
by sideeffffect 7y ago
Ron presented this at Curry On 2018 Ron Pressler - Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra https://www.youtube.com/watch?v=2oNmR0q1uA0
152.
by sideeffffect 7y ago
if it's based on seL4, which is licensed undel GPLv2, that we should be able to get our hands on the source code! yay!
153.
by sideeffffect 7y ago
there's been some effort https://github.com/NixOS/nix/issues/859
154.
by sideeffffect 7y ago
also, Fury, the new Scala build tool by Jon Pretty, uses IPFS to distribute builds/build definitions https://fury.build/ https://github.com/propensive/fury https://youtu.be/Xti2I2C
155.
by sideeffffect 7y ago
https://github.com/ipfs/go-ipfs-chunker > go-ipfs-chunker provides the Splitter interface. IPFS splitters read data from a reader an create "chunks". These chunks are used to build the ipfs DAGs (Merkle Tr
156.
by sideeffffect 7y ago
It's a bit sad, that Dhall (programmable configuration language for YAML & co.) used to use IPFS for its source/packages, but stopped, because of reliability :( (I'm wondering if there are/were others?) > Early on
157.
by sideeffffect 8y ago
I personally hope that I will eventually find the time to read Practical Foundations for Programming Languages by Robert Harper https://www.cs.cmu.edu/~rwh/pfpl/index.html direct link to a preview of the 2nd editi
158.
by sideeffffect 8y ago
The new module system for Haskell (GHC, to be precise) https://ghc.haskell.org/trac/ghc/wiki/Backpack https://plv.mpi-sws.org/backpack/backpack-poster.pdf
159.
by sideeffffect 8y ago
tiny clarification: Function composition is just function composition. Pipes are a different syntax for function application. see https://news.ycombinator.com/item?id=18971451
160.
by sideeffffect 8y ago
maybe I'm being overly pedantic, but people seem to be confused about this: the pipes in your typical functional language (`|>`) is not a form of function composition, like ``` f >> g === x -> g(f(x)) ``` but function