Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 411 412 413 414 415 416 417 418 419 420 421 .. 17997
1,799,642 events total
2021-06-12 11:44:38 × oxide quits (~lambda@user/oxide) (Ping timeout: 256 seconds)
2021-06-12 11:44:57 pottsy joins (~pottsy@2400:4050:b560:3700:1def:faee:e2d6:f91c)
2021-06-12 11:47:06 kuribas joins (~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be)
2021-06-12 11:50:57 <siers> how can I make [(a, b)] from the Storable.Vector a and Storable.Vector b?
2021-06-12 11:51:42 bfrk_ joins (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de)
2021-06-12 11:51:53 <siers> I could toList . zipWith, but then I'd have to have a storable instance for (a, b)
2021-06-12 11:52:46 <siers> ah V.toList twice and then zip... I am slow
2021-06-12 11:53:52 × bfrk_ quits (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) (Client Quit)
2021-06-12 11:53:54 oxide joins (~lambda@user/oxide)
2021-06-12 11:59:43 × neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds)
2021-06-12 11:59:54 zebrag joins (~chris@user/zebrag)
2021-06-12 12:02:24 × azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-12 12:06:04 <merijn> siers: Well, that was only 2 minutes to realise, could be worse :p
2021-06-12 12:06:45 × kumo quits (~kumo@139.180.144.166) (Quit: WeeChat 2.9)
2021-06-12 12:07:59 bfrk joins (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de)
2021-06-12 12:09:45 azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
2021-06-12 12:15:17 phadej joins (phadej@kapsi.fi)
2021-06-12 12:15:28 phadej parts (phadej@kapsi.fi) ()
2021-06-12 12:18:33 <kuribas> Is there a way to set a field using GHC.Records?
2021-06-12 12:18:48 <kuribas> https://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-Records.html
2021-06-12 12:21:05 jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-12 12:21:22 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
2021-06-12 12:21:43 zebrag joins (~chris@user/zebrag)
2021-06-12 12:22:54 <gentauro> merijn: like in easy to implement xD
2021-06-12 12:23:43 <gentauro> but I guess it involves that a compiler can `reduce` to a (normal)form deterministically as Dhall can do
2021-06-12 12:24:01 <gentauro> but since Haskell isn't total
2021-06-12 12:24:12 <gentauro> it might not be possible right?
2021-06-12 12:30:13 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host)
2021-06-12 12:30:50 mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-12 12:34:11 <merijn> Correct
2021-06-12 12:34:24 killsushi joins (~killsushi@user/killsushi)
2021-06-12 12:36:31 berberman_ joins (~berberman@user/berberman)
2021-06-12 12:36:38 eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
2021-06-12 12:37:41 × berberman quits (~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-06-12 12:41:03 × MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge)
2021-06-12 12:41:06 sekun joins (~sekun@180.190.221.56)
2021-06-12 12:41:06 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
2021-06-12 12:41:41 MidAutumnMoon joins (~MidAutumn@user/midautumnmoon)
2021-06-12 12:45:14 tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-06-12 12:45:34 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 12:45:49 × mpt quits (~tom@2a02:908:1862:49e0::5) (Ping timeout: 256 seconds)
2021-06-12 12:46:52 × leif quits (uid501722@id-501722.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-12 12:51:00 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 12:52:27 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-12 12:52:44 Deide joins (~Deide@wire.desu.ga)
2021-06-12 12:52:44 × Deide quits (~Deide@wire.desu.ga) (Changing host)
2021-06-12 12:52:44 Deide joins (~Deide@user/deide)
2021-06-12 12:52:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-12 12:53:45 derelict joins (~derelict@user/derelict)
2021-06-12 12:53:57 dhil joins (~dhil@195.213.192.47)
2021-06-12 12:54:42 jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-12 12:54:45 pavonia joins (~user@user/siracusa)
2021-06-12 12:59:13 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 272 seconds)
2021-06-12 13:00:08 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 13:00:33 fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 13:01:01 jaevanko joins (~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1)
2021-06-12 13:01:15 alx741 joins (~alx741@186.178.108.59)
2021-06-12 13:04:31 lbseale joins (~lbseale@user/ep1ctetus)
2021-06-12 13:08:43 doublex__ joins (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689)
2021-06-12 13:08:44 tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 13:10:04 <maerwald> I just wanted to build www.haskell.org and now I'm waiting for nix to download 1k packages
2021-06-12 13:10:37 fizbin_ joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 13:11:03 benin037 joins (~benin@183.82.205.218)
2021-06-12 13:11:18 da39a3ee_ joins (~textual@67.23.55.162)
2021-06-12 13:11:27 awth13` joins (~user@185.209.196.143)
2021-06-12 13:12:19 raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-12 13:12:20 × ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer)
2021-06-12 13:12:52 octocelly joins (~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-12 13:13:02 × octocelly quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection)
2021-06-12 13:13:02 mikoto-c1 joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-12 13:13:18 MidAutumnMoon7 joins (~MidAutumn@user/midautumnmoon)
2021-06-12 13:13:27 <maerwald> and now I get https://i.imgur.com/BNJIzWc.png lol
2021-06-12 13:13:47 <maerwald> every time I interact with nix, I regret it
2021-06-12 13:14:18 dhil joins (~dhil@80.208.56.181)
2021-06-12 13:15:22 octocelly joins (~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-12 13:15:45 <hpc> use deb packages, get your regret out of the way up front :D
2021-06-12 13:15:49 × octocelly quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection)
2021-06-12 13:16:05 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-06-12 13:16:19 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
2021-06-12 13:16:35 × hrdl quits (~hrdl@mail.hrdl.eu) (Remote host closed the connection)
2021-06-12 13:18:14 × alx741 quits (~alx741@186.178.108.59) (*.net *.split)
2021-06-12 13:18:14 × jaevanko quits (~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1) (*.net *.split)
2021-06-12 13:18:14 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (*.net *.split)
2021-06-12 13:18:14 × derelict quits (~derelict@user/derelict) (*.net *.split)
2021-06-12 13:18:14 × MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (*.net *.split)
2021-06-12 13:18:14 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (*.net *.split)
2021-06-12 13:18:14 × kuribas quits (~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be) (*.net *.split)
2021-06-12 13:18:14 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (*.net *.split)
2021-06-12 13:18:14 × edwtjo quits (~edwtjo@user/edwtjo) (*.net *.split)
2021-06-12 13:18:14 × Feuermagier quits (~Feuermagi@user/feuermagier) (*.net *.split)
2021-06-12 13:18:14 × benin03 quits (~benin@183.82.205.218) (*.net *.split)
2021-06-12 13:18:14 × doublex_ quits (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (*.net *.split)
2021-06-12 13:18:14 × da39a3ee5e6b4b0d quits (~textual@67.23.55.162) (*.net *.split)
2021-06-12 13:18:14 × leah2 quits (~leah@vuxu.org) (*.net *.split)
2021-06-12 13:18:14 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (*.net *.split)
2021-06-12 13:18:14 × bb010g quits (~bb010gmat@2001:470:69fc:105::9a5) (*.net *.split)
2021-06-12 13:18:14 × yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (*.net *.split)
2021-06-12 13:18:14 × awth13 quits (~user@user/awth13) (*.net *.split)
2021-06-12 13:18:14 benin037 is now known as benin03
2021-06-12 13:18:15 MidAutumnMoon7 is now known as MidAutumnMoon

All times are in UTC.