I hereby claim:
- I am digitalbrains1 on github.
- I am digitalbrains (https://keybase.io/digitalbrains) on keybase.
- I have a public key whose fingerprint is 8FA9 4E79 AD6A B56E E38C E5CB AC46 EFE6 DE50 0B3E
To claim this, I am signing this object:
Peter Lebbing DigitalBrains1
DigitalBrains1
/ check2.py
Created
April 27, 2023 16:23
This file contains 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 python3 | |
| import os | |
| import subprocess | |
| import tempfile | |
| def run(args, cwd): | |
| return subprocess.run(args, cwd=cwd, check=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, text=True) | |
| def comb_to_string(comb): | |
| ghc, hashable, primitive = comb |
DigitalBrains1
/ DocTest.hs
Created
January 29, 2022 11:12
This file contains 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
| module DocTest where | |
| -- | Problematic doctest example 1 | |
| -- | |
| -- >>> x = 1 | |
| -- >>> :{ | |
| -- x | |
| -- :} | |
| -- 1 | |
| -- >>> x |
DigitalBrains1
/ gist:8e612660965bc5a88555f9cf2287eb22
Created
March 9, 2021 13:39
This file contains 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
| Build profile: -w ghc-8.8.4 -O1 | |
| In order, the following will be built (use -v for more details): | |
| - clash-prelude-1.3.0 (file src/Clash/Annotations/TH.hs changed) | |
| Preprocessing library for clash-prelude-1.3.0.. | |
| Running Haddock on library for clash-prelude-1.3.0.. | |
| Warning: The documentation for the following packages are not installed. No | |
| links will be generated to these packages: QuickCheck-2.14.2, StateVar-1.2.1, | |
| Stream-0.4.7.2, adjunctions-4.4, arrows-0.4.4.2, base-compat-0.11.2, | |
| base-compat-batteries-0.11.2, base-orphans-0.8.4, bifunctors-5.5.10, | |
| bytestring-builder-0.10.8.2.0, call-stack-0.3.0, comonad-5.0.8, |
This file contains 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 DeriveGeneric #-} | |
| {-# LANGUAGE DeriveAnyClass #-} | |
| {- | |
| - Copyright (c) 2015, 2017 Peter Lebbing <peter@digitalbrains.com> | |
| - All rights reserved. | |
| - | |
| - Redistribution and use in source and binary forms, with or without | |
| - modification, are permitted provided that the following conditions are met: | |
| - | |
| - 1. Redistributions of source code must retain the above copyright notice, |
DigitalBrains1
/ Blockram2p.hs
Last active
March 25, 2021 13:59
Blackbox spec for dual-port block RAM
This file contains 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
| {- | |
| - Copyright (c) 2015, 2017 Peter Lebbing <peter@digitalbrains.com> | |
| - All rights reserved. | |
| - | |
| - Redistribution and use in source and binary forms, with or without | |
| - modification, are permitted provided that the following conditions are met: | |
| - | |
| - 1. Redistributions of source code must retain the above copyright notice, | |
| - this list of conditions and the following disclaimer. | |
| - |
DigitalBrains1
/ gist:b867c835212cf2de31ad94e714374580
Created
January 10, 2017 11:23
Steam - System Information
This file contains 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
| Computer Information: | |
| Manufacturer: Unknown | |
| Model: Unknown | |
| Form Factor: Desktop | |
| No Touch Input Detected | |
| Processor Information: | |
| CPU Vendor: GenuineIntel | |
| CPU Family: 0x6 | |
| CPU Model: 0x3c |
DigitalBrains1
/ sailfish-syncevolution.spec
Created
August 30, 2016 16:21
Modified spec file for Sailfish syncevolution
This file contains 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
| Name: syncevolution | |
| Summary: SyncEvolution - a SyncML and CalDAV/CardDAV client | |
| Version: 1.3.99.7 | |
| Release: 1 | |
| License: GPL | |
| Source: syncevolution-%{version}-%{release}.tar.gz | |
| BuildRequires: gettext glib2-devel boost-devel pcre-devel cppunit-devel | |
| BuildRequires: libcurl-devel sqlite-devel libxml2-devel openssl-devel zlib-devel | |
| BuildRequires: mkcal-qt5-devel kcalcore-qt5-devel libical-devel | |
| BuildRequires: libaccounts-glib-devel libsignon-glib-devel dbus-glib-devel |
DigitalBrains1
/ syncevolution-buildlog
Created
August 30, 2016 16:18
Internal compiler error building syncevolution for Sailfish
This file contains 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
| [mersdk@SailfishSDK ~]$ cd /home/src1/src/sailfish/syncevolution | |
| [mersdk@SailfishSDK syncevolution]$ mkdir rpm | |
| [mersdk@SailfishSDK syncevolution]$ cp ../sailfish-syncevolution.spec rpm | |
| [mersdk@SailfishSDK syncevolution]$ mb2 -t SailfishOS-armv7hl build | |
| The following NEW packages are going to be installed: | |
| boost-chrono boost-date-time boost-devel boost-graph boost-iostreams boost-locale | |
| boost-math boost-program-options boost-python boost-random boost-regex | |
| boost-serialization boost-signals boost-test boost-thread boost-timer boost-wave | |
| cppunit cppunit-devel cvs dbus-glib-devel gettext gettext-devel gettext-libs |
DigitalBrains1
/ gist:63a9ea08597b890b0599
Created
July 18, 2015 13:22
Kernel dmesg: failed to bring up CPU
This file contains 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
| [ 0.000000] Initializing cgroup subsys cpuset | |
| [ 0.000000] Initializing cgroup subsys cpu | |
| [ 0.000000] Initializing cgroup subsys cpuacct | |
| [ 0.000000] Linux version 3.16.0-4-amd64 (debian-kernel@lists.debian.org) (gcc version 4.8.4 (Debian 4.8.4-1) ) #1 SMP Debian 3.16.7-ckt11-1 (2015-05-24) | |
| [ 0.000000] Command line: BOOT_IMAGE=/vmlinuz-3.16.0-4-amd64 root=/dev/mapper/tweek-root ro | |
| [ 0.000000] e820: BIOS-provided physical RAM map: | |
| [ 0.000000] BIOS-e820: [mem 0x0000000000000000-0x000000000009d7ff] usable | |
| [ 0.000000] BIOS-e820: [mem 0x000000000009d800-0x000000000009ffff] reserved | |
| [ 0.000000] BIOS-e820: [mem 0x00000000000e0000-0x00000000000fffff] reserved | |
| [ 0.000000] BIOS-e820: [mem 0x0000000000100000-0x00000000be34efff] usable |
DigitalBrains1
/ keybase.md
Created
February 1, 2015 14:13
NewerOlder