Reposted by Osiris, seeking AtaraxiaRandall Munroe @xkcd.com · 16/10/2025Physics Paths xkcd.com/3155/ 373769528
Reposted by Osiris, seeking AtaraxiaRandall Munroe @xkcd.com · 04/09/2025Cursed Number xkcd.com/3137/ 512709282
Reposted by Osiris, seeking AtaraxiaRandall Munroe @xkcd.com · 05/08/2025Canon xkcd.com/3123/ 263929682
Reposted by Osiris, seeking AtaraxiaCroteam | The Talos Principle: Reawakened @croteam.com · 09/07/2025No thoughts, no philosophy — just crabs, dunes, and summer energy. 🦀 1395
Reposted by Osiris, seeking AtaraxiaGenshin Impact EN @genshinimpact-en.bsky.social · 09/07/2025Teyvat Chapter Interlude Teaser: The Gods' Limits | Genshin Impact #GenshinImpact #Ronova #Rhinedottir #Naberius #Istaroth #Pierro youtu.be/jvXVmvW8ZQwyoutu.beTeyvat Chapter Interlude Teaser: The Gods' Limits | Genshin Impact #GenshinImpactYouTube video by Genshin Impact 6337118
Reposted by Osiris, seeking Ataraxiaえすてぃお @esuthio.bsky.social · 26/06/2025SF magazine：Neuromancer2025 031567
Reposted by Osiris, seeking AtaraxiaRandall Munroe @xkcd.com · 10/05/2025Globe Safety xkcd.com/3086 203164279
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 06/05/2025Ok now that code for evaluating if a proposition is a tautology was so cool, the code looks super intuitive to read if you know your mathematical logic (the aux functions aren't too bad either, but I'm in love with how data encapsulated that) 010
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 05/05/2025In the exercises I was supposed to write the any function. The intended solution was very simple: any p = and . map p (makes sense) what I did was any p = foldr ((&&) . p) True In my defense I knew mapping was a good idea, but I thought my idea would work better with Haskell's lazy eval... 100
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 05/05/2025Kinda wish parenthesis weren't so frowned upon tbh, not saying it needs to be a Lisp but if it was closer to how we use in math like f(x) instead of f x maybe it could be easier to parse at a glance. I'd probably write it more step-by-step, but I'm trying to get used to how it's usually written 100
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 05/05/2025I'm trying to understand how that function works, because Haskell makes my head spin when composing functions: Is it (map snd (result (map head coll)))? I think so, and from my testing it seems to be that way... 100
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 05/05/2025Ok so this one is giving me a hard time: I have a list of lists with common values, and I'm applying this function Ord a => [[a]] -> [a] map snd . result . map head result is Ord a => [a] -> [(Int, a)] and it gives a sorted list with the count for each element on the list attached to it 100
Reposted by Osiris, seeking AtaraxiaGrant Sanderson @3blue1brown.com · 04/05/2025In the most recent video about quantum computing, I saw many comments expressing a similar point of confusion regarding Grover's algorithm. I made a follow-up to (hopefully) clarify some of the issues and to address a few other under-emphasized points. youtu.be/Dlsa9EBKDGIyoutu.beWhere my explanation of Grover’s algorithm failedYouTube video by 3Blue1Brown 118815
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 04/05/2025I do miss my parenthesis and prefix notation, but so far I'm enjoying Haskell. Still in the easy sections though, let's see how it goes when I get to the difficult aspects of the language... 100
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 04/05/2025Another thing is that variable names in Haskell are way too short for comfort lol sometimes I just keep staring at a function because its name and variables are single characters... At least the type system can help, but it's not enough for me so far.... 100
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 04/05/2025Ok so one cool thing I didn't expect is that Haskell generates partial functions on the fly, instead of explicitly applying the partial operator like in Clojure. I think I still prefer Clojure's way in this case because it makes things more explicit though, but it does look cool. 110
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 02/05/2025Been using Graham Hutton's book to learn because I was introduced to Haskell through his video on monads in Computerphile and so far it seems like a good pick: simple exercises and a good amount of theoretical background for the concepts 110
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 02/05/2025I do have some experience with functional programming through Clojure (which I love, and kinda wish I could get a job on it tbh), but as someone who studied pure math Haskell feels like I'm back at uni (in a good way) 110
Osiris, seeking Ataraxia @silicon-osiris.bsky.social · 02/05/2025Maybe I could just write up my journey through Haskell as a way to document how it's going? Might keep me motivated, although the language is interesting enough by itself 120
Reposted by Osiris, seeking Ataraxialack/珈琲紳士 @lalalalack.bsky.social · 29/04/2025Take Five #ザンニー #鳴潮 71798396
Reposted by Osiris, seeking AtaraxiaGrant Sanderson @3blue1brown.com · 30/04/2025New video! This covers the fundamentals of quantum computing and builds up to a step-by-step walk-through of an important algorithm in the field. youtu.be/RQWpF2Gb-gUyoutu.beBut what is Quantum Computing? (Grover's Algorithm)YouTube video by 3Blue1Brown 724934
Reposted by Osiris, seeking AtaraxiaRandall Munroe @xkcd.com · 15/04/2025The Roads Both Taken xkcd.com/3076 705123606
![Vertical comic structured like flow chart. (1) Einstein had an insight that overturned physics, thus proving his value. (2) I hope *I* have value. I’ll try to have an insight that overturns physics, to check. (3) [Time Passes] (4) Oh no! My insight didn’t overturn physics! But I don’t think I’m worthless… [arrows to two different options] (5a) Healthy Path: Maybe this was not a well-thought-out test of my value. (5b) Path of Ruin: The establishment must be *suppressing* my insight!](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cz73r7iyiqn26upot4jtjdhk/bafkreihhxykbw72fblbjeupqscutarbdowk73mhsdkqrtzjwrpzqzamjem)
![Comic. [Three people standing behind podium labeled math department. Person with bun holds up a paper. Behind them is a projector screen displaying the equation 💀>26 x 10^21] [caption] Good news: Mathematicians have put a new lower bound on the *Cursed Number That Destroys the Minds of All Who Perceive It!* It’s at least 22 digits, which means it’s unlikely to be seen by any human no matter how many random numbers they look at. They say it’s once again safe to view large random numbers without eye protection.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cz73r7iyiqn26upot4jtjdhk/bafkreifaxe64bsuqi4gckktpv4pmoegy5nv7kfhp2mz4f7x6ulrbu62mtu)
![Comic. PERSON 1 [to person with white hat]: It’s so weird reading these 18th Century scholars argue about minor Biblical details. It’s like they’re an online fandom or something—They’ve developed this whole elaborate canon. [caption] It’s fun when a word’s usage goes full circle and, by analogy, lands back on its original meaning.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cz73r7iyiqn26upot4jtjdhk/bafkreicu5eycow24bnuslaj3ehng5icy7svqinod2ytinobhbnjveyblbq)
