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 January 8, 2026 00:53
Delfruit ublock filters

Setups

Block difficulty

delicious-fruit.com##div[class="review"] > div > span:has-text(/^Difficulty:/)
delicious-fruit.com##div[class="review"] > div > span[class="stars"]
delicious-fruit.com##div[class="review owner-review"] > div > span:has-text(/^Difficulty:/)
delicious-fruit.com##div[class="review owner-review"] > div > span[class="stars"]
delicious-fruit.com##div[class="rating"]:has(span:has-text(/^Average Difficulty/))
delicious-fruit.com/index.php##td:nth-child(3)
@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