Nicholas Sielicki sielicki
sielicki
/ resume.json
Last active
April 10, 2025 08:14
This file contains hidden or 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
| { | |
| "$schema": "https://raw.githubusercontent.com/jsonresume/resume-schema/v1.0.0/schema.json", | |
| "basics": { | |
| "name": "Nicholas Sielicki", | |
| "label": "Programmer", | |
| "picture": "https://avatars.githubusercontent.com/u/4522995", | |
| "email": "[email protected]", | |
| "phone": "(262) 527-0028", | |
| "website": "https://registry.jsonresume.org/sielicki?theme=onepage-plus", | |
| "summary": "Mid-career low-level software engineer. Specializes in computer networking. Experienced in operational excellence.\n", |
This file contains hidden or 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
| files."sgconfig.yml".yaml = { | |
| customLanguages = | |
| pkgs.vimPlugins.nvim-treesitter.grammarPlugins | |
| |> builtins.mapAttrs ( | |
| n: d: { | |
| extensions = [ n ]; # XXX: broken for many languages, works for nix at least... | |
| libraryPath = d.outPath + "/parser/${n}.so"; | |
| languageSymbol = "_tree_sitter_${n}"; | |
| } | |
| ); |
This file contains hidden or 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
| { | |
| lib ? (import <nixpkgs> { }).lib, | |
| redistribs_raw, | |
| }: | |
| let | |
| redistribs = (builtins.fromJSON redistribs_raw); | |
| base_url = "https://developer.download.nvidia.com/compute/cuda/redist/"; | |
| minVersion = "11.4.2"; | |
| redistribsSufficientVersion = (builtins.filter (x: lib.strings.versionOlder minVersion x.redistrib_release) redistribs); |
sielicki
/ flake.lock
Last active
February 18, 2024 23:39
nix derivation show /nix/store/6csgn4mqc2r1rkp4grmzp5sgz7ciyp12-std-0.32.0-dev-go-modules.drv https://github.com/divnix/std/issues/372
This file contains hidden or 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
| { | |
| "nodes": { | |
| "attic": { | |
| "inputs": { | |
| "crane": "crane", | |
| "flake-compat": "flake-compat", | |
| "flake-utils": [ | |
| "flake-utils" | |
| ], | |
| "nixpkgs": "nixpkgs", |
sielicki
/ lazy_categorize.py
Created
March 30, 2021 02:49
This file contains hidden or 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 collections | |
| def lazy_categorize(iterable, predicate): | |
| a, b = collections.deque(), collections.deque() | |
| empty = False | |
| def _gen_generator(t=True): | |
| d = a if t else b | |
| d_inv = b if t else a |
sielicki
/ game.py
Created
May 20, 2020 10:56
adopted from https://ericpony.github.io/z3py-tutorial/guide-examples.htm
This file contains hidden or 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
| #!/usr/bin/env python3 | |
| import z3 | |
| import pprint | |
| # 9x9 matrix of integer variables | |
| X = [ [ z3.Int("x_%s_%s" % (i+1, j+1)) for j in range(9) ] | |
| for i in range(9) ] | |
| # each cell contains a value in {1, ..., 9} | |
| cells_c = [ z3.And(1 <= X[i][j], X[i][j] <= 9) |
This file contains hidden or 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 typing as t | |
| ### Data Types | |
| # Little Endian LSB MSB | |
| row_in = t.Tuple[bool, bool, bool, bool] | |
| # Also little endian | |
| mat_in = t.Tuple[ | |
| row_in, | |
| row_in, | |
| row_in, |
This file contains hidden or 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
| results = [["X", "Y", "Z", "F"]]; | |
| Array.from({ length: 8 }, (_, k) => k).map(x => x.toString(2) | |
| .padStart(3, 0)) | |
| .map(x => x.split("")) | |
| .map(x => x.map(y => Boolean(parseInt(y)))) | |
| .map(x => function(a,b,c) { | |
| results.push([a,b,c, | |
| ( | |
| // Put your own F here |
sielicki
/ pip-selfcheck.json
Last active
December 21, 2018 09:24
This file contains hidden or 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
| {"last_check":"2018-06-08T00:22:24Z","pypi_version":"10.0.1"} |
This file contains hidden or 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
| function on_mouse_click(name, value) | |
| local screenW, screenH = mp.get_osd_size() | |
| local mouseX, mouseY = mp.get_mouse_pos() | |
| local adb = "adb shell input tap %s %s &" | |
| os.execute(string.format(adb, mouseX, mouseY)) | |
| -- mp.msg.info(string.format(adb, mouseX, mouseY)) | |
| end | |
| mp.add_key_binding("MBTN_LEFT", "something", on_mouse_click) |
NewerOlder