I hereby claim:
- I am edwintorok on github.
- I am edwintorok (https://keybase.io/edwintorok) on keybase.
- I have a public key whose fingerprint is B32F 9BE2 E22D 4615 ABD2 CE8E 814A 3A7A 06AA 1295
To claim this, I am signing this object:
Török Edwin edwintorok
edwintorok
/ jbuildfmt.ml
Created
October 3, 2017 08:32
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
| open Sexplib | |
| let reformat sexp = sexp | |
| let vparens pp ppf = Fmt.pf ppf "@[<v1>(%a)@]" pp | |
| let slist = Fmt.(list ~sep:sp) | |
| let spair = Fmt.(pair ~sep:sp) | |
| let canonicalize_set = List.sort_uniq (*Sexp.*)compare |
edwintorok
/ keybase.md
Created
September 9, 2017 14:57
edwintorok
/ test
Created
August 30, 2017 22:14
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
| a |
edwintorok
/ gist:a27b77c777e8c05be9578b1f9ce5589a
Created
January 8, 2017 12:59
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
| Script started on Sun 08 Jan 2017 02:58:15 PM EET | |
| [edwin@bolt mobile]$ eliom-distillery -name ocsimobile -template os.pgocaml && cd ocsimobile && sed -i -e '/CREATE EXTENSION citext/d | |
| ' ocsimobile.sql && sed -i -e 's/citext/text/g' ocsimobile.sql | |
| Destination directory "ocsimobile" doesn't exist. Create it? (YES/no) y | |
| Generated ocsimobile/demo_react.eliom | |
| Generated ocsimobile/mobile/www/img/logo.png | |
| Generated ocsimobile/ocsimobile_tips.eliomi | |
| Generated ocsimobile/ocsimobile_drawer.eliom | |
| Generated ocsimobile/mobile/.chcpignore | |
| Generated ocsimobile/Makefile.options |
edwintorok
/ typing slow
Created
September 6, 2016 16:17
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
| I/KOReader(17767): # opening file /mnt/sdcard/Books/Zotero/A Sampling Theory Primer, Nyquist sampling discrete-time/Sampling_ what nyquist didn't say, and what to do about it/Wescott, Tim.pdf | |
| I/KOReader(17767): ffi.load libs/liblept.so.4 | |
| I/KOReader(17767): ffi.load libs/libk2pdfopt.so.2 | |
| I/KOReader(17767): # cache image|resources/icons/dogear.png|| | |
| I/KOReader(17767): # cache image|resources/icons/appbar.book.open.png|| | |
| I/KOReader(17767): # Loaded plugin calibrecompanion at plugins/calibrecompanion.koplugin | |
| I/KOReader(17767): # Loaded plugin evernote at plugins/evernote.koplugin | |
| I/KOReader(17767): # Loaded plugin kosync at plugins/kosync.koplugin | |
| I/KOReader(17767): # Loaded plugin statistics at plugins/statistics.koplugin | |
| I/KOReader(17767): # Loaded plugin zsync at plugins/zsync.koplugin |
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
| --------- beginning of /dev/log/system | |
| D/BatteryService( 581): Sending ACTION_BATTERY_CHANGED. | |
| D/STATUSBAR-IconMerger( 689): checkOverflow(870), More:false, Req:false Child:1 | |
| D/STATUSBAR-PhoneStatusBar( 689): mBrightnessEnablebySettings = true mBrightnessEnablebyBattery = true mBrightnessEnablebyDisableFlag = true mPmsBrightnessEnablebySettings = true | |
| D/BatteryMeterView( 689): ACTION_BATTERY_CHANGED : level:44 status:3 health:2 | |
| D/STATUSBAR-IconMerger( 689): checkOverflow(870), More:false, Req:false Child:1 | |
| V/AlarmManager( 581): waitForAlarm result :12 | |
| V/AlarmManager( 581): trigger ELAPSED_REALTIME_WAKEUP or RTC_WAKEUP | |
| E/Watchdog( 581): !@Sync 111 | |
| D/KeyguardClockWidgetService( 1067): onReceive action=android.intent.action.TIME_TICK |
edwintorok
/ .config
Last active
July 28, 2016 07:12
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
| # | |
| # Automatically generated file; DO NOT EDIT. | |
| # Linux/x86 4.6.4-gentoo Kernel Configuration | |
| # | |
| # | |
| # Gentoo Linux | |
| # | |
| CONFIG_GENTOO_LINUX=y | |
| CONFIG_GENTOO_LINUX_UDEV=y |
edwintorok
/ Qubes R3.2-rc1 firstboot crash
Created
June 26, 2016 11:41
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
| -- Logs begin at Sun 2016-06-26 13:55:26 EEST, end at Sun 2016-06-26 14:19:48 EEST. -- | |
| Jun 26 13:55:26 dom0 systemd-journal[221]: Runtime journal is using 8.0M (max allowed 196.7M, trying to leave 295.0M free of 1.9G available → current limit 196.7M). | |
| Jun 26 13:55:26 dom0 systemd-journal[221]: Runtime journal is using 8.0M (max allowed 196.7M, trying to leave 295.0M free of 1.9G available → current limit 196.7M). | |
| Jun 26 13:55:26 dom0 kernel: x86/PAT: Configuration [0-7]: WB WT UC- UC WC WP UC UC | |
| Jun 26 13:55:26 dom0 kernel: Initializing cgroup subsys cpuset | |
| Jun 26 13:55:26 dom0 kernel: Initializing cgroup subsys cpu | |
| Jun 26 13:55:26 dom0 kernel: Initializing cgroup subsys cpuacct | |
| Jun 26 13:55:26 dom0 kernel: Linux version 4.4.12-9.pvops.qubes.x86_64 (user@release) (gcc version 5.3.1 20160406 (Red Hat 5.3.1-6) (GCC) ) #1 SMP Tue Jun 7 03:44:45 UTC 2016 | |
| Jun 26 13:55:26 dom0 kernel: Command line: placeholder root=/dev/mapper/vg--ssd-qubes--root ro rd.lvm.lv=vg-ssd/qubes-root rd.lvm.lv=vg-ssd/qubes-boo |
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
| [Sun Jun 5 18:18:56 2016] PAT configuration [0-7]: WB WT UC- UC WC WP UC UC | |
| [Sun Jun 5 18:18:56 2016] Initializing cgroup subsys cpuset | |
| [Sun Jun 5 18:18:56 2016] Initializing cgroup subsys cpu | |
| [Sun Jun 5 18:18:56 2016] Initializing cgroup subsys cpuacct | |
| [Sun Jun 5 18:18:56 2016] Linux version 4.1.13-9.pvops.qubes.x86_64 (user@release) (gcc version 4.8.3 20140911 (Red Hat 4.8.3-7) (GCC) ) #1 SMP Thu Feb 11 15:46:02 UTC 2016 | |
| [Sun Jun 5 18:18:56 2016] Command line: placeholder root=/dev/mapper/qubes_dom0-root ro i915.preliminary_hw_support=1 rd.lvm.lv=qubes_dom0/root vconsole.font=latarcyrheb-sun16 rd.lvm.lv=qubes_dom0/swap rhgb quiet | |
| [Sun Jun 5 18:18:56 2016] tseg: 00bd800000 | |
| [Sun Jun 5 18:18:56 2016] Released 0 page(s) | |
| [Sun Jun 5 18:18:56 2016] e820: BIOS-provided physical RAM map: | |
| [Sun Jun 5 18:18:56 2016] Xen: [mem 0x0000000000000000-0x000000000009dfff] usable |
edwintorok
/ glxgears-logs
Created
January 23, 2016 18:16
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
| [Sat Jan 23 20:13:27 2016] BUG: Bad rss-counter state mm:ffff880006671c00 idx:0 val:7 | |
| [Sat Jan 23 20:13:27 2016] BUG: Bad rss-counter state mm:ffff880006671c00 idx:1 val:272 | |
| [Sat Jan 23 20:13:27 2016] BUG: Bad rss-counter state mm:ffff880005cba680 idx:1 val:62908 | |
| [Sat Jan 23 20:13:31 2016] BUG: Bad rss-counter state mm:ffff880006675080 idx:1 val:20038 | |
| [Sat Jan 23 20:13:37 2016] watch[4853]: segfault at 18 ip 0000003de50bc8cc sp 00007ffec593e150 error 4 in libc-2.18.so[3de5000000+1b4000] | |
| [Sat Jan 23 20:13:37 2016] BUG: Bad rss-counter state mm:ffff880006675080 idx:0 val:7 | |
| [Sat Jan 23 20:13:37 2016] BUG: Bad rss-counter state mm:ffff880006675080 idx:1 val:272 | |
| [Sat Jan 23 20:13:39 2016] watch[4854]: segfault at 18 ip 0000003de50bc8cc sp 00007ffec593e150 error 4 in libc-2.18.so[3de5000000+1b4000] | |
| [Sat Jan 23 20:13:39 2016] BUG: Bad rss-counter state mm:ffff880006672300 idx:0 val:7 | |
| [Sat Jan 23 20:13:39 2016] BUG: Bad rss-counter state mm:ffff880006672300 idx:1 val:272 |