rhi

• Joined on Jun 10, 2020

Repositories Public Activity Starred Repositories Following Followers

Loading Heatmap…

rhi pushed to 🐉 at rhi/quox

• 4b36d8b7c8 pair stuff

1 week ago

rhi pushed to 🐉 at rhi/quox

• 7bafaf67cf pair stuff
• 6073ab4705 replace Split stuff with bools
• f0f49d9abf ScopeTerms that can bind multiple vars
• 92617a2e4a whnf actually reduces to whnf now (probably)
• f097e1c091 start of equality type stuff
• Compare 8 commits »

1 week ago

rhi created pull request rhi/gallery#15

jxl

2 weeks ago

rhi pushed to jxl at rhi/gallery

• 84f822f73b <picture> elements for jxls
• 0f20753808 generate jxl from png,jpg,gif
• 76ccbe3c7d styles for chatlogs etc
• Compare 3 commits »

2 weeks ago

rhi created branch jxl in rhi/gallery

2 weeks ago

rhi pushed to 🐉 at rhi/quox

• b25e5320d9 some more properties of var
• ef8b8b0da3 index Var.Compare by compare
• f405aeb7f9 simplify some matches
• 82795e9976 remove IsOne stuff; add timesSubj
• 28055c0f39 add Decidable-related stuff
• Compare 15 commits »

3 weeks ago

rhi pushed to 🎨 at rhi/gallery

• c7d51685be update to ghc 9.2.5
• cd8c51097c new buttons and tweaked bg gradients
• 88b81681cb fix pages without a skipAll
• bd0fe2983f fix copying widget images etc
• Compare 4 commits »

1 month ago

rhi pushed to 🌐 at rhi/yummy.cricket

• 8d23f7646d anything normal? no ❤
• fa3c298eda update links
• Compare 2 commits »

1 month ago

rhi opened issue rhi/gallery#14

tag implications

1 month ago

rhi pushed to main at rhi/bqn-ibus

• f36e45e457 add ⇒ (\|) and ⦂ (\Y)
• 2b4bd8d19e mention \7 dying and the layout assumption
• Compare 2 commits »

1 month ago

rhi closed issue rhi/gallery#11

button to skip all warnings on a page

1 month ago

rhi pushed to 🎨 at rhi/gallery

• ccb4c2eabd add button to skip all cws

1 month ago

rhi commented on issue rhi/gallery#11

button to skip all warnings on a page

*probably* fixed in ccb4c2e, unless bugs

1 month ago

rhi opened issue rhi/gallery#13

support non-default full-size nsfw previews

1 month ago

rhi closed issue rhi/gallery#12

use big previews when possible

1 month ago

rhi commented on issue rhi/gallery#12

use big previews when possible

fixed as well as i can in 3c04976d1a

1 month ago

rhi pushed to 🎨 at rhi/gallery

• 1e7a58359d make default cw less cryptic
• 3c04976d1a large previews for some sites
• Compare 2 commits »

1 month ago

rhi pushed to 🎄 at rhi/aoc2022

• bf96f6d15f more abandonments
• 84a9494a7d debug actually affects the speed a lot..!
• 448a9c41c0 day12 🎉
• Compare 3 commits »

1 month ago

rhi pushed to 🎄 at rhi/aoc2022

• 442b930c41 day21
• 39c89ada3d bqn poking
• Compare 2 commits »

1 month ago

rhi pushed to 🎄 at rhi/aoc2022

• 26b649080e day18.2

2 months ago