Skip to content

Instantly share code, notes, and snippets.

[ 0.000000] Initializing cgroup subsys cpuset
[ 0.000000] Initializing cgroup subsys cpu
[ 0.000000] Initializing cgroup subsys cpuacct
[ 0.000000] Linux version 3.12.8-1-ARCH (tobias@T-POWA-LX) (gcc version 4.8.2 20131219 (prerelease) (GCC) ) #1 SMP PREEMPT Thu Jan 16 09:16:34 CET 2014
[ 0.000000] Command line: BOOT_IMAGE=/vmlinuz-linux root=UUID=2dcec6aa-f82f-4592-a132-8f3504e8f5f6 rw "acpi_osi=!Windows 2012" pcie_aspm=force
[ 0.000000] e820: BIOS-provided physical RAM map:
[ 0.000000] BIOS-e820: [mem 0x0000000000000000-0x0000000000057fff] usable
[ 0.000000] BIOS-e820: [mem 0x0000000000058000-0x0000000000058fff] reserved
[ 0.000000] BIOS-e820: [mem 0x0000000000059000-0x000000000009bfff] usable
[ 0.000000] BIOS-e820: [mem 0x000000000009c000-0x000000000009cfff] reserved
import Text.Printf
import Control.Concurrent
import Control.Monad
import Control.Exception
foreign import ccall unsafe "test_c.h read_errno" get_errno :: IO Int
foreign import ccall unsafe "test_c.h write_errno" set_errno :: Int -> IO ()
main :: IO ()
main = do
import Control.Applicative
import Data.List
data Tree a = Null | Node a (Tree a) (Tree a)
buildTree :: [(Int, (Int, Int))] -> Int -> Tree Int
buildTree _ (-1) = Null
buildTree items n = Node n (buildTree items l) (buildTree items r)
where Just (l, r) = n `lookup` items
{-# LANGUAGE RecordWildCards #-}
import Data.Bits
import Control.Monad
import Control.Applicative
import Text.ParserCombinators.ReadP
import Numeric
binary :: (Read a, Num a) => ReadP a
-- 'pure' lifts Char into a String
@abbradar
abbradar / min.jl
Last active September 3, 2015 17:11
#!/usr/bin/env julia
dbpath = "$(pwd())/updatedb"
mkpath(dbpath)
Pkg.update()
metadata = Pkg.dir("METADATA")
function readpkg(name :: ASCIIString)
version = Pkg.available(name)[end]
@abbradar
abbradar / gist:4eb66a7821785f983a6c
Created September 3, 2015 11:07
min.jl output with valgrind
==3984== Memcheck, a memory error detector
==3984== Copyright (C) 2002-2013, and GNU GPL'd, by Julian Seward et al.
==3984== Using Valgrind-3.10.1 and LibVEX; rerun with -h for copyright info
==3984== Command: result/bin/julia min.jl
==3984==
INFO: Updating METADATA...
INFO: Computing changes...
INFO: No packages to install, update or remove
From git://github.com/zenna/AbstractDomains.jl
* [new branch] master -> origin/master
nixpkgs git:(stable) ✗ nix-build -A vdpauinfo
/nix/store/s0yhdlvxxii6krdmfkap7mgxg7dbmhgd-vdpauinfo-1.0
nixpkgs git:(stable) ✗ result/bin/vdpauinfo
display: :0.0 screen: 0
[VS] Software VDPAU backend library initialized
libva info: VA-API version 0.38.1
libva info: va_getDriverName() returns 0
libva info: Trying to open /run/opengl-driver/lib/dri/i965_drv_video.so
libva info: Found init function __vaDriverInit_0_38
libva info: va_openDriver() returns 0
@abbradar
abbradar / FromVector.hs
Last active June 12, 2016 14:19
Example implementation of FromVector
{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds, ScopedTypeVariables #-}
import GHC.TypeLits
import Data.Proxy
import Data.Vector (Vector)
import qualified Data.Vector as V
import Linear (V0(..), V1(..), V2(..), V3(..), V4(..))
import qualified Linear as L
import Linear.V (Dim, V)
import qualified Linear.V as LV
{-# LANGUAGE PatternSynonyms, ViewPatterns #-}
import Data.List
import Data.Foldable
import Control.Monad.State
import Data.Distributive
fromList :: (Applicative m, Distributive m, Traversable m) => [a] -> Maybe (m a)
fromList xs = do
(ys, []) <- runStateT (traverse (\_ -> StateT uncons) (pure ())) xs
diff --git a/nixos/modules/system/boot/plymouth.nix b/nixos/modules/system/boot/plymouth.nix
index 60a587a..7216c20 100644
--- a/nixos/modules/system/boot/plymouth.nix
+++ b/nixos/modules/system/boot/plymouth.nix
@@ -90,12 +90,15 @@ in
copy_bin_and_libs ${pkgs.plymouth}/bin/plymouthd
copy_bin_and_libs ${pkgs.plymouth}/bin/plymouth
+ echo "hello, 1"
moduleName="$(sed -n 's,ModuleName *= *,,p' ${themesEnv}/share/plymouth/themes/${cfg.theme}/${cfg.theme}.plymouth)"