Skip to content

Instantly share code, notes, and snippets.

View puffnfresh's full-sized avatar

Brian McKenna puffnfresh

View GitHub Profile
<12>[ 7.735764] [4: loader: 1] D, [2021-10-27T10:57:19.822873//1.7457 #1] DEBUG -- : Looking to run task Tasks::SetupGadgetMode...
<12>[ 7.735846] [4: loader: 1] I, [2021-10-27T10:57:19.822956//1.7458 #1] INFO -- : Running Tasks::SetupGadgetMode...
<12>[ 7.736253] [4: loader: 1] I, [2021-10-27T10:57:19.823001//1.7458 #1] INFO -- : Configuring USB Gadget.
<12>[ 7.736428] [4: loader: 1] D, [2021-10-27T10:57:19.823539//1.7464 #1] DEBUG -- : $ mkdir -p /sys/kernel/config/usb_gadget/g1/strings/0x409
<12>[ 7.736837] [4: loader: 1] D, [2021-10-27T10:57:19.823948//1.7468 #1] DEBUG -- : $ echo "0x04E8" > /sys/kernel/config/usb_gadget/g1/idVendor
<12>[ 7.737071] [4: loader: 1] D, [2021-10-27T10:57:19.824180//1.7470 #1] DEBUG -- : $ echo "0x6860" > /sys/kernel/config/usb_gadget/g1/idProduct
<12>[ 7.737304] [4: loader: 1] D, [2021-10-27T10:57:19.824415//1.7472 #1] DEBUG -- : $ echo "samsung-dreamlte" > /sys/kern
{ dmenu, fetchgit }:
dmenu.overrideAttrs (attrs: {
patches = [ ];
src = fetchgit {
url = "https://git.sr.ht/~mil/sxmo-dmenu";
rev = "5.0.10";
sha256 = "1qnwrfx33z4iqvd7m06bf4rlbjxsvxy4m9lrypc5gnwmanl72zcb";
};
})
@puffnfresh
puffnfresh / Traversal1.hs
Created July 16, 2021 13:01
Get a Traversal from a Traversal1
{-# LANGUAGE RankNTypes #-}
import Control.Lens
import Data.Functor.Apply
traversal1
:: Traversal1 s t a b
-> Traversal s t a b
traversal1 t f =
unwrapApplicative . t (WrapApplicative . f)
@puffnfresh
puffnfresh / FP.java
Last active April 27, 2021 01:03
Writing functions once, using Cubix. FP.java, FP.py and FP.js are generated by running Main.hs
public class FP
{
public static <A> A identity (A a)
{
return a;
}
public static <A, B> A constant (A a, B b)
{
return a;
}
@puffnfresh
puffnfresh / lua-launchdarkly.c
Last active July 13, 2020 00:48
Binding LaunchDarkly C SDK to Lua
#include <stdbool.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>
#include <launchdarkly/api.h>
#include <openssl/sha.h>
#include <lua.h>
@puffnfresh
puffnfresh / not.fgg
Last active June 17, 2020 00:44
Encoding Booleans in Featherweight Generic Go
package main;
type Any(type) interface { };
type Name(type a Any()) interface {
value(type)() a
};
type Value(type a Any()) struct {
value a
#!/usr/bin/env nix-shell
#!nix-shell -p "haskellPackages.ghcWithPackages (p: [ p.pandoc p.pandoc-types ])" -i runhaskell
{-# LANGUAGE OverloadedStrings #-}
import Text.Pandoc.JSON
import Text.Pandoc.Shared (tshow)
import Data.Text as T
main :: IO ()
@puffnfresh
puffnfresh / sbt.log
Created July 15, 2019 06:18
ClassBType.info not yet assigned
java.lang.AssertionError: assertion failed: ClassBType.info not yet assigned: Lcom/atlassian/marketplace/http/rest/v2/
representations/RepresentationFactory$;
at scala.Predef$.assert(Predef.scala:170)
at scala.tools.nsc.backend.jvm.BTypes$ClassBType.info(BTypes.scala:820)
at scala.tools.nsc.backend.jvm.BTypes$ClassBType.isNestedClass(BTypes.scala:883)
at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.toTypeKind(BCodeHelpers.scala:355)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.toTypeKind(BCodeSkelBuilder.scala:50)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.symInfoTK(BCodeSkelBuilder.scala:82)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.ge
#!/usr/bin/env nix-shell
#! nix-shell -i "emacs --batch -l $HOME/.emacs.d/core/core.el -l $HOME/.emacs.d/core/core-packages.el -l $HOME/.emacs.d/core/autoload/packages.el -l" -p "emacsWithPackages (p: [ p.persistent-soft p.use-package p.quelpa p.async ])"
;; doom-module-load-path
(princ "p:\n")
(princ "let checked = n:\n")
(princ " let p' = p.${n} or null;\n")
(princ " in if p'.meta.broken or false then null else p';\n")
(princ "in\n")
@puffnfresh
puffnfresh / default.nix
Last active June 14, 2019 05:49
ghc not found patch for haskell.nix
{ pkgs ? import <nixpkgs> {} }:
let
haskell = import (builtins.fetchTarball https://github.com/input-output-hk/haskell.nix/archive/master.tar.gz) { inherit pkgs; };
happyHack = config:
let inherit (config.hsPkgs) happy;
in "export happy_datadir=${happy.components.exes.happy}/share/${builtins.currentSystem}-ghc-${config.compiler.version}/${happy.identifier.name}-${happy.identifier.version}";
pkgSet = haskell.mkCabalProjectPkgSet {