terrorjack.bsky.social
@terrorjack.bsky.social
there are a few more seasons that follow. in one of which you can hear kirito literally say "system call"
November 25, 2025 at 8:39 AM
a joyful discovery today: prefix sum `sum[l,r]=sum[r]-sum[l]` can be generalized to arbitrary group, some of which are good-enough hashes which can be used in subsequence searching. this is exactly the rabin-karp algorithm, but online materials about it seldom mention group theory at all
November 17, 2025 at 3:25 PM
you can do ad hoc polymorphism in different languages, but haskell is the first (among which i learnt) to emphasize "class laws" (nothing to do with commies) and use equational reasoning that builds upon those laws
November 17, 2025 at 3:19 PM
beep
November 14, 2025 at 10:33 AM
and all the people that elected the people that caused the situation today ain't going anywhere...
November 12, 2025 at 3:57 PM
i don't disagree with that. though that's surely wishful thinking
November 11, 2025 at 1:38 PM
president xi also approves! let's shame the imperialist westoids who work in defense sector out of existence!
November 11, 2025 at 12:12 PM
zubin just updated gitlab.haskell.org/ghc/ghc-hq/-..., seems official now
gitlab.haskell.org
November 7, 2025 at 9:37 AM