Skip to content

Instantly share code, notes, and snippets.


Daniel Martí mvdan

View GitHub Profile
# Small script to gather data from picosat and your own SAT solver
# Useful for LI prac 01
# Example usage:
# ./ > out.txt
# Your solver

Keybase proof

I hereby claim:

  • I am mvdan on github.
  • I am mvdan ( on keybase.
  • I have a public key ASA4MmcWdoA_zSWkg14S2avWaLwGoShwnpkg67zk6-n-two

To claim this, I am signing this object:

View sh-interp-extract.go
package main
import (

Proposal: io: add a buffered pipe


Add a way to easily create a buffered io.Pipe. Currently, one has to write their own from scratch. This leads to dozens of separate implementations in the wild, and likely many correctness issues and hidden bugs.


mvdan / Dockerfile-drone-nolimit
Last active Dec 1, 2020
Dockerfile to build Drone CI as a standalone server with its nolimit flag -
View Dockerfile-drone-nolimit
FROM golang:1.14.4 AS builder
RUN apt-get update && apt-get install -y ca-certificates
RUN git clone -b v1.8.1 --depth=1
RUN cd drone && go install -trimpath -ldflags='-w -s' -tags nolimit ./cmd/drone-server
FROM debian:buster-slim
COPY --from=builder /etc/ssl/certs/ca-certificates.crt /etc/ssl/certs/