I hereby claim:
- I am well1791 on github.
- I am well1791 (https://keybase.io/well1791) on keybase.
- I have a public key whose fingerprint is DBBF 8866 7E6A B660 1843 031F BE02 F52B 30AE 15AC
To claim this, I am signing this object:
CATEGORY THEORY FOR PROGRAMMERS | |
Category Theory 1.1: Motivation and Philosophy | |
https://www.youtube.com/watch?v=I8LbkfSSR58&index=1&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ | |
Composability, Abstraction, Reusability | |
Category Theory is a higher-level language. | |
Not a practical, executable language. |
const curryN = (n, f) => (...args) => args.length < n | |
? curryN(n, f).bind(null, ...args) | |
: f(...args); |
def fizzbuzz(n) | |
acc = 810092048 | |
messages = [nil, "Fizz", "Buzz", "FizzBuzz"] | |
(1..n).each do |i| | |
c = acc & 3 | |
puts messages[c] || i | |
acc = acc >> 2 | c << 28 | |
end | |
end |
I hereby claim:
To claim this, I am signing this object:
import unittest | |
### | |
# Utility functions | |
### | |
def fromIndex(i, arr): | |
try: | |
return arr[i] | |
except: |
const last = (arr) => arr.slice(-1)[0]; | |
const init = (arr) => arr.slice(0, -1); | |
const matrix = (row, fnRow) => (col, fnItem) => | |
[...Array(row * col).keys()].reduce((z, x) => { | |
const lastRow = last(z); | |
const initRows = init(z); | |
const item = fnItem(x); | |
if (lastRow.length < col) { | |
const rowUpdated = lastRow.concat(item); |
import * as React from 'react' | |
import { themes } from './theme' | |
import useCurrentTheme from './useCurrentTheme' | |
export type Props = { | |
children?: React.ReactNode | |
} | |
export function ThemeProvider({ children }: Props) { |
import type * as t from './types.d' | |
const ONE_IN_TO_CM = 2.54 | |
const metricMap: t.UnitMap<t.MetricUnit> = { | |
mapList: ['km', 'hm', 'dam', 'm', 'dm', 'cm', 'mm'], | |
updater: { | |
inc: (a) => a * 10, | |
dec: (a) => a / 10, | |
} |
// see: http://norvig.com/mayzner.html | |
all = [...document.querySelectorAll('tbody td')] | |
.filter((td) => td.title.includes(": ")) | |
.map((td) => { | |
const [bi, val] = td.title | |
.split('%')[0] | |
.split(': ') | |
return [bi.toLowerCase(), Number(val)] | |
}) |
/// ~/.configh/fish/functions/_tide_pwd.fish | |
-if set -l split_pwd (string replace -r '^$HOME' '~' -- \$PWD | string split /) | |
+if set -l split_pwd (string replace -r '^$HOME' '~' -- \$PWD | string split /)[-2..] | |
// see https://github.com/IlanCosman/tide/issues/428#issuecomment-1765244274 |