Quinten Kock

True, but it was also expected that the VVD would get decimated these elections, which did not happen. So it could very well embolden them. I guess we'll see, but either way I still firmly believe negotiations will be extremely difficult. Our last three(!) formations were over half a year long.

VVD-leader Yesilgoz has however said she did not want to form a government with GL-PvdA. I also have a hard time seeing D66 together with JA21, so I feel like we're going to have a very difficult formation, as is tradition at this point.

At least I'm pretty sure Clippy didn't cost extra?

how haskell-specific is this problem? it feels like something most type systems would struggle with, since you need to have the forall somewhere.

The output of `perf report` zoomed into a function. The profile shows that a single use of `vpcompressd` (or actually the instruction after it) has consumed over 50% of the program's total runtime.

When you're trying to do some AVX programming using ISPC but you're on a Zen4 machine.. Even doing this serialized is faster lmfao

Make your own text editor 🥸

also, I personally quite like Kate, but I think it's best if you use KDE, and there is no plugin ecosystem to speak of, nor do I think making one is easy (pretty sure it needs to be done in C++...)

Another common mistake I see with LLMs is sticking to prose inputs and outputs for the model

Most users are actually pretty allergic to both typing out and reading large blocks of text. It's often better to structure inputs and outputs to be something other than sentences/paragraphs

character who is running down on the thoughts of making a programming language

(pulling up the ladder behind me) This is an opportunity for you to succeed through hard work and determination

Joke about environmentally friendly cryptography. "Sustainable Cryptography Initiative Reduce: use less different keys Reuse: key pairs are still usable after the expiration date Recycle: publish your private key so less key mining is needed"

I just started doing #adventofcode in #Haskell, but I've already done that for like the last three years, so maybe it's time for something else?

Does anyone here have any fun suggestions?

QUICK REMINDER NEWSKIES:

Pronouns are SUPER easy to add

Just pop over here, sub, and then go to posts to select yours so they pop up as a profile label and you have more room in your bio!!
bsky.app/profile/pron...

ghci> data TreeL a = LeafL | NodeL a (TreeL a) (TreeL a) deriving (Show, Eq, Functor, Foldable) ghci> data TreeM a = LeafM | NodeM (TreeM a) a (TreeM a) deriving (Show, Eq, Functor, Foldable) ghci> foldr (:) [] $ NodeL 2 (NodeL 1 LeafL LeafL) (NodeL 3 LeafL LeafL) [2,1,3] ghci> foldr (:) [] $ NodeM (NodeM LeafM 1 LeafM) 2 (NodeM LeafM 3 LeafM) [1,2,3]

Seems like it does, it probably defines foldMap and then goes left-through-right:

Fedora Sway Atomic Fedora Sway Atomic provides the popular Sway tiling window manager in an atomic fashion. It makes Sway accessible and appealing to both novices and advanced users who prefer not to use a mouse, touchp...

Fedora offers an atomic Sway spin: fedoraproject.org/atomic-deskt...

Might be a nice way if you do want to give i3-style tiling a try!

Hi, so I've spent the past almost-decade studying research uses of public social media data, like e.g. ML researchers using content from Twitter, Reddit, and Mastodon.

Anyway, buckle up this is about to be a VERY long thread with lots of thoughts and links to papers. 🧵

I knew you could derive Functor, but I didn't know it also worked for Foldable. True 🤯 moment for me, tbh.

I wonder though, will Foldable behave differently if Node is defined as `Node (Tree a) a (Tree a)`?

Unicode is annoying because it's hard to type. And Haskell typically is pretty rich in symbols (I mean, what the hell is <*>?) so it makes sense to me that they don't use a keyword like fn.

Rust's |x| would work, I guess, but has the same problems. Just -> would make the syntax more complex IMO.

Firefox does not share my posts publicly or anything like that. The fact here is that people are mad about the JSON file being distributed publicly on HF. The file hosting does not federate with Bsky so I don't think it's covered, but just saying "JSON file" is a reductio ad absurdum.

The dataset does not include the post author name in a human readable way. As such, searching your or someone else's username is completely pointless.

Alpindale uploaded the file to Huggingface, a SERVICE to share AI content. Doing that provides a SERVICE to AI developers.

So I guess the strictness analyzer succeeds here? That's pretty neat!

Still not sure how I feel about relying on a compiler optimization to get good asymptotic memory usage though, especially since it may also require inlining? Guess I'll be trying a few things today!

I'm also curious to see if the i3 lineup will get a cluster of E-cores, especially now that hyperthreading is gone. Making a 4c4t CPU seems kind of not-the-move even for a budget chip, since all i3's since 10th gen have been 4c8t. 4p+4e 8t would be fine and probably a really nice MT uplift too.

I overall quite like laziness, but IMO oversized thunks are a significant problem.

For example, folds require explicit strictness to implement a basic reduction like sum without requiring linear (stack) space.

That said, I've never tried if the strictness analyzer helps in their case. Does it?

What's wrong with how Tumblr does it? The really long chains, or is it something else?

Yep, and I can't imagine a $3000 PC having older parts either.

Lunar Lake is 200V specifically (not 200H or 200U or 200 or 200K).

As for the 13th/14th gen issues, those seemed to be hardware degradation causing actual errors (such as BSODs), not things becoming laggy. The lag is probably just a software/driver issue and not harmful for the HW.

Can't you remove the faulty stick and just use the system with less RAM? It would cause a performance hit but IMO better that than an unreliable system.

Does Turing not have RTX HDR support? According to PCGamer it should work on any RTX card.