I hereby claim:
- I am kika on github.
- I am kika (https://keybase.io/kika) on keybase.
- I have a public key ASCjlH4m62ubWjf68rIp4m0vLJxP5eOP-aAqdik4q_fxKgo
To claim this, I am signing this object:
module TCO where | |
import Prelude | |
import Data.Either | |
import Control.Monad.Rec.Class | |
isEven::Int -> Boolean | |
isEven = tailRec (either isEven' isOdd') <<< Left |
#!/bin/bash | |
echo '#!/bin/bash' | |
echo '' | |
echo 'failed_items=""' | |
echo 'function install_package() {' | |
echo 'echo EXECUTING: brew install $1 $2' | |
echo 'brew install $1 $2' | |
echo '[ $? -ne 0 ] && $failed_items="$failed_items $1" # package failed to install.' | |
echo '}' |
I hereby claim:
To claim this, I am signing this object:
#!/bin/bash | |
# Include as user data during instance startup, or run as root using sudo | |
# Assumes that you are using an i3 instance type with NVMe instance storage attached | |
# Set swappiness to zero | |
sysctl vm.swappiness=0 | |
echo "vm.swappiness = 0" >> /etc/sysctl.conf | |
# Disable transparent huge pages | |
cat > /etc/init.d/disable-thp <<- 'EOM' |
newtype A = A { | |
properties :: StrMap B | |
} | |
newtype B = B { | |
first :: String, | |
last :: String, | |
ssn :: String | |
} |
#!/bin/bash | |
DATE=gdate | |
set -euo pipefail | |
if [[ "${1:-}" == "" || "${2:-}" == "" ]]; then | |
echo "Usage: $0 <start date> <directory with source> [optional cloc args]" | |
exit 1 | |
fi |
augroup fl_dart | |
autocmd! | |
autocmd Syntax dart highlight default link dartFlutterClasses Type | |
autocmd Syntax dart highlight default link dartFlutterTypedefs Typedef | |
autocmd Syntax dart highlight default link dartFlutterExceptions Exception | |
autocmd Syntax dart highlight default link dartFlutterConstants Constant | |
autocmd Syntax dart highlight default link dartFlutterEnums Type | |
autocmd Syntax dart highlight default link dartFlutterMixins Type | |
autocmd Syntax dart syntax keyword dartFlutterMixins | |
\ AnimationEagerListenerMixin AnimationLazyListenerMixin |
# MacOS only | |
# This script modifies one VS Code file. After that the VS Code will complain that the installation is damaged. | |
# You can dismiss the warning or install an extension that recalculates the checksums for the files | |
# The script creates a backup for the CSS file it modifies | |
perl -i.bak -pe 's/\.monaco-workbench.mac.monaco-font-aliasing-none{-webkit-font-smoothing:none/.monaco-workbench.mac.monaco-font-aliasing-none{-webkit-font-smoothing:antialiased/g' \ | |
/Applications/Visual\ Studio\ Code.app/Contents/Resources/app/out/vs/workbench/workbench.desktop.main.css |
import 'package:flutter/material.dart'; | |
class MyKeys { | |
static final GlobalKey navKey = GlobalKey<NavigatorState>(debugLabel: 'navKey'); | |
} | |
void main() => runApp(MyApp()); | |
class MyApp extends StatelessWidget { | |
// This widget is the root of your application. |
import 'package:flutter/material.dart'; | |
void main() => runApp(MyApp()); | |
double kHeight = 100; | |
double kWidth = 100; | |
class MyApp extends StatelessWidget { | |
@override | |
Widget build(BuildContext context) { |