Hirrolot

Supercompilation is a deep program transformation technique due to V. F. Turchin, a prominent computer scientist, cybernetician, physicist, and Soviet dissident. He described the concept as follows [^supercompiler-concept]:

A supercompiler is a program transformer of a certain type. The usual way of thinking about program transformation is in terms of some set of rules which preserve the functional meaning of the program, and a step-by-step application of these rules to the initial program. ... The concept of a supercompiler is a product of cybernetic thinking. A program is seen as a machine. To make sense of it, one must observe its operation. So a supercompiler does not transform the program by steps; it controls and observes (SUPERvises) the running of the machine that is represented by the program; let us call this machine M₁. In observing the operation of

pkhuong

#!/usr/bin/env sed -re s|^|\x20\x20\x20\x20| -e s|^\x20{4}\x23\x23{(.*)$|<details><summary>\1</summary>\n| -e s|^\x20{4}\x23\x23}$|\n</details>| -e s|^\x20{4}\x23\x23\x20?|| -e s|\x0c|\x20|

license, imports

# Yannakakis.py by Paul Khuong
#
# To the extent possible under law, the person who associated CC0 with
# Yannakakis.py has waived all copyright and related or neighboring rights
# to Yannakakis.py.

aljce

import Control.Exception (finally)
import Control.Concurrent.STM (atomically)
import Control.Concurrent.STM.TMVar (TMVar, newEmptyTMVarIO, takeTMVar, putTMVar, readTMVar)

prerun :: (IO a -> IO (IO b)) -> IO (IO a -> IO b)
prerun f = do
  mailbox <- newEmptyTMVarIO
  -- mailbox for actions (IO a)
  mb <- f (join (atomically (readTMVar mailbox)))
  -- run the action inside the mailbox up to n times

dpiponi

# From https://www.python-mip.com/
from mip import *

m = Model(sense = MAXIMIZE)

num_slots = 10
num_workers = 5
num_tasks = 3

def slot_to_time(slot):

zwegner

import random

def hamming(a, b):
    x = a ^ b
    c = 0
    while x:
        x &= x - 1
        c += 1
    return c

ramirez7

{-# LANGUAGE AllowAmbiguousTypes   #-}
{-# LANGUAGE ConstraintKinds       #-}
{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE GADTs                 #-}
{-# LANGUAGE KindSignatures        #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RankNTypes            #-}
{-# LANGUAGE ScopedTypeVariables   #-}
{-# LANGUAGE TypeApplications      #-}

chessai

{-# LANGUAGE CPP #-}                                                                                                                           
                                                                                                                                               
#define InnieOuttie IO                                                                                                                         
#define class module                                                                                                                           
#define begin where                                                                                                                            
#define mayo main                                                                                                                              
#define memo putStrLn                                                                                                                                           

edolstra

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

srghma

Functions found http://blog.shealevy.com/2018/08/05/understanding-nix's-string-context/

builtins.scopedImport

• documentation - https://github.com/NixOS/nix/commit/c273c15cb13bb86420dda1e5341a4e19517532b5

builtins.importNative:

• needs allow-unsafe-native-code-during-evaluation
• can be used to decrypt secrets
• documentation - https://github.com/NixOS/nix/commit/5cd022d6c099c583c0494bdacd06f4eb32661135

taktoa

Ideas to improve my workflow

Easy

diff-factor-comments

A script that automatically separates a Haskell file diff into two diffs: one with only changes to comments, and one with changes to actual code.

Could be extended to other languages, as long as you can describe what the