Its really easy to feel like you don't know what you're doing when first using nix. Sometimes you need to flake it till you make it.

static-ls might be my new favorite language server. It doesn't constantly recompile, instead reading data from static files. It was designed to avoid the huge memory and CPU usage of HLS. But, I actually like this static behavior better, irrespective of the resource consumption. And I'm […]

(semi-)niche meme idea: -:**- : oh fuck oh no -:--- : calm

Just one more config file, I promise bro. Just one more line of config bro, everything is going to work perfectly. Bro come on just one more config file and

Wow, haskell-mode in emacs is really nice. I should have read the manual a long time ago... (how, to this day, is reading the manual still not one of the first things I do when seriously using a tool. You'd think I'd've figured this out by now).

Happy national fountain pen day, y'all.

It does not, in fact, work on my machine.

Hmm, okay, I see why nix is useful

A monad is just a monoid in the category of the endofunctor. A monad transformer is just a pointed object in the category of endofunctors of the category of monads. (Because somebody asked (I promise, someday really did ask me this (okay, it was at work (okay it was a rhetorical question)))).

"holy, shit, this is the worst UI I've ever used", you say looking at a UI built by a billion dollar company known for their beautiful UIs

One day I will never edit text again, only evaluate lisp.

Freudian lisp

what? https://cybernews.com/news/australia-github-age-restriction-kids-protection/

Really wish it was project pigeon not project pterodactyl (not even a bird by the way).

At @TMiP some people from Durham presented their project "Young Minds, Big Maths". It's a collection of resources to help talk about maths in early years settings. https://youngmindsbigmaths.co.uk/ What a nice project!

Huh. just discovered that my desktop has an nvidia graphics card. I've had it for more than 3 years

Out of curiousity, which of these functions would you guess was faster on larger inputs? ``` test :: Int -> [(Int, Set Int)] test = fmap (second Set.fromList) . uncurry zip . (id &&& List.inits) ``` or ``` test :: Int -> [(Int, Set Int)] test = foldl' (\acc p -> (p , maybe mempty (uncurry Set […]

Oh cool, ran into my first fractured heap in the wild.

well I guess I won't be watching this, then

Going to set each clock in my house to a different time zone, which change sporadically (non according to daylight savings time), in order to make programming with timezones more natural.

```haskell f :: (Int, Int) -> Int f p = if (fst p == 6) || (fst p == 7) then 1 else 0 ``` and ```haskell f :: (Int, Int) -> Int f p = case p of (6, _) -> 1 (7, _) -> 1 _ -> 0 ``` have the same representation in cone (after the simplification passes). Wow thats cool.

Hmm, building the latest commit of ghc from source has been surprisingly painless.

GHC generates names like $w for worker functions. I've also seen $c. Anybody know a complete resource documenting these generated names?

Via @david, new shape just dropped. The authors claim to have proved that this polyhedron lacks Rupert's property. I haven't read the proof yet, but the claim itself doesn't seem outrageous.

Hmmm

Security tip of the day: changing your password is a sign of weakness.

Why do haskell programmers need lenses. Because they can't c

The opposite of concurrent programming is ncurrent programming

A PDF viewer should not be visually distracting!!!! Wtf Adobe Acrobat

Go a day at work without thinking "man, I wish Haskell had dependent types" challenge (impossible)

Crunch crunch crunch crunch

JavaScript function definitions are side effecting????

Chard soup? Honestly, how do burn a liquid

I trust the people at King Arthur baking with my life

Damn, I'm loosing so much money to the "this would be easier with dependent types" jar

Wtf is going on on facebook market place.

Why do they even call them snow shoes if they're just made out of regular shoes. Very disappointed.

Very few people know this, but API is actually an acronym. It sands for "Anyways, Pretend its Implemented."

Pandoc question: can you only use yaml metadata blocks when the input file is a md file? How do you include meta data for a different type of file? I'm not using the command line tool, but using the library as part of slick. Do I have to include a separate metadata file?

"The recommended method of installation is through VS Code" Another day, another attack on my sovereign mind

Ice cream machine of 5years just gave out 😥

Sad and disappointed that grangle is not a word

A dad joke? That's an awfully rude thing to call a child.

As intended

Typst is a serious typesetting tool used for typesetting serious documents.

I invite people to find such examples in papers and report them here in replies.

People should use purple more in official documents. Its regal.

Happy juneteenth and summer solstice!

Cherry ice cream, in preparation for the summer solstice and the on coming 100°F weekend.