Skip to content

Instantly share code, notes, and snippets.

@NobbZ
NobbZ / Main.hs
Last active August 29, 2015 14:00
Quick and dirty skelleton
module Main (main) where
import Control.Monad (unless)
import Prelude hiding (Left, Right)
import System.IO (BufferMode (NoBuffering), hSetBuffering, isEOF,
stdout)
type Stone = Int
data Direction = Up
@NobbZ
NobbZ / main.idr
Last active August 29, 2015 14:02
Does not compile because `main` does not see `y`
module Main
main : IO ()
main = putStrLn (show y)
y : Int
y = 1
Compiling sdl2-sys v0.0.26 (https://github.com/AngryLawyer/rust-sdl2#a3f40ed0)
Running `rustc /home/norbert/.cargo/git/checkouts/rust-sdl2-8facfb557b6c1670/master/sdl2-sys/build.rs --crate-name build-script-build --crate-type bin -C prefer-dynamic -g --cfg feature="default" --out-dir /home/norbert/projects/rust/getting-started/target/build/sdl2-sys-d97611229a2ba47f --emit=dep-info,link -L dependency=/home/norbert/projects/rust/getting-started/target/deps -L dependency=/home/norbert/projects/rust/getting-started/target/deps -Awarnings`
Compiling pkg-config v0.2.1
Running `rustc /home/norbert/.cargo/registry/src/github.com-1ecc6299db9ec823/pkg-config-0.2.1/src/lib.rs --crate-name pkg-config --crate-type lib -g -C metadata=fa0aaf6e1b26fdfc -C extra-filename=-fa0aaf6e1b26fdfc --out-dir /home/norbert/projects/rust/getting-started/target/deps --emit=dep-info,link -L dependency=/home/norbert/projects/rust/getting-started/target/deps -L dependency=/home/norbert/projects/rust/getting-started/target/dep
Generating Type Specs - "/home/nobbz/projects/erlang/erldocs/src/specs_gen__below_R15.erl"
edoc: error in layout 'docgen_otp_specs': {'EXIT',
{undef,
[{docgen_otp_specs,module,
[{xmlElement,module,[],[],
{xmlNamespace,[],[]},
[],1,
[{xmlAttribute,...},{...}|...],
[{...}|...],
[],...},
@NobbZ
NobbZ / keybase.md
Created January 17, 2017 22:05
keybase.md

Keybase proof

I hereby claim:

To claim this, I am signing this object:

NobbZ hatte ja schon eingeserlebt seit er es geschafft hatte damals aus Griechenland zu entkommen... Aber jetzt war es das erste mal, dass er und seine Freunde sich lange auf Kampf vorbereitet haben... Er ist sich sicher, dass die Welt ohne diese Langfinger der Natur, oder wie sie sich nennen, nur besser werden kann... Klar, die Zombies bleiben, aber die nehmen nicht mehr als sie essen können...

Er postierte sich wie abgesprochen in einiger Entfernung auf einem stehengebliebenem LKW, legte sein Scharfschützengewehr auf seinen Rucksack und lud es fertig... Er wusste, er hätte nur einen Schuss, bevor der Krach die Zombies aus dem Wald zu ihm locken würden....

Durch sein Zielfernrohr sah er einen Mann, der immer von vier anderen umringt war und gut vor Angreifern geschützt wurde.

limit = 10_000_000
factors = [3, 5]
Benchee.run(%{
"evanboho" => fn -> E.to(limit, factors) end,
"muhifauzan" => fn -> M.to(limit, factors) end,
"nobbz" => fn -> N.to(limit, factors) end,
})
limit = 10_000_000
Generation 297 -> 298:
blas: +5622.4 KiB
busybox: 1.32.0-x86_64-unknown-linux → 1.32.1-x86_64-unknown-linux
cachix: -38.9 KiB
dav1d: 0.8.0 → 0.8.1, +9.0 KiB
electron: 9.4.0 → 11.2.0, +2946.4 KiB
emacs-agda2-mode: 2.6.1.1 → 2.6.1.2
emacs-annotation: 2.6.1.1 → 2.6.1.2
emacs-dash: 20210116.25 → 20210116.1426
emacs-eri: 2.6.1.1 → 2.6.1.2
{
inputs = {
nixpkgs.url = "github:nixos/nixpkgs/nixos-21.05";
naersk = { url = "github:nmattia/naersk"; inputs.nixpkgs.follows = "nixpkgs"; };
oxalica = { url = "github:oxalica/rust-overlay"; };
};
outputs = { self, nixpkgs, naersk, oxalica, ... }@inputs:
let
@NobbZ
NobbZ / README.md
Created November 20, 2022 16:37
Minimal elixir dockerTools image