didericis

didericis pushed to master at didericis/math-research

2026-06-01 02:02:11 -04:00

15fc7c3b8f Record level-cycle coloring conjectures

didericis pushed to master at didericis/math-research

2026-06-01 01:43:11 -04:00

f71852efd2 Add tire chromatic transfer content

didericis pushed to master at didericis/math-research

2026-06-01 01:41:21 -04:00

236a3f8288 Add level-cycle coloring conjecture

didericis pushed to master at didericis/math-research

2026-06-01 00:19:16 -04:00

2bbd863643 coloring_nested_tire_graphs: rename induced tire graph C -> T_{C'}

92f5efc3f1 coloring_nested_tire_graphs: notation cleanup pass

Compare 2 commits »

didericis approved didericis/bot-bottle#114

2026-05-29 23:54:43 -04:00

fix(git-gate): bound daemon client sessions

didericis commented on pull request didericis/bot-bottle#114

2026-05-29 23:52:19 -04:00

fix(git-gate): bound daemon client sessions

Sounds good, keep it

didericis commented on pull request didericis/bot-bottle#114

2026-05-29 23:36:02 -04:00

fix(git-gate): bound daemon client sessions

Would prefer we not roll our own git http handler/seems like we should be using either something already build into git (does it not have an inbuilt tool to do this) or some very lightweight, standard tool.

didericis deleted branch test/clone-push-delete from didericis/bot-bottle

2026-05-29 23:26:52 -04:00

didericis created branch test/clone-push-delete in didericis/bot-bottle

2026-05-29 23:26:46 -04:00

didericis pushed to test/clone-push-delete at didericis/bot-bottle

2026-05-29 23:26:46 -04:00

didericis commented on pull request didericis/bot-bottle#114

2026-05-29 23:25:03 -04:00

fix(git-gate): bound daemon client sessions

didericis/bot-bottle#114 (comment)

Did we need to add smart-HTTP for the fix? Couldn't we have just used ssh:// instead of git:// when setting up the…

didericis pushed to fix/git-gate-daemon-timeouts at didericis/bot-bottle

2026-05-29 23:22:00 -04:00

6ea19a8d53 fix(git-gate): use smart http for smolmachines pushes

didericis deleted branch test/host-git-proto-15685 from didericis/bot-bottle

2026-05-29 23:17:00 -04:00

didericis deleted branch test/git-http-smolvm-e2e from didericis/bot-bottle

2026-05-29 23:17:00 -04:00

didericis deleted branch test/local-gate-push-201 from didericis/bot-bottle

2026-05-29 23:17:00 -04:00

didericis deleted branch test/git-http-e2e-646 from didericis/bot-bottle

2026-05-29 23:17:00 -04:00

didericis pushed to test/git-http-smolvm-e2e at didericis/bot-bottle

2026-05-29 23:15:22 -04:00

dae4c62642 test: smart http sidecar e2e

didericis created branch test/git-http-smolvm-e2e in didericis/bot-bottle

2026-05-29 23:15:22 -04:00

didericis pushed to test/git-http-e2e-646 at didericis/bot-bottle

2026-05-29 22:52:35 -04:00

4d320c81ea test: git http e2e

didericis created branch test/git-http-e2e-646 in didericis/bot-bottle

2026-05-29 22:52:35 -04:00