Josh Tilles Josh-Tilles

You need to see a Docker image as a snapshot of a machine. It will stay like it is and thus anything you do with it will keep working. However, making changes to such an image is where nondeterminism seeps in. Docker images are built using shell commands, usually it contains commands like apt-get update, apt-get install ... or wget .... These fetch information from outside sources, but because the outside sources change over time will result in different files being fetched at different times. In addition, there are no checks that the files that are being fetched are actually the ones you intended to download for your Docker image. So, Docker images will stay the same, but building the Docker image will result in a different result

Carry

Frequently I want to use reductions only to quickly realize that I'm not interested in the successive values of the state.

A simple example is to imagine one wants to increment a number represented by a sequence of its binary digits:

(inc '()) is (1)
(inc '(1)) is (0 1) ; yes the list is inversed, the lowest significant bit is the first item
(inc '(0 1)) is (1 1)

Aleph, Async, HTTP, Clojure

I've been working with Aleph rougly for last 5 years, actively contributing to the library for last 2 (or so). I also put some effort into spreading the word about it, including educational tech talks, like "Deep HTTP Dive Throught Aleph & Netty". But the more I talk to people the more confusion I find, mostly about how Aleph works and what can you expect when adding it to your stack. Clojurists Together has recently announced Aleph to get Q1 funding, I think it's a good time to share my priorities and thoughts on development plans that were mentioned in the blog post. Hope the community would find it interesting and helpful.

Aleph describes itself as "asynchronous communication for Clojure" library. And you should probably pay a good portion of your attention to the first word: "asynchronous".

Nix Flake MVP

Goals

To provide Nix repositories with an easy and standard way to reference other Nix repositories.
To allow such references to be queried and updated automatically.
To provide a replacement for nix-channel, NIX_PATH and Hydra

	#!/bin/bash

	(
	echo -e "\n\n #### $(date) ####"

	echo -e "\n## Exported Variables"
	printenv

	echo -e "\n## Local Variables"
	( set -o posix ; set) \| grep -vf <(printenv \| sed 's/^/^/;s/=.*/=/')

	//
	// main.swift
	// echod
	//
	// Created by Ivo Vacek on 27/12/2018.
	// Copyright © 2018 Ivo Vacek. All rights reserved.
	//

	import Network
	import Foundation

	# vagrant-hostmanager https://github.com/devopsgroup-io/vagrant-hostmanager

	Cmnd_Alias VAGRANT_HOSTMANAGER_UPDATE = /bin/cp /home/*/.vagrant.d/tmp/hosts.local /etc/hosts

	%admin ALL=(root) NOPASSWD: VAGRANT_HOSTMANAGER_UPDATE

	# See https://github.com/cogitatio/vagrant-hostsupdater#readme
	# vagrant plugin vagrant-hostsupdater.

	Cmnd_Alias VAGRANT_HOSTS_ADD = /bin/sh -c echo "*" >> /etc/hosts

	(defn xf-sort
	"A sorting transducer. Mostly a syntactic improvement to allow composition of
	sorting with the standard transducers, but also provides a slight performance
	increase over transducing, sorting, and then continuing to transduce."
	([]
	(xf-sort compare))
	([cmp]
	(fn [rf]
	(let [temp-list (java.util.ArrayList.)]
	(fn

	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE PartialTypeSignatures #-}
	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE TypeFamilies #-}

	-- Solution for the "Fulcrum" problem from "The Great Theorem Prover Showdown"
	-- (https://www.hillelwayne.com/post/theorem-prover-showdown/)
	--
	-- I am novice with Lean so the verbosity is almost certainly my
	-- fault and not that of Lean.
	import system.io

	universes u v w

	-----------------------------------------