LambdaDuck
LightNews LightNews
anka213.bsky.social
LambdaDuck
@anka213.bsky.social
360 followers 430 following 1.3K posts
Haskell and type theory enthusiast

they/them
Posts Replies Media Videos
anka213.bsky.social
cheers!
an empty deciliter measuring cup in stainless steel on a white background. there are two lines, marked 1dL and 1/2dL
October 26, 2025 at 5:24 PM
anka213.bsky.social
none of these options are acceptable
Two buttons: Reject and Subscribe or Accept all tracking The text above says that you can pay £2,99 per month to get rid of ads, otherwise you need to accept ALL tracking A bunch of grayed-out pre-checked boxes for advertising-related tracking. It is impossible to say no to tracking other than by closing the website entirely
September 4, 2025 at 7:18 PM
anka213.bsky.social
oh no, not this bullshit interpretation of gdpr again! has that actually held up in court?
cookie notice popup with the options “Accept all tracking” or “reject and subscribe”
September 4, 2025 at 2:55 PM
anka213.bsky.social
literally this!
The following classic post, with “Tech company” scribbled over and replaced with “UK Government”: Sci-Fi Author: In my book I invented the Torment Nexus as a cautionary tale Tech Company: At long last, we have created the Torment Nexus from classic sci-fi novel Don't Create The Torment Nexus
August 9, 2025 at 3:33 PM
anka213.bsky.social
The following classic post, with “Tech company” scribbled over and replaced with “UK Government”: Sci-Fi Author: In my book I invented the Torment Nexus as a cautionary tale Tech Company: At long last, we have created the Torment Nexus from classic sci-fi novel Don't Create The Torment Nexus
August 9, 2025 at 3:30 PM
anka213.bsky.social
All aboard the HRT express!
A picture of a pink and white train from the Helsinki Regional Transport A closeup of the sign that says HRT on the train
August 9, 2025 at 10:57 AM
anka213.bsky.social
it’s because danish is the french of the nordic languages. they also share having a strange base-20 number system
A map over europe, showing how different languages say the number 92. every country except france and denmark write it as either 90+2 or 2+90, france writes it as 4x20+12, while denmark writes it as 2+(5-0.5)x20
August 7, 2025 at 6:13 PM
anka213.bsky.social
screenshot of documentation: Section: Deprecated and unmentionable function: accursedUnutterablePerformIO :: IO a -> a This "function" has a superficial similarity to unsafePerformIO but it is in fact a malevolent agent of chaos. It unpicks the seams of reality (and the IO monad) so that the normal rules no longer apply. It lulls you into thinking it is reasonable, but when you are not looking it stabs you in the back and aliases all of your mutable buffers. The carcass of many a seasoned Haskell programmer lie strewn at its feet. Witness the trail of destruction: https://github.com/haskell/bytestring/commit/71c4b438c675aa360c79d79acc9a491e7bbc26e7 https://github.com/haskell/bytestring/commit/210c656390ae617d9ee3b8bcff5c88dd17cef8da https://ghc.haskell.org/trac/ghc/ticket/3486 https://ghc.haskell.org/trac/ghc/ticket/3487 https://ghc.haskell.org/trac/ghc/ticket/7270 Do not talk about "safe"! You do not know what is safe! Yield not to its blasphemous call! Flee traveller! Flee or you will be corrupted and devoured! function: inlinePerformIO :: IO a -> a Source # Deprecated: If you think you know what you are doing, use unsafePerformIO. If you are sure you know what you are doing, use unsafeDupablePerformIO. If you enjoy sharing an address space with a malevolent agent of chaos, try accursedUnutterablePerformIO.
June 15, 2025 at 10:52 PM
anka213.bsky.social
the bot didn’t seem to work, so here you go:
Screenshot from the linked news article: Drug-resistant gonorrhea, a form of the widespread sexually transmitted infection, is considered an urgent health threat worldwide. The United States has just lost its ability to detect it. Among the Centers for Disease Control and Prevention employees fired on Tuesday were 77 scientists who, among other work, gathered samples of gonorrhea and other S.T.I.s from labs nationwide, analyzed the genetic information for signs of drug resistance, and readied the samples for storage at a secure facility. No other researchers at the agency have the expertise, or the software, to continue this work. The abrupt halt has stranded about 1,000 samples of gonorrhea and other sexually transmitted pathogens that had not yet been processed, and perhaps dozens more headed to the agency. There are as many as 30 freezers full of samples that now have no custodians, said one senior C.D.C. official who spoke on condition of anonymity for fear of retaliation. "We were just really shut down midair, like there was no warning," the official said. "It was just completely unplanned and chaotic."
April 7, 2025 at 6:37 AM
anka213.bsky.social
Screenshot of a Tweet: 'I never thought leopards would eat MY face,' sobs woman who voted for the Leopards Eating People's Faces Party. 4:18 AM • Oct 16, 2015
February 25, 2025 at 7:42 AM
anka213.bsky.social
not even paywalled, region walled!
The text ”This content is not available” in very tiny text at the top left corner of the webpage
February 8, 2025 at 7:31 AM
anka213.bsky.social
sorry for the mix of light mode and dark mode
Instructions for adding a list and pinning it to home: 1. Open the lists menu 2. Click add new list 3. Open the profile you want to add, click at the triple dot menu and add to list 4. Click Pin to Home in the menu for that list
February 5, 2025 at 8:59 PM
anka213.bsky.social
If we would try to make a naive version of the blog alg without laziness, we could try running it twice, the first time with a dummy value.

