This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import sys | |
import ipaddress | |
import socket | |
import fnmatch | |
import traceback | |
import itertools | |
from datetime import datetime | |
import functools | |
from urllib.parse import urlparse | |
from PyQt5.QtCore import QObject, QVariant, QMetaType, pyqtSlot |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
16:51:42 DEBUG url urlutils:fuzzy_url:193 Converting fuzzy term 'abbradar.net/me/share/video.mp4' to URL -> http://abbradar.net/me/share/video.mp4 | |
16:51:42 DEBUG webview tabbedbrowser:on_title_changed:494 Changing title for idx 2 to 'http://abbradar.net/me/share/video.mp4' | |
16:51:42 DEBUG webview browsertab:_set_load_status:530 load status for <qutebrowser.browser.webkit.webkittab.WebKitTab tab_id=3 url=''>: LoadStatus.loading | |
16:51:42 DEBUG signals signalfilter:_filter_signals:86 emitting: cur_load_status_changed('loading') (tab 2) | |
16:51:42 DEBUG signals signalfilter:_filter_signals:86 emitting: cur_load_started() (tab 2) | |
16:51:42 DEBUG modes modeman:maybe_leave:114 Not in mode KeyMode.insert! (leave reason: load started) | |
16:51:42 DEBUG modes modeman:maybe_leave:114 Not in mode KeyMode.hint! (leave reason: load started) | |
16:51:42 DEBUG modes modeman:_eventFilter_keypress:194 handled: True, forward-unbound-keys: auto, passthrough: True, is_non_alnum: Tru |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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)" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# 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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# 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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
==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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env julia | |
dbpath = "$(pwd())/updatedb" | |
mkpath(dbpath) | |
Pkg.update() | |
metadata = Pkg.dir("METADATA") | |
function readpkg(name :: ASCIIString) | |
version = Pkg.available(name)[end] |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# 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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |