Skip to content

Instantly share code, notes, and snippets.

View andys8's full-sized avatar
💻
Hi there!

Andy andys8

💻
Hi there!
View GitHub Profile
@andys8
andys8 / L1.json
Created February 5, 2023 16:50
Dygma Raise Layout
{
"layerNames": [
{
"id": 0,
"name": "L1"
},
{
"id": 1,
"name": "L2"
},
@andys8
andys8 / fantasyland_spec_cheatsheet.md
Created August 6, 2017 13:51
A cheatsheet to have the fantasy land algebraic specification at a glance

Algebras

Algebra Methods
Functor map
Apply ap, map
Applicative of, ap, map
Chain chain, ap, map
@andys8
andys8 / gist:0270b4c7e4bdc6dc0652755aaba6900c
Created April 24, 2018 22:04
How to build and flash QMK with DZ60 and Docker
# press space + b and connect the usb port
# build
docker run -e keymap=iso_vim_arrow -e keyboard=dz60 --rm -v $('pwd'):/qmk:rw edasque/qmk_firmware
# flash
sudo dfu-programmer atmega32u4 erase --force
sudo dfu-programmer atmega32u4 flash dz60_iso_vim_arrow.hex
sudo dfu-programmer atmega32u4 reset
@andys8
andys8 / brick.md
Last active April 22, 2020 10:05
brick (haskell)

FP Session Brick

Demo

  • brick-attr-demo
  • brick-border-demo
  • brick-form-demo
  • void-space-exe (in repo)
  • tetris
  • git-brunch
@andys8
andys8 / mvg.sh
Last active March 17, 2020 12:41
mvg
#!/bin/bash
# Request of <https://www.mvg.de/dienste/verbindungen.html>
set -eu pipefail
url="https://www.mvg.de/api/fahrinfo/routing/?fromStation=de:09162:2&toStation=de:09179:6180&transportTypeBus=false&transportTypeUnderground=false&transportTypeBoat=false&transportTypeTram=false&transportTypeCable=false&changeLimit=0&sapTickets=true"
json=$(curl -s "$url" || '')
if [[ $json == "" ]]; then
echo "$(tput setaf 3)Failed$(tput sgr 0)"
exit 1
@andys8
andys8 / haskell.yml
Created February 4, 2020 19:01
Haskell CI (Github Actions)
name: Haskell CI
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: actions/cache@v1
@andys8
andys8 / vimtutor.md
Last active November 3, 2018 22:47
VIM Tutor

Vim Tutor

What I learned by vimtutor.

TL;DR

Skip this. Use vimtutor instead.

General usage

@andys8
andys8 / i3config
Created August 9, 2018 19:51
i3 config
# This file has been auto-generated by i3-config-wizard(1).
# It will not be overwritten, so edit it as you like.
#
# Should you change your keyboard layout some time, delete
# this file and re-run i3-config-wizard(1).
#
# i3 config file (v4)
#
# Please see http://i3wm.org/docs/userguide.html for a complete reference!
@andys8
andys8 / gist:938b19bb470f187071e8968f9dfd5c49
Created July 18, 2018 21:39
Functor, Applicative, Monad
(<$>), which lifts a single-argument function into a Functor
(<*>), which chains a multi-argument function through an Applicative
(=<<), which binds a function that enters a Monad onto an existing computation