2022/01/04

2022-01-04 00:01:08 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-01-04 00:01:08 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 00:01:17 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep)
2022-01-04 00:10:29 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 00:11:11 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 00:15:33 +0100rond_(~rond_@2a01:115f:943:5e00:fd3e:9189:6c2:6793) (Quit: Client closed)
2022-01-04 00:15:37 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-04 00:16:23 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-04 00:16:57 +0100falafel(~falafel@2603-8000-d800-688c-c064-54e6-9a05-e359.res6.spectrum.com)
2022-01-04 00:17:30 +0100alx741(~alx741@157.100.93.160)
2022-01-04 00:22:17 +0100falafel(~falafel@2603-8000-d800-688c-c064-54e6-9a05-e359.res6.spectrum.com) (Ping timeout: 240 seconds)
2022-01-04 00:24:22 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-04 00:24:38 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2022-01-04 00:25:08 +0100ensyde(~ensyde@2600:1702:2e30:1a40:46f:eb54:3eb6:1199)
2022-01-04 00:27:57 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-01-04 00:30:38 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-01-04 00:31:37 +0100acidjnk(~acidjnk@pd9e0bdc0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-01-04 00:31:37 +0100acidjnk_new(~acidjnk@pd9e0bdc0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-01-04 00:34:28 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-04 00:36:57 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-01-04 00:42:34 +0100mrmr(~mrmr@user/mrmr)
2022-01-04 00:48:19 +0100shapr(~user@2601:7c0:c202:5190:89bb:1594:f7ec:a46b)
2022-01-04 00:49:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 00:51:51 +0100`2jt(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 256 seconds)
2022-01-04 00:53:52 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 00:58:16 +0100deadmarshal(~deadmarsh@95.38.231.228)
2022-01-04 01:00:13 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-01-04 01:02:37 +0100deadmarshal(~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds)
2022-01-04 01:10:52 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-01-04 01:12:06 +0100alx741(~alx741@157.100.93.160)
2022-01-04 01:12:51 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Remote host closed the connection)
2022-01-04 01:15:17 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-01-04 01:15:35 +0100ub(~Thunderbi@p548c8cd6.dip0.t-ipconnect.de)
2022-01-04 01:15:46 +0100ubert(~Thunderbi@p200300ecdf0994ceb42bd33431e7317f.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-01-04 01:15:47 +0100ububert
2022-01-04 01:16:48 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 01:23:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-04 01:29:09 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2022-01-04 01:33:10 +0100deech(~user@024-217-244-075.res.spectrum.com)
2022-01-04 01:34:39 +0100alx741(~alx741@157.100.93.160)
2022-01-04 01:34:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 01:35:37 +0100lavaman(~lavaman@98.38.249.169)
2022-01-04 01:37:57 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2022-01-04 01:38:38 +0100 <deech> I'm trying to understand the NonEmpty instance for 'Comonad', I would have expected https://pastebin.com/Py36e1NM to print '(1 :| [2,3]) :| [(2 :| [3]), (3 :| [])]' but instead it prints '(1 :| []) :| []'. Why does it behave this way?
2022-01-04 01:39:27 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-01-04 01:39:27 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 01:39:32 +0100 <Axman6> % :t extend
2022-01-04 01:39:33 +0100 <yahb> Axman6: Comonad w => (w a -> b) -> w a -> w b
2022-01-04 01:39:57 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-01-04 01:39:58 +0100 <Axman6> % :t extend id
2022-01-04 01:39:58 +0100 <yahb> Axman6: Comonad w => w a -> w (w a)
2022-01-04 01:41:03 +0100 <Axman6> that does feel odd to me too, but comonads are something I only have a very basic understanding of
2022-01-04 01:41:52 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-01-04 01:42:04 +0100 <deech> Based on my reading of the instance I don't understand the output unless it's the result of laziness:https://github.com/ekmett/comonad/blob/main/src/Control/Comonad.hs#L193-L200.
2022-01-04 01:42:09 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-01-04 01:42:26 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 01:42:26 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 01:42:26 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 01:44:13 +0100 <Axman6> looks to me like the fist element should indeed be f applied to the whole input...
2022-01-04 01:45:27 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-01-04 01:45:37 +0100 <deech> Oh wait, what the hell, the GHCI repl from Emacs prints '(1 :| []) :| []' but actually running the executable prints what I expect.
2022-01-04 01:46:14 +0100 <deech> It was repl session from Emacs. Sorry. I thought I was going nuts.
2022-01-04 01:46:16 +0100 <Axman6> D:
2022-01-04 01:48:07 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-01-04 01:48:32 +0100arguapacha(~arguapach@2800:484:718f:978a:e548:6783:11de:86cc)
2022-01-04 01:48:35 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-01-04 01:50:07 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection)
2022-01-04 01:51:58 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik)
2022-01-04 01:52:29 +0100machinedgod(~machinedg@24.105.81.50)
2022-01-04 01:55:34 +0100alx741(~alx741@157.100.93.160)
2022-01-04 01:57:13 +0100machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2022-01-04 01:58:11 +0100machinedgod(~machinedg@24.105.81.50)
2022-01-04 01:59:49 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds)
2022-01-04 01:59:49 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 02:00:17 +0100arguapacha(~arguapach@2800:484:718f:978a:e548:6783:11de:86cc) (Ping timeout: 256 seconds)
2022-01-04 02:00:37 +0100deech(~user@024-217-244-075.res.spectrum.com) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
2022-01-04 02:02:28 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-04 02:03:00 +0100burnsidesLlama(~burnsides@client-8-64.eduroam.oxuni.org.uk)
2022-01-04 02:06:57 +0100burnsidesLlama(~burnsides@client-8-64.eduroam.oxuni.org.uk) (Ping timeout: 240 seconds)
2022-01-04 02:07:54 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 02:08:57 +0100Tuplanolla(~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) (Quit: Leaving.)
2022-01-04 02:16:28 +0100sub0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Error))
2022-01-04 02:16:58 +0100sub0(~bc8147f2@cerf.good1.com)
2022-01-04 02:18:07 +0100alx741(~alx741@157.100.93.160)
2022-01-04 02:20:06 +0100lavaman(~lavaman@98.38.249.169)
2022-01-04 02:21:37 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-01-04 02:21:49 +0100arguapacha(~arguapach@2800:484:718f:978a:e548:6783:11de:86cc)
2022-01-04 02:26:03 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-01-04 02:27:35 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-04 02:28:14 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 02:28:37 +0100Everything(~Everythin@37.115.210.35)
2022-01-04 02:31:02 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-01-04 02:31:35 +0100sub0(~bc8147f2@cerf.good1.com) (Ping timeout: 256 seconds)
2022-01-04 02:32:25 +0100biberu(~biberu@user/biberu)
2022-01-04 02:33:17 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-01-04 02:33:47 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 02:34:25 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-01-04 02:35:59 +0100 <albet70> how to use 'ask' without do notation? ask >>= \a -> doSome >>= \r -> visit-a-here?
2022-01-04 02:36:21 +0100 <monochrom> Yes, you can use >>=
2022-01-04 02:36:41 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-01-04 02:36:44 +0100 <monochrom> In some cases you can use fmap and <*>
2022-01-04 02:38:57 +0100 <albet70> Reader with fmap is function compose?
2022-01-04 02:39:32 +0100 <monochrom> Yes.
2022-01-04 02:44:26 +0100 <albet70> :t traverse Right [1..3]
2022-01-04 02:44:27 +0100 <lambdabot> (Num b, Enum b) => Either a [b]
2022-01-04 02:44:41 +0100 <albet70> :t print [1..3]
2022-01-04 02:44:42 +0100 <lambdabot> IO ()
2022-01-04 02:45:06 +0100 <albet70> :t traverse print [1..3]
2022-01-04 02:45:07 +0100 <lambdabot> IO [()]
2022-01-04 02:46:47 +0100 <albet70> is State (,s) a function like Right?
2022-01-04 02:48:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 02:49:17 +0100 <albet70> :t traverse (\a -> State $ \s -> (a, s)) [1..3]
2022-01-04 02:49:18 +0100 <lambdabot> error:
2022-01-04 02:49:18 +0100 <lambdabot> • Data constructor not in scope: State :: (b0 -> (a0, b0)) -> f b
2022-01-04 02:49:18 +0100 <lambdabot> • Perhaps you meant one of these:
2022-01-04 02:50:54 +0100Jing(~hedgehog@2604:a840:3::1013)
2022-01-04 02:51:34 +0100alx741(~alx741@157.100.93.160)
2022-01-04 02:52:19 +0100vysn(~vysn@user/vysn)
2022-01-04 02:56:24 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 02:57:21 +0100ircs(~ircs@2-111-85-72-cable.dk.customer.tdc.net) (Excess Flood)
2022-01-04 03:02:35 +0100SummerSonw(~The_viole@203.77.49.232)
2022-01-04 03:12:30 +0100alx741(~alx741@157.100.93.160)
2022-01-04 03:16:20 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Quit: Client limit exceeded: 20000)
2022-01-04 03:18:26 +0100arguapacha(~arguapach@2800:484:718f:978a:e548:6783:11de:86cc) (Quit: Client closed)
2022-01-04 03:19:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 03:19:32 +0100califax-(~califax@user/califx)
2022-01-04 03:22:19 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 03:24:12 +0100califax(~califax@user/califx) (Ping timeout: 276 seconds)
2022-01-04 03:24:13 +0100califax-califax
2022-01-04 03:25:57 +0100shapr(~user@2601:7c0:c202:5190:89bb:1594:f7ec:a46b) (Ping timeout: 240 seconds)
2022-01-04 03:29:19 +0100ouestbillie(~gallup@192-222-138-215.qc.cable.ebox.net) (Quit: leaving)
2022-01-04 03:29:20 +0100lavaman(~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2022-01-04 03:29:38 +0100lavaman(~lavaman@98.38.249.169)
2022-01-04 03:31:26 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-01-04 03:33:57 +0100neurocyte0(~neurocyte@IP-185117068011.dynamic.medianet-world.de)
2022-01-04 03:33:57 +0100neurocyte0(~neurocyte@IP-185117068011.dynamic.medianet-world.de) (Changing host)
2022-01-04 03:33:57 +0100neurocyte0(~neurocyte@user/neurocyte)
2022-01-04 03:35:57 +0100neurocyte(~neurocyte@user/neurocyte) (Ping timeout: 240 seconds)
2022-01-04 03:35:57 +0100neurocyte0neurocyte
2022-01-04 03:38:17 +0100xff0x(~xff0x@2001:1a81:5370:9b00:6eaf:9722:88af:e2d) (Ping timeout: 240 seconds)
2022-01-04 03:40:02 +0100alx741(~alx741@157.100.93.160)
2022-01-04 03:40:18 +0100xff0x(~xff0x@2001:1a81:53aa:f200:7041:55bb:f7f3:1cad)
2022-01-04 03:43:59 +0100shapr(~user@2601:7c0:c202:5190:5905:8cbb:2341:982a)
2022-01-04 03:48:03 +0100evocatus(~evocatus@62.182.77.224)
2022-01-04 03:49:33 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 03:51:55 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 256 seconds)
2022-01-04 03:53:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-04 03:56:03 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-01-04 04:02:04 +0100lavaman(~lavaman@98.38.249.169)
2022-01-04 04:05:25 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com)
2022-01-04 04:06:13 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-01-04 04:07:34 +0100alx741(~alx741@157.100.93.160)
2022-01-04 04:12:17 +0100shapr(~user@2601:7c0:c202:5190:5905:8cbb:2341:982a) (Ping timeout: 240 seconds)
2022-01-04 04:12:17 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 04:12:56 +0100lavaman(~lavaman@98.38.249.169)
2022-01-04 04:21:37 +0100 <dsal> > execState (traverse_ (id += ) [3..9]) 11
2022-01-04 04:21:39 +0100 <lambdabot> 53
2022-01-04 04:21:50 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2022-01-04 04:22:28 +0100 <Axman6> Feels like an "Evolution of a Haskell programmer" example
2022-01-04 04:22:55 +0100 <Axman6> "A programmer who has learnt Lens and now can't program without it"
2022-01-04 04:24:57 +0100 <dsal> There's no other way to add numbers.
2022-01-04 04:25:17 +0100ezzieygu1wufezzieyguywuf
2022-01-04 04:26:51 +0100 <Axman6> Agreed
2022-01-04 04:27:15 +0100 <glguy> > 11 &~ traverse_ (id += ) [3..9]
2022-01-04 04:27:16 +0100 <lambdabot> 53
2022-01-04 04:27:31 +0100 <jackdk> feels like our version of https://i.stack.imgur.com/ssRUr.gif
2022-01-04 04:27:42 +0100shapr(~user@2601:7c0:c202:5190:d78e:10a2:46da:9a22)
2022-01-04 04:28:07 +0100 <EvanR> alternatively this is like the witcher using magic to turn off candles
2022-01-04 04:28:30 +0100alx741(~alx741@157.100.93.160)
2022-01-04 04:29:11 +0100 <Axman6> ... is lens out jQuery?
2022-01-04 04:29:14 +0100 <Axman6> our*
2022-01-04 04:29:22 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 04:29:25 +0100 <EvanR> oof
2022-01-04 04:29:32 +0100 <Axman6> big oof
2022-01-04 04:30:00 +0100 <monochrom> jQuery is a kind of DOM lens so yeah >:)
2022-01-04 04:33:10 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 04:33:57 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 04:36:37 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds)
2022-01-04 04:39:46 +0100mbuf(~Shakthi@122.173.251.205)
2022-01-04 04:39:56 +0100notzmv(~zmv@user/notzmv)
2022-01-04 04:41:22 +0100 https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell
2022-01-04 04:41:44 +0100 <glguy> I suspect the aoc leaderboard won't be needed for another few months
2022-01-04 04:42:41 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-01-04 04:43:55 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-01-04 04:50:37 +0100td_(~td@94.134.91.188) (Ping timeout: 240 seconds)
2022-01-04 04:51:02 +0100alx741(~alx741@157.100.93.160)
2022-01-04 04:52:42 +0100td_(~td@94.134.91.122)
2022-01-04 04:58:20 +0100Topsi(~Tobias@dyndsl-095-033-025-152.ewe-ip-backbone.de)
2022-01-04 05:00:36 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 05:01:04 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-04 05:02:02 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 05:06:37 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-04 05:10:34 +0100juliusdeane(~user@097-086-004-112.res.spectrum.com)
2022-01-04 05:11:13 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 05:11:13 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 05:11:13 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 05:11:53 +0100 <juliusdeane> since there are algebraic data types, is it possible to have "rational data types" that are shaped (to some extent) like rational numbers?
2022-01-04 05:12:57 +0100jespada(~jespada@87.74.32.18) (Ping timeout: 240 seconds)
2022-01-04 05:16:16 +0100jespada(~jespada@87.74.32.18)
2022-01-04 05:16:16 +0100 <EvanR> division was described by euclid like for any numbers a and b, there exists q and r < b such that a = b*q + r
2022-01-04 05:16:43 +0100evocatus(~evocatus@62.182.77.224) (Quit: Leaving)
2022-01-04 05:16:47 +0100 <EvanR> a b q r could be types
2022-01-04 05:18:07 +0100 <EvanR> s/euclid/my college math professor/
2022-01-04 05:18:54 +0100 <juliusdeane> ah right
2022-01-04 05:20:48 +0100 <juliusdeane> I'm having trouble finding literature on the idea since Rational is already a type
2022-01-04 05:20:48 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 05:21:10 +0100 <juliusdeane> the concept doesn't lend itself to {duckduckgo,yandex,etc}-ing
2022-01-04 05:21:36 +0100 <EvanR> well if that doesn't inspire you, try searching for negative types. Might be interesting
2022-01-04 05:24:50 +0100 <glguy> IEEE754 types are a mess
2022-01-04 05:30:30 +0100Inst(~delicacie@2601:6c4:4080:3f80:59d1:5a5a:e7af:901f)
2022-01-04 05:30:32 +0100 <Inst> hai guys
2022-01-04 05:31:15 +0100 <Inst> is it me or is the pseudo-imperative component of haskell terrible?
2022-01-04 05:31:24 +0100 <Inst> or is that just because it's pseudo-imperative?
2022-01-04 05:32:01 +0100 <c_wraith> I haven't experienced that.
2022-01-04 05:32:58 +0100 <glguy> The imperative stuff is pretty great, but it's a hassle to use mutable references, at least
2022-01-04 05:35:52 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 05:36:02 +0100 <glguy> Inst: what're you having trouble with?
2022-01-04 05:36:10 +0100 <Inst> tbh coding with types
2022-01-04 05:36:24 +0100 <Inst> and the idea that i know do syntax simplifies to lambdas with bind
2022-01-04 05:36:37 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds)
2022-01-04 05:37:19 +0100 <Inst> thing is, I'm abusing TinyFileDialogs, which returns IO (Maybe [Text])
2022-01-04 05:37:41 +0100 <Inst> I'm trying to create teaching libraries (and I'm a very elementary learner myself)
2022-01-04 05:38:05 +0100 <Inst> so that students of courses that use the teaching lib can, well, use a graphical UI to create a string for System.IO to hook onto
2022-01-04 05:38:35 +0100alx741(~alx741@157.100.93.160)
2022-01-04 05:42:19 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection)
2022-01-04 05:42:46 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik)
2022-01-04 05:42:46 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 05:47:36 +0100deadmarshal(~deadmarsh@95.38.231.228)
2022-01-04 05:48:53 +0100 <dsal> negative types sounds like something someone would've written an anti-thesis on.
2022-01-04 05:49:16 +0100 <EvanR> oof
2022-01-04 05:49:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 05:59:57 +0100vglfr(~vglfr@46.96.180.119) (Ping timeout: 240 seconds)
2022-01-04 06:01:07 +0100alx741(~alx741@157.100.93.160)
2022-01-04 06:07:00 +0100eflister(~eflister@2601:1c0:5501:c150:d880:e0df:1ff6:5ab1)
2022-01-04 06:07:05 +0100Erutuon(~Erutuon@user/erutuon)
2022-01-04 06:09:47 +0100Topsi1(~Tobias@dyndsl-095-033-017-111.ewe-ip-backbone.de)
2022-01-04 06:10:53 +0100Topsi(~Tobias@dyndsl-095-033-025-152.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
2022-01-04 06:12:54 +0100juliusdeane(~user@097-086-004-112.res.spectrum.com) (Remote host closed the connection)
2022-01-04 06:13:17 +0100shapr(~user@2601:7c0:c202:5190:d78e:10a2:46da:9a22) (Ping timeout: 240 seconds)
2022-01-04 06:13:50 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 06:23:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-04 06:29:46 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-01-04 06:29:55 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-01-04 06:31:37 +0100alx741(~alx741@157.100.93.160)
2022-01-04 06:31:44 +0100vglfr(~vglfr@46.96.180.119)
2022-01-04 06:34:42 +0100eflister(~eflister@2601:1c0:5501:c150:d880:e0df:1ff6:5ab1) (Quit: Client closed)
2022-01-04 06:35:12 +0100eltonpinto(~1ntEgr8@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca)
2022-01-04 06:36:23 +0100ircs(~ircs@2-111-85-72-cable.dk.customer.tdc.net)
2022-01-04 06:40:18 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Ping timeout: 260 seconds)
2022-01-04 06:42:39 +0100 <Axman6> Inst: not sure I understand the problem you're having
2022-01-04 06:44:38 +0100zebrag(~chris@user/zebrag)
2022-01-04 06:46:53 +0100 <Inst> it's mostly my problem
2022-01-04 06:46:57 +0100 <Inst> do syntax looks imperative, but it's not
2022-01-04 06:47:08 +0100 <Inst> it's a hack of Haskell's functional system to get IO to be evaluated in an orderly fashion
2022-01-04 06:47:29 +0100 <Inst> actual problems I'm having? HLS doesn't work for me, for some reason, but I'm running 9.2.1 and 9.2.1 is unsupported
2022-01-04 06:48:12 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2022-01-04 06:51:48 +0100 <EvanR> imperative may just be a way of thinking rather than concrete syntax or mechanism
2022-01-04 06:52:17 +0100 <glguy> Inst: 'ghcup tui' will show you which versions of GHC are "hls-powered"
2022-01-04 06:53:00 +0100eltonpinto(~1ntEgr8@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) (Quit: WeeChat 3.3)
2022-01-04 06:53:06 +0100 <EvanR> http://conal.net/blog/posts/the-c-language-is-purely-functional
2022-01-04 06:53:25 +0100eltonpinto(~1ntEgr8@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca)
2022-01-04 06:53:46 +0100eltonpinto(~1ntEgr8@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) (Client Quit)
2022-01-04 06:53:54 +0100sirlensalot(~sirlensal@ool-44c5f8c9.dyn.optonline.net) (Quit: sirlensalot)
2022-01-04 06:55:54 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 06:56:07 +0100jinsun__(~quassel@user/jinsun)
2022-01-04 06:57:13 +0100jinsun(~quassel@user/jinsun) (Ping timeout: 256 seconds)
2022-01-04 06:57:45 +0100eL_Bart0(eL_Bart0@dietunichtguten.org)
2022-01-04 07:02:04 +0100eltonpinto(~user@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca)
2022-01-04 07:02:17 +0100 <dsal> Inst: I use do outside of IO more than within in IO, I think.
2022-01-04 07:03:45 +0100 <Axman6> just use GHC 9.0
2022-01-04 07:04:15 +0100 <Axman6> and yeahI feel like I pretty rarely use do notation for IO stuff, it's always other things which eventually get run in IO, and that mark is usually very small
2022-01-04 07:04:36 +0100 <Axman6> do notation isn't a hack at all
2022-01-04 07:04:43 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-01-04 07:05:43 +0100perro_(~perro@072-191-245-069.res.spectrum.com) (Ping timeout: 256 seconds)
2022-01-04 07:07:33 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 07:12:34 +0100alx741(~alx741@157.100.93.160)
2022-01-04 07:15:44 +0100 <jackdk> desugar some `do`-notation by hand to understand what it's doing and it will feel like less of a hack. The `IO` type is principled.
2022-01-04 07:15:46 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 07:15:46 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 07:15:46 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 07:16:04 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-04 07:20:35 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 07:20:57 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2022-01-04 07:26:14 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 07:26:14 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 07:26:14 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 07:28:11 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 07:28:28 +0100eflister(~eflister@2601:1c0:5501:c150:1dc0:83db:cfd6:87b1)
2022-01-04 07:29:48 +0100perro_(~perro@072-191-245-069.res.spectrum.com)
2022-01-04 07:30:57 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 07:30:57 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 07:31:26 +0100Jing(~hedgehog@2604:a840:3::1013) (Remote host closed the connection)
2022-01-04 07:31:38 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-01-04 07:32:17 +0100Jing(~hedgehog@2604:a840:3::1013)
2022-01-04 07:32:37 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-04 07:40:51 +0100xlei_(~akans@pool-68-129-84-118.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2022-01-04 07:48:59 +0100alx741(~alx741@157.100.93.160)
2022-01-04 07:50:00 +0100xlei(~akans@pool-68-129-84-118.nycmny.fios.verizon.net)
2022-01-04 07:52:57 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 07:54:07 +0100eflister(~eflister@2601:1c0:5501:c150:1dc0:83db:cfd6:87b1) (Quit: Client closed)
2022-01-04 07:54:26 +0100jinsun(~quassel@user/jinsun)
2022-01-04 07:57:57 +0100jinsun__(~quassel@user/jinsun) (Ping timeout: 240 seconds)
2022-01-04 08:11:30 +0100alx741(~alx741@157.100.93.160)
2022-01-04 08:12:29 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 08:13:13 +0100Jing_(~hedgehog@2604:a840:3::103c)
2022-01-04 08:16:17 +0100Jing(~hedgehog@2604:a840:3::1013) (Ping timeout: 240 seconds)
2022-01-04 08:16:55 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 08:20:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 08:22:04 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:565f:ad85:4465:1aea)
2022-01-04 08:24:37 +0100polyphem_(~rod@2a02:810d:640:776c:e450:3ca3:b389:687a) (Ping timeout: 240 seconds)
2022-01-04 08:26:30 +0100shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2022-01-04 08:30:58 +0100Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2022-01-04 08:31:15 +0100Feuermagier(~Feuermagi@user/feuermagier)
2022-01-04 08:34:57 +0100alx741(~alx741@157.100.93.160)
2022-01-04 08:40:51 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 250 seconds)
2022-01-04 08:40:59 +0100`2jt(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net)
2022-01-04 08:44:50 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 08:47:08 +0100carbolymer(~carbolyme@dropacid.net) (Remote host closed the connection)
2022-01-04 08:49:01 +0100Jing_(~hedgehog@2604:a840:3::103c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-01-04 08:49:53 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2022-01-04 08:51:58 +0100oak-(~oakuniver@2001:470:69fc:105::fcd) (Quit: Client limit exceeded: 20000)
2022-01-04 08:54:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-04 08:55:32 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-01-04 08:57:37 +0100Topsi1(~Tobias@dyndsl-095-033-017-111.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-01-04 08:59:21 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-04 09:02:29 +0100alx741(~alx741@157.100.93.160)
2022-01-04 09:07:11 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 09:15:29 +0100deadmarshal(~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds)
2022-01-04 09:17:31 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.3)
2022-01-04 09:25:00 +0100alx741(~alx741@157.100.93.160)
2022-01-04 09:27:01 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 09:27:01 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 09:27:01 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 09:28:17 +0100chele(~chele@user/chele)
2022-01-04 09:28:30 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-01-04 09:28:59 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 09:29:34 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-04 09:30:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 09:30:41 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-01-04 09:31:57 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 09:34:25 +0100 <Inst> jackdk: thanks, I'm playing around with main written through >>= now
2022-01-04 09:34:41 +0100oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-01-04 09:35:35 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 09:38:10 +0100Feuermagier(~Feuermagi@user/feuermagier) (Read error: Connection reset by peer)
2022-01-04 09:41:09 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-04 09:41:15 +0100nhatanh02(~satori@123.24.172.30)
2022-01-04 09:41:38 +0100carbolymer(~carbolyme@dropacid.net)
2022-01-04 09:42:41 +0100polyphem_(~rod@2a02:810d:640:776c:e450:3ca3:b389:687a)
2022-01-04 09:45:56 +0100deadmarshal(~deadmarsh@95.38.231.228)
2022-01-04 09:47:32 +0100alx741(~alx741@157.100.93.160)
2022-01-04 09:47:33 +0100xff0x(~xff0x@2001:1a81:53aa:f200:7041:55bb:f7f3:1cad) (Ping timeout: 268 seconds)
2022-01-04 09:47:41 +0100machinedgod(~machinedg@24.105.81.50)
2022-01-04 09:47:59 +0100xff0x(~xff0x@port-92-193-205-203.dynamic.as20676.net)
2022-01-04 09:52:00 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-04 09:53:14 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 09:54:11 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 09:55:07 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-01-04 09:55:21 +0100juhp(~juhp@128.106.188.82)
2022-01-04 09:55:54 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-01-04 09:56:17 +0100sub0(~bc8147f2@cerf.good1.com)
2022-01-04 09:57:57 +0100 <sub0> do isn't an IO related hack, it works with any Monad type. any hack, or the lack of, is part of the IO type, not do/monads
2022-01-04 09:58:37 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-04 10:00:06 +0100JoelMcCracken[m](~joelmccra@2001:470:69fc:105::8405) (Quit: You have been kicked for being idle)
2022-01-04 10:00:17 +0100shiraeeshi[m](~shiraeesh@2001:470:69fc:105::1:77) (Quit: You have been kicked for being idle)
2022-01-04 10:01:18 +0100ubert1(~Thunderbi@p200300ecdf0994fb99997fbb5ee8cccd.dip0.t-ipconnect.de)
2022-01-04 10:04:39 +0100acidjnk_new(~acidjnk@p200300d0c7271e27bde81efbb353a94d.dip0.t-ipconnect.de)
2022-01-04 10:04:39 +0100acidjnk(~acidjnk@p200300d0c7271e27bde81efbb353a94d.dip0.t-ipconnect.de)
2022-01-04 10:05:21 +0100`2jt(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 256 seconds)
2022-01-04 10:05:35 +0100ubert1(~Thunderbi@p200300ecdf0994fb99997fbb5ee8cccd.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-01-04 10:05:43 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 10:06:07 +0100Nahra(~user@static.161.95.99.88.clients.your-server.de)
2022-01-04 10:07:02 +0100paolino(~paolo@5.157.115.53)
2022-01-04 10:07:28 +0100`2jt(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net)
2022-01-04 10:08:05 +0100ubert(~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-01-04 10:10:58 +0100alx741(~alx741@157.100.93.160)
2022-01-04 10:11:19 +0100 <paolino> hello, I spent some time trying to generalize SafeT with any t that have the same interface, as ResourceT. It is mostly for me to understand better MonadBaseControl.
2022-01-04 10:11:32 +0100 <paolino> the code is here https://gitlab.com/-/snippets/2229415
2022-01-04 10:13:33 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-04 10:14:22 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 10:15:39 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 10:17:52 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-01-04 10:17:52 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2022-01-04 10:17:55 +0100allbery_bgeekosaur
2022-01-04 10:20:07 +0100gehmehgeh(~user@user/gehmehgeh)
2022-01-04 10:21:21 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-04 10:21:58 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 10:23:53 +0100 <paolino> I forgot to mention I failed in generalizing so, if anyone has an idea on how to do it it would be really helpful
2022-01-04 10:25:53 +0100eflister(~eflister@2601:1c0:5501:c150:1dc0:83db:cfd6:87b1)
2022-01-04 10:27:01 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-01-04 10:31:54 +0100alx741(~alx741@157.100.93.160)
2022-01-04 10:32:49 +0100the_proffesor(~theproffe@user/theproffesor) (Read error: Connection reset by peer)
2022-01-04 10:33:05 +0100the_proffesor(~theproffe@2601:282:847f:8010::85ac)
2022-01-04 10:33:05 +0100the_proffesor(~theproffe@2601:282:847f:8010::85ac) (Changing host)
2022-01-04 10:33:05 +0100the_proffesor(~theproffe@user/theproffesor)
2022-01-04 10:33:05 +0100 <merijn> paolino: Pretty sure you can't
2022-01-04 10:33:44 +0100 <merijn> ResourceT doesn't really allow for the kinda bracketing that MonadBaseControl does
2022-01-04 10:35:37 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 10:37:18 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-01-04 10:41:38 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 10:42:49 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 10:42:49 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 10:42:49 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 10:44:42 +0100vpan(~0@212.117.1.172)
2022-01-04 10:46:09 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-01-04 10:47:29 +0100kaph_(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-04 10:47:51 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 10:48:57 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2022-01-04 10:49:37 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2022-01-04 10:51:56 +0100alx741(~alx741@157.100.93.160)
2022-01-04 10:55:25 +0100acidjnk_new(~acidjnk@p200300d0c7271e27bde81efbb353a94d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-01-04 10:55:25 +0100acidjnk(~acidjnk@p200300d0c7271e27bde81efbb353a94d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-01-04 10:55:48 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 10:58:49 +0100max22-(~maxime@2a01cb08833598007b80c254ccee1146.ipv6.abo.wanadoo.fr)
2022-01-04 10:59:33 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2022-01-04 11:03:11 +0100ubert(~Thunderbi@2a02:8109:9880:303c:3a3d:dd63:4712:76f8)
2022-01-04 11:05:03 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net)
2022-01-04 11:06:36 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 11:07:25 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds)
2022-01-04 11:08:40 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-04 11:09:15 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 11:10:01 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 11:11:58 +0100alx741(~alx741@157.100.93.160)
2022-01-04 11:13:55 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2022-01-04 11:14:29 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-01-04 11:17:34 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 11:20:21 +0100xkuru(~xkuru@user/xkuru)
2022-01-04 11:22:26 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-01-04 11:28:47 +0100kaph_(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2022-01-04 11:28:49 +0100sub0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC)
2022-01-04 11:29:26 +0100sub0(~bc8147f2@cerf.good1.com)
2022-01-04 11:29:56 +0100ph88(~ph88@2a02:8109:9e00:71d0::7e04) (Ping timeout: 268 seconds)
2022-01-04 11:30:35 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-01-04 11:31:08 +0100coolnickname(uid531864@user/coolnickname) (Quit: Connection closed for inactivity)
2022-01-04 11:31:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2022-01-04 11:31:52 +0100Lord_of_Life_Lord_of_Life
2022-01-04 11:35:24 +0100alx741(~alx741@157.100.93.160)
2022-01-04 11:36:43 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 256 seconds)
2022-01-04 11:39:57 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 11:44:01 +0100d0ku(~d0ku@178.43.48.143.ipv4.supernova.orange.pl)
2022-01-04 11:44:22 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 11:44:22 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 11:44:22 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 11:45:50 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 11:48:37 +0100SummerSonw(~The_viole@203.77.49.232) (Ping timeout: 256 seconds)
2022-01-04 11:49:01 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 11:52:27 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2022-01-04 11:52:33 +0100biog(~user1@159.224.42.85)
2022-01-04 11:53:50 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-04 11:55:54 +0100eflister(~eflister@2601:1c0:5501:c150:1dc0:83db:cfd6:87b1) (Quit: Client closed)
2022-01-04 11:57:54 +0100alx741(~alx741@157.100.93.160)
2022-01-04 12:00:17 +0100max22-(~maxime@2a01cb08833598007b80c254ccee1146.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2022-01-04 12:00:37 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2022-01-04 12:01:08 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr)
2022-01-04 12:01:22 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2022-01-04 12:02:28 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 12:10:21 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-01-04 12:11:17 +0100vpan(~0@212.117.1.172) (Ping timeout: 256 seconds)
2022-01-04 12:11:48 +0100jtomas(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net)
2022-01-04 12:12:48 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 12:14:48 +0100jtomas(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Client Quit)
2022-01-04 12:18:38 +0100kuribas(~user@ptr-25vy0i9qul7prltgy9z.18120a2.ip6.access.telenet.be)
2022-01-04 12:18:57 +0100vglfr(~vglfr@46.96.180.119) (Ping timeout: 240 seconds)
2022-01-04 12:20:27 +0100alx741(~alx741@157.100.93.160)
2022-01-04 12:25:07 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-04 12:25:07 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 12:25:39 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 12:29:51 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-01-04 12:30:46 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-01-04 12:33:34 +0100SummerSonw(~The_viole@203.77.49.232)
2022-01-04 12:35:43 +0100absence(torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 250 seconds)
2022-01-04 12:37:04 +0100__monty__(~toonn@user/toonn)
2022-01-04 12:41:06 +0100lavaman(~lavaman@98.38.249.169)
2022-01-04 12:41:23 +0100alx741(~alx741@157.100.93.160)
2022-01-04 12:43:46 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 12:45:39 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 12:45:43 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-01-04 12:46:58 +0100antony(~The_viole@203.77.49.232)
2022-01-04 12:47:52 +0100 <mjrosenb> the hash function provided by hashable... can I expect those hashes to not change from one run to the next?
2022-01-04 12:47:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-01-04 12:48:13 +0100Jing(~hedgehog@2604:a840:3::103c)
2022-01-04 12:48:44 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 12:51:57 +0100antony(~The_viole@203.77.49.232) (Ping timeout: 240 seconds)
2022-01-04 12:51:57 +0100SummerSonw(~The_viole@203.77.49.232) (Ping timeout: 240 seconds)
2022-01-04 12:52:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-04 12:53:01 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-04 12:53:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 12:54:02 +0100vglfr(~vglfr@46.96.180.119)
2022-01-04 12:56:13 +0100d0ku(~d0ku@178.43.48.143.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds)
2022-01-04 12:58:22 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2022-01-04 12:58:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-04 12:59:10 +0100SummerSonw(~The_viole@203.77.49.232)
2022-01-04 12:59:10 +0100antony(~The_viole@203.77.49.232)
2022-01-04 12:59:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 12:59:27 +0100 <kuribas> mjrosenb: yes
2022-01-04 12:59:34 +0100SummerSonw(~The_viole@203.77.49.232) (Client Quit)
2022-01-04 13:03:56 +0100alx741(~alx741@157.100.93.160)
2022-01-04 13:04:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-04 13:04:35 +0100 <mjrosenb> good.
2022-01-04 13:05:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 13:05:08 +0100 <mjrosenb> "Randomly initialize the initial seed on each final executable invocation This is useful for catching cases when you rely on (non-existent) stability of hashable's hash functions. This is not a security feature." that comment scared me.
2022-01-04 13:07:45 +0100 <byorgey> mjrosenb: I think it depends on how much of a guarantee you need that the hashes will not change. For example, I don't think you can rely on them to not change if you compile with a new version of hashable.
2022-01-04 13:08:17 +0100 <byorgey> mjrosenb: but if you run the same executable multiple times without recompiling in between (and you don't use that flag) the hashes won't change.
2022-01-04 13:08:46 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 13:10:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-04 13:10:28 +0100 <byorgey> I think that comment just means that hash stability is not a formal guarantee made by the library. They are stable in practice, but if you really need a guarantee of long-term stability (e.g. if you are using hash values as keys in some sort of long-term file storage) then you need to look elsewhere.
2022-01-04 13:10:28 +0100 <kuribas> mjrosenb: I believe that flag is only for testing.
2022-01-04 13:10:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 13:15:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-04 13:16:16 +0100 <mjrosenb> hrm, I may need to look elsewhere.
2022-01-04 13:16:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 13:17:08 +0100 <mjrosenb> I'm planning on using it as part of a game, and changing the hash values will change the behavior of the game.
2022-01-04 13:17:51 +0100antony(~The_viole@203.77.49.232) (Quit: Leaving)
2022-01-04 13:18:23 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-01-04 13:20:07 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 13:20:07 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 13:20:07 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 13:20:54 +0100 <mjrosenb> I kind of suspect this means I'm going to have to implement my own hash algorithm using hashable's interface
2022-01-04 13:21:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-04 13:21:35 +0100 <mjrosenb> I've suspected for a while that I was going to need to roll my own rng if I didn't want the levels to change over time
2022-01-04 13:21:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 13:22:03 +0100coolnickname(uid531864@user/coolnickname)
2022-01-04 13:22:04 +0100unyu(~pyon@user/pyon) (Quit: WeeChat 3.3)
2022-01-04 13:24:57 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 13:25:19 +0100mmhat(~mmh@55d49f73.access.ecotel.net)
2022-01-04 13:26:27 +0100alx741(~alx741@157.100.93.160)
2022-01-04 13:26:40 +0100 <kuribas> mjrosenb: use System.Random then?
2022-01-04 13:27:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-04 13:27:06 +0100 <kuribas> Also, hashable only changes behaviour of you set the flag.
2022-01-04 13:27:10 +0100 <kuribas> Which is off by default.
2022-01-04 13:27:28 +0100 <kuribas> It's also supposed to be off.
2022-01-04 13:27:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 13:28:27 +0100 <mjrosenb> kuribas: yes, but if the library doesn't guarantee that the hashes won't change from one version to the next, then I can't really use it.
2022-01-04 13:28:33 +0100 <mjrosenb> same thing for System.Random.
2022-01-04 13:29:04 +0100 <kuribas> yes, in that case, pick an algorithm.
2022-01-04 13:29:10 +0100 <kuribas> To be on the safe side.
2022-01-04 13:32:44 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2022-01-04 13:33:17 +0100nhatanh02(~satori@123.24.172.30) (Ping timeout: 240 seconds)
2022-01-04 13:33:57 +0100ensyde(~ensyde@2600:1702:2e30:1a40:46f:eb54:3eb6:1199) (Ping timeout: 240 seconds)
2022-01-04 13:34:53 +0100neightchan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2022-01-04 13:35:55 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 13:36:09 +0100natechan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-01-04 13:36:58 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-01-04 13:40:57 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 250 seconds)
2022-01-04 13:44:20 +0100nhatanh02(~satori@123.24.172.30)
2022-01-04 13:45:05 +0100 <byorgey> mjrosenb: agreed, if I were you I would roll my own. If you look through the changelog for hashable (https://hackage.haskell.org/package/hashable-1.4.0.1/changelog) you can see many instances of the Hashable instance behavior changing for various types.
2022-01-04 13:45:06 +0100thevishy(~Nishant@2405:201:f005:c007:3c5f:229d:dc3f:da32)
2022-01-04 13:49:48 +0100bliminse(~bliminse@host86-186-17-7.range86-186.btcentralplus.com) (Quit: leaving)
2022-01-04 13:50:10 +0100xb0o2(~xb0o2@user/xb0o2)
2022-01-04 13:54:00 +0100alx741(~alx741@157.100.93.160)
2022-01-04 13:55:25 +0100 <merijn> I would never trust the Hashable instances if I had any *specific* needs/requirements, tbh
2022-01-04 13:58:49 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 13:59:28 +0100alx741(~alx741@157.100.93.160)
2022-01-04 14:03:23 +0100shapr(~user@2601:7c0:c202:5190:a5bb:d132:cd17:78cc)
2022-01-04 14:03:49 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2022-01-04 14:03:55 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 14:04:26 +0100meer(~delicacie@2601:6c4:4080:3f80:f131:ad94:e07f:dfdd)
2022-01-04 14:04:37 +0100Inst(~delicacie@2601:6c4:4080:3f80:59d1:5a5a:e7af:901f) (Ping timeout: 240 seconds)
2022-01-04 14:09:01 +0100nhatanh02(~satori@123.24.172.30) (Ping timeout: 256 seconds)
2022-01-04 14:10:20 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-04 14:11:03 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 14:11:53 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-01-04 14:12:05 +0100SummerSonw(~The_viole@203.77.49.232)
2022-01-04 14:13:07 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 14:13:11 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: -now)
2022-01-04 14:14:13 +0100bliminse(~bliminse@host86-186-17-7.range86-186.btcentralplus.com)
2022-01-04 14:15:15 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-04 14:17:49 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-01-04 14:22:15 +0100vgtw(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Quit: ZNC - https://znc.in)
2022-01-04 14:23:14 +0100vgtw(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se)
2022-01-04 14:28:19 +0100vgtw(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Quit: ZNC - https://znc.in)
2022-01-04 14:30:56 +0100 <pragma-> Isn't that a weird argument given how Haskell's internals are constantly changing anyway?
2022-01-04 14:31:03 +0100alx741(~alx741@157.100.93.160)
2022-01-04 14:31:09 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net)
2022-01-04 14:31:57 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-01-04 14:32:08 +0100 <pragma-> I hear stories often about how a program's runtime characteristics change significantly from one minor ghc version to the next.
2022-01-04 14:32:34 +0100 <mjrosenb> runtime characteristics, sure... but the actual observable behavior?
2022-01-04 14:32:56 +0100 <pragma-> Oh.
2022-01-04 14:33:02 +0100zaquest(~notzaques@5.130.79.72)
2022-01-04 14:33:05 +0100[exa]observes time
2022-01-04 14:34:09 +0100ouestbillie(~gallup@192-222-138-215.qc.cable.ebox.net)
2022-01-04 14:35:52 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 14:36:21 +0100ph88(~ph88@2a02:8109:9e00:71d0::7e04)
2022-01-04 14:37:17 +0100hpcuses acme-now, observes that time never changes
2022-01-04 14:38:32 +0100vgtw(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se)
2022-01-04 14:39:33 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2022-01-04 14:41:52 +0100 <merijn> pragma-: Hashable does not guarantee, nor provide, any guarantees on "what kinda hash" it produces. It's good enough for stuff like the "program duration"-lifetimes for unordered-containers (although I recall even some pitfalls for that...)
2022-01-04 14:42:20 +0100 <merijn> pragma-: As opposed to "I hashed this with SHA256 and therefore can rely on SHA256 always getting the same hash in the future"
2022-01-04 14:45:39 +0100 <pragma-> I see.
2022-01-04 14:45:59 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-04 14:50:13 +0100octeep[m](~octeepoct@2001:470:69fc:105::1:3dbf) (Ping timeout: 240 seconds)
2022-01-04 14:50:13 +0100schuelermine[m](~schuelerm@user/schuelermine) (Ping timeout: 240 seconds)
2022-01-04 14:50:13 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5) (Ping timeout: 240 seconds)
2022-01-04 14:50:36 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds)
2022-01-04 14:50:37 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-04 14:50:37 +0100jmcantrell(~jmcantrel@user/jmcantrell) (Ping timeout: 240 seconds)
2022-01-04 14:50:37 +0100sm(~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds)
2022-01-04 14:50:37 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Ping timeout: 240 seconds)
2022-01-04 14:50:37 +0100the_last_immorta(~thelastim@2001:470:69fc:105::1:4d57) (Ping timeout: 240 seconds)
2022-01-04 14:50:37 +0100benjamin[m]1234(~benjaminm@2001:470:69fc:105::1:3f2f) (Ping timeout: 240 seconds)
2022-01-04 14:51:01 +0100xbreu(~xbreu@2001:470:69fc:105::1:5061) (Ping timeout: 240 seconds)
2022-01-04 14:51:01 +0100reza[m](~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 240 seconds)
2022-01-04 14:51:01 +0100yehoshuapw(~yehoshuap@2001:470:69fc:105::a5f) (Ping timeout: 240 seconds)
2022-01-04 14:51:09 +0100burnside_(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 14:52:00 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-01-04 14:52:09 +0100max22-(~maxime@2a01cb088335980087a861f8657941c1.ipv6.abo.wanadoo.fr)
2022-01-04 14:53:16 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-01-04 14:53:36 +0100alx741(~alx741@157.100.93.160)
2022-01-04 14:54:21 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-01-04 14:54:21 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2022-01-04 14:54:55 +0100mmhat(~mmh@55d49f73.access.ecotel.net) (Ping timeout: 256 seconds)
2022-01-04 14:55:15 +0100mmhat(~mmh@55d49f73.access.ecotel.net)
2022-01-04 14:56:05 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-01-04 14:57:51 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 14:58:04 +0100lavaman(~lavaman@98.38.249.169)
2022-01-04 14:58:44 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2022-01-04 15:00:37 +0100shapr(~user@2601:7c0:c202:5190:a5bb:d132:cd17:78cc) (Ping timeout: 240 seconds)
2022-01-04 15:01:17 +0100burnside_(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-04 15:02:17 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-01-04 15:02:21 +0100schuelermine[m](~schuelerm@user/schuelermine)
2022-01-04 15:03:25 +0100max22-(~maxime@2a01cb088335980087a861f8657941c1.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2022-01-04 15:03:56 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5)
2022-01-04 15:04:23 +0100octeep[m](~octeepoct@2001:470:69fc:105::1:3dbf)
2022-01-04 15:06:18 +0100benjamin[m]1234(~benjaminm@2001:470:69fc:105::1:3f2f)
2022-01-04 15:06:26 +0100the_last_immorta(~thelastim@2001:470:69fc:105::1:4d57)
2022-01-04 15:07:07 +0100sm1(~sm@plaintextaccounting/sm)
2022-01-04 15:08:28 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2022-01-04 15:08:53 +0100reza[m](~rezaphone@2001:470:69fc:105::3eda)
2022-01-04 15:09:06 +0100jmcantrell(~jmcantrel@user/jmcantrell)
2022-01-04 15:11:19 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 15:11:20 +0100yehoshuapw(~yehoshuap@2001:470:69fc:105::a5f)
2022-01-04 15:11:53 +0100xbreu(~xbreu@2001:470:69fc:105::1:5061)
2022-01-04 15:14:03 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-04 15:14:46 +0100acowley_acowley
2022-01-04 15:15:19 +0100deadmarshal(~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds)
2022-01-04 15:16:10 +0100alx741(~alx741@157.100.93.160)
2022-01-04 15:16:52 +0100dextaa(~DV@user/dextaa) (Quit: Leaving)
2022-01-04 15:17:52 +0100dextaa(~DV@user/dextaa)
2022-01-04 15:18:11 +0100sub0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout))
2022-01-04 15:19:29 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 252 seconds)
2022-01-04 15:20:26 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-01-04 15:20:26 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 15:20:33 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2022-01-04 15:22:10 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-01-04 15:24:20 +0100deadmarshal(~deadmarsh@95.38.231.228)
2022-01-04 15:25:35 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net)
2022-01-04 15:27:47 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-04 15:30:34 +0100shriekingnoise(~shrieking@186.137.144.80)
2022-01-04 15:31:14 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 15:31:14 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 15:31:14 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 15:32:44 +0100unyu(~pyon@user/pyon)
2022-01-04 15:34:15 +0100Sgeo(~Sgeo@user/sgeo)
2022-01-04 15:37:17 +0100alx741(~alx741@157.100.93.160)
2022-01-04 15:37:55 +0100ec(~ec@gateway/tor-sasl/ec)
2022-01-04 15:46:16 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 15:46:52 +0100fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2022-01-04 15:46:52 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 15:46:58 +0100cosimone(~user@93-47-228-11.ip115.fastwebnet.it) (Read error: Connection reset by peer)
2022-01-04 15:50:27 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-01-04 15:50:46 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 245 seconds)
2022-01-04 15:52:17 +0100xff0x(~xff0x@port-92-193-205-203.dynamic.as20676.net) (Ping timeout: 240 seconds)
2022-01-04 15:57:42 +0100max22-(~maxime@2a01cb088335980073d4db6cd0f566a2.ipv6.abo.wanadoo.fr)
2022-01-04 15:57:43 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-04 15:58:02 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-01-04 15:59:14 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net)
2022-01-04 16:00:54 +0100zer0bitz(~zer0bitz@196.244.192.57)
2022-01-04 16:03:29 +0100alx741(~alx741@157.100.93.160)
2022-01-04 16:03:49 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 16:04:35 +0100cosimone(~user@93-47-228-11.ip115.fastwebnet.it)
2022-01-04 16:04:44 +0100xff0x(~xff0x@2001:1a81:53aa:f200:47a2:8092:7d27:b734)
2022-01-04 16:04:49 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 16:04:49 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 16:04:49 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 16:06:52 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2022-01-04 16:13:16 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 16:13:19 +0100eltonpinto(~user@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) (Read error: Connection reset by peer)
2022-01-04 16:15:19 +0100m1dnight(~christoph@christophe.dev) (Quit: WeeChat 3.1)
2022-01-04 16:15:37 +0100m1dnight(~christoph@christophe.dev)
2022-01-04 16:15:55 +0100ircs(~ircs@2-111-85-72-cable.dk.customer.tdc.net) (Read error: Connection reset by peer)
2022-01-04 16:16:06 +0100MoC(~moc@user/moc)
2022-01-04 16:22:54 +0100sub0(~bc8147f2@cerf.good1.com)
2022-01-04 16:23:19 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 256 seconds)
2022-01-04 16:24:13 +0100nhatanh02(~satori@123.24.172.30)
2022-01-04 16:28:42 +0100Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-01-04 16:29:39 +0100alx741(~alx741@157.100.93.160)
2022-01-04 16:31:42 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-01-04 16:38:01 +0100drewr(~drew@user/drewr)
2022-01-04 16:38:14 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2022-01-04 16:39:19 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-04 16:42:21 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 16:49:04 +0100kuribas(~user@ptr-25vy0i9qul7prltgy9z.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-01-04 16:49:19 +0100motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-01-04 16:51:39 +0100SummerSonw(~The_viole@203.77.49.232) (Quit: Leaving)
2022-01-04 16:51:43 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2022-01-04 16:54:52 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-01-04 16:58:45 +0100alx741(~alx741@157.100.93.160)
2022-01-04 16:59:49 +0100motherfsck(~motherfsc@user/motherfsck)
2022-01-04 17:02:24 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 17:05:20 +0100zmt00(~zmt00@user/zmt00)
2022-01-04 17:06:14 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-01-04 17:06:49 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:565f:ad85:4465:1aea) (Quit: WeeChat 2.8)
2022-01-04 17:11:03 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds)
2022-01-04 17:11:03 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2022-01-04 17:12:15 +0100MoC(~moc@user/moc) (Quit: Konversation terminated!)
2022-01-04 17:13:33 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 17:16:12 +0100lavaman(~lavaman@98.38.249.169)
2022-01-04 17:18:37 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2022-01-04 17:19:25 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds)
2022-01-04 17:19:48 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-01-04 17:20:09 +0100alx741(~alx741@157.100.93.160)
2022-01-04 17:21:38 +0100thevishy(~Nishant@2405:201:f005:c007:3c5f:229d:dc3f:da32) (Quit: Leaving)
2022-01-04 17:23:34 +0100bsima(~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in)
2022-01-04 17:24:09 +0100bsima(~bsima@2604:a880:400:d0::19f1:7001)
2022-01-04 17:24:43 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 17:24:59 +0100 <Boarders_> I am trying to use `build-tool-depends:` and getting an error Unknown field: "build-tool-depends" - anyone have any ideas as to why?
2022-01-04 17:25:20 +0100 <Boarders_> the cabal version I am using is 2.2 which seems to be sufficient for this feature
2022-01-04 17:25:58 +0100 <sclv> not sure if cabal 2.2 is sufficient, might try a newer one
2022-01-04 17:26:06 +0100 <merijn> There's a changelog
2022-01-04 17:26:07 +0100 <sclv> also check if the cabal file version is high enough
2022-01-04 17:26:27 +0100 <merijn> Boarders_: "cabal version" <- refering to *spec* or the executable?
2022-01-04 17:26:52 +0100 <geekosaur> and the Cabal library behind the executable
2022-01-04 17:27:00 +0100 <merijn> build-tool-depends is spec 2.0
2022-01-04 17:27:08 +0100 <merijn> sclv: https://cabal.readthedocs.io/en/latest/file-format-changelog.html#cabal-version-2-0
2022-01-04 17:27:23 +0100 <merijn> geekosaur: Are those ever not in sync?
2022-01-04 17:27:38 +0100 <geekosaur> they could be especially early on
2022-01-04 17:27:48 +0100 <merijn> Boarders_: Can you pastebin your cabal file + error?
2022-01-04 17:27:53 +0100 <Boarders_> the cabal version I am running is 3.4 and the version in the cabal file is 2.2
2022-01-04 17:27:54 +0100 <geekosaur> if they're running 2.2 it could easily be they have an older library
2022-01-04 17:28:08 +0100 <sclv> ok, that sounds right
2022-01-04 17:28:16 +0100 <geekosaur> oh, 3.4? they'll be in sync
2022-01-04 17:28:19 +0100 <sclv> you may be using it in the wrong position or the wrong way?
2022-01-04 17:28:19 +0100 <merijn> Boarders_: Is the field in the right place?
2022-01-04 17:28:24 +0100 <merijn> sclv: jinx
2022-01-04 17:28:47 +0100 <Boarders_> probably not, it is from the verbatim of hpack, I'll try manually moving it and seeing if it helps
2022-01-04 17:28:53 +0100 <merijn> I am predicting build-tool-depends in library component
2022-01-04 17:29:14 +0100 <Boarders_> it puts it right at the top of the file with build-type etc
2022-01-04 17:29:16 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 17:30:00 +0100 <merijn> Boarders_: That's wrong
2022-01-04 17:30:19 +0100 <merijn> Boarders_: build-tool-depends field is only acceptable within an executable component
2022-01-04 17:30:34 +0100 <merijn> as per the link I pasted a bit up
2022-01-04 17:30:43 +0100 <sclv> i think its acceptable in any component?
2022-01-04 17:30:45 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 17:30:49 +0100 <sclv> its _for_ dependencies on executables
2022-01-04 17:31:14 +0100 <merijn> ambiguous sentence :p
2022-01-04 17:31:22 +0100 <sclv> but it only can live in places that build-depends lives
2022-01-04 17:31:26 +0100 <merijn> "New build-tool-depends field added for adding build-time dependencies of executable components."
2022-01-04 17:31:36 +0100 <Boarders_> https://gist.github.com/Boarders/a72950d5c283c86b4f26402abdd7fd2e
2022-01-04 17:31:40 +0100 <Boarders_> here is how the start of the file looks
2022-01-04 17:31:43 +0100 <merijn> sclv: s/of/on would be clearer if your interpretation is correct
2022-01-04 17:31:51 +0100 <Boarders_> I removed personal info from it
2022-01-04 17:32:08 +0100 <merijn> Boarders_: Yeah, I'm pretty confident it can't go on the top level
2022-01-04 17:32:09 +0100 <sclv> i think build-tool-depends should be inside a component
2022-01-04 17:32:14 +0100 <merijn> it is definitely per component
2022-01-04 17:32:22 +0100 <Boarders_> ok cool, I'll try that out
2022-01-04 17:32:26 +0100 <Boarders_> thanks both!
2022-01-04 17:32:34 +0100 <sclv> if hpack generates it wrong you may want to file a report, sigh
2022-01-04 17:32:39 +0100 <sclv> this is why i don't use hpack
2022-01-04 17:32:54 +0100 <sclv> (well an example of the many reasons why)
2022-01-04 17:33:46 +0100 <Boarders_> I also don't use it willingly
2022-01-04 17:33:51 +0100neurocyte(~neurocyte@user/neurocyte) (Read error: Connection reset by peer)
2022-01-04 17:34:15 +0100 <merijn> Boarders_: What's making you use it unwillingly?
2022-01-04 17:35:02 +0100 <Boarders_> my need to sell my labour for sustenance
2022-01-04 17:35:05 +0100neurocyte0(~neurocyte@IP-185117068011.dynamic.medianet-world.de)
2022-01-04 17:35:05 +0100neurocyte0(~neurocyte@IP-185117068011.dynamic.medianet-world.de) (Changing host)
2022-01-04 17:35:05 +0100neurocyte0(~neurocyte@user/neurocyte)
2022-01-04 17:35:38 +0100 <Boarders_> looks like hpack does the right thing if I just add it to the build-tools
2022-01-04 17:36:16 +0100 <merijn> Boarders_: If it's just "because work uses stack", you don't have to use hpack with stack either. And "must use hpack" seems a weird requirement from a job :p
2022-01-04 17:37:26 +0100 <Boarders_> yeah, I'm not sure but it is what we use so ¯\_(ツ)_/¯
2022-01-04 17:41:26 +0100 <merijn> Boarders_: Can always suggest "hey, maybe we should ditch this?", stack autoruns hpack when a package.yaml is present, but should work just fine if you just turn the package.yaml into a cabal file and just manually edit that from then on
2022-01-04 17:41:57 +0100 <merijn> Hell, even snoyberg now argues in favour of "commit the generated cabal file to your repo", at which point the package.yaml becomes pretty much vestigial already anyway
2022-01-04 17:42:41 +0100alx741(~alx741@157.100.93.160)
2022-01-04 17:43:34 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2022-01-04 17:43:39 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-01-04 17:44:28 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 17:44:28 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 17:44:28 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 17:46:45 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 17:49:52 +0100shapr(~user@2601:7c0:c202:5190:2664:1056:c3ed:3a4b)
2022-01-04 17:50:57 +0100drewr(~drew@user/drewr) (Ping timeout: 240 seconds)
2022-01-04 17:51:08 +0100 <Boarders_> ah, good to know
2022-01-04 17:52:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 17:52:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-04 17:53:00 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan)
2022-01-04 17:53:01 +0100 <[itchyjunk]> Prediction (a->b)->[a]->[b]
2022-01-04 17:53:03 +0100 <[itchyjunk]> :t map
2022-01-04 17:53:04 +0100 <lambdabot> (a -> b) -> [a] -> [b]
2022-01-04 17:53:09 +0100 <[itchyjunk]> nice
2022-01-04 17:54:23 +0100mbuf(~Shakthi@122.173.251.205) (Quit: Leaving)
2022-01-04 17:54:26 +0100hyiltiz(~quassel@31.220.5.250) (Quit: hyiltiz)
2022-01-04 17:54:33 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-01-04 17:54:50 +0100n3rdy1(~n3rdy1@2600:1700:4570:3480::41)
2022-01-04 18:00:55 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 18:00:55 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 18:00:55 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 18:01:32 +0100drewr(~drew@user/drewr)
2022-01-04 18:02:06 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-01-04 18:03:37 +0100alx741(~alx741@157.100.93.160)
2022-01-04 18:03:39 +0100Jing(~hedgehog@2604:a840:3::103c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-01-04 18:04:50 +0100Akiva(~Akiva@user/Akiva)
2022-01-04 18:05:19 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 18:06:35 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds)
2022-01-04 18:07:13 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 18:08:51 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2022-01-04 18:08:51 +0100chele(~chele@user/chele) (Quit: Leaving)
2022-01-04 18:08:58 +0100 <[itchyjunk]> Exercise was to take a list of string and return the list reversed and the string reversed : https://bpa.st/6YYQ
2022-01-04 18:10:31 +0100 <monochrom> Perhaps you could benefit from this example.
2022-01-04 18:10:45 +0100 <[itchyjunk]> I think its wrong :/
2022-01-04 18:10:57 +0100 <[itchyjunk]> I googled for map exercises and solved it without using map
2022-01-04 18:10:59 +0100 <[itchyjunk]> fml
2022-01-04 18:12:30 +0100 <monochrom> Suppose I have a [[Int]] like [[1,4,3], [2,5]], and I want: At the inner level, I want to add 1: [[2,5,4], [1,6]]; at the outer level, I want summing: [2+5+4, 1+6].
2022-01-04 18:12:37 +0100 <monochrom> Here is how I do it:
2022-01-04 18:13:34 +0100 <monochrom> > map sum (map (map (+ 1)) [[1,4,3], [2,5]])
2022-01-04 18:13:36 +0100 <lambdabot> [11,9]
2022-01-04 18:14:09 +0100 <monochrom> Perhaps that is too many moving parts.
2022-01-04 18:14:18 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 18:14:23 +0100 <monochrom> Suppose I have a [[Int]] like [[1,4,3], [2,5]], and I want: At the inner level, I want to add 1: [[2,5,4], [1,6]]. Just that.
2022-01-04 18:14:37 +0100awpr(uid446117@id-446117.lymington.irccloud.com)
2022-01-04 18:14:39 +0100 <monochrom> > map (map (+ 1)) [[1,4,3], [2,5]]
2022-01-04 18:14:41 +0100 <lambdabot> [[2,5,4],[3,6]]
2022-01-04 18:15:03 +0100 <monochrom> So, that's how to "push" something "into the inner level".
2022-01-04 18:15:29 +0100 <[itchyjunk]> hmm
2022-01-04 18:15:57 +0100drewr(~drew@user/drewr) (Ping timeout: 240 seconds)
2022-01-04 18:16:09 +0100 <monochrom> Err, I guess that exceeds the exercise you have.
2022-01-04 18:16:29 +0100biog(~user1@159.224.42.85) (Quit: ZZZzzz…)
2022-01-04 18:16:45 +0100 <monochrom> "map reverse [string1, string2]" is how you reverse every string inside.
2022-01-04 18:17:18 +0100ubert(~Thunderbi@2a02:8109:9880:303c:3a3d:dd63:4712:76f8) (Read error: Connection reset by peer)
2022-01-04 18:18:29 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-01-04 18:20:27 +0100sirlensalot(~sirlensal@ool-44c5f8c9.dyn.optonline.net)
2022-01-04 18:21:08 +0100coolnickname(uid531864@user/coolnickname) (Quit: Connection closed for inactivity)
2022-01-04 18:21:25 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-01-04 18:22:37 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-01-04 18:23:39 +0100alx741(~alx741@157.100.93.160)
2022-01-04 18:24:09 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d)
2022-01-04 18:27:55 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-01-04 18:27:56 +0100vysn(~vysn@user/vysn)
2022-01-04 18:28:58 +0100emf(~emf@2620:10d:c091:480::1:89d7)
2022-01-04 18:29:33 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection)
2022-01-04 18:29:52 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d)
2022-01-04 18:31:09 +0100the_proffesortheproffesor
2022-01-04 18:37:16 +0100 <[itchyjunk]> i think i can make sense of the map (map (+1)) [[1,2]] producing [[2,3]]
2022-01-04 18:37:38 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 18:37:55 +0100neurocyte0(~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2022-01-04 18:39:53 +0100neurocyte0(~neurocyte@IP-185117068011.dynamic.medianet-world.de)
2022-01-04 18:39:53 +0100neurocyte0(~neurocyte@IP-185117068011.dynamic.medianet-world.de) (Changing host)
2022-01-04 18:39:53 +0100neurocyte0(~neurocyte@user/neurocyte)
2022-01-04 18:42:33 +0100 <[itchyjunk]> This is how it looks like now : https://bpa.st/BXPA
2022-01-04 18:43:11 +0100econo(uid147250@user/econo)
2022-01-04 18:43:20 +0100 <[itchyjunk]> That nested map is still trippy. I'll have to think about it more
2022-01-04 18:44:34 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-01-04 18:45:29 +0100 <lechner> Hi, does anyone have an example of how to use the hasql-th quasi-quoter 'vectorStatement' please? I'm not sure how to process the resulting 'Vector rows'. Thanks!
2022-01-04 18:45:57 +0100img(~img@user/img)
2022-01-04 18:49:28 +0100_xor(~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer)
2022-01-04 18:52:38 +0100ensyde(~ensyde@2600:1702:2e30:1a40:45a0:ed37:83fe:d777)
2022-01-04 18:53:25 +0100xb0o2(~xb0o2@user/xb0o2) (Quit: Client closed)
2022-01-04 18:54:34 +0100coolnickname(uid531864@user/coolnickname)
2022-01-04 18:54:49 +0100alx741(~alx741@157.100.93.160)
2022-01-04 18:54:59 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2022-01-04 18:55:23 +0100_xor(~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer)
2022-01-04 18:55:42 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2022-01-04 18:58:17 +0100mvk(~mvk@2607:fea8:5cdd:f000::45db) (Ping timeout: 240 seconds)
2022-01-04 18:58:36 +0100paolino(~paolo@5.157.115.53) (Remote host closed the connection)
2022-01-04 18:58:57 +0100n3rdy1(~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds)
2022-01-04 18:59:31 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 19:00:22 +0100drewr(~drew@user/drewr)
2022-01-04 19:00:34 +0100drewr(~drew@user/drewr) (Remote host closed the connection)
2022-01-04 19:04:16 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2022-01-04 19:05:02 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2022-01-04 19:06:40 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-01-04 19:11:40 +0100mikail(~mikail@2a02:c7f:bc1f:4a00:1f95:fc24:559b:d565)
2022-01-04 19:11:46 +0100n3rdy1(~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293)
2022-01-04 19:11:58 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-01-04 19:12:04 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Client Quit)
2022-01-04 19:12:22 +0100d0ku(~d0ku@178.43.3.56.ipv4.supernova.orange.pl)
2022-01-04 19:15:45 +0100alx741(~alx741@157.100.93.160)
2022-01-04 19:20:37 +0100`2jt(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2022-01-04 19:23:02 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 19:24:26 +0100tito(tito@tilde.team) (Quit: WeeChat 3.4)
2022-01-04 19:25:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 19:25:24 +0100tito(tito@tilde.team)
2022-01-04 19:27:03 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 19:27:03 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 19:27:03 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 19:28:00 +0100_xor(~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer)
2022-01-04 19:30:53 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2022-01-04 19:31:29 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2022-01-04 19:32:50 +0100drewr(~drew@user/drewr)
2022-01-04 19:32:59 +0100tito(tito@tilde.team) (Quit: WeeChat 3.4)
2022-01-04 19:33:54 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2022-01-04 19:34:11 +0100 <sofviic[m]> Alternatively, you could do `map . map` for [[]], `map . map . map` for [[[]]], &c...
2022-01-04 19:38:30 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-04 19:39:49 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-01-04 19:41:14 +0100alx741(~alx741@157.100.93.160)
2022-01-04 19:42:03 +0100drewrdrewr-test
2022-01-04 19:44:07 +0100drewr-testdrewr
2022-01-04 19:44:08 +0100`2jt(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net)
2022-01-04 19:45:13 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-01-04 19:45:37 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 19:46:16 +0100tito(tito@tilde.team)
2022-01-04 19:48:11 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-04 19:50:16 +0100 <[itchyjunk]> hmmmm
2022-01-04 19:50:29 +0100mikoto-chan(~mikoto-ch@dsl-olubng12-54fa07-26.dhcp.inet.fi)
2022-01-04 19:50:31 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 19:55:55 +0100hueso(~root@user/hueso) (Read error: Connection reset by peer)
2022-01-04 19:56:32 +0100hueso(~root@user/hueso)
2022-01-04 19:56:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 19:57:02 +0100ensyde(~ensyde@2600:1702:2e30:1a40:45a0:ed37:83fe:d777) (Quit: Leaving)
2022-01-04 19:58:52 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 19:58:52 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 19:58:52 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 19:58:56 +0100drewr(~drew@user/drewr) (Quit: ERC (IRC client for Emacs 27.2))
2022-01-04 19:59:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-04 20:01:24 +0100simendsjo(~user@84.211.91.241)
2022-01-04 20:02:10 +0100alx741(~alx741@157.100.93.160)
2022-01-04 20:03:17 +0100ircs(~ircs@2-111-85-72-cable.dk.customer.tdc.net)
2022-01-04 20:04:13 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 20:05:49 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 20:06:34 +0100simendsjo(~user@84.211.91.241) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.0.90))
2022-01-04 20:07:17 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Ping timeout: 256 seconds)
2022-01-04 20:07:31 +0100simendsjo(~user@84.211.91.241)
2022-01-04 20:08:26 +0100simendsjo(~user@84.211.91.241) (Client Quit)
2022-01-04 20:09:59 +0100deadmarshal(~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds)
2022-01-04 20:11:09 +0100simendsjo(~user@84.211.91.241)
2022-01-04 20:12:00 +0100simendsjo(~user@84.211.91.241) (Client Quit)
2022-01-04 20:13:48 +0100simendsjo(~user@84.211.91.241)
2022-01-04 20:15:43 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 20:15:43 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 20:15:43 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 20:18:09 +0100tfeb(~tfb@88.98.95.237)
2022-01-04 20:18:09 +0100Vajb(~Vajb@2001:999:50:e6be:1e98:9376:d93e:4506) (Read error: Connection reset by peer)
2022-01-04 20:18:51 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-01-04 20:18:52 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-04 20:20:45 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 20:21:35 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-01-04 20:22:11 +0100alx741(~alx741@157.100.93.160)
2022-01-04 20:28:45 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-04 20:30:11 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 20:30:11 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 20:30:11 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 20:31:20 +0100vicfred(~vicfred@user/vicfred)
2022-01-04 20:31:20 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 20:32:00 +0100drewr(~drew@user/drewr)
2022-01-04 20:32:22 +0100notzmv(~zmv@user/notzmv)
2022-01-04 20:34:55 +0100d0ku(~d0ku@178.43.3.56.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2022-01-04 20:35:25 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 20:35:33 +0100d0ku(~d0ku@178.43.3.56.ipv4.supernova.orange.pl)
2022-01-04 20:38:26 +0100tristanC(~tristanC@user/tristanc)
2022-01-04 20:38:27 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-04 20:38:30 +0100Erutuon(~Erutuon@user/erutuon)
2022-01-04 20:42:44 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 20:44:19 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 20:44:19 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 20:44:19 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 20:46:57 +0100d0ku(~d0ku@178.43.3.56.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2022-01-04 20:48:08 +0100alx741(~alx741@157.100.93.160)
2022-01-04 20:49:05 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 20:52:32 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 21:00:07 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Remote host closed the connection)
2022-01-04 21:00:31 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-01-04 21:05:05 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 256 seconds)
2022-01-04 21:07:35 +0100juhp(~juhp@128.106.188.82)
2022-01-04 21:08:54 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2022-01-04 21:09:04 +0100alx741(~alx741@157.100.93.160)
2022-01-04 21:09:45 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Quit: Leaving)
2022-01-04 21:12:42 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 21:14:53 +0100tfeb(~tfb@88.98.95.237) (Quit: died)
2022-01-04 21:15:08 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-01-04 21:16:53 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-04 21:17:12 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 21:17:40 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 21:17:40 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 21:17:40 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 21:18:41 +0100nhatanh02(~satori@123.24.172.30) (Ping timeout: 256 seconds)
2022-01-04 21:20:23 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-01-04 21:21:20 +0100kmein(~root@user/kmein)
2022-01-04 21:22:36 +0100kmein(~root@user/kmein) (Client Quit)
2022-01-04 21:25:55 +0100gentauro(~gentauro@user/gentauro)
2022-01-04 21:28:19 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 21:28:45 +0100kmein_(~weechat@user/kmein) (Quit: ciao kakao)
2022-01-04 21:29:07 +0100alx741(~alx741@157.100.93.160)
2022-01-04 21:29:08 +0100kmein(~weechat@user/kmein)
2022-01-04 21:31:49 +0100kmein(~weechat@user/kmein) (Client Quit)
2022-01-04 21:32:09 +0100kmein(~weechat@user/kmein)
2022-01-04 21:33:44 +0100phma(phma@2001:5b0:210d:1438:cfd1:5ed2:55ba:b890) (Read error: Connection reset by peer)
2022-01-04 21:33:44 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 21:35:39 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-01-04 21:36:08 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 21:36:08 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 21:36:08 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 21:36:31 +0100burnsidesLlama(~burnsides@dhcp168-022.wadham.ox.ac.uk)
2022-01-04 21:36:42 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-01-04 21:38:06 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-01-04 21:38:25 +0100kmein(~weechat@user/kmein)
2022-01-04 21:39:32 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-01-04 21:40:14 +0100kmein(~weechat@user/kmein) (Client Quit)
2022-01-04 21:40:32 +0100kmein(~weechat@user/kmein)
2022-01-04 21:40:47 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 21:40:57 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Remote host closed the connection)
2022-01-04 21:41:23 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827)
2022-01-04 21:42:00 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection)
2022-01-04 21:43:28 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827)
2022-01-04 21:44:46 +0100kmein(~weechat@user/kmein) (Client Quit)
2022-01-04 21:45:05 +0100kmein(~weechat@user/kmein)
2022-01-04 21:48:19 +0100pavonia(~user@user/siracusa)
2022-01-04 21:50:15 +0100alx741(~alx741@157.100.93.160)
2022-01-04 21:52:11 +0100jgeerds_(~jgeerds@55d4ac73.access.ecotel.net)
2022-01-04 21:53:22 +0100mikoto-chan(~mikoto-ch@dsl-olubng12-54fa07-26.dhcp.inet.fi) (Quit: mikoto-chan)
2022-01-04 21:54:06 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 21:56:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-04 21:57:39 +0100simendsjo(~user@84.211.91.241) (Ping timeout: 256 seconds)
2022-01-04 21:59:10 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-01-04 21:59:30 +0100kmein(~weechat@user/kmein)
2022-01-04 21:59:57 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 21:59:57 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 21:59:57 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 22:05:01 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-04 22:08:32 +0100yauhsien(~yauhsien@61-231-58-217.dynamic-ip.hinet.net)
2022-01-04 22:09:09 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-04 22:09:35 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2022-01-04 22:10:57 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-01-04 22:11:00 +0100biog(~user1@159.224.42.85)
2022-01-04 22:11:15 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection)
2022-01-04 22:11:52 +0100alx741(~alx741@157.100.93.160)
2022-01-04 22:13:08 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-01-04 22:13:31 +0100yauhsien(~yauhsien@61-231-58-217.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-01-04 22:16:38 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 22:21:11 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d)
2022-01-04 22:24:39 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection)
2022-01-04 22:28:34 +0100ddb(~ddb@ipv6two.tilde.club) (Remote host closed the connection)
2022-01-04 22:28:52 +0100ddb(~ddb@ipv6two.tilde.club)
2022-01-04 22:30:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-04 22:33:16 +0100alx741(~alx741@157.100.93.160)
2022-01-04 22:37:46 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 22:42:59 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Ping timeout: 256 seconds)
2022-01-04 22:45:45 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d)
2022-01-04 22:45:52 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-01-04 22:46:14 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-01-04 22:46:44 +0100rust2600(~rust2600@185.154.109.45)
2022-01-04 22:51:01 +0100zer0bitz(~zer0bitz@196.244.192.57) (Ping timeout: 240 seconds)
2022-01-04 22:51:20 +0100cryptomonad(~cryptomon@194.191.225.149)
2022-01-04 22:53:21 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-04 22:54:12 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2022-01-04 22:54:16 +0100Midjak2(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2022-01-04 22:54:39 +0100alx741(~alx741@157.100.93.160)
2022-01-04 22:54:44 +0100Midjak2(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Remote host closed the connection)
2022-01-04 22:54:44 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Remote host closed the connection)
2022-01-04 22:55:20 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2022-01-04 22:57:34 +0100dagi37319dagit
2022-01-04 22:57:51 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-01-04 22:58:31 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-01-04 22:58:56 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 23:01:11 +0100acidjnk(~acidjnk@p200300d0c7271e933133c43131ec7c10.dip0.t-ipconnect.de)
2022-01-04 23:01:12 +0100acidjnk_new(~acidjnk@p200300d0c7271e933133c43131ec7c10.dip0.t-ipconnect.de)
2022-01-04 23:01:52 +0100jumper149(~jumper149@static.6.71.203.116.clients.your-server.de)
2022-01-04 23:01:55 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-01-04 23:03:26 +0100cryptomonad(~cryptomon@194.191.225.149) (Remote host closed the connection)
2022-01-04 23:16:04 +0100alx741(~alx741@157.100.93.160)
2022-01-04 23:22:05 +0100drdo(~drdo@144.172.69.89) (Ping timeout: 256 seconds)
2022-01-04 23:22:36 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection)
2022-01-04 23:24:54 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 23:26:05 +0100little_mac(~little_ma@2601:410:4300:3ce0:5087:9b0e:bd55:ec33)
2022-01-04 23:26:13 +0100 <little_mac> hellow
2022-01-04 23:26:26 +0100 <geekosaur> o/
2022-01-04 23:29:18 +0100Pickchea(~private@user/pickchea)
2022-01-04 23:29:42 +0100mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer)
2022-01-04 23:29:52 +0100mjs2600_(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-01-04 23:30:12 +0100 <Hecate> §21
2022-01-04 23:30:15 +0100 <Hecate> o/
2022-01-04 23:30:58 +0100 <little_mac> are there any bots here?
2022-01-04 23:31:11 +0100 <tomsmeding> @botsnack
2022-01-04 23:31:11 +0100 <lambdabot> :)
2022-01-04 23:31:11 +0100 <DigitalKiwi> i'm not convinced monochrom isn't a bot
2022-01-04 23:31:24 +0100 <little_mac> oh my
2022-01-04 23:31:32 +0100 <little_mac> monochrom is this true
2022-01-04 23:31:43 +0100 <DigitalKiwi> tbf sometimes i'm not convinced i'm not a bot
2022-01-04 23:31:56 +0100 <little_mac> oh shi
2022-01-04 23:32:02 +0100 <little_mac> your making me think im a bot
2022-01-04 23:32:10 +0100 <monochrom> I am a bot. I am not convinced that I am a human.
2022-01-04 23:32:12 +0100 <DigitalKiwi> youz probs a bot
2022-01-04 23:32:39 +0100 <little_mac> ohh shnizzle drizzles
2022-01-04 23:33:25 +0100`2jt(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 256 seconds)
2022-01-04 23:33:42 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-04 23:33:42 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-04 23:33:42 +0100wroathe(~wroathe@user/wroathe)
2022-01-04 23:38:45 +0100drdo(~drdo@144.172.69.89)
2022-01-04 23:41:18 +0100alx741(~alx741@157.100.93.160)
2022-01-04 23:43:17 +0100 <geekosaur> % :show language
2022-01-04 23:43:17 +0100 <yahb> geekosaur: base language is: Haskell2010; with the following modifiers:; -XBangPatterns; -XNoCUSKs; -XConstrainedClassMethods; -XConstraintKinds; -XDataKinds; -XNoDatatypeContexts; -XDefaultSignatures; -XDeriveAnyClass; -XDeriveDataTypeable; -XDeriveFoldable; -XDeriveFunctor; -XDeriveGeneric; -XDeriveLift; -XDeriveTraversable; -XDerivingStrategies; -XDerivingVia; -XDisambiguateRecordFields;
2022-01-04 23:45:01 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-04 23:46:02 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-04 23:46:57 +0100xff0x(~xff0x@2001:1a81:53aa:f200:47a2:8092:7d27:b734) (Ping timeout: 240 seconds)
2022-01-04 23:47:59 +0100xff0x(~xff0x@2001:1a81:53aa:f200:f1a6:48ec:fa1:3025)
2022-01-04 23:48:15 +0100 <little_mac> % :show time
2022-01-04 23:48:15 +0100 <yahb> little_mac: syntax: :show [args | prog | editor | stop | imports | modules | bindings | linker | breaks | context | packages | paths | language | targets]
2022-01-04 23:50:39 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-01-04 23:51:36 +0100mjs2600_(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-01-04 23:53:32 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-01-04 23:54:11 +0100mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-01-04 23:54:55 +0100deadmarshal(~deadmarsh@95.38.116.69)
2022-01-04 23:56:12 +0100sub0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2022-01-04 23:59:01 +0100deadmarshal(~deadmarsh@95.38.116.69) (Ping timeout: 240 seconds)
2022-01-04 23:59:16 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Remote host closed the connection)