- Create Frictionless Money
- Comparisons of Continuous-Time Swap Designs
- YOLC - A New Way to Program on EVM
- Generalized Payment as Types
- Pure Functional Solidity for Fun and Profit
- Composability Extreminists: Callback or No-Callbacks?
Outdated:
[user] | |
email = your email | |
name = your name | |
signingkey = xxxxxxxx | |
[credential] | |
helper = /run/current-system/sw/bin/git-credential-libsecret | |
# make sure you have gitFull installed on NixOS |
PATH=~/Applications/gnu-coreutils-wrappers/bin:$PATH |
# Ref: https://blog.roberthallam.org/2022/02/quick-tips-screenshot-screen-region-to-clipboard-under-x/ | |
sh -c "import png:- | xclip -selection clipboard -t image/png" |
#!/usr/bin/env bash | |
# Usage: toggle-sticky-terminal.sh [above|below] | |
set -x | |
STATUS_FILE=$XDG_RUNTIME_DIR/sticky-terminal-status.json | |
setup() { | |
gnome-terminal --profile=scratchpad |
FROM nixos/nix | |
RUN nix-channel --update | |
RUN nix-env -i urbit | |
CMD ["sh", "-c", "urbit -t /var/lib/urbit"] |
#!/usr/bin/env hsh | |
-- a. The file name should probably be ".hs", but it's nice to have all the syntax highlitng for free using ".hs". | |
-- b. it works by having a shell running as a separate process, while the hscript process piping stuff from these quasi-quote | |
-- template haskell outputs to the shell. | |
-- c. `hsh` preprocessor reduces some boiler plate, so it is extremely terse to start your helloworld program! | |
-- d. Otherwise it all looks your regular Haskell program, feel free to add 20+ more GHC extensions. | |
banner s = "hello world, " <> s |
$ git grep -lE '^library' contracts/ | while read i;do grep -E 'public|external' -lE $i | xargs grep -hoE '^library\s+\w+';done | sort | uniq |
/** | |
* Convert ABI json file to solidity interface contract | |
*/ | |
const fs = require('fs'); | |
const args = process.argv.slice(2); | |
function convert(inputFilename) { | |
const abi = JSON.parse(fs.readFileSync(inputFilename, 'utf8')); |
#!/usr/bin/env sh | |
readlinkWithPrint() { | |
link=$(readlink "$1") | |
p=$link | |
[ -n "${p##/*}" ] && p=$(dirname "$1")/$link | |
echo "$p" | |
[ -h "$p" ] && readlinkWithPrint "$p" | |
} |