Timm Stelzer tstelzer
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
| !$THEME = "kauz-light" | |
| !define C_WHITE #ffffff | |
| !define C_GRAY1 #f0f0f0 | |
| !define C_GRAY2 #e1e1e1 | |
| !define C_GRAY3 #d2d2d2 | |
| !define C_GRAY4 #c3c3c3 | |
| !define C_GRAY5 #b4b4b4 | |
| !define C_GRAY6 #a5a5a5 | |
| !define C_GRAY7 #969696 |
tstelzer
/ next-stream-heap-usage-fetch.ts
Last active
May 6, 2022 16:48
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 * as T from '@effect/core'; | |
| import {pipeEffect} from '@effect/core/io/Effect'; | |
| import {millis} from '@tsplus/stdlib/data/Duration'; | |
| import fs from 'fs'; | |
| import fetch from 'node-fetch'; | |
| import os from 'os'; | |
| import path from 'path'; | |
| import {fileURLToPath} from 'url'; | |
| const formatUsage = (n: number): string => `${(n / 2 ** 20).toFixed(2)} MB`; |
tstelzer
/ deriveLifted2n.ts
Last active
April 2, 2022 20:40
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 * as T from '@effect-ts/core/Effect'; | |
| import * as Has from '@effect-ts/core/Has'; | |
| type T = (a: any) => (b: any) => T.UIO<void>; | |
| export const tag = Has.tag<{foo: T}>(Symbol('foo')); | |
| export type ShapeFn2<T> = Pick< | |
| T, | |
| { | |
| [k in keyof T]: T[k] extends ( |
tstelzer
/ Runtime.ts
Created
March 11, 2022 22:00
alternative effec-ts/node/Runtime to print JSON instead of raw text
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 type {CustomRuntime} from '@effect-ts/core/Effect'; | |
| import * as T from '@effect-ts/core/Effect'; | |
| import {defaultRuntime} from '@effect-ts/core/Effect'; | |
| import * as Cause from '@effect-ts/system/Cause'; | |
| import * as Pretty from '@effect-ts/system/Cause/Pretty'; | |
| import {AtomicBoolean} from '@effect-ts/system/Support/AtomicBoolean'; | |
| import * as N from '@effect-ts/node/Runtime'; | |
| import * as IO from '@effect-ts/core/IO'; | |
| import * as A from '@effect-ts/core/Collections/Immutable/Array'; |
tstelzer
/ default.nix
Created
January 11, 2022 13:18
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
| {stdenv, bash, jre, fetchzip, lib}: | |
| let | |
| version = "11.2.1"; | |
| pname = "iosevka-ss08"; | |
| in stdenv.mkDerivation rec { | |
| inherit pname version; | |
| src = fetchzip { | |
| url = "https://github.com/be5invis/Iosevka/releases/download/v${version}/ttf-${pname}-${version}.zip"; | |
| sha256 = "0m1imm5zmgkj26xpqhgqcs2aab07ib0as7p9cw876ndi6ysmhla5"; |
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
| { buildGoModule, fetchFromGitHub, lib }: | |
| buildGoModule rec { | |
| pname = "efm-languageserver"; | |
| version = "0.0.29"; | |
| src = fetchFromGitHub { | |
| owner = "mattn"; | |
| repo = "efm-langserver"; | |
| rev = "v${version}"; |
tstelzer
/ default.nix
Created
May 7, 2020 12:05
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
| { stdenv, fetchurl, dpkg , alsaLib, atk, cairo, cups, curl, dbus, expat, | |
| fontconfig, freetype, glib , gnome2, gnome3, libnotify, libxcb, nspr, nss, | |
| systemd, xorg, wrapGAppsHook, at-spi2-atk, libsecret }: | |
| let | |
| version = "1.20.5"; | |
| rpath = stdenv.lib.makeLibraryPath [ | |
| alsaLib |
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
| struct Cacher<T> | |
| where | |
| T: Fn(u32) -> u32, | |
| { | |
| calculation: T, | |
| value: HashMap<u32, u32>, | |
| } | |
| impl<T> Cacher<T> |
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
| <!doctype html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <meta http-equiv="X-UA-Compatible" content="IE=edge"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <meta name="description" content="description"> | |
| <meta name="author" content="Timm Stelzer"> | |
| <link rel="stylesheet" href="./styles.css"> |
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 {array} from 'fp-ts/lib/Array'; | |
| import {getArrayMonoid} from 'fp-ts/lib/Monoid'; | |
| import { | |
| failure as _failure, | |
| Failure as _Failure, | |
| getApplicative, | |
| isSuccess as _isSuccess, | |
| success as _success, | |
| Success as _Success, | |
| Validation as _Validation, |
NewerOlder