Skip to content

Instantly share code, notes, and snippets.

View sorki's full-sized avatar
🦊
Tying the Knots

Sorki sorki

🦊
Tying the Knots
View GitHub Profile
@sorki
sorki / log.txt
Last active July 19, 2020 10:14
supercollider sc3plugins
-> SuperDirt
loading synthdefs in /home/srk/.local/share/SuperCollider/downloaded-quarks/SuperDirt/classes/../synths/core-modules.scd
---- core synth defs loaded ----
loading synthdefs in /home/srk/.local/share/SuperCollider/downloaded-quarks/SuperDirt/classes/../synths/core-synths-global.scd
loading synthdefs in /home/srk/.local/share/SuperCollider/downloaded-quarks/SuperDirt/classes/../synths/core-synths.scd
loading synthdefs in /home/srk/.local/share/SuperCollider/downloaded-quarks/SuperDirt/classes/../synths/default-synths.scd
exception in GraphDef_Recv: exceeded number of interconnect buffers.
WARNING: SynthDef superfm too big for sending. Retrying via synthdef file
loading synthdefs in /home/srk/.local/share/SuperCollider/downloaded-quarks/SuperDirt/classes/../synths/try-load-extra-synths.scd
loading synthdefs in /home/srk/.local/share/SuperCollider/downloaded-quarks/SuperDirt/classes/../synths/tutorial-synths.scd
@sorki
sorki / A.hs
Created June 12, 2020 12:14
hnix-store-polysemy
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE LambdaCase, BlockArguments #-}
{-# LANGUAGE GADTs, FlexibleContexts, TypeOperators, DataKinds, PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module System.Nix.Store.Poly where
import Polysemy
import Polysemy.Error
main/Repl.hs:75:31: error:
• Could not deduce (MonadException
(Control.Monad.Trans.State.Lazy.StateT
(M.HashMap FilePath NExprLoc) m))
arising from a use of ‘controlIO’
from the context: MonadException m
bound by the instance declaration at main/Repl.hs:74:10-63
There are instances for similar types:
instance MonadException m =>
MonadException (StateT (M.HashMap FilePath NExprLoc) m)
@sorki
sorki / Simple.hs
Created May 12, 2020 12:24
ircbot-simple
{-# LANGUAGE OverloadedStrings #-}
-- | Simple wrapper on top of simpleBot
-- adding applicative parser
-- and `runBotWithParts` shorthand.
--
-- `runBotWithParts` allows passing
-- initialization function that inits
-- all bot parts and returns them as list.
@sorki
sorki / overlay.nix
Last active May 12, 2020 09:20
ghcjs
self: super:
let src = "https://github.com/sorki/git-post-receive/archive/master.tar.gz";
ovr = (import "${builtins.fetchTarball src}/overlay.nix");
in {
haskellPackages = super.haskellPackages.override (old: {
overrides = super.lib.composeExtensions (old.overrides or (_: _: { }))
ovr;
});
ghcjs = super.haskell.packages.ghcjs.override {
overrides = helf: huper: (ovr helf huper // (with self.haskell.lib; {
@sorki
sorki / Chan.hs
Created May 10, 2020 10:16
zreChan
module Network.ZRE.Chan (
zreChan
) where
import Control.Monad.IO.Class (liftIO)
import Control.Concurrent.STM (TChan)
import Data.Serialize (Serialize)
import Data.ZRE (Group)
import qualified Control.Concurrent
@sorki
sorki / dctest.nix
Created May 1, 2020 07:40
Discourse test
{ config, pkgs, lib, ... }:
let
nixpkgs = /home/srk/git/nixpkgs;
in
{
imports =
[
"${nixpkgs}/nixos/modules/services/web-apps/discourse.nix"
];
@sorki
sorki / default.nix
Created April 8, 2020 17:43
static futhark
{ nixpkgs ? import <nixpkgs> {}, compiler ? "ghc883" }:
let
futhark = nixpkgs.haskell.packages.${compiler}.futhark;
in
nixpkgs.haskell.lib.overrideCabal
futhark
( oldDrv: {
isLibrary = false;
enableSharedExecutables = false;
enableSharedLibraries = false;
@sorki
sorki / bin2elf.sh
Last active March 18, 2020 11:39
bin2elf
#!/usr/bin/env bash -x
CROSS_PREFIX=arm-none-eabi-
${CROSS_PREFIX}ld -b binary -r -o raw.elf DiscoveryAudioUSB.bin
${CROSS_PREFIX}objcopy --rename-section .data=.text \
--set-section-flags .data=alloc,code,load raw.elf
${CROSS_PREFIX}ld raw.elf -T stm32_flash.ld -o usbaudio.elf
${CROSS_PREFIX}strip -s usbaudio.elf
@sorki
sorki / Main.hs
Created March 4, 2020 18:38
cachix no clobber
{-# LANGUAGE OverloadedStrings #-}
module Main where
import Control.Monad
import qualified Data.ByteString.Char8 as BSC
import System.Nix.Internal.StorePath
import Network.HTTP.Client