Some rules I like AI assistants to follow. This should avoid burying themselves under their own dirt. There could be some repetition between sections. Code used for experimentation should not strictly follow these rules, although for long-running sessions that might be the right thing to do.
You might take some inspiration from between sections in case they apply.
| from typing import Concatenate, NoReturn, overload, NamedTuple, Any | |
| from collections.abc import Callable | |
| from returns.result import Result, Success, Failure | |
| from returns.pipeline import is_successful | |
| type EarlyReturnF[R] = Callable[[R], NoReturn] | |
| def early_return_exc[**Spec, R]( |
| with_temp_file () { | |
| local temp | |
| temp="$(mktemp)" | |
| trap "rm ${temp@Q}" RETURN | |
| "$@" "$temp" | |
| } | |
| download_has_pdb () { | |
| local version="$1" | |
| local temp_file="$2" |
| # Source: https://www.reddit.com/r/termux/comments/ubtuua/hi_i_need_help_with_this_problem_any_ideas/ | |
| # binutils and libsodium are required to build pynacl | |
| # while rust is required to build cryptography | |
| pkg install python rust libsodium binutils | |
| export CARGO_BUILD_TARGET=aarch64-linux-android | |
| pip install magic-wormhole |
This switch does not allow you to choose which ports the default VLAN is connected to. Seeing that the configs for the default VLAN do get dumped into the config backup file, I decided to patch that file, modifying and uploading the internal config of the switch instead of politely asking it to remove that VLAN from some ports.
If you open the config file with a hex editor, you'll notice somewhere in the middle the strings "Default_VLAN", followed by the names of the VLANs
| % Evaporado ;0;10;20;30;40;50;60;70;80;90;100 | |
| Temperatura (°C) ;32;53;69;88;102;115;126;137;154;177;182 |
| -- generalized n-ary gray code generator | |
| gray :: (Integral a) => [b] -> a -> [[b]] | |
| gray elems 1 = map (:[]) elems | |
| gray elems n = | |
| concat $ zipWith ($) prependers $ flipN $ gray elems (n-1) | |
| where flipN = (take $ length elems) . (iterate reverse) | |
| prependers = [ map (elem:) | elem <- elems ] |
| from typing import overload, Any, Tuple, Callable, TypeVar | |
| T=TypeVar('T') | |
| @overload | |
| def free_var(initial: T) -> Tuple[Callable[[T], T], Callable[[], T]]: ... | |
| @overload | |
| def free_var(*, like: T) -> Tuple[Callable[[T], T], Callable[[], T]]: ... | |
| def free_var(*args, **kwargs): |
| #!/usr/bin/env python3.9 | |
| from itertools import chain | |
| from typing import Iterator | |
| import argh | |
| ichain = chain.from_iterable | |
| def up_to_multiple(mul: int, val: int) -> int: | |
| """ | |
| Rounds a value up to the nearest multiple | |
| """ |