however, this version has exponential complexity with respect to depth, since each recursive call will also call it's children twice
lamBad : (Expr -> Expr) -> Expr lamBad f = dummy = f (Var 999) a = maxBV dummy + 1 Lam a (f (Var a))
January 31, 2025 at 2:04 PM
anka213.bsky.social
something like this:

this is somewhat similar to the rejected option in section 2.1 of the paper: emilaxelsson.github.io/documents/ax...
Code implementing an ability and handler for providing unique names: type Expr = Var Nat | App Expr Expr | Lam Nat Expr structural ability Unique where newUnique : {Unique}Nat withUniques : Nat -> '{g, Unique} a -> {g} a withUniques n0 x = impl : Nat -> Request {Unique} a -> a impl n = cases { pure } -> pure { Unique.newUnique -> resume } -> handle resume n with impl (n+1) handle x() with impl n0 lam : (Expr -> {Unique}Expr) ->{Unique} Expr lam f = a = newUnique Lam a (f (Var a)) app = App > withUniques 0 '(lam (x -> x)) > withUniques 0 '(lam (x -> app (app (lam (y -> y)) (lam (z -> z))) x))
January 31, 2025 at 12:09 PM
anka213.bsky.social
ma musi li telo
Google maps screenshot of lake called Musi
January 2, 2025 at 7:36 AM
anka213.bsky.social
nope, i still get this error:
Screenshot of twitch giving the error: Sorry. Unless you've got a time machine, that content is unavailable.
December 14, 2024 at 8:10 AM
anka213.bsky.social
*clicks on profile*
“well, that explains your behavior”
Screenshot of Lau’s profile, starting with ⭐️ gamer ⭐️
December 1, 2024 at 6:28 AM
anka213.bsky.social
yes, indeed! it traverses your structure in a depth-first left-to-right order, by order of your definition. the same holds true for derived Traversible instances.

Here's the generated code, dumped using -ddump-deriv and slightly cleaned up:
A screenshot of the code generated by deriving Functor, Foldable and Traversible on the binary tree "data Tree a = Tree (Tree a) a (Tree a)". I have modified the code slightly to make it more readable, by applying hlint hints and replacing prefix functions with their corresponding inline operations. The full code follows below: {-# OPTIONS_GHC -ddump-deriv -dsuppress-uniques -dsuppress-module-prefixes #-} import qualified GHC.Base import qualified Data.Foldable import qualified Data.Traversable data Tree a = Tree (Tree a) a (Tree a) -- deriving (Functor, Foldable, Traversable) -- Generated code: instance Functor Tree where fmap f (Tree a1 a2 a3) = Tree (fmap f a1) (f a2) (fmap f a3) (<$) z (Tree a1 a2 a3) = Tree ((<$) z a1) z ((<$) z a3) instance Foldable Tree where foldr f z (Tree a1 a2 a3) = foldr f (f a2 (foldr f z a3)) a1 foldMap f (Tree a1 a2 a3) = foldMap f a1 <> (f a2 <> foldMap f a3) null (Tree {}) = False instance Traversable Tree where traverse f (Tree a1 a2 a3) = liftA2 Tree (traverse f a1) (f a2) <*> traverse f a3
November 28, 2024 at 3:36 PM