Skip to content

Instantly share code, notes, and snippets.

let
pkgsOrig = import <nixpkgs> {};
pkgsMusl = pkgsOrig.pkgsMusl;
extraLibraries = with pkgsMusl; [
musl
zlib zlib.static
libffi (libffi.override { stdenv = makeStaticLibraries stdenv; })
gmp (gmp.override { withStatic = true; })
];
docker =
diff --git a/modules/modules.nix b/modules/modules.nix
index 0e18795..a5d1757 100644
--- a/modules/modules.nix
+++ b/modules/modules.nix
@@ -27,7 +27,7 @@ let
(loadModule ./misc/gtk.nix { })
(loadModule ./misc/lib.nix { })
(loadModule ./misc/news.nix { })
- (loadModule ./misc/nixpkgs.nix { })
+ # (loadModule ./misc/nixpkgs.nix { })
{ old, new, pkgs ? import <nixpkgs> {}}:
let
packages = [
"aeson" "Agda" "attoparsec" "cassava" "conduit" "cryptonite"
"diagrams-core" "distributed-process" "esqueleto" "git-annex" "hakyll"
"hedgehog" "hlint" "http-client" "idris" "lens" "pandoc" "pipes"
"purescript" "QuickCheck" "servant" "servant-server" "ShellCheck"
"singletons" "tls"
];
@utdemir
utdemir / THLPE.hs
Last active May 14, 2019 00:35
Property Checking "The Hardest Logic Puzzle Ever"
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE RecordWildCards #-}
module Game.THLPE
( THLPE ()
, GodAnswer (..)
, GodType (..)
, GodName (..)
module Main where
import Data.List
import Data.Tree
data Elem a = Elem { elemVec :: [Double], elemData :: a }
deriving (Show)
data KDTree a
= Branch Int Double Int (KDTree a) (KDTree a)
import sys
import json
from pprint import pprint
from datetime import datetime
with open(sys.argv[1], "r") as f:
js = json.load(f)
items = js["items"]
#!/usr/bin/env python
import re
import sys
import argparse
from typing import *
from pprint import pprint
from multiprocessing import Pool
from datetime import datetime, timedelta
#!/usr/bin/env bash
set -o errexit
set -o nounset
FULL_PATH=$(realpath "$1")
TMPDIR="$(mktemp -d)"
set -o xtrace
@utdemir
utdemir / loop.hs
Last active November 5, 2017 09:16
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-
This piece of code makes GHC never terminate.
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.0.2
$ ghc-pkg list | grep servant
servant-0.11

Keybase proof

I hereby claim:

  • I am utdemir on github.
  • I am utdemir (https://keybase.io/utdemir) on keybase.
  • I have a public key ASAInLiBAn184Dj_EtkRZrSXt_iQk9eOkjy3b_ld_6stTwo

To claim this, I am signing this object: