Skip to content

Instantly share code, notes, and snippets.

View t4ccer's full-sized avatar

Tomasz Maciosowski t4ccer

View GitHub Profile
@t4ccer
t4ccer / results.json
Created August 3, 2023 18:54
Quicksort halfs results
This file has been truncated, but you can view the full file.
{"position":"1","game_value":"0"}
{"position":"12","game_value":"0"}
{"position":"21","game_value":"*"}
{"position":"123","game_value":"0"}
{"position":"132","game_value":"*"}
{"position":"213","game_value":"*"}
{"position":"231","game_value":"*2"}
{"position":"312","game_value":"*2"}
{"position":"321","game_value":"0"}
@t4ccer
t4ccer / results.json
Created August 3, 2023 11:13
Quickcheck Game results
This file has been truncated, but you can view the full file.
{"position":"1","game_value":"0"}
{"position":"12","game_value":"0"}
{"position":"21","game_value":"*"}
{"position":"123","game_value":"0"}
{"position":"132","game_value":"*"}
{"position":"213","game_value":"*"}
{"position":"231","game_value":"*2"}
{"position":"312","game_value":"*2"}
{"position":"321","game_value":"*2"}
{"position":"1234","game_value":"0"}
@t4ccer
t4ccer / results.json
Created August 3, 2023 11:10
Quickcheck Game results
This file has been truncated, but you can view the full file.
{"position":"1","game_value":"0"}
{"position":"12","game_value":"0"}
{"position":"21","game_value":"*"}
{"position":"123","game_value":"0"}
{"position":"132","game_value":"*"}
{"position":"213","game_value":"*"}
{"position":"231","game_value":"*2"}
{"position":"312","game_value":"*2"}
{"position":"321","game_value":"*2"}
{"position":"1234","game_value":"0"}
{ pkgs ? import <nixpkgs> {}}:
# Test this example:
# nix eval --impure --expr '(import ./default.nix {}).doMagic {foo = 42;}'
#
# Build docs for this example:
# nix-build -A docs
# Usage for the end user
# let myLib = import ./path/to/this/file.nix {inherit pkgs;};
@t4ccer
t4ccer / flake.lock
Created September 30, 2022 20:06
`plfa` Nix shell
{
"nodes": {
"nixpkgs": {
"locked": {
"lastModified": 1664497144,
"narHash": "sha256-oLTtXSp95umHunc+uFyGxUiZCXQlGFjXMz+w95hGZi4=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "671fabc93b4d1a3b38499c7b20776477c91b2b15",
"type": "github"

Keybase proof

I hereby claim:

  • I am t4ccer on github.
  • I am t4ccer (https://keybase.io/t4ccer) on keybase.
  • I have a public key whose fingerprint is 6866 981C 4992 4D64 D154 E1AC 19E5 A2D8 B1E4 3F19

To claim this, I am signing this object:

@t4ccer
t4ccer / Microsoft.VSCode_profile.ps1
Last active October 28, 2020 11:37
Powershell prompt
# Install:
# Invoke-WebRequest "https://gist.githubusercontent.com/t4ccer/4e214a9a91b91877ec64e5ef1e9743ff/raw/" -OutFile $PROFILE
# ctrl-d to exit
# Set-PSReadlineKeyHandler -Key ctrl+d -Function ViExit
function prompt {
Write-Host ("" + $env:UserName) -NoNewline -ForegroundColor Red
Write-Host ("@") -NoNewline -ForegroundColor White
Write-Host ("" + $env:computername) -NoNewline -ForegroundColor Blue
@t4ccer
t4ccer / .bashrc
Last active December 22, 2020 17:21
.bashrc profile
#Install:
# wget -O ~/.bashrc https://gist.githubusercontent.com/t4ccer/f41bdd7eaf6d724a9f82f7851753b022/raw
SHELL=/bin/bash
# If not running interactively, don't do anything
case $- in
*i*) ;;
*) return;;
esac
@t4ccer
t4ccer / bare.hsfiles
Last active June 22, 2021 16:26
Bare stack template
{-# START_FILE package.yaml #-}
name: {{name}}
version: 0.1.0.0
github: "t4ccer/{{name}}"
license: BSD3
author: "t4ccer"
maintainer: "t4ccre@gmail.com"
copyright: "t4ccer"
extra-source-files: