OP, I don’t think you’ve correctly linked to the post (when I visit the linked webpage, the browser tries to download an ActivityPub activity instead of showing the post in the Mastodon web UI). Please replace the link with this one.
- 0 Posts
- 71 Comments
Wait, now I need to know why.
* some time later *
I went to check why the hell this happened. It looks like the pair (“
(,)
”) is defined as an instance ofFoldable
, for some reason, which is the class used by functions likefoldl()
andfoldr()
. Meanwhile, triples and other tuples of higher order (such as triples, quadruples, …) are not instances ofFoldable
.The weirdest part is that, if you try to use a pair as a
Foldable
, you only get the second value, for some reason… Here is an example.ghci> foldl (\acc x -> x:acc) [] (1,2) [2]
This makes it so that the returned length is 1.
yetAnotherUser@lemmy.cato Programmer Humor@programming.dev•They're trying to normalize calling vibe coding a "programming paradigm," don't let them.3·1 month agoAre those Turing complete? (Legit question, I’d love to know)
yetAnotherUser@lemmy.cato Programming@programming.dev•What's your favorite IDE right now?5·2 months agoI don’t know what the best IDE is, but I know what the best text editor is.
yetAnotherUser@lemmy.cato Technology@lemmy.world•Windows Is Adding AI Agents That Can Change Your SettingsEnglish2·2 months agoWe’re just talking about this, but I might as well do it! Do you per chance have an archive of ASCII cats?
yetAnotherUser@lemmy.cato Technology@lemmy.world•Windows Is Adding AI Agents That Can Change Your SettingsEnglish8·2 months agoAnd “AI agent” as in an algorithm that returns the cats every second, obviously.
yetAnotherUser@lemmy.cato Programming@programming.dev•How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H24·2 months agoI researched at bit about the debug symbols, and it seems like, for the most part, people have both found official builds where the debug symbols were simply left in, and info useful to debug the games in leaks.
yetAnotherUser@lemmy.cato Technology@beehaw.org•Eight years on, Mastodon stubbornly survives17·3 months agoLance Ulanoff has replied to this blog post: https://mastodon.social/@Lance_Ulanoff/114285108628269898
yetAnotherUser@lemmy.cato Programming@programming.dev•Ubuntu 25.10 Looks To Make Use Of Rust Coreutils & Other Rust System Components6·4 months agoWhat’s the difference from your normal
sudo
?
yetAnotherUser@lemmy.cato Technology@lemmy.world•Why Gen Z Is Ditching Dating AppsEnglish4·5 months agoYou just need to write the alt text inside the square brackets, like this:

This works in pretty much every platform that accepts Markdown images. If you want a reference for what Markdown syntax Lemmy supports, read this page.
yetAnotherUser@lemmy.cato Technology@lemmy.world•Give permission. Don't give permission. They know where you are anywayEnglish2·5 months agoBut when Firebase gets that network/IP change report, what information does it get? Because if it only gets the public IP address, the reported IP will still be the VPN one, not the real one, right? So, if that were the only information reported to Firebase, wouldn’t you still be protected? Does Firebase block requests when you’re using a VPN (this could be detected, for example, if certain aspects of the network have changed but the IP hasn’t)? Is that what you mean with not getting push notifications when simulating a local IP with filters?
PS: From my research, the WiFi’s SSID can also be used to track someone’s whereabouts, but depending on where you are and how many networks have used the same SSID, it may work work well or badly. You can see that by going to https://wigle.net/ (which is a database on WiFi networks with some publicly-available information), go to the map, type in the SSID field, and click “Filter”. I’m not sure if Firebase gets that info in the network reports, but I find it likely that it does.
yetAnotherUser@lemmy.cato Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•Any idea how I can download the video from such page ?English4·5 months agoWhat was the error you got when you ran
yt-dlp
?
deleted by creator
yetAnotherUser@lemmy.cato Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•Hulu quizzing about the ads playedEnglish1·6 months agoThat’s really stupid, but there’s one (unimportant) thing I’m not understanding. When they ask the numbers of rows in the car, are they asking the number of rows of seats?
yetAnotherUser@lemmy.cato Technology@lemmy.world•Metaverse hype fizzles out as Korean tech giants pull plugEnglish201·7 months agoYou’re joking, but there are lots of people in VRChat that love spending a lot of time looking at their own avatar in front of in-game mirrors.
yetAnotherUser@lemmy.cato unix_surrealism@lemmy.sdf.org•Child of Nine, pt. 5, pt. 6, pt. 7English0·7 months agoWait, who are those two on the last panel?
yetAnotherUser@lemmy.cato Technology@lemmy.world•Bluesky: eXodus continues as TERFS lose their brain-rotted mindsEnglish4·8 months agoI DISAGREE with you. YOU ARE NOW OBLIGATED TO ENTER AN EPIC DEBATE TO THE DEATH WITH ME BECAUSE REACHING A CONSENSUS IS IMPOSSIBLE IN THE INTERET!!!
(((((((((((((((((/s (in case it wasn’t obvious))))))))))))))))))
yetAnotherUser@lemmy.cato Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•COCK.LI IS ON RED ALERT.English3·8 months agoIt seems they are going to update the message every two days. For example, if you look at the message right now, it already has some differences.
Tsoding has created a few rules for writing Rust to make Rust “fun” to program in, and gave them the name of Crust.
Here is the rule set (it may change over time):
If you ever want to try this out for some ungodly reason, there’s a GitHub repository with an example Main that shows how to use libc and other libraries (in the example, it’s raylib), and with a Makefile showing how to compile your projects (remember we aren’t using
cargo
).