evidence suggests i cannot wind down at the end of the day unless i have done math or am being snuggled
February 25, 2025 at 7:40 AM
evidence suggests i cannot wind down at the end of the day unless i have done math or am being snuggled
Here's an interesting (counter)example. The following (get, set) pair satisfies laws #1 and #2 of Data.Lens.Lens, and the WEAKENED form of #3, but not the strongest form.
As such, it provides an example of why the stronger form of law #3 is necessary
As such, it provides an example of why the stronger form of law #3 is necessary
February 25, 2025 at 3:13 AM
Here's an interesting (counter)example. The following (get, set) pair satisfies laws #1 and #2 of Data.Lens.Lens, and the WEAKENED form of #3, but not the strongest form.
As such, it provides an example of why the stronger form of law #3 is necessary
As such, it provides an example of why the stronger form of law #3 is necessary
writing about monads 😉
February 25, 2025 at 2:28 AM
writing about monads 😉
anyone want to review a 1000-line durable execution engine i just wrote in a three-day fury
February 21, 2025 at 12:44 AM
anyone want to review a 1000-line durable execution engine i just wrote in a three-day fury
what i am learning is that i literally cannot keep myself from writing libraries
February 20, 2025 at 8:59 PM
what i am learning is that i literally cannot keep myself from writing libraries
maybe why closures feel weird to me is that theyre data but they dont look like data
a closure is not just a function, it's (≈) a pair of a function plus some inputs to that fn
it's like someone took a bit of data and made it so the ONLY thing u can do with the data is call a pre-decided function
a closure is not just a function, it's (≈) a pair of a function plus some inputs to that fn
it's like someone took a bit of data and made it so the ONLY thing u can do with the data is call a pre-decided function
suspicious of closures, idk
February 19, 2025 at 9:10 AM
maybe why closures feel weird to me is that theyre data but they dont look like data
a closure is not just a function, it's (≈) a pair of a function plus some inputs to that fn
it's like someone took a bit of data and made it so the ONLY thing u can do with the data is call a pre-decided function
a closure is not just a function, it's (≈) a pair of a function plus some inputs to that fn
it's like someone took a bit of data and made it so the ONLY thing u can do with the data is call a pre-decided function
how is node twice as fast as haskell at summing the first 1e7 numbers. (both using doubles)
node 0.43s, hask 0.106s
node 0.43s, hask 0.106s
February 16, 2025 at 6:11 AM
how is node twice as fast as haskell at summing the first 1e7 numbers. (both using doubles)
node 0.43s, hask 0.106s
node 0.43s, hask 0.106s
housemate got pancreatitis and is NOT following doctor's orders about it and I'm worried he might seriously hurt himself and I'm not really sure what to do
February 15, 2025 at 3:39 AM
housemate got pancreatitis and is NOT following doctor's orders about it and I'm worried he might seriously hurt himself and I'm not really sure what to do
8 hours of analysis later I have a fix which is morally 15 lines of code 😌
February 13, 2025 at 10:12 PM
8 hours of analysis later I have a fix which is morally 15 lines of code 😌
suspicious of closures, idk
February 13, 2025 at 9:39 AM
suspicious of closures, idk
i get so obsessive when i cannot figure a problem out
February 13, 2025 at 7:03 AM
i get so obsessive when i cannot figure a problem out
dependency injection is gonna kill me man
February 13, 2025 at 5:18 AM
dependency injection is gonna kill me man
this single 6-line comment is one of the pieces of code i am most proud of
took quite a time to get to that type signature, and it's so simple, and it just works.
took quite a time to get to that type signature, and it's so simple, and it just works.
February 13, 2025 at 4:22 AM
this single 6-line comment is one of the pieces of code i am most proud of
took quite a time to get to that type signature, and it's so simple, and it just works.
took quite a time to get to that type signature, and it's so simple, and it just works.
really enjoying sticking diagrams in my code
February 9, 2025 at 1:27 AM
really enjoying sticking diagrams in my code
class Cofunctor f where
comap :: (f a -> f b) -> (a -> b)
instance Cofunctor NonEmptyList where
comap f a = head (f (singleton a))
comap :: (f a -> f b) -> (a -> b)
instance Cofunctor NonEmptyList where
comap f a = head (f (singleton a))
February 3, 2025 at 11:13 PM
class Cofunctor f where
comap :: (f a -> f b) -> (a -> b)
instance Cofunctor NonEmptyList where
comap f a = head (f (singleton a))
comap :: (f a -> f b) -> (a -> b)
instance Cofunctor NonEmptyList where
comap f a = head (f (singleton a))
i have unexpectedly entered the land of FRP
February 2, 2025 at 1:43 AM
i have unexpectedly entered the land of FRP
is there a way to do reactivity / event-based architectures without having action at a distance
January 30, 2025 at 8:37 AM
is there a way to do reactivity / event-based architectures without having action at a distance
this is why you should hire me
January 30, 2025 at 5:18 AM
this is why you should hire me
bruh i think notion is undergoing enshittification
January 30, 2025 at 4:04 AM
bruh i think notion is undergoing enshittification
macroblank is so fucking good it's crazy
January 28, 2025 at 6:41 PM
macroblank is so fucking good it's crazy
why are my optics not composing, tf. i literally have a
p :: Prism' X Y
l :: Lens' Y Z
and `p . l` is failing to typecheck as a `Prism' X Z` ??
p :: Prism' X Y
l :: Lens' Y Z
and `p . l` is failing to typecheck as a `Prism' X Z` ??
January 28, 2025 at 7:36 AM
why are my optics not composing, tf. i literally have a
p :: Prism' X Y
l :: Lens' Y Z
and `p . l` is failing to typecheck as a `Prism' X Z` ??
p :: Prism' X Y
l :: Lens' Y Z
and `p . l` is failing to typecheck as a `Prism' X Z` ??
bout to participate in some bath-driven development
January 25, 2025 at 5:12 AM
bout to participate in some bath-driven development
