Skip to content

Instantly share code, notes, and snippets.

View awalterschulze's full-sized avatar
🇿🇦
Learning LeanProver

Walter Schulze awalterschulze

🇿🇦
Learning LeanProver
View GitHub Profile
@awalterschulze
awalterschulze / Makefile
Created February 2, 2017 13:27
golang: How to check whether a function is inlined
all:
make build
make objdump
build:
go build -gcflags -m main.go
objdump:
go tool objdump -s "main.main" main | grep CALL
@awalterschulze
awalterschulze / .gitignore
Last active May 4, 2023 01:13
Problems with GADT and deriving
.stack-work
@awalterschulze
awalterschulze / .gitignore
Last active September 2, 2022 10:42
compile git version inside go binary
mybinary
@awalterschulze
awalterschulze / .gitignore
Created October 1, 2020 11:05
erlfmt rebar example
_build
Table Name
❌ |
File_name
File_Name
FileName
_File
@awalterschulze
awalterschulze / Dockerfile
Created October 6, 2017 13:09
Run a cassandra in a docker with preloaded data
FROM cassandra:3.1.1
RUN mkdir -p /tmp/var/lib/cassandra /etc/cassandra \
&& chown -R cassandra:cassandra /tmp/var/lib/cassandra /etc/cassandra \
&& chmod 777 /tmp/var/lib/cassandra /etc/cassandra
RUN sed -i "s~/var/lib/cassandra~/tmp/var/lib/cassandra~g" /etc/cassandra/cassandra.yaml
COPY *.cql /tmp/
@awalterschulze
awalterschulze / Dockerfile
Last active August 2, 2018 06:32
How to download edx videos
FROM python:2.7.9-wheezy
RUN git clone https://github.com/shk3/edx-downloader
RUN (cd edx-downloader && pip install -r requirements.txt)
RUN pip install --upgrade youtube_dl
VOLUME /tmp/
WORKDIR /tmp/
ENTRYPOINT bash
@awalterschulze
awalterschulze / deletealldockers.md
Created June 16, 2015 13:17
Docker: Remove all images and containers
@awalterschulze
awalterschulze / main.go
Created March 19, 2018 18:19
flatten and unflatten a json structure for a given field name.
package main
import (
"encoding/base64"
gojson "encoding/json"
"fmt"
"io"
"github.com/katydid/katydid/parser"
"github.com/katydid/katydid/parser/json"
@awalterschulze
awalterschulze / goexperiencereport.md
Last active March 19, 2018 18:04
For Sum Types: Multiple return parameters are overrated

For Sum Types: Multiple return parameters are overrated

In this Go Experience Report I am going to make a case for sum types over multiple return parameters.

Analysis of multiple return parameters

I wrote a little tool which does some analysis of Go source code:

https://github.com/awalterschulze/goanalysis