Skip to content

Instantly share code, notes, and snippets.

View twixninja411's full-sized avatar

tuckergs twixninja411

15 followers · 10 following
View GitHub Profile
@twixninja411
twixninja411 / delfruit_ublock.md
Last active April 23, 2025 23:11
Delfruit ublock filters

Block reviews from particular person (replace 7697 with the delfruit id of the victim)

delicious-fruit.com##div[class="review"]:has(a[href="/profile.php?u=7697"])

Block only diff ratings from particular person (replace 7697's with the delfruit id of the victim)

delicious-fruit.com##div[class="review"]:has(a[href="/profile.php?u=7697"]) > div > span:has-text(/^Difficulty:/)
delicious-fruit.com##div[class="review"]:has(a[href="/profile.php?u=7697"]) > div > span[class="stars"]
@twixninja411
twixninja411 / storeProofLeft.md
Last active August 30, 2024 06:55
Proof that the left propagating ComonadApply instance for Store satisfies the laws

Relevant definitions

data Store s a = Store (s -> a) s
fmap g (Store f s) = Store (g.f) s
extract f s = f s
duplicate (Store f s) = Store (Store f) s

Store f1 s1 <@> Store f2 s2 = Store (\s -> f1 s (f2 s2)) s1

We will also use S as a synonym for the data constructor Store

@twixninja411
twixninja411 / VariousMod.hs
Created October 16, 2018 23:02
Program that crashes ghc on my end
{-# LANGUAGE LambdaCase #-}
module VariousMod where
import Control.Applicative
import Control.Monad
import Control.Monad.Fix
import qualified Data.ByteString.Builder as BB