cpressey

"The League of Efficiently Dull Gentlemen"

Running Extraordinarily-Dull.samovar through search-based solvers added to samovar 0.5

Breadth-First Search

cpressey

Project	Perl	Python	JS	Lua	C/C++	Scheme	Haskell	Other
ALPACA@rel_1_1		Py
Animals@rel_1_1_2014_0819								Erlang
Apple-Befunge@rel_1_1_2014_0819								BASIC
Arboretuum@rel_1_0_2014_0819						R5
Backtracking-Wang-Tiler@1.0-2021.1221			JS
Beatnik@0.1		Py
BefOS@rel_0_10								YASM
Befunge-93@rel_2_25					C

cpressey

SI2

SI2 is the successor to the SITU-SOL project, which was undertaken during RetroChallenge 2015/07.

Observing that, in the beginning, programs were written on paper and painstakingly hand-translated into computer memory, and that in the modern day, paper very often plays no role at all in the software development process, the objective of the SITU-SOL project was to go

cpressey

# encoding: UTF-8

bind '"\e[A":history-search-backward'
bind '"\e[B":history-search-forward'
export PATH="$HOME/.cabal/bin:$HOME/.local/bin:$PATH"
export EDITOR=nano
alias unpyc="find . -name '*.pyc' -exec rm -f {} \;"
alias rsyncavd="rsync --archive --verbose --delete"
alias git-savepatch='git diff >'
alias chintzy-httpd='python2 -m SimpleHTTPServer'

cpressey

module OperationalSansGADTs where

import Control.Monad (liftM, ap)

--
-- Adapted from "The Operational Monad Tutorial":
-- https://apfelmus.nfshost.com/articles/operational-monad.html
--

data Program instr a b = Then (instr a) (a -> Program instr a b)

cpressey

module PipelineCombinators where

import Data.Either
import qualified Data.Functor.Alt
import qualified Data.Function
import qualified Control.Monad

--
-- Combinators for pipelines.  Each of these functions takes one or more
-- parameters and yields a combinator that is intended to map functions

cpressey

This article has moved into the SixtyPical repository.

cpressey

Just a little survey of what code to create an anonymous function and immediately call it looks like in a handful of high-level languages. All of these expressions should evaluate to 10.

Language	Code
Python	(lambda x: x+1)(9)
Ruby	(lambda {|x| x+1}).call(9)
Lua	(function(x) return x+1 end)(9)
Erlang	(fun(X) -> X+1 end)(9)
Haskell	(\x -> x+1)(9)

cpressey

Some Notes on Software Preservation

Docker

Is there an old Erlang image?

Yes, https://hub.docker.com/r/andreineculau/erlang-r16b03-1 -- but there is no good way to assure provenance of it. What Docker has for provenance

cpressey

This article has moved to the Specs-on-Spec repository.