2022/03/01

2022-03-01 00:00:07 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 00:00:36 +0100 <lechner> the only difference i found so far is dh binary-arch --buildsystem=haskell vs dh binary --buildsystem=haskell
2022-03-01 00:01:30 +0100dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-01 00:02:36 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 00:02:57 +0100 <lechner> i think my problem is unrelated to haskell, but i have truble debugging
2022-03-01 00:03:46 +0100 <geekosaur> right, I was looking for differences in what the two were doing but it's difficult
2022-03-01 00:04:07 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-01 00:04:17 +0100 <geekosaur> I don't think you can pass setup configure an arch triple
2022-03-01 00:06:20 +0100asivitz(uid178348@id-178348.tinside.irccloud.com)
2022-03-01 00:06:40 +0100 <geekosaur> oh, wrong kind of target
2022-03-01 00:07:08 +0100 <geekosaur> it wants a filename. are you running setup configure i8n the correct directory?
2022-03-01 00:07:48 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 00:11:22 +0100 <lechner> now it's working. so weird. i dust printed the output to stderr http://paste.debian.net/1232576/
2022-03-01 00:11:50 +0100 <lechner> yay, debian's dh-haskell arrived in the 21st century!
2022-03-01 00:11:52 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection)
2022-03-01 00:12:05 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-01 00:12:30 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-03-01 00:12:42 +0100 <asivitz> I'm trying to model a sort of stateful computation where the type of the state may change from one computation to the next. Is this something I can model with Control.Arrow?
2022-03-01 00:13:49 +0100 <lechner> geekosaur: sorry to bother you. i had been workin on it for a week, but it's done
2022-03-01 00:14:14 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 00:14:26 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 00:14:42 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net)
2022-03-01 00:16:02 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-03-01 00:16:54 +0100 <monochrom> asivitz: No.
2022-03-01 00:17:55 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 00:21:05 +0100shriekingnoise(~shrieking@201.231.16.156)
2022-03-01 00:22:06 +0100ensyde(~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) (Quit: Leaving)
2022-03-01 00:22:37 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 00:22:39 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-03-01 00:23:13 +0100 <asivitz> monochrom: ah ok thanks. I see some things like ArrowState in the `arrows` package. I wonder if something like that would do it
2022-03-01 00:24:16 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-01 00:25:16 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 00:25:50 +0100 <monochrom> Its "a -> s" means that each arrow type nails its state type.
2022-03-01 00:25:58 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 00:27:30 +0100 <monochrom> Add the fact that (>>>) for example composes two arrows of the same arrow type, therefore of the same state type.
2022-03-01 00:28:29 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 00:30:14 +0100Batzy(~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-03-01 00:31:24 +0100Batzy(~quassel@user/batzy)
2022-03-01 00:32:37 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds)
2022-03-01 00:32:41 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-01 00:33:23 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 00:36:58 +0100 <asivitz> monochrom: I see. thanks
2022-03-01 00:38:10 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 00:38:58 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-03-01 00:39:43 +0100cosimone(~user@93-47-229-38.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1))
2022-03-01 00:39:58 +0100tremon_(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2022-03-01 00:42:29 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 00:43:08 +0100cjb(~cjb@user/cjb) (Ping timeout: 260 seconds)
2022-03-01 00:43:37 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-03-01 00:48:15 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 00:48:43 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-01 00:51:44 +0100Guest96(~Guest96@144-124-99-115.pip.aber.ac.uk)
2022-03-01 00:52:39 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 00:52:46 +0100 <Guest96> Hi, is anyone active to take a look and give some feedback on a function I wrote please? https://paste.tomsmeding.com/Jgb4RtiE
2022-03-01 00:53:47 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-03-01 00:58:21 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 01:00:03 +0100zopsi(~zopsi@104-237-136-227.ip.linodeusercontent.com) (Quit: Oops)
2022-03-01 01:00:30 +0100 <pavonia> Guest96: I would probably use let/where bindings to define the two values used for the final result to avod those parentheses
2022-03-01 01:00:50 +0100 <Guest96> Could you show me an example?
2022-03-01 01:01:12 +0100zopsi(~zopsi@104-237-136-227.ip.linodeusercontent.com)
2022-03-01 01:03:02 +0100 <pavonia> Something like this: https://paste.tomsmeding.com/jDbUttWj
2022-03-01 01:03:41 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 01:03:47 +0100 <Guest96> thats much simpler, ty
2022-03-01 01:06:07 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net)
2022-03-01 01:08:24 +0100zachel(~zachel@user/zachel) (Read error: Connection reset by peer)
2022-03-01 01:08:55 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 01:08:56 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 01:12:09 +0100zachel(~zachel@user/zachel)
2022-03-01 01:12:26 +0100mmhat(~mmh@55d467a0.access.ecotel.net) (Quit: WeeChat 3.4)
2022-03-01 01:12:57 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 01:13:00 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-01 01:13:17 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 01:16:57 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds)
2022-03-01 01:18:24 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-03-01 01:20:03 +0100justAstache(~justache@user/justache) (Read error: Connection reset by peer)
2022-03-01 01:21:01 +0100justAstache(~justache@user/justache)
2022-03-01 01:22:56 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-03-01 01:23:22 +0100alp(~alp@user/alp)
2022-03-01 01:27:40 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.)
2022-03-01 01:29:11 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 01:31:55 +0100 <Axman6> Guest96: I can guarantee that unless your lecturer has specifically asked you to comment each line of code, the only comments they would want to see will be one explaining what the function does (and not how it does it). We can read the code, but might need context to understand why the code exists.
2022-03-01 01:33:53 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 01:34:20 +0100 <Guest96> Axman6: I do tend to go overboard with comments as I just want to make sure that there's no miscommunication. The context of the code is provided elsewhere. I am just looking for better solutions as I've been told that the way I have added the case and if is unusual. (functional, but unusual?) could you explain why it's unusual?
2022-03-01 01:39:19 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 01:39:47 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 01:42:58 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
2022-03-01 01:43:51 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 01:44:47 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 01:47:00 +0100agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 240 seconds)
2022-03-01 01:49:51 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 01:50:02 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-01 01:50:02 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-01 01:50:02 +0100wroathe(~wroathe@user/wroathe)
2022-03-01 01:51:06 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-03-01 01:52:39 +0100 <Axman6> well, for one, they're quite large expressions, leading to one very large expression. naming the parts like pavoniasuggested definitely makes it both easier to read and more understandable. I will sometimes do things like foo + (if x then y else z) but they tend not to end up in my finaly code
2022-03-01 01:52:40 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-03-01 01:53:02 +0100 <geekosaur> I will use those but only if they're short
2022-03-01 01:53:04 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-03-01 01:54:33 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-03-01 01:54:55 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 01:56:16 +0100 <Axman6> yeah, if it was anything longer I wouldn't do it
2022-03-01 01:58:51 +0100gentauro(~gentauro@user/gentauro)
2022-03-01 01:59:36 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 01:59:53 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 02:04:03 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 02:05:02 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 02:08:51 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 256 seconds)
2022-03-01 02:09:17 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-03-01 02:10:06 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 02:14:17 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 02:17:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-03-01 02:23:27 +0100jeetelongname(~jeet@eduroam-public-33.nat.port.ac.uk)
2022-03-01 02:24:03 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-03-01 02:25:48 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-01 02:30:57 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-03-01 02:31:51 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
2022-03-01 02:32:20 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 02:35:49 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2022-03-01 02:38:35 +0100Guest96(~Guest96@144-124-99-115.pip.aber.ac.uk) (Quit: Client closed)
2022-03-01 02:38:53 +0100alp(~alp@user/alp) (Ping timeout: 250 seconds)
2022-03-01 02:41:43 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-03-01 02:44:07 +0100lainon(~lainon@2601:7c0:c500:4d20::ae8)
2022-03-01 02:44:36 +0100tdcly^(~tdcly@12.163.216.98) (Remote host closed the connection)
2022-03-01 02:47:44 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 02:48:52 +0100lainon(~lainon@2601:7c0:c500:4d20::ae8) ()
2022-03-01 02:49:22 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-03-01 02:49:23 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 256 seconds)
2022-03-01 02:52:37 +0100andreabedini[m](~andreabed@2001:470:69fc:105::c821)
2022-03-01 02:56:03 +0100lainon(~lainon@2601:7c0:c500:4d20::ae8)
2022-03-01 02:56:36 +0100kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
2022-03-01 02:58:41 +0100kritzefitz(~kritzefit@debian/kritzefitz)
2022-03-01 03:06:06 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 260 seconds)
2022-03-01 03:06:07 +0100dsrt^(~dsrt@12.163.216.98)
2022-03-01 03:09:16 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 03:09:33 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-03-01 03:11:34 +0100pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2022-03-01 03:14:26 +0100pavonia(~user@user/siracusa)
2022-03-01 03:14:37 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-03-01 03:14:53 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds)
2022-03-01 03:18:53 +0100jeetelongname(~jeet@eduroam-public-33.nat.port.ac.uk) (Ping timeout: 256 seconds)
2022-03-01 03:19:07 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-01 03:19:48 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-01 03:25:21 +0100shailangsa_(~shailangs@host86-186-133-59.range86-186.btcentralplus.com) ()
2022-03-01 03:30:31 +0100cynomys(~cynomys@user/cynomys)
2022-03-01 03:34:40 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 03:39:22 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds)
2022-03-01 03:39:50 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:40:05 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:40:10 +0100vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-03-01 03:40:12 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:40:27 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:40:29 +0100justAstache(~justache@user/justache) (Remote host closed the connection)
2022-03-01 03:40:33 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:40:47 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:40:55 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:41:09 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:41:17 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:41:26 +0100justAstache(~justache@user/justache)
2022-03-01 03:41:32 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:41:40 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:41:54 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:42:02 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:42:16 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:42:24 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:42:39 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:42:47 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:43:00 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:43:08 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:43:25 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:43:32 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:43:46 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:43:53 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:44:07 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:44:15 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:44:28 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-03-01 03:44:29 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:44:38 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:44:52 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:45:00 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:45:14 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:45:23 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:45:38 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:45:46 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:46:03 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:46:11 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:46:28 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:46:35 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:46:48 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:46:56 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:46:56 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-03-01 03:47:11 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:47:11 +0100gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2022-03-01 03:47:19 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:47:33 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:47:40 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:47:56 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:48:03 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:48:19 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:48:26 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:48:44 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:48:51 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:49:05 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:49:13 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:49:27 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:49:34 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:49:48 +0100xff0x(~xff0x@2001:1a81:52ca:1900:497a:5e58:ec47:2e84) (Ping timeout: 240 seconds)
2022-03-01 03:49:50 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:49:58 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:50:13 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:50:20 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:50:35 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:50:42 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:50:55 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:51:03 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:51:20 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:51:27 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:51:42 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:51:50 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:51:56 +0100xff0x(~xff0x@2001:1a81:5304:bc00:c812:9ab6:82db:6d9c)
2022-03-01 03:52:04 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:52:12 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:52:27 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:52:35 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:52:48 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 03:52:56 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 03:57:41 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-01 03:59:03 +0100alMalsamolumberjack
2022-03-01 04:05:16 +0100shailangsa(~shailangs@host86-186-133-59.range86-186.btcentralplus.com)
2022-03-01 04:06:02 +0100ub(~Thunderbi@p200300ecdf3be9cb0930a09fd733e6d6.dip0.t-ipconnect.de)
2022-03-01 04:06:11 +0100ubert(~Thunderbi@p200300ecdf3be90c0930a09fd733e6d6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-03-01 04:06:11 +0100ububert
2022-03-01 04:09:24 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 04:10:55 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 04:11:26 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-03-01 04:11:26 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-03-01 04:11:26 +0100finn_elijaFinnElija
2022-03-01 04:11:33 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 04:13:49 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 04:17:15 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 04:18:02 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 04:19:45 +0100td_(~td@94.134.91.216) (Ping timeout: 256 seconds)
2022-03-01 04:21:18 +0100td_(~td@muedsl-82-207-238-074.citykom.de)
2022-03-01 04:23:33 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 04:23:37 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 04:27:48 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 04:28:10 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 04:31:25 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-01 04:33:35 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 04:37:16 +0100lainon_(~lainon@c-68-46-201-40.hsd1.al.comcast.net)
2022-03-01 04:37:48 +0100emf(~emf@2620:10d:c090:400::5:b0af) (Ping timeout: 240 seconds)
2022-03-01 04:38:11 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 04:39:54 +0100lainon(~lainon@2601:7c0:c500:4d20::ae8) (Ping timeout: 260 seconds)
2022-03-01 04:40:29 +0100emf(~emf@2620:10d:c090:400::5:46f7)
2022-03-01 04:43:18 +0100emf(~emf@2620:10d:c090:400::5:46f7) (Client Quit)
2022-03-01 04:43:18 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 04:43:52 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 04:44:01 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-03-01 04:44:06 +0100emf(~emf@2620:10d:c090:400::5:46f7)
2022-03-01 04:45:10 +0100emf(~emf@2620:10d:c090:400::5:46f7) (Client Quit)
2022-03-01 04:47:37 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 04:48:27 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
2022-03-01 04:48:41 +0100lainon_(~lainon@c-68-46-201-40.hsd1.al.comcast.net) (Remote host closed the connection)
2022-03-01 04:48:57 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2022-03-01 04:57:32 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 05:00:56 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-03-01 05:02:18 +0100Techcable(~Techcable@168.235.93.147) (Ping timeout: 252 seconds)
2022-03-01 05:03:32 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 05:03:32 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 05:05:32 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-01 05:08:43 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 05:08:43 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 05:08:53 +0100Guest63(~Guest63@ip70-181-188-175.sd.sd.cox.net)
2022-03-01 05:14:14 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 05:18:51 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 05:21:24 +0100waleee(~waleee@h-178-174-193-77.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2022-03-01 05:22:06 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-01 05:24:13 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 05:24:35 +0100[itchyjunk]Guest49
2022-03-01 05:24:35 +0100[_][itchyjunk]
2022-03-01 05:24:36 +0100emf(~emf@2620:10d:c090:400::5:46f7)
2022-03-01 05:25:24 +0100Guest49(~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-03-01 05:26:42 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-01 05:28:37 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 05:28:51 +0100mbuf(~Shakthi@223.184.53.123)
2022-03-01 05:31:05 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-03-01 05:32:01 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-01 05:32:17 +0100mvk(~mvk@2607:fea8:5cc3:7e00::8c21) (Ping timeout: 240 seconds)
2022-03-01 05:34:20 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 05:35:38 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-01 05:36:54 +0100arjun(~arjun@user/arjun)
2022-03-01 05:38:36 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 05:39:05 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-03-01 05:39:23 +0100xsarnik(xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds))
2022-03-01 05:39:58 +0100xsarnik(xsarnik@lounge.fi.muni.cz)
2022-03-01 05:40:07 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-03-01 05:44:27 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 05:45:05 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 05:48:36 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 05:49:17 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 05:55:11 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-03-01 05:58:07 +0100mbuf(~Shakthi@223.184.53.123) (Ping timeout: 272 seconds)
2022-03-01 06:00:17 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-03-01 06:04:41 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 06:04:43 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 06:05:50 +0100mbuf(~Shakthi@223.184.53.123)
2022-03-01 06:08:02 +0100fef(~thedawn@user/thedawn)
2022-03-01 06:08:41 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 06:08:57 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 06:09:30 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 06:11:28 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-03-01 06:11:42 +0100c209e6dc-4d76-47(~aditya@2601:249:4300:1296:195:dac6:592c:a55a)
2022-03-01 06:11:50 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-03-01 06:11:55 +0100emf(~emf@2620:10d:c090:400::5:46f7) (Quit: emf)
2022-03-01 06:14:12 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-01 06:20:13 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 06:21:36 +0100c209e6dc-4d76-47(~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!)
2022-03-01 06:23:27 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2022-03-01 06:23:56 +0100sh9(~sh9@softbank060116136158.bbtec.net)
2022-03-01 06:25:01 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 06:25:02 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 06:26:38 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 06:27:24 +0100emf(~emf@2620:10d:c090:400::5:46f7)
2022-03-01 06:29:20 +0100Guest|74(~Guest|74@c-73-70-253-203.hsd1.ca.comcast.net)
2022-03-01 06:29:24 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 06:29:24 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 06:30:07 +0100Guest|74(~Guest|74@c-73-70-253-203.hsd1.ca.comcast.net) (Client Quit)
2022-03-01 06:31:46 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2022-03-01 06:35:43 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 06:39:10 +0100deadmarshal(~deadmarsh@95.38.228.22)
2022-03-01 06:40:01 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 06:40:16 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 06:41:38 +0100emf(~emf@2620:10d:c090:400::5:46f7) (Quit: emf)
2022-03-01 06:43:42 +0100LiaoTao_(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2022-03-01 06:43:42 +0100hololeap(~hololeap@user/hololeap) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer)
2022-03-01 06:43:42 +0100lumberjack(~alMalsamo@gateway/tor-sasl/almalsamo) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100fef(~thedawn@user/thedawn) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer)
2022-03-01 06:43:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
2022-03-01 06:44:37 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 06:45:12 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 06:45:24 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-03-01 06:46:09 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-03-01 06:46:12 +0100hololeap(~hololeap@user/hololeap)
2022-03-01 06:46:26 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-03-01 06:46:33 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2022-03-01 06:46:37 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-03-01 06:47:00 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-03-01 06:47:04 +0100stiell_(~stiell@gateway/tor-sasl/stiell)
2022-03-01 06:47:09 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-01 06:48:55 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-01 06:48:56 +0100lumberjack(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-01 06:49:39 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 06:53:13 +0100fef(~thedawn@user/thedawn)
2022-03-01 06:55:19 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 07:00:10 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 07:05:26 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 07:06:15 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-03-01 07:08:37 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds)
2022-03-01 07:09:20 +0100bahamas(~lucian@84.232.140.52)
2022-03-01 07:10:19 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 07:12:12 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-01 07:15:33 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 07:20:33 +0100motherfsck(~motherfsc@user/motherfsck)
2022-03-01 07:20:37 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-03-01 07:20:37 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
2022-03-01 07:20:37 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-03-01 07:20:37 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection)
2022-03-01 07:20:37 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer)
2022-03-01 07:20:37 +0100fef(~thedawn@user/thedawn) (Write error: Connection reset by peer)
2022-03-01 07:20:37 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Write error: Connection reset by peer)
2022-03-01 07:20:37 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Write error: Connection reset by peer)
2022-03-01 07:20:37 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer)
2022-03-01 07:20:37 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-03-01 07:20:37 +0100lumberjack(~alMalsamo@gateway/tor-sasl/almalsamo) (Read error: Connection reset by peer)
2022-03-01 07:20:37 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
2022-03-01 07:20:49 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-03-01 07:20:51 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2022-03-01 07:20:51 +0100lumberjack(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-01 07:20:52 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-01 07:20:54 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-03-01 07:20:55 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-03-01 07:20:58 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-03-01 07:21:00 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-03-01 07:21:01 +0100stiell_(~stiell@gateway/tor-sasl/stiell)
2022-03-01 07:21:05 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 07:21:07 +0100fef(~thedawn@user/thedawn)
2022-03-01 07:21:37 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-01 07:22:05 +0100hololeap(~hololeap@user/hololeap)
2022-03-01 07:26:07 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 07:26:09 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 07:28:17 +0100alfonsox(~quassel@103.87.57.104)
2022-03-01 07:30:14 +0100arjun(~arjun@user/arjun) (Remote host closed the connection)
2022-03-01 07:30:39 +0100arjun(~arjun@user/arjun)
2022-03-01 07:30:57 +0100arjun(~arjun@user/arjun) (Remote host closed the connection)
2022-03-01 07:31:01 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 07:31:12 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 07:34:00 +0100michalz(~michalz@185.246.204.93)
2022-03-01 07:36:37 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 07:41:00 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 07:42:48 +0100sh9(~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 3.3)
2022-03-01 07:42:54 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-03-01 07:44:39 +0100kenran(~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de)
2022-03-01 07:45:46 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 07:46:23 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 07:48:57 +0100cajun(~cajun@user/cajun) (Ping timeout: 240 seconds)
2022-03-01 07:49:00 +0100dwt_(~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 240 seconds)
2022-03-01 07:49:06 +0100dwt__(~dwt_@c-98-198-103-176.hsd1.tx.comcast.net)
2022-03-01 07:50:13 +0100deadmarshal(~deadmarsh@95.38.228.22) (Ping timeout: 272 seconds)
2022-03-01 07:50:25 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
2022-03-01 07:51:17 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-03-01 07:51:29 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 07:53:59 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-03-01 07:56:47 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 07:57:01 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 07:58:46 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-03-01 08:01:19 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds)
2022-03-01 08:01:19 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 08:02:22 +0100polezaivsani(~polezaivs@orangeshoelaces.net)
2022-03-01 08:03:41 +0100jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-03-01 08:03:58 +0100jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-03-01 08:04:22 +0100dhruvasagar(~dhruvasag@49.207.194.244)
2022-03-01 08:05:01 +0100komikat(~komikat@27.57.144.183)
2022-03-01 08:06:36 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 08:06:55 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 08:06:59 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-01 08:09:01 +0100coot(~coot@213.134.190.95)
2022-03-01 08:10:54 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-03-01 08:10:57 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 08:11:45 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 08:12:30 +0100cajun(~cajun@ip98-163-218-217.no.no.cox.net)
2022-03-01 08:14:15 +0100motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-03-01 08:14:32 +0100motherfsck(~motherfsc@user/motherfsck)
2022-03-01 08:17:14 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 08:18:51 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-03-01 08:22:01 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 08:26:56 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2022-03-01 08:27:14 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 08:27:31 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-03-01 08:29:16 +0100xff0x(~xff0x@2001:1a81:5304:bc00:c812:9ab6:82db:6d9c) (Ping timeout: 250 seconds)
2022-03-01 08:30:07 +0100xff0x(~xff0x@2001:1a81:5304:bc00:74fb:d1a:e96e:1578)
2022-03-01 08:32:14 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 08:32:28 +0100yauhsienhuangtw(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net)
2022-03-01 08:32:53 +0100yauhsie__(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-03-01 08:33:20 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2022-03-01 08:34:10 +0100yauhsien(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net)
2022-03-01 08:34:11 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-03-01 08:34:35 +0100yauhsien(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2022-03-01 08:35:03 +0100yauhsien_(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-01 08:36:22 +0100yauhsien(~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net)
2022-03-01 08:37:00 +0100yauhsienhuangtw(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-01 08:37:01 +0100yauhsien_(~yauhsien@61-231-37-5.dynamic-ip.hinet.net)
2022-03-01 08:38:15 +0100yauhsienhuangtw(~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net)
2022-03-01 08:38:30 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-03-01 08:38:36 +0100yauhsie__(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-01 08:38:41 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-03-01 08:38:59 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2022-03-01 08:40:36 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 08:40:43 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-01 08:40:57 +0100yauhsien(~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-01 08:41:29 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-01 08:41:37 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 08:43:02 +0100yauhsien_(~yauhsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-01 08:44:02 +0100xff0x(~xff0x@2001:1a81:5304:bc00:74fb:d1a:e96e:1578) (Ping timeout: 240 seconds)
2022-03-01 08:45:31 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-01 08:47:21 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 08:50:07 +0100cfricke(~cfricke@user/cfricke)
2022-03-01 08:50:42 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:e55d:32e3:1339:eefc)
2022-03-01 08:52:03 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 08:57:06 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 08:58:02 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2022-03-01 09:01:36 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
2022-03-01 09:02:39 +0100Erutuon(~Erutuon@user/erutuon)
2022-03-01 09:06:43 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 09:07:53 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 09:08:21 +0100analognoise(~analognoi@185.229.59.133) (Read error: Connection reset by peer)
2022-03-01 09:09:47 +0100MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e)
2022-03-01 09:10:49 +0100jtomas(~jtomas@210.red-88-24-179.staticip.rima-tde.net)
2022-03-01 09:12:12 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 09:16:36 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 09:21:45 +0100chele(~chele@user/chele)
2022-03-01 09:22:58 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-01 09:23:15 +0100fendor(~fendor@77.119.204.89.wireless.dyn.drei.com)
2022-03-01 09:24:43 +0100vysn(~vysn@user/vysn)
2022-03-01 09:27:44 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-03-01 09:28:09 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-03-01 09:29:53 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 09:35:02 +0100cosimone(~user@93-47-229-38.ip115.fastwebnet.it)
2022-03-01 09:38:57 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 09:47:53 +0100MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 250 seconds)
2022-03-01 09:49:41 +0100mc47(~mc47@xmonad/TheMC47)
2022-03-01 09:49:57 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-01 09:50:01 +0100MajorBiscuit(~MajorBisc@c-001-025-058.client.tudelft.eduvpn.nl)
2022-03-01 09:55:27 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net)
2022-03-01 09:59:50 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-01 10:00:15 +0100SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2) (Quit: You have been kicked for being idle)
2022-03-01 10:00:15 +0100coot(~coot@213.134.190.95)
2022-03-01 10:00:29 +0100JoseC[m](~jmcardonm@2001:470:69fc:105::1:7539) (Quit: You have been kicked for being idle)
2022-03-01 10:01:26 +0100alp(~alp@user/alp)
2022-03-01 10:01:29 +0100ccntrq(~Thunderbi@2a01:e34:eccb:b060:c032:2cc6:e2e1:8524)
2022-03-01 10:03:55 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 10:05:27 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-03-01 10:08:11 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 10:10:11 +0100mastarija(~mastarija@188.252.198.63)
2022-03-01 10:10:50 +0100jespada(~jespada@185.69.145.16)
2022-03-01 10:10:55 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Remote host closed the connection)
2022-03-01 10:12:36 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 10:15:54 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 10:16:47 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 10:25:28 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-01 10:27:37 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-03-01 10:29:33 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-01 10:30:56 +0100deadmarshal_(~deadmarsh@95.38.112.52)
2022-03-01 10:37:18 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-03-01 10:37:20 +0100bahamas(~lucian@84.232.140.52)
2022-03-01 10:40:23 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-03-01 10:41:56 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-01 10:42:07 +0100komikat(~komikat@27.57.144.183)
2022-03-01 10:42:25 +0100komikat(~komikat@27.57.144.183) (Read error: Connection reset by peer)
2022-03-01 10:42:54 +0100komikat(~komikat@27.57.144.183)
2022-03-01 10:43:03 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 10:44:12 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-03-01 10:44:18 +0100komikat(~komikat@27.57.144.183)
2022-03-01 10:44:34 +0100waleee(~waleee@h-178-174-193-77.NA.cust.bahnhof.se)
2022-03-01 10:45:21 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
2022-03-01 10:45:39 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2022-03-01 10:46:14 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-03-01 10:47:33 +0100mastarija(~mastarija@188.252.198.63) (Ping timeout: 272 seconds)
2022-03-01 10:47:55 +0100 <turlando> What's the suggested method of parsing and writing binary data in Haskell? I've tried Data.Binary but aparently doesn't support reading/writing individual bits
2022-03-01 10:48:28 +0100 <dminuoso> turlando: attoparsec
2022-03-01 10:48:35 +0100 <dminuoso> And for individual bits you have to take care using Data.Bits
2022-03-01 10:48:59 +0100 <dminuoso> though `binary` is fine for binary data as well
2022-03-01 10:49:14 +0100 <merijn> I used megaparsec for bits for AoC
2022-03-01 10:49:26 +0100 <merijn> It...was a bit more prep work than expected, though xD
2022-03-01 10:50:48 +0100 <turlando> Could you elaborate a bit more on the Data.Bits side of things (pun intended) I'd love to be able to do something like foo <- readBits 3 instead of reading whole words and shifting/xoring them as I would do in C
2022-03-01 10:51:07 +0100 <merijn> turlando: Data.Bits would be the C way :p
2022-03-01 10:51:15 +0100 <turlando> IIRC it is really simple in erlang, just do <<Foo:3>> or something like that
2022-03-01 10:51:30 +0100 <merijn> turlando: So, AoC had a puzzle where ascii text was to be interpreted as a bit string
2022-03-01 10:51:35 +0100 <dminuoso> turlando: You can use testBit
2022-03-01 10:51:51 +0100 <merijn> I made a rough "Text to BitSequence" implementation
2022-03-01 10:52:04 +0100 <merijn> It was actually super nice...after the pain of making it work :p
2022-03-01 10:52:08 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-01 10:52:20 +0100 <merijn> turlando: AOC spoilers, obviously: https://github.com/merijn/AdventOfCode/blob/master/Day16.hs
2022-03-01 10:52:29 +0100 <dminuoso> turlando: Keep endianness in mind when working with non-Word8 signed numbers.
2022-03-01 10:52:39 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-01 10:52:50 +0100 <merijn> turlando: That does let you do things like "count 3 bitP" to parse 3 bits
2022-03-01 10:53:53 +0100 <merijn> Fair bit of boilerplate, though
2022-03-01 10:53:53 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-01 10:54:53 +0100 <turlando> Thanks merijn, it looks pretty handy, unfortunately I would be entirely on my own for writing back the binary data. Also, I'd really love to be able to write back only parts of it (e.g. my binary structure is segmented, find out where the segment I need is, make changes, write back only such segment and not the entire file)
2022-03-01 10:55:26 +0100 <dminuoso> turlando: Do you care about performance at all?
2022-03-01 10:55:36 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 10:55:37 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 10:55:42 +0100 <turlando> dminuoso: yup, fortunately what I'm trying to parse is well-documented, unfortunately it's almost everything BE but for few corner cases
2022-03-01 10:55:45 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-01 10:55:48 +0100waleee(~waleee@h-178-174-193-77.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2022-03-01 10:55:57 +0100 <dminuoso> turlando: Then go with binary/attoparsec and deal with Data.Bits.
2022-03-01 10:56:09 +0100 <turlando> dminuoso: I might need to write files in the order of 50-100MB, so it would be handy to write them back partially
2022-03-01 10:56:15 +0100 <dminuoso> Computers are good at dealing with word-sized data, they are terrible at dealing with bit-sized data.
2022-03-01 10:56:46 +0100 <dminuoso> You can use things like .|., unsafeShiftL/R, testBit
2022-03-01 10:56:55 +0100 <dminuoso> The whole module is of interest to you
2022-03-01 10:57:09 +0100 <turlando> I can tell you Erlang can do it pretty well and efficiently, so for sure it is doable at least
2022-03-01 10:57:26 +0100 <dminuoso> You mean getting the nth bit?
2022-03-01 10:57:33 +0100 <dminuoso> Like I said. testBit
2022-03-01 10:57:38 +0100 <dminuoso> % import Data.Bits
2022-03-01 10:57:38 +0100 <yahb> dminuoso:
2022-03-01 10:57:42 +0100 <dminuoso> % :t testBit
2022-03-01 10:57:42 +0100 <yahb> dminuoso: Bits a => a -> Int -> Bool
2022-03-01 10:57:51 +0100zaquest(~notzaques@5.130.79.72)
2022-03-01 10:58:21 +0100 <dminuoso> Or do you mean a bitstring?
2022-03-01 10:58:27 +0100 <turlando> I mean a bitstring :)
2022-03-01 10:58:45 +0100 <turlando> Trying to find an example in Erlang just for completeness
2022-03-01 10:58:49 +0100 <merijn> Oh, wait
2022-03-01 10:58:55 +0100 <merijn> Have you seen the bit vector thing?
2022-03-01 10:58:59 +0100 <dminuoso> To be fair, erlang is the pet language of telco carriers who do a lot of protocol decoding with it.
2022-03-01 10:59:33 +0100 <merijn> @hackage bit-vector
2022-03-01 10:59:33 +0100 <lambdabot> https://hackage.haskell.org/package/bit-vector
2022-03-01 10:59:46 +0100 <dminuoso> https://hackage.haskell.org/package/bitvec
2022-03-01 11:00:09 +0100 <dminuoso> bitvec seems much more efficient than bit-vector
2022-03-01 11:00:20 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-03-01 11:00:20 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-03-01 11:00:21 +0100 <merijn> ah, wait, yeah bitvec was the one I was looking for
2022-03-01 11:00:47 +0100 <dminuoso> Though, both appear to be using unboxed vectors at least
2022-03-01 11:00:50 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-03-01 11:01:09 +0100 <dminuoso> But bit-vector is even advertised as just a pedagogic package. :)
2022-03-01 11:01:28 +0100kuribas(~user@ptr-25vy0i8or7bys2zu5w9.18120a2.ip6.access.telenet.be)
2022-03-01 11:01:32 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 11:01:33 +0100ubert1(~Thunderbi@ip5b40751a.dynamic.kabel-deutschland.de)
2022-03-01 11:01:37 +0100 <turlando> Will check them, even though I was hoping for an unified solution for serializing and deserializing since handling this kind of binary stuff is not the main point of the stuff I'm trying to do
2022-03-01 11:02:51 +0100 <dminuoso> turlando: bitvec gets you there already.
2022-03-01 11:03:00 +0100 <dminuoso> together with monad of attoparsec/binary
2022-03-01 11:03:27 +0100 <dminuoso> r <- cloneFromByteString <$> buf; ...
2022-03-01 11:03:32 +0100agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
2022-03-01 11:03:52 +0100 <dminuoso> Not entirely sure what more "unified" you want
2022-03-01 11:03:54 +0100 <turlando> dibblego: if I understand correctly this method it implies aligned data structure, which might not be my case, brb checking
2022-03-01 11:03:55 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-03-01 11:04:20 +0100 <turlando> (by aligned I mean, read one byte, handle the single bits with bitvec)
2022-03-01 11:04:32 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
2022-03-01 11:06:14 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:06:14 +0100 <turlando> So yeah, this structure is composed, enumerating the fields size in bits: 16, 16, 24, 24, 20, 3, 5 36, 128
2022-03-01 11:06:20 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:06:56 +0100 <turlando> So I might read byte by byte 16, 16, 24, 34, then read 3+5 as a single byte, then destructure them with bitvec, and so on
2022-03-01 11:07:46 +0100 <turlando> (or just right-shift and xor, without habing another library around)
2022-03-01 11:08:13 +0100 <turlando> s/or/and/
2022-03-01 11:08:39 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-03-01 11:09:12 +0100dminuosowould simply Data.Bits my way out of this
2022-03-01 11:10:01 +0100mastarija(~mastarija@2a05:4f46:e04:6000:243e:7d5b:b412:8e7b)
2022-03-01 11:10:46 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
2022-03-01 11:10:58 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 11:11:17 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
2022-03-01 11:11:25 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
2022-03-01 11:12:29 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
2022-03-01 11:13:14 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 11:15:51 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 250 seconds)
2022-03-01 11:18:01 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds)
2022-03-01 11:21:14 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 260 seconds)
2022-03-01 11:22:22 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2022-03-01 11:23:12 +0100niekvandepas(~niekvande@77.161.122.185)
2022-03-01 11:23:17 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:23:53 +0100Erutuon(~Erutuon@user/erutuon)
2022-03-01 11:26:27 +0100dhruvasagar(~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds)
2022-03-01 11:27:24 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 11:27:32 +0100niekvandepas(~niekvande@77.161.122.185) (Ping timeout: 240 seconds)
2022-03-01 11:27:48 +0100dhruvasagar(~dhruvasag@49.207.194.244)
2022-03-01 11:29:06 +0100mastarija(~mastarija@2a05:4f46:e04:6000:243e:7d5b:b412:8e7b) (Ping timeout: 245 seconds)
2022-03-01 11:32:05 +0100deadmars-(~deadmarsh@95.38.112.78)
2022-03-01 11:32:25 +0100dhruvasagar(~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds)
2022-03-01 11:32:25 +0100deadmarshal_(~deadmarsh@95.38.112.52) (Ping timeout: 256 seconds)
2022-03-01 11:33:17 +0100dhruvasagar(~dhruvasag@49.207.194.244)
2022-03-01 11:33:26 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:33:28 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:35:11 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2022-03-01 11:35:24 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2022-03-01 11:36:15 +0100 <lechner> Hi, should Debian's build system for Haskell packages run ghc with -ignore-dot-ghci ? https://bugs.debian.org/845368
2022-03-01 11:36:31 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 11:37:10 +0100komikat(~komikat@27.57.144.183)
2022-03-01 11:37:47 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 11:37:47 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 11:38:13 +0100dhruvasagar(~dhruvasag@49.207.194.244) (Ping timeout: 272 seconds)
2022-03-01 11:38:50 +0100dhruvasagar(~dhruvasag@49.207.194.244)
2022-03-01 11:41:29 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2022-03-01 11:41:29 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 256 seconds)
2022-03-01 11:43:01 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:43:06 +0100polyphem_(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Quit: WeeChat 3.4)
2022-03-01 11:43:21 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:44:25 +0100Kaiepi(~Kaiepi@156.34.47.253) (Remote host closed the connection)
2022-03-01 11:44:47 +0100Kaiepi(~Kaiepi@156.34.47.253)
2022-03-01 11:46:27 +0100polyphem(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17)
2022-03-01 11:46:31 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-03-01 11:47:42 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 11:47:49 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 11:49:49 +0100dhruvasagar(~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds)
2022-03-01 11:51:23 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2022-03-01 11:51:23 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 11:55:43 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 250 seconds)
2022-03-01 11:55:48 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-01 11:58:08 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:58:48 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-03-01 11:58:54 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 11:59:46 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
2022-03-01 12:00:31 +0100dextaa_(~dextaa@user/dextaa)
2022-03-01 12:00:52 +0100 <turlando> Might be a silly question, but I'm having an hard time trying to convert a ByteString to an Int: what's the best way?
2022-03-01 12:01:31 +0100 <Hecate> ouch
2022-03-01 12:02:26 +0100 <Hecate> turlando: what is happening here? Are you convering a binary payload to an Int? Are you parsing text?
2022-03-01 12:03:55 +0100 <turlando> Yes, it's a binary payload, specifically I'm trying to convert a 24 bits unsigned integer to an Int. I've read those 24 bits into a ByteString
2022-03-01 12:05:23 +0100 <merijn> If you're not using any of the parsec you have to do kinda whacky hacks
2022-03-01 12:05:25 +0100 <Hecate> okay so as you know, a ByteString is a vector of Word8
2022-03-01 12:05:47 +0100 <Hecate> so, since 24/8 = 3 I think you could take the first three Word8 of the bytestring?
2022-03-01 12:06:34 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 12:06:42 +0100 <turlando> Yep, I meant that I have a ByteString as in a [Word8] of size 3, I'd love to present it to the user as an Int
2022-03-01 12:06:43 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 12:07:25 +0100komikat(~komikat@27.57.144.183)
2022-03-01 12:07:45 +0100turlandois a bit ashamed
2022-03-01 12:08:37 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:e55d:32e3:1339:eefc) (Ping timeout: 240 seconds)
2022-03-01 12:08:49 +0100mastarija(~mastarija@2a05:4f46:e04:6000:cbf:170b:f1f8:6cd5)
2022-03-01 12:10:22 +0100 <tomsmeding> ByteString /= [Word8] :p
2022-03-01 12:10:56 +0100 <tomsmeding> toInt24 [a, b, c] = fromIntegral a * 256 * 256 + fromIntegral b * 256 + fromIntegral c :: Int
2022-03-01 12:11:03 +0100 <tomsmeding> if it's in big endian, reverse otherwise :p
2022-03-01 12:11:38 +0100 <tomsmeding> with Data.Bits you can also use (`shiftLeft` 16) in place of (*256*256) but eh
2022-03-01 12:11:43 +0100 <tomsmeding> correction shiftL
2022-03-01 12:12:16 +0100 <Hecate> tomsmeding: it's interesting because the documentation says " A space-efficient representation of a 'Word8' vector"
2022-03-01 12:12:28 +0100 <Hecate> but the datatype refers to a single Word8
2022-03-01 12:12:31 +0100 <tomsmeding> yes, which means it's not the same as a Word8 :p
2022-03-01 12:12:43 +0100 <tomsmeding> wut?
2022-03-01 12:12:47 +0100 <turlando> Thank you tomsmeding, I was writing that myself, I was hoping for something from the stdlib
2022-03-01 12:12:49 +0100 <Hecate> data ByteString = BS {-# UNPACK #-} !(ForeignPtr Word8) -- payload
2022-03-01 12:12:58 +0100 <tomsmeding> heh, Hecate ever programmed C?
2022-03-01 12:13:09 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-01 12:13:10 +0100 <Hecate> tomsmeding: not really
2022-03-01 12:13:15 +0100 <tomsmeding> the second Word8 is (ptr `plusPtr` 1)
2022-03-01 12:13:16 +0100dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-01 12:13:16 +0100 <Hecate> I come from Erlang ;)
2022-03-01 12:13:31 +0100 <tomsmeding> presumably there's a length somewhere too
2022-03-01 12:13:40 +0100 <merijn> ForeignPtr embed length
2022-03-01 12:13:43 +0100 <Hecate> oh, contiguous pointers
2022-03-01 12:14:01 +0100 <Hecate> merijn: ByteString also has a length field of the whole payload
2022-03-01 12:14:07 +0100 <Hecate> tomsmeding: okay I see thanks
2022-03-01 12:14:21 +0100 <merijn> Hecate: No, it's just one pointer to a dense block of Word8. Which is why it's "space efficient", since Word8 is normally a machine word
2022-03-01 12:14:34 +0100 <maerwald> people should use more ShortByteString
2022-03-01 12:14:37 +0100 <merijn> Hecate: Because ByteString's can refer to subsection of the underlying ForeignPtr :)
2022-03-01 12:14:41 +0100 <maerwald> most of the time ByteString is overkill
2022-03-01 12:14:59 +0100 <merijn> Hecate: That's also why it has an offset
2022-03-01 12:15:01 +0100 <tomsmeding> I guess people are scared their strings are too long to be Short
2022-03-01 12:15:18 +0100 <merijn> tomsmeding: More crucially, ByteString is pinned and safe to use with C code
2022-03-01 12:15:19 +0100 <maerwald> tomsmeding: well, ShortByteString is maybe not a correct naming
2022-03-01 12:15:24 +0100 <merijn> tomsmeding: ShortByteString is not pinned
2022-03-01 12:15:25 +0100 <maerwald> it's more about pinned vs unpinned
2022-03-01 12:15:35 +0100 <tomsmeding> merijn: I know, but the name doesn't quite make that clear
2022-03-01 12:15:57 +0100 <tomsmeding> just trying to find a reason why people would not use a thing :p
2022-03-01 12:16:06 +0100 <merijn> tbh, we should make a new package "bytes" that re-exports everything from ByteString, except the type and instead uses an alias "Bytes"
2022-03-01 12:16:08 +0100 <maerwald> well, if you have very large ShortByteStrings, some operations will be slow, because most of them incure memcpy
2022-03-01 12:16:24 +0100 <merijn> and deprecate ByteString :p
2022-03-01 12:17:25 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 12:17:47 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-03-01 12:17:49 +0100bjourne(~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5) (Ping timeout: 250 seconds)
2022-03-01 12:17:57 +0100fendor_(~fendor@178.165.161.199.wireless.dyn.drei.com)
2022-03-01 12:18:26 +0100komikat(~komikat@27.57.144.183)
2022-03-01 12:18:27 +0100Vajb(~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314)
2022-03-01 12:19:22 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-03-01 12:20:12 +0100fendor(~fendor@77.119.204.89.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2022-03-01 12:20:36 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 12:21:08 +0100dhruvasagar(~dhruvasag@49.207.194.244)
2022-03-01 12:21:17 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 12:21:17 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 12:21:27 +0100 <maerwald> is there a general pattern with e.g. lens to descend into nested Maps and run a function at the innermost map with all outer keys available?
2022-03-01 12:21:51 +0100 <maerwald> right now I just have 3 nested forM, just wondering if there's something else
2022-03-01 12:23:07 +0100komikat(~komikat@27.57.144.183) (Ping timeout: 256 seconds)
2022-03-01 12:23:41 +0100komikat(~komikat@27.57.144.183)
2022-03-01 12:25:17 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 12:27:48 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 12:28:10 +0100dhruvasagar(~dhruvasag@49.207.194.244) (Ping timeout: 268 seconds)
2022-03-01 12:31:48 +0100ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
2022-03-01 12:32:41 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
2022-03-01 12:34:10 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 12:34:11 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 12:39:02 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2022-03-01 12:39:38 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-03-01 12:39:53 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-01 12:40:06 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-03-01 12:42:05 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 12:42:57 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 256 seconds)
2022-03-01 12:43:23 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-03-01 12:47:15 +0100mastarija(~mastarija@2a05:4f46:e04:6000:cbf:170b:f1f8:6cd5) (Ping timeout: 256 seconds)
2022-03-01 12:48:41 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-03-01 12:49:08 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 12:49:08 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 12:49:11 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-01 12:51:24 +0100 <idnar> % itoListOf (ifolded <.> ifolded) (Map.fromList [('a',Map.fromList [(42,Map.fromList [])])])
2022-03-01 12:51:24 +0100 <yahb> idnar: ; <interactive>:12:34: error:; Not in scope: `Map.fromList'; Perhaps you meant one of these: `M.fromList' (imported from Data.Map), `Seq.fromList' (imported from Data.Sequence), `IS.fromList' (imported from Data.IntSet); No module named `Map' is imported.; <interactive>:12:53: error:; Not in scope: `Map.fromList'; Perhaps you meant one of these: `M.fromList' (imported from Data.Map),
2022-03-01 12:52:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-01 12:52:27 +0100 <idnar> % itoListOf (ifolded <.> ifolded) (M.fromList [('a',M.fromList [(42,M.fromList [])])])
2022-03-01 12:52:28 +0100 <yahb> idnar: [(('a',42),fromList [])]
2022-03-01 12:53:27 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 12:54:03 +0100 <idnar> maerwald: ^ like so?
2022-03-01 12:54:44 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-03-01 12:55:45 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-01 12:55:50 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-03-01 12:56:19 +0100alMalsamolumberjack123
2022-03-01 12:56:44 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 12:57:48 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 12:58:50 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
2022-03-01 13:00:04 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-01 13:00:07 +0100lumberjack(~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection)
2022-03-01 13:00:18 +0100lumberjack(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-01 13:00:45 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 13:02:36 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 13:06:03 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 13:10:31 +0100dhruvasagar(~dhruvasag@49.207.194.244)
2022-03-01 13:13:26 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
2022-03-01 13:14:00 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2022-03-01 13:15:34 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-03-01 13:15:45 +0100dhruvasagar(~dhruvasag@49.207.194.244) (Ping timeout: 272 seconds)
2022-03-01 13:16:11 +0100dhruvasagar(~dhruvasag@49.207.194.244)
2022-03-01 13:17:37 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 240 seconds)
2022-03-01 13:18:43 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:a14b:acb1:9879:1652)
2022-03-01 13:19:47 +0100Techcable(~Techcable@168.235.93.147)
2022-03-01 13:20:42 +0100bjourne(~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5)
2022-03-01 13:20:55 +0100dhruvasagar(~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds)
2022-03-01 13:21:48 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-01 13:22:25 +0100ardell(~ardell@user/ardell)
2022-03-01 13:22:45 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-03-01 13:27:31 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net)
2022-03-01 13:29:13 +0100yauhsien_(~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net)
2022-03-01 13:32:17 +0100yauhsienhuangtw(~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-01 13:33:12 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-01 13:33:25 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-01 13:34:06 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2022-03-01 13:39:23 +0100bjourne(~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5) (Ping timeout: 256 seconds)
2022-03-01 13:40:29 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 13:40:36 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 13:41:47 +0100Kevin578_(~Kevin578@188.126.94.119)
2022-03-01 13:42:24 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 13:42:26 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 13:45:01 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-01 13:46:48 +0100bahamas(~lucian@84.232.140.52)
2022-03-01 13:46:59 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 13:47:22 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 13:47:25 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 13:47:58 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-03-01 13:49:09 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-01 13:50:46 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
2022-03-01 13:50:54 +0100hseg(~hseg@195.192.226.33)
2022-03-01 13:51:51 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 272 seconds)
2022-03-01 13:52:28 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.4)
2022-03-01 13:52:48 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 13:52:49 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 13:54:04 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-03-01 13:55:17 +0100hseg(~hseg@195.192.226.33) ()
2022-03-01 13:57:45 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-03-01 13:58:18 +0100swistak(~swistak@185.21.216.141) (Quit: bye bye)
2022-03-01 13:58:45 +0100swistak(~swistak@185.21.216.141)
2022-03-01 14:03:54 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-01 14:04:02 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 14:07:41 +0100Kevin578_(~Kevin578@188.126.94.119) (Ping timeout: 272 seconds)
2022-03-01 14:07:50 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 260 seconds)
2022-03-01 14:14:36 +0100yauhsien_yauhsien
2022-03-01 14:15:29 +0100alfonsox(~quassel@103.87.57.104) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-03-01 14:27:02 +0100justAstache(~justache@user/justache) (Read error: Connection reset by peer)
2022-03-01 14:27:37 +0100jespada(~jespada@185.69.145.16) (Read error: Connection reset by peer)
2022-03-01 14:28:00 +0100justAstache(~justache@user/justache)
2022-03-01 14:33:58 +0100hueso_(~root@user/hueso) (Ping timeout: 268 seconds)
2022-03-01 14:34:54 +0100vorpuni(~pvorp@2001:861:3881:c690:ea9e:d5fd:3f85:b044)
2022-03-01 14:35:11 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-03-01 14:36:35 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 14:36:35 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 14:36:52 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 14:37:07 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-03-01 14:39:14 +0100 <shapr> Is there a way to convert nested Maps to equal sized tuples? That would need some way to extend a tuple like a list, right?
2022-03-01 14:41:15 +0100bahamas(~lucian@84.232.140.52)
2022-03-01 14:41:31 +0100cfricke(~cfricke@user/cfricke)
2022-03-01 14:43:13 +0100 <kuribas> In idris multi-ary tuples are nested.
2022-03-01 14:43:15 +0100Midjak(~Midjak@82.66.147.146)
2022-03-01 14:43:44 +0100 <kuribas> But I think you want the other way: \(x, (y, z)) -> (((x, y), z)
2022-03-01 14:44:34 +0100 <kuribas> convert to list, swap elems, then convert back.
2022-03-01 14:45:23 +0100yauhsien_(~yauhsien@61-231-37-5.dynamic-ip.hinet.net)
2022-03-01 14:46:20 +0100shaprthinks about that
2022-03-01 14:46:28 +0100 <shapr> hm, yeah
2022-03-01 14:46:50 +0100 <kuribas> Not swap, rearrange.
2022-03-01 14:48:13 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 240 seconds)
2022-03-01 14:48:58 +0100 <shapr> that makes sense because the new 'key' is (x,y)
2022-03-01 14:49:42 +0100yauhsien_(~yauhsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-01 14:50:36 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2022-03-01 14:50:57 +0100yahb(xsbot@user/mniip/bot/yahb) (Ping timeout: 240 seconds)
2022-03-01 14:51:18 +0100hueso(~root@user/hueso)
2022-03-01 14:52:54 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-03-01 14:53:12 +0100ardell(~ardell@user/ardell) (Ping timeout: 250 seconds)
2022-03-01 14:55:02 +0100methylene[m](~methylene@2001:470:69fc:105::1:ccc0)
2022-03-01 14:55:33 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2022-03-01 14:56:42 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
2022-03-01 14:56:44 +0100Kaiepi(~Kaiepi@156.34.47.253) (Remote host closed the connection)
2022-03-01 14:57:00 +0100Kaiepi(~Kaiepi@156.34.47.253)
2022-03-01 14:57:13 +0100dhruvasagar(~dhruvasag@49.207.194.244)
2022-03-01 14:57:25 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-01 14:57:49 +0100hueso(~root@user/hueso) (Ping timeout: 256 seconds)
2022-03-01 14:58:21 +0100mniip(mniip@libera/staff/mniip) (Ping timeout: 604 seconds)
2022-03-01 14:59:30 +0100blacked(~blacked@user/blacked)
2022-03-01 14:59:37 +0100 <blacked> oh tail recursion
2022-03-01 14:59:42 +0100 <blacked> oh monad
2022-03-01 14:59:48 +0100 <blacked> oh monad oh monad
2022-03-01 14:59:52 +0100ardell(~ardell@user/ardell)
2022-03-01 14:59:56 +0100 <blacked> it should be mantra of haskellers
2022-03-01 15:00:00 +0100 <blacked> :)
2022-03-01 15:00:17 +0100niekvandepas(~niekvande@77.161.122.185)
2022-03-01 15:00:18 +0100niekvand1pas(~niekvande@77.161.122.185)
2022-03-01 15:03:19 +0100ardell(~ardell@user/ardell) (Client Quit)
2022-03-01 15:04:32 +0100niekvand1pas(~niekvande@77.161.122.185) (Ping timeout: 240 seconds)
2022-03-01 15:04:32 +0100niekvandepas(~niekvande@77.161.122.185) (Ping timeout: 240 seconds)
2022-03-01 15:06:29 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-03-01 15:07:46 +0100hueso(~root@user/hueso)
2022-03-01 15:10:46 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 15:12:00 +0100rembo10(~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-01 15:12:35 +0100kenran(~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de) (Quit: WeeChat info:version)
2022-03-01 15:12:46 +0100komikat(~komikat@27.57.144.183)
2022-03-01 15:13:52 +0100 <Logio> "Oh monoid in the category of endofunctors" would have more liturgical gravitas
2022-03-01 15:14:39 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-01 15:14:54 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
2022-03-01 15:15:00 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 15:17:02 +0100komikat(~komikat@27.57.144.183) (Ping timeout: 240 seconds)
2022-03-01 15:17:15 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-03-01 15:18:23 +0100 <blacked> Lord_of_Life :)
2022-03-01 15:18:29 +0100blackedmonad
2022-03-01 15:18:33 +0100 <monad> ah
2022-03-01 15:18:35 +0100 <monad> hehe
2022-03-01 15:18:39 +0100 <monad> ok lets chant
2022-03-01 15:18:45 +0100 <monad> "monad......"
2022-03-01 15:19:00 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 240 seconds)
2022-03-01 15:20:24 +0100rembo10(~rembo10@2a01:4f9:c010:b5b9::1)
2022-03-01 15:24:36 +0100jespada(~jespada@185.69.145.16)
2022-03-01 15:25:00 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-03-01 15:26:52 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-01 15:30:19 +0100justAstache(~justache@user/justache) (Read error: Connection reset by peer)
2022-03-01 15:30:34 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 15:30:35 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 15:31:17 +0100justAstache(~justache@user/justache)
2022-03-01 15:34:54 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-03-01 15:35:02 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-03-01 15:36:09 +0100monadblacked
2022-03-01 15:36:36 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-03-01 15:43:20 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-01 15:43:43 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2022-03-01 15:46:04 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 15:46:30 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 15:49:57 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-01 15:51:33 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 15:51:33 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 15:55:03 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 15:56:37 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 15:56:42 +0100 <ProfSimm> Is it fair to say Haskell is a wave function that only collapses when we observe it :P
2022-03-01 15:56:54 +0100 <geekosaur> o.O
2022-03-01 15:57:09 +0100 <ProfSimm> Well, no expression gets evaluated until it gets observed
2022-03-01 15:57:14 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 15:58:20 +0100xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de)
2022-03-01 16:02:15 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:02:19 +0100 <geekosaur> that's not entirely true or no Haskell program would ever do anything :)
2022-03-01 16:02:46 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:03:32 +0100 <ProfSimm> geekosaur: I don't know. Isn't it true.
2022-03-01 16:05:09 +0100 <janus> ProfSimm: depends on whether you count the RTS as observing the unit from main or not, i guess?
2022-03-01 16:05:10 +0100 <geekosaur> the runtime specifically forces evaluation of `main` (which is one reason we have a designated entry point instead of just falling through the source like perl or python) to kick things off
2022-03-01 16:05:15 +0100 <ProfSimm> geekosaur: a program runs when you execute it, you give it the impulse to execute, it doesn't do anything on its own
2022-03-01 16:05:34 +0100 <ProfSimm> geekosaur: Haskell extends this a bit.
2022-03-01 16:06:37 +0100stef204(~stef204@user/stef204)
2022-03-01 16:06:41 +0100stef204(~stef204@user/stef204) (Client Quit)
2022-03-01 16:07:01 +0100 <janus> hmmm i wonder what will happen if i make main return a fake unit though unsafeCoerce... hehe
2022-03-01 16:07:09 +0100 <ProfSimm> In Haskell, when you assign x = 5 + 5, you assign the expression 5 + 5, not 10
2022-03-01 16:07:58 +0100 <ProfSimm> It's like an AST avalanche that collapses when you need a result for a side-effect, like output to stdout
2022-03-01 16:07:58 +0100 <merijn> There's not really anything like assignment. And also, what you're saying is all basically unspecified
2022-03-01 16:08:16 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
2022-03-01 16:08:27 +0100 <ProfSimm> merijn: I can accept that
2022-03-01 16:08:41 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
2022-03-01 16:09:13 +0100 <merijn> Nothing stops a Haskell implementation from replacing "5 + 5" with "10" at compile time
2022-03-01 16:09:31 +0100 <janus> hmm does unit even have a runtime footprint? it wouldn't need one. or maybe it would because of Typeable?
2022-03-01 16:10:25 +0100 <ProfSimm> merijn: well true but in an ideal sense Haskell evals lazily
2022-03-01 16:10:26 +0100 <geekosaur> if you care about implementation, there's a thing called an info table
2022-03-01 16:10:45 +0100 <ProfSimm> merijn: code kinda depends on that doesn't it
2022-03-01 16:10:48 +0100 <janus> geekosaur: what does the info constitute?
2022-03-01 16:10:55 +0100 <merijn> ProfSimm: No, Haskell's evaluation isn't specified beyond "non-strict"
2022-03-01 16:11:14 +0100 <merijn> this is the key pedantic point about people saying Haskell is non-strict vs saying haskell is lazy
2022-03-01 16:11:28 +0100 <ProfSimm> merijn: if you make an infinite list of numbers you kinda rely on it evaluating lazily no
2022-03-01 16:11:52 +0100 <merijn> ProfSimm: Non-strict just means "if it would work when lazy, it has to work". It does *not* mean/require everything is lazy
2022-03-01 16:11:58 +0100 <geekosaur> https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/storage/heap-objects#info-tables
2022-03-01 16:12:10 +0100 <merijn> Compilers are allowed (and do!) make things strict when it doesn't affect behaviour
2022-03-01 16:12:24 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-03-01 16:12:31 +0100 <geekosaur> it's an internal detail of how ghc works
2022-03-01 16:15:10 +0100 <ProfSimm> I wonder what would we tweak about Haskell's execution model if we wanted to optionally permit mutable variables.
2022-03-01 16:15:36 +0100 <ProfSimm> We'd need to explicitly state where we "force" results. Vs where they stay non-strict
2022-03-01 16:16:15 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-01 16:16:33 +0100 <merijn> Haskell doesn't have an execution model, that's my point :)
2022-03-01 16:16:41 +0100 <ProfSimm> Well it'd need one
2022-03-01 16:16:45 +0100 <ProfSimm> If we have mutable vars
2022-03-01 16:17:29 +0100 <geekosaur> atre we talking about "Haskell", or about GHC?
2022-03-01 16:17:31 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2022-03-01 16:17:41 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-03-01 16:18:23 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 16:19:54 +0100notzmv(~zmv@user/notzmv)
2022-03-01 16:20:35 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:20:36 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 16:20:39 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:20:44 +0100 <ProfSimm> geekosaur: since it changes the explicit semantics of the language, I'd say either
2022-03-01 16:21:07 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds)
2022-03-01 16:22:04 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-03-01 16:25:02 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-03-01 16:25:15 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 16:25:24 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 252 seconds)
2022-03-01 16:27:05 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-03-01 16:27:58 +0100stef204(~stef204@user/stef204)
2022-03-01 16:29:55 +0100 <geekosaur> one of the things about Haskell is it has no defined semantics; those are left to the implementation. ghc, hugs, and jhc (among others) have different semantics
2022-03-01 16:30:24 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
2022-03-01 16:30:27 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-03-01 16:30:29 +0100 <geekosaur> (also, which semantics? I seem to recall a lot of complaining that haskell has no… denotational semantics, iirc?)
2022-03-01 16:30:39 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:31:05 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:31:09 +0100Sgeo(~Sgeo@user/sgeo)
2022-03-01 16:31:46 +0100 <geekosaur> I'dalso note that ghc has several ways to "force" results: unboxed values, `!`, etc.
2022-03-01 16:32:17 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 16:33:55 +0100 <kuribas> ProfSimm: "If we have mutable varsIf we have mutable vars" <= if you need order of evaluation, that is exactly what IO gives.
2022-03-01 16:35:04 +0100 <geekosaur> janus, re `fake unit`, you'll note that Haskell actually specifies `main :: IO a`, therefore it must throw out the actual result value
2022-03-01 16:35:10 +0100 <merijn> geekosaur: wait, what? Haskell has defined semantics
2022-03-01 16:35:18 +0100 <merijn> Not a proper denotational semantics
2022-03-01 16:35:18 +0100dsrt^(~dsrt@12.163.216.98) (Remote host closed the connection)
2022-03-01 16:35:29 +0100 <merijn> But the report *obviously* specifies the semantics of expressions
2022-03-01 16:35:42 +0100 <merijn> It does not have any *operational* semantics
2022-03-01 16:35:50 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-03-01 16:35:58 +0100 <merijn> i.e. how the specified behaviour is implemented is entirely unspecified
2022-03-01 16:36:00 +0100 <ProfSimm> kuribas: not quite. I wanna integrate this into haskell itself.
2022-03-01 16:36:13 +0100 <merijn> ProfSimm: IO *is* haskell
2022-03-01 16:36:20 +0100 <ProfSimm> Yeah yeah.
2022-03-01 16:36:31 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 16:36:36 +0100 <ProfSimm> I wanna increment a binding, from 10 to 11 how about that ;-)
2022-03-01 16:36:37 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 16:36:43 +0100 <janus> geekosaur: oh, how deep is it evaluated then? can i make main return an infinite list?
2022-03-01 16:37:12 +0100 <geekosaur> you can make it produce anything you want. it can't evaluate it since it can't know what `a` you chose
2022-03-01 16:37:21 +0100comerijn(~merijn@c-001-001-019.client.esciencecenter.eduvpn.nl)
2022-03-01 16:37:28 +0100joegard(~joegard@18.141-0-76.customer.lyse.net)
2022-03-01 16:37:34 +0100 <kuribas> ProfSimm: mutable variables outside of IO sound like a disaster to happen. Not you can already do it with unsafePerformIO.
2022-03-01 16:37:41 +0100 <janus> whoh, i could have "main :: IO Void" hahaha
2022-03-01 16:37:52 +0100 <joegard> Hey, hello everyone!
2022-03-01 16:38:57 +0100 <shapr> hi joe!
2022-03-01 16:39:01 +0100rtsn(~nstr@user/rtsn) (Ping timeout: 240 seconds)
2022-03-01 16:39:01 +0100 <shapr> How you doin?
2022-03-01 16:39:05 +0100 <shapr> writing any cool code?
2022-03-01 16:39:18 +0100 <ProfSimm> kuribas: they're a disaster because the language relies on them not being avail. Hence me asking what should we do to Haskell if we wanted that.
2022-03-01 16:39:59 +0100 <shapr> joegard: har du nån fragor?
2022-03-01 16:40:14 +0100comerijn_(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-01 16:40:27 +0100 <kuribas> ProfSimm: No, because lazyness and side-effects don't work well together.
2022-03-01 16:40:41 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-01 16:40:41 +0100Vajb(~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer)
2022-03-01 16:40:51 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-01 16:40:56 +0100 <kuribas> "if we wanted that" => use a strict mutable FP language, like ocaml.
2022-03-01 16:41:08 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:41:09 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:41:16 +0100 <kuribas> or SML or scala.
2022-03-01 16:41:21 +0100 <kuribas> well... maybe not scala :)
2022-03-01 16:43:17 +0100blackedgets blacked
2022-03-01 16:43:21 +0100 <blacked> haha
2022-03-01 16:43:28 +0100 <geekosaur> ProfSimm, as kuribas said, what you do to the language is make it strict instead iof lazy
2022-03-01 16:43:32 +0100comerijn(~merijn@c-001-001-019.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-03-01 16:43:51 +0100 <geekosaur> you can play with unsafePerformIO to fdind out what mutability does in the presence of laziness
2022-03-01 16:44:03 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-01 16:44:11 +0100 <geekosaur> hint: it's "unsafe" for a reason
2022-03-01 16:44:36 +0100blackeduses emacs
2022-03-01 16:45:47 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 16:45:51 +0100 <geekosaur> actually inlinePerformIO (aka accursedUnutterablePerformIO) is an even better example of what goes wrong; unsafePerformIO actually still has some safeties around it
2022-03-01 16:46:17 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-01 16:46:55 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 16:47:07 +0100blackedsays what is monad guys?
2022-03-01 16:48:26 +0100__monty__(~toonn@user/toonn)
2022-03-01 16:49:00 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net)
2022-03-01 16:51:32 +0100 <joegard> Yeah, I recently found out a library called Polysemy, some people recommended it.
2022-03-01 16:51:42 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 16:52:12 +0100 <joegard> is anyone here familiar with that?
2022-03-01 16:52:44 +0100 <joegard> I want to try to code something, but I don't really see the uses, any thoughts?
2022-03-01 16:53:37 +0100 <geekosaur> not enormously familiar, but it's a semantic effects library (an alternative to mtl)
2022-03-01 16:54:41 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-03-01 16:55:03 +0100 <Hecate> joegard: I know Polysemy, but I'd like to know what's your profficiency in Haskell first
2022-03-01 16:56:00 +0100blacked:)
2022-03-01 16:56:57 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 16:57:32 +0100mmalter(~mmalter@88.126.10.237)
2022-03-01 16:57:51 +0100 <joegard> I've been reading Haskell code, but just that. Which means, I understand the main ideas BUT haven't actually sat down and code.
2022-03-01 16:58:48 +0100ChanServ+q *!*@user/blacked
2022-03-01 16:59:12 +0100blacked(~blacked@user/blacked) ()
2022-03-01 17:00:07 +0100ChanServ-q *!*@user/blacked
2022-03-01 17:02:00 +0100mastarija(~mastarija@188.252.198.63)
2022-03-01 17:02:38 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 17:02:49 +0100shapr`(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-01 17:03:12 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 17:03:56 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2022-03-01 17:06:05 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 17:06:38 +0100zebrag(~chris@user/zebrag)
2022-03-01 17:07:01 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 17:07:23 +0100vysn(~vysn@user/vysn)
2022-03-01 17:08:10 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 17:10:12 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 17:11:41 +0100comerijn_merijn
2022-03-01 17:13:01 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-03-01 17:13:07 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 17:13:11 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 17:14:12 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 17:15:14 +0100joegard(~joegard@18.141-0-76.customer.lyse.net) (Quit: Client closed)
2022-03-01 17:15:17 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-03-01 17:15:38 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 17:16:07 +0100 <__monty__> Polysemy is definitely diving in at the deep end.
2022-03-01 17:16:15 +0100rtsn(~nstr@h-98-128-229-174.NA.cust.bahnhof.se)
2022-03-01 17:16:30 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
2022-03-01 17:17:24 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 17:17:26 +0100shapr`shapr
2022-03-01 17:17:47 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 17:18:41 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 256 seconds)
2022-03-01 17:20:12 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-03-01 17:21:02 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 260 seconds)
2022-03-01 17:21:30 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
2022-03-01 17:24:01 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-03-01 17:25:47 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:a14b:acb1:9879:1652) (Quit: WeeChat 2.8)
2022-03-01 17:25:48 +0100jinsun(~jinsun@user/jinsun) (Ping timeout: 240 seconds)
2022-03-01 17:28:10 +0100jinsun(~jinsun@user/jinsun)
2022-03-01 17:29:57 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 17:30:30 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-01 17:30:49 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-01 17:32:00 +0100ec(~ec@gateway/tor-sasl/ec)
2022-03-01 17:34:34 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-03-01 17:37:16 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2022-03-01 17:37:24 +0100chexum_(~quassel@gateway/tor-sasl/chexum)
2022-03-01 17:37:26 +0100AWizzArd(~code@user/awizzard) (Ping timeout: 252 seconds)
2022-03-01 17:37:59 +0100AWizzArd(~code@gehrels.uberspace.de)
2022-03-01 17:38:58 +0100fendor_fendor
2022-03-01 17:40:03 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 17:41:26 +0100notzmv(~zmv@user/notzmv)
2022-03-01 17:44:43 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 17:48:40 +0100wombat875(~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net)
2022-03-01 17:48:50 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 17:50:04 +0100tomku(~tomku@user/tomku) (Ping timeout: 268 seconds)
2022-03-01 17:50:17 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 3.4)
2022-03-01 17:51:42 +0100tomku(~tomku@user/tomku)
2022-03-01 17:53:23 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds)
2022-03-01 17:53:53 +0100bahamas(~lucian@84.232.140.52)
2022-03-01 17:53:58 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2022-03-01 17:55:55 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-01 17:56:13 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-01 17:58:58 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
2022-03-01 18:03:35 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 18:03:50 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-01 18:04:11 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 18:06:11 +0100coot(~coot@213.134.190.95)
2022-03-01 18:07:42 +0100vysn(~vysn@user/vysn) (Ping timeout: 252 seconds)
2022-03-01 18:08:21 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 18:08:31 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 18:08:51 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-03-01 18:08:56 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-01 18:09:31 +0100ubert1(~Thunderbi@ip5b40751a.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2022-03-01 18:09:57 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Quit: mikoto-chan)
2022-03-01 18:10:23 +0100[_][itchyjunk]
2022-03-01 18:12:39 +0100thaumavorio(~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-01 18:13:09 +0100mbuf(~Shakthi@223.184.53.123) (Quit: Leaving)
2022-03-01 18:13:21 +0100thaumavorio(~thaumavor@thaumavor.io)
2022-03-01 18:14:20 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 18:16:23 +0100k8yun(~k8yun@user/k8yun)
2022-03-01 18:17:18 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-01 18:17:31 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-01 18:18:28 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection)
2022-03-01 18:19:24 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-03-01 18:20:23 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 18:21:16 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-01 18:24:57 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 18:25:18 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
2022-03-01 18:25:38 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-01 18:28:06 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-01 18:28:19 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-01 18:28:23 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 256 seconds)
2022-03-01 18:30:12 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 18:31:08 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 18:31:24 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-01 18:34:23 +0100bahamas(~lucian@84.232.140.52)
2022-03-01 18:34:31 +0100Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-03-01 18:34:49 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-01 18:35:08 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-01 18:35:59 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 18:36:13 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 18:40:09 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-03-01 18:41:10 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-03-01 18:41:28 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 18:41:46 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 18:43:44 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 18:43:57 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-01 18:46:11 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 18:46:11 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 18:49:00 +0100Akiva(~Akiva@user/Akiva)
2022-03-01 18:51:13 +0100wombat875(~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev)
2022-03-01 18:51:37 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 18:52:46 +0100econo(uid147250@user/econo)
2022-03-01 18:53:42 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 18:54:35 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-03-01 18:56:18 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 18:56:41 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-01 18:58:17 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds)
2022-03-01 19:00:28 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 19:00:32 +0100emf(~emf@2620:10d:c090:400::5:d9eb)
2022-03-01 19:01:24 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 19:02:03 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 19:05:50 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-03-01 19:06:36 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 19:16:57 +0100chele(~chele@user/chele) (Remote host closed the connection)
2022-03-01 19:17:14 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 19:17:24 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-01 19:20:06 +0100alp(~alp@user/alp) (Remote host closed the connection)
2022-03-01 19:20:26 +0100alp(~alp@user/alp)
2022-03-01 19:21:12 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
2022-03-01 19:22:46 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 19:26:24 +0100Guest16(~Guest16@200116b8663ca8002868c744e04e463d.dip.versatel-1u1.de)
2022-03-01 19:26:24 +0100 <Guest16> why
2022-03-01 19:26:27 +0100neurocyte0917090(~neurocyte@user/neurocyte)
2022-03-01 19:27:13 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 19:27:31 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-03-01 19:28:22 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-01 19:32:25 +0100spacenautx(~spacenaut@user/spacenautx)
2022-03-01 19:32:36 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-03-01 19:33:51 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2022-03-01 19:34:06 +0100Guest16(~Guest16@200116b8663ca8002868c744e04e463d.dip.versatel-1u1.de) (Quit: Client closed)
2022-03-01 19:34:12 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-01 19:35:34 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-03-01 19:37:39 +0100xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2022-03-01 19:37:57 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-01 19:37:57 +0100moet(~moet@mobile-166-137-177-061.mycingular.net)
2022-03-01 19:38:10 +0100xkuru(~xkuru@user/xkuru)
2022-03-01 19:38:49 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 19:39:09 +0100xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de)
2022-03-01 19:42:53 +0100joegard(~joegard@18.141-0-76.customer.lyse.net)
2022-03-01 19:47:23 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 19:47:45 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 19:48:31 +0100xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2022-03-01 19:50:32 +0100xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de)
2022-03-01 19:51:55 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 19:52:29 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 19:55:11 +0100komikat(~komikat@27.57.144.183)
2022-03-01 19:55:12 +0100Psybur(~Psybur@mobile-166-170-32-247.mycingular.net) (Remote host closed the connection)
2022-03-01 19:56:29 +0100jtomas(~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 268 seconds)
2022-03-01 19:56:36 +0100fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-03-01 20:00:40 +0100joegard(~joegard@18.141-0-76.customer.lyse.net) (Quit: Client closed)
2022-03-01 20:01:40 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 20:01:49 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-03-01 20:02:26 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-03-01 20:04:18 +0100wingsorc(~wingsorc@user/wingsorc) (Quit: Leaving)
2022-03-01 20:07:31 +0100wombat875(~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net)
2022-03-01 20:08:01 +0100mastarija(~mastarija@188.252.198.63) (Quit: Leaving)
2022-03-01 20:08:40 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 20:08:49 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 20:10:29 +0100MajorBiscuit(~MajorBisc@c-001-025-058.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4)
2022-03-01 20:12:19 +0100deadmars-(~deadmarsh@95.38.112.78) (Ping timeout: 256 seconds)
2022-03-01 20:12:51 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
2022-03-01 20:13:16 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
2022-03-01 20:15:46 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-01 20:15:46 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2022-03-01 20:18:01 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net)
2022-03-01 20:25:47 +0100justAstache(~justache@user/justache) (Ping timeout: 272 seconds)
2022-03-01 20:28:19 +0100Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2022-03-01 20:29:32 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-01 20:30:10 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection)
2022-03-01 20:31:03 +0100Inst[m](~instrmatr@2001:470:69fc:105::1:903e) ()
2022-03-01 20:31:49 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 20:32:26 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 20:34:30 +0100moet(~moet@mobile-166-137-177-061.mycingular.net) (Quit: leaving)
2022-03-01 20:39:31 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 20:40:25 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 20:41:09 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection)
2022-03-01 20:42:08 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 20:44:22 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 20:46:05 +0100deadmarshal_(~deadmarsh@95.38.112.78)
2022-03-01 20:46:32 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-03-01 20:47:58 +0100kuribas(~user@ptr-25vy0i8or7bys2zu5w9.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-03-01 20:49:00 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-03-01 20:49:27 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-01 20:49:33 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 20:51:03 +0100alp(~alp@user/alp) (Ping timeout: 252 seconds)
2022-03-01 20:51:07 +0100deadmarshal_(~deadmarsh@95.38.112.78) (Ping timeout: 272 seconds)
2022-03-01 20:51:32 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2022-03-01 20:51:38 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-03-01 20:54:13 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 20:54:24 +0100Lord_of_Life_Lord_of_Life
2022-03-01 20:55:00 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 20:58:11 +0100jinsun__(~jinsun@user/jinsun)
2022-03-01 20:58:12 +0100Sgeo_(~Sgeo@user/sgeo)
2022-03-01 20:58:17 +0100qhong_(~qhong@rescomp-21-400677.stanford.edu)
2022-03-01 20:58:24 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4)
2022-03-01 20:59:54 +0100justAstache(~justache@user/justache)
2022-03-01 20:59:54 +0100sajith(~sajith@user/sajith) (Ping timeout: 260 seconds)
2022-03-01 21:00:40 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-03-01 21:00:55 +0100sajith(~sajith@user/sajith)
2022-03-01 21:01:11 +0100qhong(~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 245 seconds)
2022-03-01 21:01:18 +0100jinsun(~jinsun@user/jinsun) (Ping timeout: 260 seconds)
2022-03-01 21:02:36 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2022-03-01 21:03:06 +0100komikat(~komikat@27.57.144.183)
2022-03-01 21:04:01 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 21:04:23 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-01 21:04:45 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
2022-03-01 21:05:03 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2022-03-01 21:05:25 +0100fendor(~fendor@178.165.161.199.wireless.dyn.drei.com) (Remote host closed the connection)
2022-03-01 21:05:34 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 21:06:40 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
2022-03-01 21:07:05 +0100cynomys(~cynomys@user/cynomys)
2022-03-01 21:08:33 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
2022-03-01 21:09:19 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 21:09:23 +0100flupe(~baboum@radon.sbi.re) (Read error: Connection reset by peer)
2022-03-01 21:09:32 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net)
2022-03-01 21:09:38 +0100flupe(~baboum@radon.sbi.re)
2022-03-01 21:10:01 +0100neurocyte0917090(~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2022-03-01 21:11:15 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 250 seconds)
2022-03-01 21:11:41 +0100earthy(~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (Ping timeout: 250 seconds)
2022-03-01 21:11:56 +0100Ferdirand(~somebody@2001:4c78:2012:5000::2) (Ping timeout: 252 seconds)
2022-03-01 21:12:31 +0100alp(~alp@user/alp)
2022-03-01 21:12:54 +0100neurocyte0917090(~neurocyte@IP-212232094231.dynamic.medianet-world.de)
2022-03-01 21:12:54 +0100neurocyte0917090(~neurocyte@IP-212232094231.dynamic.medianet-world.de) (Changing host)
2022-03-01 21:12:54 +0100neurocyte0917090(~neurocyte@user/neurocyte)
2022-03-01 21:16:21 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
2022-03-01 21:17:18 +0100agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection)
2022-03-01 21:18:00 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-03-01 21:19:08 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 21:19:48 +0100Ferdirand(~somebody@2001:4c78:2012:5000::2)
2022-03-01 21:20:55 +0100 <ProfSimm> Say I have a function like Int -> Int -> Int but also has overload Int -> Int, how would I differentiate partial application of the first, vs full application of the second
2022-03-01 21:21:59 +0100piele(~piele@tbonesteak.creativeserver.net) (Remote host closed the connection)
2022-03-01 21:22:39 +0100Erutuon(~Erutuon@user/erutuon)
2022-03-01 21:23:00 +0100 <lyxia> the only way seems to be to look at the expected return type
2022-03-01 21:23:11 +0100 <lyxia> but it's also not clear why you absolutely want to do that
2022-03-01 21:23:11 +0100piele(~piele@tbonesteak.creativeserver.net)
2022-03-01 21:23:23 +0100simeon(~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
2022-03-01 21:23:24 +0100 <ProfSimm> lyxia: is there different syntax for both or?
2022-03-01 21:24:08 +0100simeon(~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de)
2022-03-01 21:24:11 +0100 <ProfSimm> lyxia: I mean how to a bind both variants to vars
2022-03-01 21:24:22 +0100niekvandepas(~niekvande@77.161.122.185)
2022-03-01 21:24:33 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 21:24:55 +0100earthy(~arthurvl@deban2.xs4all.space)
2022-03-01 21:25:00 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-01 21:26:38 +0100 <lyxia> class Like a where like :: Int -> a ; instance Like Int where ... ; instance Like (Int -> Int) where ...
2022-03-01 21:27:16 +0100zincy_(~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b)
2022-03-01 21:28:32 +0100niekvandepas(~niekvande@77.161.122.185) (Ping timeout: 240 seconds)
2022-03-01 21:29:07 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-03-01 21:29:10 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
2022-03-01 21:29:26 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 21:29:51 +0100zincy_(~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection)
2022-03-01 21:30:34 +0100dhruvasagar(~dhruvasag@49.207.194.244) (Quit: WeeChat 3.4)
2022-03-01 21:31:00 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 21:33:00 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-01 21:33:19 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-01 21:35:00 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 21:36:41 +0100phma_(phma@2001:5b0:211c:1ab8:337e:48b8:44a6:cbd6)
2022-03-01 21:37:12 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 21:37:28 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 21:37:34 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 21:39:02 +0100komikat(~komikat@27.57.144.183)
2022-03-01 21:39:40 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds)
2022-03-01 21:40:29 +0100phma(phma@2001:5b0:211c:1ab8:fe78:9588:6bf8:c889) (Ping timeout: 256 seconds)
2022-03-01 21:42:47 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 21:43:32 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 21:44:07 +0100polezaivsani(~polezaivs@orangeshoelaces.net) (Ping timeout: 256 seconds)
2022-03-01 21:48:06 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 21:48:23 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 21:49:17 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds)
2022-03-01 21:51:26 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-03-01 21:52:17 +0100 <ProfSimm> lyxia: I mean when calling how do I differentiate both.
2022-03-01 21:52:25 +0100 <ProfSimm> lyxia: thx
2022-03-01 21:52:29 +0100 <ProfSimm> how do I do both basically
2022-03-01 21:57:53 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 21:58:22 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 21:58:35 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-03-01 22:00:02 +0100 <geekosaur> you don't, basically. unless you use the hacky typeclassmethod and it uses surronding context to figure out if the typeclass should resolve as (Int -> Int) or as Int
2022-03-01 22:00:12 +0100 <geekosaur> see Text.Printf.printf
2022-03-01 22:00:19 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:00:31 +0100 <geekosaur> this is not C++
2022-03-01 22:01:20 +0100coot(~coot@213.134.190.95)
2022-03-01 22:02:50 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-03-01 22:03:50 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:05:16 +0100 <geekosaur> as to what's going on here: remember that (Int -> Int -> Int) is the same as (Int -> (Int -> Int))
2022-03-01 22:05:49 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:06:06 +0100 <geekosaur> and technically a function that takes two parameters is actually a function that takes one parameter and produces a function which takes one parameter
2022-03-01 22:06:26 +0100pavonia(~user@user/siracusa)
2022-03-01 22:07:05 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds)
2022-03-01 22:07:31 +0100 <ProfSimm> geekosaur: but...
2022-03-01 22:07:41 +0100 <ProfSimm> geekosaur: if I have both definitions which will be used
2022-03-01 22:08:11 +0100 <geekosaur> the one that fits. and you will get odd errors if ghc can't figure out which instance to use
2022-03-01 22:08:15 +0100cynomys(~cynomys@user/cynomys) (Quit: Lost terminal)
2022-03-01 22:08:32 +0100 <geekosaur> again, go look at PrintfType in Text.Printf
2022-03-01 22:08:34 +0100 <ProfSimm> geekosaur: Haskell matches on return type too?
2022-03-01 22:08:38 +0100 <geekosaur> sure
2022-03-01 22:08:45 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-01 22:09:01 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-03-01 22:09:12 +0100 <ProfSimm> geekosaur: I can imagine ambiguous situations
2022-03-01 22:09:36 +0100 <geekosaur> and they happen and you get odd errors. partially applying such a function is really difficult, for example
2022-03-01 22:09:50 +0100 <geekosaur> it's the price you pay for abusing the type system this much
2022-03-01 22:10:15 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:11:19 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-01 22:13:54 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 250 seconds)
2022-03-01 22:14:37 +0100 <ProfSimm> geekosaur: I don't want to abuse the type system per se, I just imagine the following situation: bar foo <--- returns the foo of bar bar foo options <--- returns the foo of bar with filters/sorting, whatever
2022-03-01 22:15:06 +0100 <geekosaur> you have to abuse the type system to do this
2022-03-01 22:15:20 +0100 <ProfSimm> I mean it's just an apply chain
2022-03-01 22:16:49 +0100 <geekosaur> the chain is in the wrong direction for that. "apply chain" would have (bar foo) produce a function to be applied to the options (in fact that is what the (Int -> Int) case of the typeclass would be doing), but you need the options first
2022-03-01 22:17:35 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:17:37 +0100 <cajun> im having a strange error with Text. with `-XOverloadedStrings` enabled, `<>` is not working. `"foo" <> "bar"` gives the error "variable not in scope: (<>) :: Text -> [Char] -> Text" (foo is actually a variable :: Text). `T.append` works, but even when i put ("bar" :: Text) it will say <> :: Text -> Text -> Text is not in scope. ive never had this happen before, any ideas?
2022-03-01 22:17:38 +0100 <ProfSimm> geekosaur: wat do
2022-03-01 22:17:41 +0100 <geekosaur> I think most people who do this end up with bar Foo {val = foo, opts = whatever }
2022-03-01 22:17:52 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:18:26 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 22:18:45 +0100 <geekosaur> cajun, what version of ghc? any chance it's a version from before <> was added to Prelude?
2022-03-01 22:19:05 +0100 <cajun> oh maybe, im using stack for this, so how would i check?
2022-03-01 22:19:09 +0100 <geekosaur> or that `import Prelude hiding ((<>))` had been done?
2022-03-01 22:19:45 +0100 <geekosaur> compiler is part of the resolver. check the specified resolver and look it up on stackage.org. that said it'd have to be pretty old (7.x series iirc) for this to be an issue
2022-03-01 22:19:54 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
2022-03-01 22:20:39 +0100 <cajun> resolver is lts-9.4
2022-03-01 22:21:04 +0100 <cajun> base is >= 4.7 && < 5
2022-03-01 22:21:05 +0100 <geekosaur> ProfSimm, optional parameters do not work in Haskell in the general case because that can't be specified inthe typesystem except using weird hacks like the PrintfType-style one I've been describing
2022-03-01 22:21:20 +0100niekvand1pas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 22:21:20 +0100niekvandepas(~niekvande@77-161-122-185.fixed.kpn.net)
2022-03-01 22:21:37 +0100 <geekosaur> "optional" in Haskell is done with Maybe, not implicitly
2022-03-01 22:22:09 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:22:31 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:22:31 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-03-01 22:22:36 +0100 <cajun> ah its ghc-8.0.2
2022-03-01 22:23:01 +0100 <geekosaur> 8.0.2 should have <> I think.
2022-03-01 22:23:12 +0100 <ProfSimm> geekosaur: shame
2022-03-01 22:24:00 +0100SoF(~skius@user/skius) (Ping timeout: 252 seconds)
2022-03-01 22:24:00 +0100 <geekosaur> huh, it doesn't.
2022-03-01 22:24:01 +0100michalz(~michalz@185.246.204.93) (Remote host closed the connection)
2022-03-01 22:24:06 +0100drdo(~drdo@roach0.drdo.eu) (Read error: Connection reset by peer)
2022-03-01 22:24:13 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds)
2022-03-01 22:24:14 +0100drdo6(~drdo@roach0.drdo.eu)
2022-03-01 22:24:31 +0100vicfred(~vicfred@user/vicfred)
2022-03-01 22:24:35 +0100SoF(~skius@user/skius)
2022-03-01 22:24:44 +0100 <geekosaur> cajun,import Data.Monoid
2022-03-01 22:25:08 +0100 <geekosaur> or define it yourself: <> = mappend
2022-03-01 22:25:26 +0100 <cajun> that works, thanks. there is a reason i dont like using stack lol
2022-03-01 22:25:28 +0100 <ProfSimm> geekosaur: in some OOP languages, those are equivalent: foo(bar) bar.foo() bar.foo
2022-03-01 22:25:39 +0100 <ProfSimm> geekosaur: I'm trying to get this expressive flexibility
2022-03-01 22:26:24 +0100 <geekosaur> you don't even start on that until9.2.1's RecordDotSyntax, and I think that still doesn't give you much of it
2022-03-01 22:27:21 +0100 <ProfSimm> geekosaur: well I don't need the dot per se, just something of a similar feel
2022-03-01 22:28:59 +0100 <awpr> the way I see it, Haskell is already like that: field accessors, standalone functions, and typeclass methods are all applied by the same syntax. or are you saying you _want_ the three redundant syntaxes?
2022-03-01 22:29:44 +0100cosimone(~user@93-47-229-38.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1))
2022-03-01 22:29:48 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2022-03-01 22:30:11 +0100 <geekosaur> > let f a b = a + b; x # y = y x in (f 2 3, 2#f 3, 2#f(3)) -- hm
2022-03-01 22:30:13 +0100 <lambdabot> error:
2022-03-01 22:30:13 +0100 <lambdabot> • Couldn't match expected type ‘(a0 -> a0 -> a0) -> t0 -> b’
2022-03-01 22:30:13 +0100 <lambdabot> with actual type ‘GHC.Prim.Int#’
2022-03-01 22:30:48 +0100 <geekosaur> @let {#- LANGUAGE NoMagicHash #-}
2022-03-01 22:30:48 +0100 <lambdabot> Parse failed: Parse error: #-
2022-03-01 22:30:54 +0100 <geekosaur> @let {-# LANGUAGE NoMagicHash #-}
2022-03-01 22:30:55 +0100 <lambdabot> Defined.
2022-03-01 22:30:58 +0100 <geekosaur> > let f a b = a + b; x # y = y x in (f 2 3, 2#f 3, 2#f(3)) -- hm
2022-03-01 22:31:00 +0100 <lambdabot> error:
2022-03-01 22:31:00 +0100 <lambdabot> • Couldn't match expected type ‘(a0 -> a0 -> a0) -> t0 -> b’
2022-03-01 22:31:00 +0100 <lambdabot> with actual type ‘GHC.Prim.Int#’
2022-03-01 22:31:12 +0100 <geekosaur> bah
2022-03-01 22:31:51 +0100 <geekosaur> > let f a b = a + b; x ^ y = y x in (f 2 3, 2^f 3, 2^f(3)) -- hm
2022-03-01 22:31:53 +0100 <lambdabot> (5,5,5)
2022-03-01 22:33:26 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:33:56 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:35:16 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-03-01 22:36:49 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-03-01 22:38:01 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:38:19 +0100phma_phma
2022-03-01 22:38:54 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-01 22:39:32 +0100 <geekosaur> shoulda named `f` `add`
2022-03-01 22:39:42 +0100geekosaurdid use (^) with malice aforethought, though
2022-03-01 22:40:03 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 272 seconds)
2022-03-01 22:41:13 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:41:22 +0100kawpuh(~kawpuh@66.42.81.80) (The Lounge - https://thelounge.chat)
2022-03-01 22:42:16 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-01 22:45:01 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:45:15 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:45:33 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-01 22:47:14 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:47:20 +0100agumonkey(~user@88.163.231.79)
2022-03-01 22:47:34 +0100jespada(~jespada@185.69.145.16) (Read error: Connection reset by peer)
2022-03-01 22:47:41 +0100lavaman(~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2022-03-01 22:48:12 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 22:48:50 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:49:22 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-01 22:50:52 +0100vorpuni(~pvorp@2001:861:3881:c690:ea9e:d5fd:3f85:b044) (Read error: Connection reset by peer)
2022-03-01 22:51:06 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:52:26 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2022-03-01 22:53:49 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 22:56:16 +0100ober(~ober@c-73-68-74-41.hsd1.ma.comcast.net)
2022-03-01 22:56:20 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 22:56:27 +0100ober(~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Client Quit)
2022-03-01 22:56:47 +0100ober(~ober@c-73-68-74-41.hsd1.ma.comcast.net)
2022-03-01 22:57:46 +0100jespada(~jespada@185.69.145.16)
2022-03-01 22:58:42 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 22:58:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
2022-03-01 23:00:02 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-03-01 23:00:23 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-01 23:00:46 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 245 seconds)
2022-03-01 23:02:43 +0100zincy_(~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
2022-03-01 23:04:18 +0100ccntrq(~Thunderbi@2a01:e34:eccb:b060:c032:2cc6:e2e1:8524) (Remote host closed the connection)
2022-03-01 23:08:10 +0100 <texasmynsted> Is there a Haskell-specific book or other resource devoted to parsing especially using Megaparsec?
2022-03-01 23:08:19 +0100jtomas(~jtomas@210.red-88-24-179.staticip.rima-tde.net)
2022-03-01 23:09:00 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-01 23:09:01 +0100ubert(~Thunderbi@p200300ecdf3be9cb0930a09fd733e6d6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-01 23:09:02 +0100ub(~Thunderbi@p548c8d84.dip0.t-ipconnect.de)
2022-03-01 23:09:19 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection)
2022-03-01 23:10:42 +0100 <ober> How do I make cabal repl read my .ghci file?
2022-03-01 23:11:20 +0100ububert
2022-03-01 23:12:08 +0100 <geekosaur> --repl-options="-ghci-script=$HOME/.ghci" or similar
2022-03-01 23:12:22 +0100 <geekosaur> if this breaks cabal repl you get to keep the pieces
2022-03-01 23:12:36 +0100 <tomsmeding> (my cabal repl reads my $HOME/.ghci just fine)
2022-03-01 23:12:51 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds)
2022-03-01 23:12:58 +0100 <ober> I mean the project local .ghci file, it already reads my home one
2022-03-01 23:13:19 +0100Guest33(~Guest33@139.red-79-146-225.dynamicip.rima-tde.net)
2022-03-01 23:13:21 +0100 <monochrom> texasmynsted: I think I heard of https://markkarpov.com/tutorial/megaparsec.html from Haskell Weekly News.
2022-03-01 23:13:23 +0100 <geekosaur> then point to that instead
2022-03-01 23:13:31 +0100Guest33(~Guest33@139.red-79-146-225.dynamicip.rima-tde.net) (Client Quit)
2022-03-01 23:13:31 +0100cynomys(~cynomys@user/cynomys)
2022-03-01 23:13:42 +0100 <hololeap> https://wiki.haskell.org/Typeclassopedia#Failure_and_choice:_Alternative.2C_MonadPlus.2C_ArrowPlus
2022-03-01 23:13:46 +0100 <hololeap> http://dev.stephendiehl.com/hask/#parsing
2022-03-01 23:13:51 +0100 <hololeap> ^ I would start with those, texasmynsted
2022-03-01 23:14:07 +0100 <tomsmeding> ober: same, I just tried putting a .ghci in a cabal project, then running 'cabal repl' reads that just fine
2022-03-01 23:14:10 +0100 <texasmynsted> Mark Karpov's tutorial is good.
2022-03-01 23:14:15 +0100 <monochrom> :)
2022-03-01 23:14:37 +0100komikat(~komikat@27.57.144.183) (Remote host closed the connection)
2022-03-01 23:15:32 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-01 23:15:37 +0100 <texasmynsted> It just seems like this could be a larger topic. Mix streaming and applicative parsing together for a rich topic
2022-03-01 23:15:38 +0100Guest|61(~Guest|61@cpe-174-100-18-36.neo.res.rr.com)
2022-03-01 23:15:49 +0100 <ober> tomsmeding: it doesn't read my local one for some reason
2022-03-01 23:15:51 +0100komikat(~komikat@27.57.144.183)
2022-03-01 23:16:02 +0100 <tomsmeding> ober: is it in the current working directory when you invoke cabal repl?
2022-03-01 23:16:13 +0100 <ober> tomsmeding: yes
2022-03-01 23:16:32 +0100 <tomsmeding> does geekosaur's workaround work? (without the $HOME/, obviously)
2022-03-01 23:17:04 +0100 <texasmynsted> Oh Stephen Diehl's is nice. I did not think to look there.
2022-03-01 23:17:16 +0100 <Guest|61> On installing Haskell I'm getting "_eghcup upgrade" failed!
2022-03-01 23:17:20 +0100 <geekosaur> a bit old but http://book.realworldhaskell.org/read/using-parsec.html
2022-03-01 23:17:33 +0100 <geekosaur> megaparsec is parsec with some improvements
2022-03-01 23:17:55 +0100 <geekosaur> there's also a chapter on binary parsing
2022-03-01 23:17:55 +0100jespada(~jespada@185.69.145.16) (Read error: Connection reset by peer)
2022-03-01 23:17:59 +0100 <ober> :tomsmeding it doesn't work
2022-03-01 23:18:22 +0100 <tomsmeding> ober: does it print an error?
2022-03-01 23:18:24 +0100 <geekosaur> sounds like you may be in the wrong directory then? ghci, unlike cabal, does not search fora ghci file
2022-03-01 23:18:27 +0100Guest|61(~Guest|61@cpe-174-100-18-36.neo.res.rr.com) (Client Quit)
2022-03-01 23:18:47 +0100 <geekosaur> the way cabal searches for a cabal.project
2022-03-01 23:18:56 +0100 <ober> tomsmeding: it does not print an error
2022-03-01 23:18:59 +0100 <geekosaur> er, to clarify, cabal repldoes not search for a project ghci file
2022-03-01 23:19:38 +0100 <texasmynsted> hmm. I wonder if Graham Hutton has something also. (Thank you for the realworld haskell suggestion also)
2022-03-01 23:19:45 +0100 <ober> it doesn't even seem to error when I do -ghci-script=somenonexistentfile
2022-03-01 23:19:52 +0100spacenautx(~spacenaut@user/spacenautx) (Quit: WeeChat 3.4)
2022-03-01 23:19:54 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2022-03-01 23:19:59 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-01 23:20:40 +0100 <tomsmeding> ... I get the same, no error message if you pass a non-existent file there
2022-03-01 23:21:41 +0100 <tomsmeding> so that's the most likely situation, cabal somehow thinks the file is not there -- check the obvious things first, typos in file name, correct directory; perhaps cabal's working directory is changed to the directory containing the cabal.project (I don't know, but check)
2022-03-01 23:21:56 +0100 <ober> :tomsmeding this is really weird, when I do cabal repl in another project that has only one package, it works fine
2022-03-01 23:21:58 +0100Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-03-01 23:22:19 +0100 <texasmynsted> ober show your full command
2022-03-01 23:22:23 +0100 <tomsmeding> ober: check that cabal doesn't chdir() to the directory containing your cabal.project, or the other way round, to the directory containing the project you're loading
2022-03-01 23:24:01 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-01 23:24:36 +0100 <ober> :tomsmeding I fixed it, the .ghci file had to be in the same package that I was targeting cabal repl with
2022-03-01 23:24:57 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 23:25:17 +0100 <tomsmeding> the behaviour is logical from _some_ perspective, but I guess it could be nicer
2022-03-01 23:25:46 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-01 23:25:58 +0100lavaman(~lavaman@98.38.249.169)
2022-03-01 23:26:42 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
2022-03-01 23:27:51 +0100 <ober> It seems like the whole working directory for cabal repl is changed to the package, so if I pass --repl-options and -ghci-script I have to adjust the path
2022-03-01 23:29:10 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-01 23:29:10 +0100 <geekosaur> [01 22:18:23] <geekosaur> sounds like you may be in the wrong directory then?
2022-03-01 23:29:27 +0100 <geekosaur> I should hhave suggested you do :cd in the repl to see what directory it ran from
2022-03-01 23:29:28 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
2022-03-01 23:31:14 +0100 <ober> geekosaur: it is not based on the working directory though
2022-03-01 23:32:12 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb)
2022-03-01 23:33:14 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-03-01 23:33:33 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2022-03-01 23:33:37 +0100dfg(~dfg@dfg.rocks)
2022-03-01 23:33:37 +0100dfg(~dfg@dfg.rocks) (Changing host)
2022-03-01 23:33:37 +0100dfg(~dfg@user/dfg)
2022-03-01 23:35:12 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-01 23:35:59 +0100qhong(~qhong@rescomp-21-400677.stanford.edu)
2022-03-01 23:36:06 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-03-01 23:38:27 +0100wombat875(~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev)
2022-03-01 23:38:57 +0100ober_(~ober@c-73-68-74-41.hsd1.ma.comcast.net)
2022-03-01 23:39:20 +0100DNH(~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08)
2022-03-01 23:39:23 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
2022-03-01 23:39:24 +0100qhong_(~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 240 seconds)
2022-03-01 23:41:50 +0100ober(~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Ping timeout: 260 seconds)
2022-03-01 23:43:14 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-01 23:43:28 +0100ober__(~ober@c-73-68-74-41.hsd1.ma.comcast.net)
2022-03-01 23:43:34 +0100ober__(~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Client Quit)
2022-03-01 23:45:05 +0100benthumb2000(~paul@2400:4052:10a1:f200:9e17:dd43:3aaf:590b)
2022-03-01 23:45:17 +0100burnsidesLlama(~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
2022-03-01 23:46:32 +0100ober_(~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Ping timeout: 272 seconds)
2022-03-01 23:47:38 +0100 <benthumb2000> whois acarrico
2022-03-01 23:48:02 +0100alp_(~alp@user/alp)
2022-03-01 23:48:19 +0100telser_(~quassel@user/telser)
2022-03-01 23:48:31 +0100nek02(~nek0@nek0.eu)
2022-03-01 23:48:42 +0100ncopa3(~ncopa@gbr2-dev1.alpinelinux.org)
2022-03-01 23:48:46 +0100bollu6(~bollu@159.65.151.13)
2022-03-01 23:48:48 +0100dextaa7(~DV@user/dextaa)
2022-03-01 23:49:05 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds)
2022-03-01 23:49:05 +0100c_wraith(~c_wraith@adjoint.us) (Ping timeout: 256 seconds)
2022-03-01 23:49:05 +0100loonycyborg(~loonycybo@wesnoth/developer/loonycyborg) (Ping timeout: 256 seconds)
2022-03-01 23:49:05 +0100jtmar(~james@jtmar.me) (Ping timeout: 256 seconds)
2022-03-01 23:49:15 +0100jpneverwas(jpneverwas@swissbox.unperson.link)
2022-03-01 23:49:23 +0100loonycyborg_(loonycybor@chantal.wesnoth.org)
2022-03-01 23:49:32 +0100nek0(~nek0@nek0.eu) (Killed (NickServ (GHOST command used by nek02)))
2022-03-01 23:49:35 +0100jamestmartin(~james@jtmar.me)
2022-03-01 23:49:44 +0100nek02nek0
2022-03-01 23:49:45 +0100maerwald_(~maerwald@mail.hasufell.de)
2022-03-01 23:49:47 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2022-03-01 23:49:50 +0100Taneb0(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2022-03-01 23:49:53 +0100Philonous_(~Philonous@user/philonous)
2022-03-01 23:50:13 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Ping timeout: 256 seconds)
2022-03-01 23:50:13 +0100Taneb(~Taneb@runciman.hacksoc.org) (Ping timeout: 256 seconds)
2022-03-01 23:50:13 +0100Me-me(~me-me@user/me-me) (Ping timeout: 256 seconds)
2022-03-01 23:50:13 +0100shachaf(~shachaf@user/shachaf) (Ping timeout: 256 seconds)
2022-03-01 23:50:13 +0100wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds)
2022-03-01 23:50:13 +0100dminuoso(~dminuoso@user/dminuoso) (Ping timeout: 256 seconds)
2022-03-01 23:50:13 +0100juri_(~juri@178.63.35.222) (Ping timeout: 256 seconds)
2022-03-01 23:50:13 +0100neverwas(jpneverwas@swissbox.unperson.link) (Ping timeout: 256 seconds)
2022-03-01 23:50:13 +0100TMA(~tma@twin.jikos.cz) (Ping timeout: 256 seconds)
2022-03-01 23:50:26 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
2022-03-01 23:50:41 +0100dminuoso(~dminuoso@static.88-198-218-68.clients.your-server.de)
2022-03-01 23:50:47 +0100alp(~alp@user/alp) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100kmein(~weechat@user/kmein) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100lechner(~lechner@debian/lechner) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100dextaa(~DV@user/dextaa) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100telser(~quassel@user/telser) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100ncopa(~ncopa@gbr2-dev1.alpinelinux.org) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100bollu(~bollu@159.65.151.13) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100cross(~cross@spitfire.i.gajendra.net) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100anderson(~ande@user/anderson) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100Philonous(~Philonous@user/philonous) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100maerwald(~maerwald@user/maerwald) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100dextaa7dextaa
2022-03-01 23:50:47 +0100ncopa3ncopa
2022-03-01 23:50:47 +0100robertm(~robertm@lattice.rojoma.com) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100stvc(~stvc@192.241.166.39) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100cls(~cls@chalk.lubutu.com) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100statusfailed(~statusfai@statusfailed.com) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100tolt(~weechat-h@li219-154.members.linode.com) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100mmaruseacph2(~mihai@198.199.100.72) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100meejah(~meejah@rutas.meejah.ca) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100andjjj23_(~irc@107.170.228.47) (Ping timeout: 256 seconds)
2022-03-01 23:50:47 +0100n3t(n3t@user/n3t) (Ping timeout: 256 seconds)
2022-03-01 23:50:48 +0100bollu6bollu
2022-03-01 23:50:48 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2022-03-01 23:50:52 +0100lambdabot(~lambdabot@silicon.int-e.eu)
2022-03-01 23:50:52 +0100lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2022-03-01 23:50:52 +0100lambdabot(~lambdabot@haskell/bot/lambdabot)
2022-03-01 23:51:38 +0100shachaf(~shachaf@user/shachaf)
2022-03-01 23:51:46 +0100TMA(tma@twin.jikos.cz)
2022-03-01 23:52:05 +0100juri_(~juri@178.63.35.222)
2022-03-01 23:52:13 +0100meejah(~meejah@rutas.meejah.ca)
2022-03-01 23:52:16 +0100cls(~cls@chalk.lubutu.com)
2022-03-01 23:52:29 +0100mmaruseacph2(~mihai@198.199.100.72)
2022-03-01 23:52:34 +0100cross(~cross@spitfire.i.gajendra.net)
2022-03-01 23:52:37 +0100tolt(~weechat-h@li219-154.members.linode.com)
2022-03-01 23:52:41 +0100statusfailed(~statusfai@statusfailed.com)
2022-03-01 23:52:47 +0100kmein(~weechat@user/kmein)
2022-03-01 23:53:03 +0100anderson(~ande@user/anderson)
2022-03-01 23:53:04 +0100n3t(n3t@s45.mydevil.net)
2022-03-01 23:53:49 +0100lechner(~lechner@debian/lechner)
2022-03-01 23:54:58 +0100c_wraith(~c_wraith@adjoint.us)
2022-03-01 23:55:53 +0100niko(~niko@libera/staff/niko) (Ping timeout: 606 seconds)