Logs: liberachat/#haskell
| 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.