Oystein Kristoffer Tveit oysteikt
6 Followers · 22 Following
Overview Repositories
58
 Projects Packages Code Public Activity Starred Repositories
39
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-30 20:28:23 +02:00
8ef7eb87b3 chap11: progress
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-30 19:36:01 +02:00
bbc0046d5d chap11: progress
a3f2e8e62e .gitignore: ignore nix results and rocq caches
Compare 2 commits »
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-30 16:00:06 +02:00
354c7643f4 chap11: init
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-30 10:13:05 +02:00
1a02b6c7f2 chap3: revenge
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-30 09:05:36 +02:00
ab579f5cf0 chap3: revenge
oysteikt pushed to main at Drift/pvv-nixos-config 2026-06-29 21:15:46 +02:00
f4b1f090e4 flake.lock: bump various
oysteikt pushed to main at Projects/nettsiden 2026-06-29 21:05:19 +02:00
ad6c79fb71 door: replace moment.js with date-fns
oysteikt pushed to main at Drift/pvv-nixos-config 2026-06-29 19:42:18 +02:00
7c684e42f0 treewide: fix rsync <-> rrsync communication
oysteikt commented on issue Drift/issues#397 2026-06-29 13:35:52 +02:00
Fix principal backupscript rrsync failures

Added workaround in principal script.

See https://github.com/RsyncProject/rsync/issues/922 for reference

oysteikt closed issue Drift/issues#397 2026-06-29 13:35:52 +02:00
Fix principal backupscript rrsync failures
oysteikt pushed to main at Drift/principal-backup-script 2026-06-29 13:35:28 +02:00
536537a797 backup.sh: omgå bugg oppstrøms
oysteikt commented on issue Drift/issues#397 2026-06-29 12:20:12 +02:00
Fix principal backupscript rrsync failures

The tail of one of the logfiles report:

/nix/store/2j7aqg8m2x3ma7djnfq8yxlckaaq7j6p-rrsync-3.4.4/bin/rrsync error: unsafe arg: / ['', '/var/lib/mediawiki/uploads']
rsync: connection…
oysteikt opened issue Drift/issues#397 2026-06-29 12:17:46 +02:00
Fix principal backupscript rrsync failures
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-26 13:45:12 +02:00
b914620570 chap9: progress
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-26 13:06:22 +02:00
7d4e651dec chap7: init
ed434ca123 chap4: init
Compare 2 commits »
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-26 11:42:48 +02:00
55b973fd5f chap4: init
02f45c80cd flake.nix: add ocaml tooling
Compare 2 commits »
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-25 20:25:03 +02:00
7cf6e8e6bf flake.nix: bump rocq version from 8 to 9
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-25 20:24:28 +02:00
fece1295da chap9: init
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-25 16:23:55 +02:00
13b592ea06 chap8: init
dbac63ed42 chap5: improve fv_leq_size slightly
Compare 2 commits »
oysteikt pushed to main at oysteikt/tapl-proofs 2026-06-24 19:27:57 +02:00
28c71cf03f chap5: init