Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 903 904 905 906 907 908 909 910 911 912 913 .. 5022
— 502,152 events total
2020-10-27 23:07:36 <MarcelineVQ> how can folding be real if our planes aren't real
2020-10-27 23:07:53 × nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-27 23:07:53 hekkaidekapus_ is now known as hekkaidekapus
2020-10-27 23:07:58 <Rembane> If you put a mark on the paper it can easily become a catastrophy when folded
2020-10-27 23:08:11 <Rembane> MarcelineVQ: Fold along one dimension
2020-10-27 23:08:26 <MarcelineVQ> I saw a movie about that one time
2020-10-27 23:08:36 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-27 23:08:37 <mort> I mean with the "every number can be written as a sum of four squares" thing, any number N of pages can be printed with O(1) print instructions, it's not even that bad
2020-10-27 23:08:43 <MarcelineVQ> some guy lost his eyes and morpheus had to beat him up
2020-10-27 23:08:53 → christo joins (~chris@81.96.113.213)
2020-10-27 23:09:06 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-27 23:09:07 <Rembane> Sounds like Minority Report
2020-10-27 23:09:31 <MarcelineVQ> the majority of people who see it enjoy it
2020-10-27 23:09:49 × mimi_vx quits (~mimi@tulipan.habr.nat.praha12.net) (Ping timeout: 264 seconds)
2020-10-27 23:10:53 → nek0 joins (~nek0@2a01:4f8:222:2b41::12)
2020-10-27 23:11:15 <hekkaidekapus> Come on people, you can’t let a Latin/Greek conversation end without asking mort: ”Ets tu mort?” and requiring mort to think in French.
2020-10-27 23:11:16 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-27 23:11:28 hackage aura 3.2.1 - A secure package manager for Arch Linux and the AUR. https://hackage.haskell.org/package/aura-3.2.1 (fosskers)
2020-10-27 23:11:45 <koz_> hekkaidekapus: Not all are so linguistically graced.
2020-10-27 23:11:59 <hekkaidekapus> :)
2020-10-27 23:12:12 <koz_> We can't all insist that it's actually 'la COVID-19'.
2020-10-27 23:12:23 <mort> pardon, mais mon français n'est pas bonne
2020-10-27 23:12:38 <hekkaidekapus> :D
2020-10-27 23:13:02 <mort> mon français est mort
2020-10-27 23:13:35 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-10-27 23:13:45 tolt_ is now known as tolt
2020-10-27 23:13:54 <hekkaidekapus> At least we have dead-k :D
2020-10-27 23:14:13 <mort> it's a bit sad, the "feel" for the language is there but the vocabulary isn't
2020-10-27 23:14:18 → christo joins (~chris@81.96.113.213)
2020-10-27 23:14:33 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-27 23:14:39 <Rembane> Are linguistics some kind of human eating bovine?
2020-10-27 23:14:49 <mort> probably?
2020-10-27 23:15:23 <Axman6> it's called linguineistics if it's from Italy though
2020-10-27 23:15:24 <mort> not sure if it has to be a bovine precisely
2020-10-27 23:15:59 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-27 23:16:04 <Rembane> Tasty!
2020-10-27 23:18:06 <koz_> mort: Vocabulary is hard.
2020-10-27 23:18:50 × LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-27 23:18:55 × christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-10-27 23:19:01 <mort> yes
2020-10-27 23:19:34 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:2ef5:ab40:91d2:d4c8)
2020-10-27 23:20:12 × nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-27 23:21:48 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-27 23:22:00 → teardown joins (~user@gateway/tor-sasl/mrush)
2020-10-27 23:22:12 × ericsagnes quits (~ericsagne@2405:6580:0:5100:dc8a:5173:1db7:7a54) (Ping timeout: 260 seconds)
2020-10-27 23:23:51 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-27 23:25:07 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-27 23:26:32 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-27 23:28:06 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.9)
2020-10-27 23:30:04 → christo joins (~chris@81.96.113.213)
2020-10-27 23:34:43 <koz_> :t foldM
2020-10-27 23:34:45 <lambdabot> (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b
2020-10-27 23:34:46 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-27 23:35:00 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-27 23:35:10 → mimi_vx joins (~mimi@2a01:490:16:1026:9954:a30:869a:297e)
2020-10-27 23:35:18 × mmohammadi9812 quits (~mmohammad@5.238.178.31) (Ping timeout: 260 seconds)
2020-10-27 23:35:55 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 256 seconds)
2020-10-27 23:37:47 → obihann joins (~jhann@156.34.160.69)
2020-10-27 23:40:58 → jedws joins (~jedws@101.184.193.144)
2020-10-27 23:41:38 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-27 23:42:43 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 260 seconds)
2020-10-27 23:43:05 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-10-27 23:43:30 <Uniaika> 2~< koz_> Uniaika: We had a conversation on this topic already, I believe. :P // ah bloody hell I was persuaded it was
2020-10-27 23:43:37 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2020-10-27 23:43:45 × dme2 quits (~user@c-24-1-191-153.hsd1.il.comcast.net) (Ping timeout: 240 seconds)
2020-10-27 23:43:54 <Uniaika> lens functions do seem like a proper eDSL though
2020-10-27 23:44:05 <koz_> Not if you're textualizing then reading them back.
2020-10-27 23:44:20 <Axman6> lens is just just traverse with more steps, fight me
2020-10-27 23:44:29 <koz_> Repeat after me: as soon as your input is arbitrary text from outside, you have a compiler, not an eDSL.
2020-10-27 23:44:39 → revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-27 23:45:32 <Uniaika> as soon as my input is arbitrary text from outside, I have a compiler, not an eDSL
2020-10-27 23:48:59 <dmwitch> Seems like a category error.
2020-10-27 23:49:14 <dmwitch> As soon as your input is arbitrary text from outside, you have a DSL or GPL, not an eDSL.
2020-10-27 23:49:28 <koz_> dmwitch: That's a valid point.
2020-10-27 23:49:54 <koz_> Also, I get your name is meant to call to mind a spellcasting woman, but I see the food consisting of a filling with bread either side.
2020-10-27 23:50:32 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-27 23:50:49 dmwitch is now known as sandmwitch
2020-10-27 23:50:56 <sandmwitch> ^_^
2020-10-27 23:50:58 <koz_> PERFECT
2020-10-27 23:51:00 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:d1ca:d6e:3bd1:254d)
2020-10-27 23:51:17 <sandmwitch> conclusion: sanch = bread
2020-10-27 23:51:39 <koz_> Two slices of, at that.
2020-10-27 23:53:44 <hekkaidekapus> lol :P Are Halloween times like this every year?
2020-10-27 23:54:06 <sandmwitch> This is the first year I've seen it. But I like it, and assign high probability to this becoming a tradition.
2020-10-27 23:54:58 <hekkaidekapus> It merits a proposal so that it’s enforced in all community medium/media.
2020-10-27 23:55:02 <sandmwitch> (Possibly related: people are turning to electronically-maintained relationships for their holiday celebrations more than usual this year.)
2020-10-27 23:55:33 <hekkaidekapus> That, too.
2020-10-27 23:55:56 DigitalKiwi /nick WitchKiwi
2020-10-27 23:56:24 <DigitalKiwi> ya know what f it
2020-10-27 23:56:26 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-27 23:56:29 DigitalKiwi is now known as WitchKiwi
2020-10-27 23:56:55 hekkaidekapus rests my lungs :D
2020-10-27 23:58:36 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 258 seconds)
2020-10-27 23:59:51 sandmwitch proposes DevilKiwi
2020-10-28 00:00:01 × Perlboy quits (~Perlboy@178.239.168.171) ()
2020-10-28 00:01:03 <sandmwitch> Another strong contender: DigitalKiwicked
2020-10-28 00:01:04 <WitchKiwi> i was thinking GhostKiwi
2020-10-28 00:01:29 <WitchKiwi> i love Wicked
2020-10-28 00:01:49 <WitchKiwi> DigitalKiWicked
2020-10-28 00:01:59 <WitchKiwi> fun fact: my gmail name is Ki Wi
←Prev  Next→
Page 1 .. 903 904 905 906 907 908 909 910 911 912 913 .. 5022

All times are in UTC.