Skip to content

Instantly share code, notes, and snippets.

View hartmut27's full-sized avatar

Hartmut Pfarr hartmut27

9 followers · 29 following
View GitHub Profile
@hartmut27
hartmut27 / java.java
Created September 12, 2020 15:15
Turn off jdk.internal.module.IllegalAccessLogger warnings / Work-around / OpenJDK 14
import java.lang.reflect.Field;
import java.lang.reflect.Method;
public class IllegalAccessLogger_TurnOff {
public static void main(String[] args) {
disableAccessWarnings();
}
@SuppressWarnings("unchecked")
@hartmut27
hartmut27 / .scalafmt.conf
Created June 12, 2020 14:57
scalafmt Scala Formatting configuration (my favorite)
version = 2.5.3
maxColumn = 130
assumeStandardLibraryStripMargin = true
align.stripMargin = false
newlines.source=keep
@hartmut27
hartmut27 / monitoring_start.sh
Last active April 30, 2020 07:11
One-click Quadruple Monitoring Startup Script (tmux automate): Jest watch, Alcotest watch, Backend HTTP-Server watch, Frontend HTTP-Server watch
#!/bin/sh
tmux new-session -s 'S1' \; \
attach -t 'S1' \; \
set -g pane-border-status top \; \
set -g base-index 1 \; \
set -g pane-base-index 1 \; \
rename-window -t 0 'W0' \; \
\
select-pane -T "Jest watch" \; \
send-keys 'npm run watch:test' C-m \; \
@hartmut27
hartmut27 / Pipe_Usage_Variants.re
Last active April 22, 2020 14:32
1) GADT, 2) Variants in usage of ReasonML/OCaml pipes
/*
* Variants in usage of ReasonML/OCaml pipes
*/
type attributeType('t) =
| Lastname: attributeType(string)
| ZipCode: attributeType(int);
type recordType = {
lastname: string,