about summary refs log tree commit diff
path: root/users/sterni (follow)
AgeCommit message (Collapse)AuthorFilesLines
2022-01-31 r/3723 style: format entire depot with nixpkgs-fmtVincent Ambo20-469/+900
This CL can be used to compare the style of nixpkgs-fmt against other formatters (nixpkgs, alejandra). Change-Id: I87c6abff6bcb546b02ead15ad0405f81e01b6d9e Reviewed-on: https://cl.tvl.fyi/c/depot/+/4397 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: kanepyork <rikingcoding@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: cynthia <cynthia@tvl.fyi> Reviewed-by: edef <edef@edef.eu> Reviewed-by: eta <tvl@eta.st> Reviewed-by: grfn <grfn@gws.fyi>
2022-01-30 r/3720 fix(users/sterni/mblog): use string-equal where casing is irrelevantsterni2-10/+10
Change-Id: Ic1303a04de005977a552eba38aa13d512d2c20e2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5071 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-01-30 r/3719 feat(sterni/mblog): add package to read maildirssterni3-0/+25
Change-Id: I7be8d8b7d12bb194712aa26f3ddad74340357779 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5070 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-01-30 r/3718 chore(sterni/mblog): add gitignoresterni1-0/+5
Change-Id: I0bfc22fae158886df894a1d2c90787f0836d8bd9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5069 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-01-26 r/3673 feat(users/sterni/emacs): open inbox.org on startupsterni1-0/+1
Change-Id: Ic73455e25b0d98501dfccbf414fff322e7f44b14 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5061 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3615 refactor(users/sterni/emacs): use more persistent tmp dirsterni1-1/+4
Change-Id: I703b7678405f29bc4f0f04e1b42fd35025a80971 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4982 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-01-17 r/3614 feat(users/sterni/emacs): save command and search historysterni1-0/+4
Change-Id: Ied633801d4dd2b41f46ec702a345732f553142d9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4959 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3613 feat(users/sterni/emacs): save undo historysterni1-1/+4
Change-Id: I75ca7b2011f14244cac8af7762b6d2f6ce284055 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4958 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3612 feat(users/sterni/emacs): set sentence boundssterni1-0/+1
Change-Id: Ic6d01e8d9b28a884eceeda4d9888e611f0d5abb8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4956 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3611 feat(users/sterni/emacs): enable buffer size indicatorssterni1-0/+2
Change-Id: Ibd3ad27017c69eff65ee37678b6bbad264dcdadc Reviewed-on: https://cl.tvl.fyi/c/depot/+/4955 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3610 feat(users/sterni/emacs): add bind for listing bufferssterni1-0/+1
Change-Id: I2ccc9e3277eb871cf5064fe242934e46a6a49583 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4954 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3609 feat(users/sterni/emacs): enable fido-modesterni1-0/+6
Change-Id: Iaa8b3fe3d9485a2bff0a0227e7fa5af64f4b320b Reviewed-on: https://cl.tvl.fyi/c/depot/+/4953 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3608 refactor(users/sterni/emacs): set-default → setq-defaultsterni1-1/+1
Change-Id: I0f9339bfabeace66cab0ea7402b181113048a568 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4952 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3607 feat(users/sterni/emacs): enable pareditsterni2-2/+15
Change-Id: I318ccf75fa470f442c05df6ae6f8df8772a7c1d6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4951 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3606 fix(users/sterni/emacs): reverse search in insert mode for slysterni1-1/+1
Change-Id: Id324c98912ba5ce08f06d8db260cd7ee129dd27d Reviewed-on: https://cl.tvl.fyi/c/depot/+/4950 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3605 fix(users/sterni/emacs): make save files even less annoyingsterni1-0/+2
Change-Id: I765fee99d2c37ee64d7858f69ed52ce126451640 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4949 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-17 r/3604 fix(users/sterni/emacs): set tvl-depot-path correctlysterni1-1/+3
Change-Id: I5f9928816c86495addab31ca33e51141b415d42a Reviewed-on: https://cl.tvl.fyi/c/depot/+/4948 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-01-10 r/3583 feat(users/sterni/emacs): set up LanguageToolsterni2-0/+17
Consequently, my emacs config now depends on Java… Change-Id: I26c63558494fd9a9a7ad5beb4442e50c6a5d89f5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4863 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-01-10 r/3582 feat(users/sterni/emacs): subscribe to Andreas Zwinkau's en blogsterni1-0/+1
Change-Id: I83545e2501d94799fa831bd773268b2c856f654c Reviewed-on: https://cl.tvl.fyi/c/depot/+/4862 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-28 r/3494 feat(sterni/aoc/2021): day 10 solutionsterni1-0/+45
Change-Id: I5feb7187bd9aee45478aa5759e94df49e92565bf Reviewed-on: https://cl.tvl.fyi/c/depot/+/4734 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-28 r/3493 feat(sterni/aoc/2021): day 11 solutionsterni1-0/+46
Change-Id: I59087cd855953d0ebdcaaea2374788e9e015e1ea Reviewed-on: https://cl.tvl.fyi/c/depot/+/4733 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-26 r/3445 feat(sterni/aoc/2021): day 4 solutionsterni1-0/+20
Change-Id: Ib8b4206b40acad32e10ebd9103e54074ba3452fc Reviewed-on: https://cl.tvl.fyi/c/depot/+/4681 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-12-26 r/3444 feat(sterni/aoc/2021): don't split on consecutive occurrences of 𝕨sterni1-1/+1
Change-Id: I2ab17e0238df297f580c45bc28914c6dfd0ce848 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4680 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-12-25 r/3409 feat(sterni/aoc/25): day 25 part 1 solutionsterni1-0/+20
Change-Id: I8ffefd2b85e595bdae2cfb2bf7b34ea63b82c457 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4627 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-12-25 r/3390 feat(sterni/aoc/2021): day 20 solutionsterni1-0/+29
Change-Id: Id864d6e6f0722c2da5d3487bd38da80e6bff2161 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4566 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-25 r/3389 feat(sterni/aoc/2021): day 6 solutionsterni1-6/+21
Change-Id: Icd21b0f0c92b596fbb369d6f08715a6554259572 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4558 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-21 r/3330 chore(users/sterni): remove feeds I don't read or find the time forsterni1-5/+0
Change-Id: Id9d6582de2a95f770c7d734ec5d7baad2293e522 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4518 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2021-12-16 r/3265 feat(sterni/aoc/2021): day 15 solutionsterni1-0/+35
Change-Id: Idca2ae2829a7ee9e856aa7fcdc716c3055051062 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4363 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-12-16 r/3264 chore(sterni/aoc/2021): add shell for running solutions.bqnsterni1-0/+10
Change-Id: I2e192dec9eb863a1b2386d40d26eeeeb57e1ed28 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4350 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-15 r/3263 feat(sterni/aoc/2021): day 14 solutionsterni1-0/+33
Change-Id: I8b6c0c5d1ced89eadaeea3fb619d37e77a439965 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4349 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-15 r/3262 refactor(sterni/aoc/2021): fold over 2d array instead of nested liststerni1-1/+1
Seems to save some allocations and thus recover some performance compared to the two separate folds we had before. Change-Id: Ie3d283103e6a9b8aa702db633d9c988fda1b2903 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4348 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-14 r/3241 feat(users/sterni/emacs): provide BQN interpreter via Nixsterni2-4/+24
For this we create a directory containing a nix-inject.el file using writeTextFile where we can string interpolate as much as we please and merge that into a single emacs.d directory with the config *.el files tracked in the normal tree using symlinkJoin. Change-Id: I0e39591587a54527214783d4380456d2763da091 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4324 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2021-12-14 r/3238 refactor(sterni/aoc/2021): use a fold instead of last scan elementsterni1-1/+1
We can use the reverse swap trick to get a forward fold. Change-Id: I88185e2ff0b41ec1454f414db2d24b1c8173ac2d
2021-12-14 r/3230 refactor(sterni/aoc/2021): determine width/height in the same foldsterni1-2/+1
Change-Id: I39410171402cedc3ee8d9ac972557656ed12de53
2021-12-13 r/3229 feat(sterni/aoc/2021): day 13 solutionsterni1-0/+60
Change-Id: I9cfa8a28854cbee7e8e1b457faf9c572353e803f
2021-12-13 r/3228 refactor(sterni/aoc/2021): name input data more consistentlysterni1-17/+17
Change-Id: Ibcea43d2e51f14d8b1b021050310f88d44d970d3
2021-12-13 r/3225 feat(sterni/aoc/2021): day 9 solutionsterni1-0/+38
Change-Id: I90e7a47d5418abeff1ae7cc5757b6a8b3b0d1086
2021-12-13 r/3224 feat(sterni/aoc/2021): day 7 solutionsterni1-0/+29
Change-Id: I8c8b535defb42f15eafc816ebe953e51b11ea702
2021-12-13 r/3223 feat(sterni/aoc/2021): day 3 solutionsterni1-0/+51
Change-Id: Id14281f7b18ddaf6875e5dd8398249a10a9474af
2021-12-13 r/3222 refactor(sterni/aoc/2021): allow variable bases ≤ 10 for ReadIntsterni1-3/+4
Change-Id: Ie035134a4b3d478ce836aa00016122e0f49a5a28
2021-12-13 r/3221 feat(sterni/aoc/2021): day 2 "solution"sterni1-3/+41
Change-Id: Ifbd50274f0b09305991a49e7453ac1f13089e57e
2021-12-01 r/3129 feat(sterni/emacs): subscribe to the TVL feedsterni1-0/+1
Change-Id: Iac08e992a4c610a6f152c1dc5e681b17298b8834
2021-12-01 r/3128 feat(sterni/aoc/2021): day 1 solutionsterni2-0/+32
Change-Id: I0781b2aa3624df9a3158296edcbbbf2ee845102b
2021-11-25 r/3094 feat(sterni/nix/utf8): check if codepoint valid/encodeablesterni2-4/+42
* Enforce the U+0000 to U+10FFFF range in `count` and throw an error if the given codepoint exceeds the range (encoding U+0000 won't work of course, but this is Nix's fault…). * Check if the produced bytes are well formed and output an error if not. This indicates that the codepoint can't be encoded as UTF-8, like U+D800 which is reserved for UTF-16. Change-Id: I18336e527484580f28cbfe784d51718ee15c5477
2021-11-25 r/3092 refactor(sterni/nix/utf8): let wellFormedByte check first bytesterni1-17/+14
Previously we would check the first byte only when trying to figure out the predicate for the second byte. If the first byte was invalid, we'd then throw with a helpful error message. However this made wellFormedByte a very weird function. At the expense of doing the same check twice, we now check the first byte, when it is first passed, and always return a boolean. Change-Id: I32ab6051c844711849e5b4a115e2511b53682baa
2021-11-25 r/3091 feat(sterni/nix/utf8): implement UTF-8 encodingsterni2-2/+83
This implementation is still a bit rough as it doesn't check if the produced string is valid UTF-8 which may happen if an invalid Unicode codepoint is passed. Change-Id: Ibaa91dafa8937142ef704a175efe967b62e3ee7b
2021-11-25 r/3090 chore(sterni/nix/utf8): remove decodeSafesterni1-14/+0
This is not really used anywhere and kind of useless. A better decodeSafe would never return null and instead make use of replacement characters to represent invalid bytes in the input. Change-Id: Ib4111529bf0e472dbfa720a5d0b939c2d2511de5
2021-11-23 r/3086 feat(sterni/nix/utf8): allow decoding the empty stringsterni2-3/+3
Change-Id: I8de9cd28c822ac5befbcd16e118440cd13cd86e9
2021-11-23 r/3085 refactor(sterni/nix/utf8): use genericClosure for decoding iterationsterni1-23/+46
builtins.genericClosure is a quite powerful (and undocumented) Nix primop: It repeatedly applies a function to values it produces and collects them into a list. Additionally individual results can be identified via a key attribute. Since genericClosure only ever creates a single list value internally, we can eliminate a huge performance bottleneck when building a list in a recursive algorithm: list concatenation. Because Nix needs to copy the entire chunk of memory used internally to represent the list, building big lists one element at a time grinds Nix to a halt. After rewriting decode using genericClosure decoding the LaTeX source of my 20 page term paper now takes 2s instead of 14min. Change-Id: I33847e4e7dd95d7f4d78ac83eb0d74a9867bfe80
2021-11-16 r/3072 chore(nixpkgs-crate-holes): whitelist more maintainerssterni1-0/+3
Change-Id: I6ed03ff8cbc590087cfa58264c0c28a7b1496740 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3825 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI