I hereby claim:
- I am mhhf on github.
- I am mhhf (https://keybase.io/mhhf) on keybase.
- I have a public key whose fingerprint is 3653 AAC5 C72B 2295 0434 7989 7841 526D 2F42 9C8C
To claim this, I am signing this object:
Denis Erfurt mhhf
mhhf
/ keybase.md
Created
October 11, 2023 12:39
mhhf
/ gist:92154ffe83390f1e0f851d41927df6c3
Created
February 5, 2020 01:41
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
| requires "../rules.k" | |
| requires "../bin_runtime.k" | |
| module 0A6A1BB57DF4B6950C126D3D10AF302A7CA8A395FA7E5CB2A6CB8BCB99573285 | |
| imports ETHEREUM-SIMULATION | |
| imports EVM | |
| imports RULES | |
| imports BIN_RUNTIME | |
| // Mom_create |
mhhf
/ gist:2b69ab871d343c0f48ef4f3880c55a9f
Created
January 31, 2020 12:43
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
| requires "../rules.k" | |
| requires "../bin_runtime.k" | |
| module F87CBA36744EF68A848546773B864B33F68180DE212454D6D855448961B64AD6 | |
| imports ETHEREUM-SIMULATION | |
| imports EVM | |
| imports RULES | |
| imports BIN_RUNTIME | |
| // Mom_create |
mhhf
/ gist:6d29e23952011bbbef8d4d6eddbe8e30
Created
September 26, 2019 20: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
| import XMonad | |
| import XMonad.Hooks.DynamicLog | |
| import XMonad.Hooks.ManageDocks | |
| import XMonad.Util.Run(spawnPipe) | |
| import XMonad.Util.EZConfig(additionalKeys) | |
| import XMonad.Layout.NoBorders | |
| import XMonad.Layout.Gaps | |
| import XMonad.Layout.Spacing | |
| import XMonad.Hooks.EwmhDesktops | |
| import XMonad.Layout.ThreeColumns |
mhhf
/ gist:ab7413af25cf840b2b7dcea07de10c3b
Created
August 1, 2019 09:26
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
| HEAD DELTAC | |
| ├ 0 ╭ ((((VCallDepth < 1024) AND ((Ward ==K 1) AND (notBool_((Tag ==K 0)) AND ((Art_iu <= pow255) AND ( | |
| │ │ │ ((Rate_i * Art_iu) <= pow255) AND (((minSInt256 <= Rate_i) AND (Rate_i <= maxSInt256)) AND (((0 <= ( | |
| │ │ │ ((Rate_i * Art_iu) / #Ray) * Tag)) AND ((((Rate_i * Art_iu) / #Ray) * Tag) <= maxUInt256)) AND (((0 | |
| │ │ │ <= (Art_i - Art_iu)) AND ((Art_i - Art_iu) <= maxUInt256)) AND (((0 <= (Gem_a + ((((Art_iu * Rate_i) | |
| │ │ │ / #Ray) * Tag) / #Ray))) AND ((Gem_a + ((((Art_iu * Rate_i) / #Ray) * Tag) / #Ray)) <= maxUInt256)) | |
| │ │ |
mhhf
/ gist:12899a225ed57fd332318af1f3314459
Created
July 20, 2019 13:30
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 ╭ ((((May ==K 1) AND ((Live ==K 1) AND ((VCallDepth < 1024) AND (((0 <= (Base + Duty)) AND ((Base + | |
| │ │ │ Duty) <= maxUInt256)) AND (((0 <= (TIME - Rho)) AND ((TIME - Rho) <= maxUInt256)) AND (((0 <= (#rpo | |
| │ │ │ w(_,_,_,_)_RULES(#Ray, (Base + Duty), (TIME - Rho), #Ray) * Rate)) AND ((#rpow(_,_,_,_)_RULES(#Ray, | |
| │ │ │ (Base + Duty), (TIME - Rho), #Ray) * Rate) <= maxUInt256)) AND (((0 <= ((#rpow(_,_,_,_)_RULES(#Ray, | |
| │ │ │ (Base + Duty), (TIME - Rho), #Ray) * Rate) / #Ray)) AND (((#rpow(_,_,_,_)_RULES(#Ray, (Base + Duty), | |
| │ │ │ (TIME - Rho), #Ray) * Rate) / #Ray) <= maxUInt256)) AND (((0 <= (((#rpow(_,_,_,_)_RULES(#Ray, (Base | |
| │ │ │ + Duty), (TIME - Rho), #Ray) * Rate) / #Ray) - Rate)) AND ((((#rpow(_,_,_,_)_RULES(#Ray, (Base + Du | |
| │ │ │ ty), (TIME - Rh |
mhhf
/ gist:6f2a513aa1138310a5877e559cf9a071
Created
July 20, 2019 13:30
This file has been truncated, but you can view the full file.
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
| HEAD DELTAC | |
| [38;5;255m [39m | |
| [38;5;244m├ [39m0 [38;5;244m╭ ((((May ==K 1) AND ((Live ==K 1) AND ((VCallDepth < 1024) AND (((0 <= (Base + Duty)) AND ((Base + [39m | |
| [38;5;244m│ [39m[38;5;244m│ [39m [38;5;244m│ Duty) <= maxUInt256)) AND (((0 <= (TIME - Rho)) AND ((TIME - Rho) <= maxUInt256)) AND (((0 <= (#rpo [39m | |
| [38;5;244m│ [39m[38;5;244m│ [39m [38;5;244m│ w(_,_,_,_)_RULES(#Ray, (Base + Duty), (TIME - Rho), #Ray) * Rate)) AND ((#rpow(_,_,_,_)_RULES(#Ray, [39m | |
| [38;5;244m│ [39m[38;5;244m│ [39m [38;5;244m│ (Base + Duty), (TIME - Rho), #Ray) * Rate) <= maxUInt256)) AND (((0 <= ((#rpow(_,_,_,_)_RULES(#Ray, [39m |
mhhf
/ gist:6de115194328725ff5e8fa120090e45a
Created
July 1, 2019 13:30
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
| [{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false," |
mhhf
/ gist:8444e1f54a2fdfbace36a4c0f4df7f8a
Created
June 29, 2019 00: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
| {"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"a |
mhhf
/ gist:33c35dd19eb146928c00cd460de32bc1
Created
June 23, 2019 19:26
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
| [{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false," |
NewerOlder