2022-03-01 00:00:07 +0100 | zincy_ | (~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 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
2022-03-01 00:02:36 +0100 | niekvandepas | (~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 +0100 | tromp | (~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 +0100 | asivitz | (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 +0100 | niekvandepas | (~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 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
2022-03-01 00:12:05 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
2022-03-01 00:12:30 +0100 | niekvandepas | (~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 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 00:14:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 00:14:42 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
2022-03-01 00:16:02 +0100 | tromp | (~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 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 00:21:05 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
2022-03-01 00:22:06 +0100 | ensyde | (~ensyde@2600:1700:2050:1040:218a:98a9:16e0:223) (Quit: Leaving) |
2022-03-01 00:22:37 +0100 | niekvandepas | (~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 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-03-01 00:25:16 +0100 | burnsidesLlama | (~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 +0100 | Cena | (~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 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 00:30:14 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-03-01 00:31:24 +0100 | Batzy | (~quassel@user/batzy) |
2022-03-01 00:32:37 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
2022-03-01 00:32:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-03-01 00:33:23 +0100 | niekvandepas | (~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 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 00:38:58 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
2022-03-01 00:39:43 +0100 | cosimone | (~user@93-47-229-38.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
2022-03-01 00:39:58 +0100 | tremon_ | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
2022-03-01 00:42:29 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 00:43:08 +0100 | cjb | (~cjb@user/cjb) (Ping timeout: 260 seconds) |
2022-03-01 00:43:37 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
2022-03-01 00:48:15 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 00:48:43 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-03-01 00:51:44 +0100 | Guest96 | (~Guest96@144-124-99-115.pip.aber.ac.uk) |
2022-03-01 00:52:39 +0100 | niekvandepas | (~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 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2022-03-01 00:58:21 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 01:00:03 +0100 | zopsi | (~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 +0100 | zopsi | (~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 +0100 | niekvandepas | (~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 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
2022-03-01 01:08:24 +0100 | zachel | (~zachel@user/zachel) (Read error: Connection reset by peer) |
2022-03-01 01:08:55 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 01:08:56 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 01:12:09 +0100 | zachel | (~zachel@user/zachel) |
2022-03-01 01:12:26 +0100 | mmhat | (~mmh@55d467a0.access.ecotel.net) (Quit: WeeChat 3.4) |
2022-03-01 01:12:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 01:13:00 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2022-03-01 01:13:17 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 01:16:57 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
2022-03-01 01:18:24 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2022-03-01 01:20:03 +0100 | justAstache | (~justache@user/justache) (Read error: Connection reset by peer) |
2022-03-01 01:21:01 +0100 | justAstache | (~justache@user/justache) |
2022-03-01 01:22:56 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-03-01 01:23:22 +0100 | alp | (~alp@user/alp) |
2022-03-01 01:27:40 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
2022-03-01 01:29:11 +0100 | niekvandepas | (~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 +0100 | niekvandepas | (~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 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 01:39:47 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 01:42:58 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
2022-03-01 01:43:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
2022-03-01 01:44:47 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 01:47:00 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 240 seconds) |
2022-03-01 01:49:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 01:50:02 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-03-01 01:50:02 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-03-01 01:50:02 +0100 | wroathe | (~wroathe@user/wroathe) |
2022-03-01 01:51:06 +0100 | pretty_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 +0100 | gentauro | (~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 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
2022-03-01 01:54:33 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-03-01 01:54:55 +0100 | niekvandepas | (~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 +0100 | gentauro | (~gentauro@user/gentauro) |
2022-03-01 01:59:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 01:59:53 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 02:04:03 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 02:05:02 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 02:08:51 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 256 seconds) |
2022-03-01 02:09:17 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2022-03-01 02:10:06 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 02:14:17 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 02:17:57 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-03-01 02:23:27 +0100 | jeetelongname | (~jeet@eduroam-public-33.nat.port.ac.uk) |
2022-03-01 02:24:03 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-03-01 02:25:48 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
2022-03-01 02:30:57 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-01 02:31:51 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
2022-03-01 02:32:20 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 02:35:49 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2022-03-01 02:38:35 +0100 | Guest96 | (~Guest96@144-124-99-115.pip.aber.ac.uk) (Quit: Client closed) |
2022-03-01 02:38:53 +0100 | alp | (~alp@user/alp) (Ping timeout: 250 seconds) |
2022-03-01 02:41:43 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
2022-03-01 02:44:07 +0100 | lainon | (~lainon@2601:7c0:c500:4d20::ae8) |
2022-03-01 02:44:36 +0100 | tdcly^ | (~tdcly@12.163.216.98) (Remote host closed the connection) |
2022-03-01 02:47:44 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 02:48:52 +0100 | lainon | (~lainon@2601:7c0:c500:4d20::ae8) () |
2022-03-01 02:49:22 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
2022-03-01 02:49:23 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
2022-03-01 02:52:37 +0100 | andreabedini[m] | (~andreabed@2001:470:69fc:105::c821) |
2022-03-01 02:56:03 +0100 | lainon | (~lainon@2601:7c0:c500:4d20::ae8) |
2022-03-01 02:56:36 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
2022-03-01 02:58:41 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
2022-03-01 03:06:06 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 260 seconds) |
2022-03-01 03:06:07 +0100 | dsrt^ | (~dsrt@12.163.216.98) |
2022-03-01 03:09:16 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 03:09:33 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
2022-03-01 03:11:34 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
2022-03-01 03:14:26 +0100 | pavonia | (~user@user/siracusa) |
2022-03-01 03:14:37 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
2022-03-01 03:14:53 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds) |
2022-03-01 03:18:53 +0100 | jeetelongname | (~jeet@eduroam-public-33.nat.port.ac.uk) (Ping timeout: 256 seconds) |
2022-03-01 03:19:07 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-03-01 03:19:48 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
2022-03-01 03:25:21 +0100 | shailangsa_ | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) () |
2022-03-01 03:30:31 +0100 | cynomys | (~cynomys@user/cynomys) |
2022-03-01 03:34:40 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 03:39:22 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
2022-03-01 03:39:50 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:40:05 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:40:10 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
2022-03-01 03:40:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:40:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:40:29 +0100 | justAstache | (~justache@user/justache) (Remote host closed the connection) |
2022-03-01 03:40:33 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:40:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:40:55 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:41:09 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:41:17 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:41:26 +0100 | justAstache | (~justache@user/justache) |
2022-03-01 03:41:32 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:41:40 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:41:54 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:42:02 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:42:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:42:24 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:42:39 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:42:47 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:43:00 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:43:08 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:43:25 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:43:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:43:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:43:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:44:07 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:44:15 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:44:28 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
2022-03-01 03:44:29 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:44:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:44:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:45:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:45:14 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:45:23 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:45:38 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:45:46 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:46:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:46:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:46:28 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:46:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:46:48 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:46:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:46:56 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
2022-03-01 03:47:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:47:11 +0100 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2022-03-01 03:47:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:47:33 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:47:40 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:47:56 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:48:03 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:48:19 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:48:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:48:44 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:48:51 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:49:05 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:49:13 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:49:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:49:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:49:48 +0100 | xff0x | (~xff0x@2001:1a81:52ca:1900:497a:5e58:ec47:2e84) (Ping timeout: 240 seconds) |
2022-03-01 03:49:50 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:49:58 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:50:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:50:20 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:50:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:50:42 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:50:55 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:51:03 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:51:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:51:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:51:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:51:50 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:51:56 +0100 | xff0x | (~xff0x@2001:1a81:5304:bc00:c812:9ab6:82db:6d9c) |
2022-03-01 03:52:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:52:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:52:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:52:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:52:48 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 03:52:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 03:57:41 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-03-01 03:59:03 +0100 | alMalsamo | lumberjack |
2022-03-01 04:05:16 +0100 | shailangsa | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) |
2022-03-01 04:06:02 +0100 | ub | (~Thunderbi@p200300ecdf3be9cb0930a09fd733e6d6.dip0.t-ipconnect.de) |
2022-03-01 04:06:11 +0100 | ubert | (~Thunderbi@p200300ecdf3be90c0930a09fd733e6d6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2022-03-01 04:06:11 +0100 | ub | ubert |
2022-03-01 04:09:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 04:10:55 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 04:11:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2022-03-01 04:11:26 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2022-03-01 04:11:26 +0100 | finn_elija | FinnElija |
2022-03-01 04:11:33 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 04:13:49 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 04:17:15 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 04:18:02 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 04:19:45 +0100 | td_ | (~td@94.134.91.216) (Ping timeout: 256 seconds) |
2022-03-01 04:21:18 +0100 | td_ | (~td@muedsl-82-207-238-074.citykom.de) |
2022-03-01 04:23:33 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 04:23:37 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 04:27:48 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 04:28:10 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 04:31:25 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
2022-03-01 04:33:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 04:37:16 +0100 | lainon_ | (~lainon@c-68-46-201-40.hsd1.al.comcast.net) |
2022-03-01 04:37:48 +0100 | emf | (~emf@2620:10d:c090:400::5:b0af) (Ping timeout: 240 seconds) |
2022-03-01 04:38:11 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 04:39:54 +0100 | lainon | (~lainon@2601:7c0:c500:4d20::ae8) (Ping timeout: 260 seconds) |
2022-03-01 04:40:29 +0100 | emf | (~emf@2620:10d:c090:400::5:46f7) |
2022-03-01 04:43:18 +0100 | emf | (~emf@2620:10d:c090:400::5:46f7) (Client Quit) |
2022-03-01 04:43:18 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 04:43:52 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 04:44:01 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-01 04:44:06 +0100 | emf | (~emf@2620:10d:c090:400::5:46f7) |
2022-03-01 04:45:10 +0100 | emf | (~emf@2620:10d:c090:400::5:46f7) (Client Quit) |
2022-03-01 04:47:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 04:48:27 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
2022-03-01 04:48:41 +0100 | lainon_ | (~lainon@c-68-46-201-40.hsd1.al.comcast.net) (Remote host closed the connection) |
2022-03-01 04:48:57 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2022-03-01 04:57:32 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 05:00:56 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
2022-03-01 05:02:18 +0100 | Techcable | (~Techcable@168.235.93.147) (Ping timeout: 252 seconds) |
2022-03-01 05:03:32 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 05:03:32 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 05:05:32 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
2022-03-01 05:08:43 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 05:08:43 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 05:08:53 +0100 | Guest63 | (~Guest63@ip70-181-188-175.sd.sd.cox.net) |
2022-03-01 05:14:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 05:18:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 05:21:24 +0100 | waleee | (~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 +0100 | niekvandepas | (~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 +0100 | emf | (~emf@2620:10d:c090:400::5:46f7) |
2022-03-01 05:25:24 +0100 | Guest49 | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
2022-03-01 05:26:42 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2022-03-01 05:28:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 05:28:51 +0100 | mbuf | (~Shakthi@223.184.53.123) |
2022-03-01 05:31:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2022-03-01 05:32:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-03-01 05:32:17 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::8c21) (Ping timeout: 240 seconds) |
2022-03-01 05:34:20 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 05:35:38 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-03-01 05:36:54 +0100 | arjun | (~arjun@user/arjun) |
2022-03-01 05:38:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 05:39:05 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2022-03-01 05:39:23 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
2022-03-01 05:39:58 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2022-03-01 05:40:07 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
2022-03-01 05:44:27 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 05:45:05 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 05:48:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 05:49:17 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 05:55:11 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
2022-03-01 05:58:07 +0100 | mbuf | (~Shakthi@223.184.53.123) (Ping timeout: 272 seconds) |
2022-03-01 06:00:17 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-03-01 06:04:41 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 06:04:43 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 06:05:50 +0100 | mbuf | (~Shakthi@223.184.53.123) |
2022-03-01 06:08:02 +0100 | fef | (~thedawn@user/thedawn) |
2022-03-01 06:08:41 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 06:08:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 06:09:30 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 06:11:28 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-03-01 06:11:42 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
2022-03-01 06:11:50 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-03-01 06:11:55 +0100 | emf | (~emf@2620:10d:c090:400::5:46f7) (Quit: emf) |
2022-03-01 06:14:12 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2022-03-01 06:20:13 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 06:21:36 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
2022-03-01 06:23:27 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-03-01 06:23:56 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
2022-03-01 06:25:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 06:25:02 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 06:26:38 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 06:27:24 +0100 | emf | (~emf@2620:10d:c090:400::5:46f7) |
2022-03-01 06:29:20 +0100 | Guest|74 | (~Guest|74@c-73-70-253-203.hsd1.ca.comcast.net) |
2022-03-01 06:29:24 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 06:29:24 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 06:30:07 +0100 | Guest|74 | (~Guest|74@c-73-70-253-203.hsd1.ca.comcast.net) (Client Quit) |
2022-03-01 06:31:46 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2022-03-01 06:35:43 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 06:39:10 +0100 | deadmarshal | (~deadmarsh@95.38.228.22) |
2022-03-01 06:40:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 06:40:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 06:41:38 +0100 | emf | (~emf@2620:10d:c090:400::5:46f7) (Quit: emf) |
2022-03-01 06:43:42 +0100 | LiaoTao_ | (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
2022-03-01 06:43:42 +0100 | hololeap | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | fef | (~thedawn@user/thedawn) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
2022-03-01 06:43:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
2022-03-01 06:44:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 06:45:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 06:45:24 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-03-01 06:46:09 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-01 06:46:12 +0100 | hololeap | (~hololeap@user/hololeap) |
2022-03-01 06:46:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-03-01 06:46:33 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
2022-03-01 06:46:37 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-03-01 06:47:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-03-01 06:47:04 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-03-01 06:47:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-03-01 06:48:55 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
2022-03-01 06:48:56 +0100 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-03-01 06:49:39 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 06:53:13 +0100 | fef | (~thedawn@user/thedawn) |
2022-03-01 06:55:19 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 07:00:10 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 07:05:26 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 07:06:15 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
2022-03-01 07:08:37 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
2022-03-01 07:09:20 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-01 07:10:19 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 07:12:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2022-03-01 07:15:33 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 07:20:33 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
2022-03-01 07:20:37 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
2022-03-01 07:20:37 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
2022-03-01 07:20:37 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-03-01 07:20:37 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
2022-03-01 07:20:37 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
2022-03-01 07:20:37 +0100 | fef | (~thedawn@user/thedawn) (Write error: Connection reset by peer) |
2022-03-01 07:20:37 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (Write error: Connection reset by peer) |
2022-03-01 07:20:37 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Write error: Connection reset by peer) |
2022-03-01 07:20:37 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer) |
2022-03-01 07:20:37 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-03-01 07:20:37 +0100 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) (Read error: Connection reset by peer) |
2022-03-01 07:20:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
2022-03-01 07:20:49 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-03-01 07:20:51 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
2022-03-01 07:20:51 +0100 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-03-01 07:20:52 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
2022-03-01 07:20:54 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-03-01 07:20:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-01 07:20:58 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-03-01 07:21:00 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-03-01 07:21:01 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-03-01 07:21:05 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 07:21:07 +0100 | fef | (~thedawn@user/thedawn) |
2022-03-01 07:21:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-03-01 07:22:05 +0100 | hololeap | (~hololeap@user/hololeap) |
2022-03-01 07:26:07 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 07:26:09 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 07:28:17 +0100 | alfonsox | (~quassel@103.87.57.104) |
2022-03-01 07:30:14 +0100 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
2022-03-01 07:30:39 +0100 | arjun | (~arjun@user/arjun) |
2022-03-01 07:30:57 +0100 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
2022-03-01 07:31:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 07:31:12 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 07:34:00 +0100 | michalz | (~michalz@185.246.204.93) |
2022-03-01 07:36:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 07:41:00 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 07:42:48 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 3.3) |
2022-03-01 07:42:54 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
2022-03-01 07:44:39 +0100 | kenran | (~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de) |
2022-03-01 07:45:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 07:46:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 07:48:57 +0100 | cajun | (~cajun@user/cajun) (Ping timeout: 240 seconds) |
2022-03-01 07:49:00 +0100 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 240 seconds) |
2022-03-01 07:49:06 +0100 | dwt__ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
2022-03-01 07:50:13 +0100 | deadmarshal | (~deadmarsh@95.38.228.22) (Ping timeout: 272 seconds) |
2022-03-01 07:50:25 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
2022-03-01 07:51:17 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
2022-03-01 07:51:29 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 07:53:59 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-03-01 07:56:47 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 07:57:01 +0100 | burnsidesLlama | (~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 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds) |
2022-03-01 08:01:19 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 08:02:22 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
2022-03-01 08:03:41 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
2022-03-01 08:03:58 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2022-03-01 08:04:22 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
2022-03-01 08:05:01 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 08:06:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 08:06:55 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 08:06:59 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-01 08:09:01 +0100 | coot | (~coot@213.134.190.95) |
2022-03-01 08:10:54 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
2022-03-01 08:10:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 08:11:45 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 08:12:30 +0100 | cajun | (~cajun@ip98-163-218-217.no.no.cox.net) |
2022-03-01 08:14:15 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
2022-03-01 08:14:32 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
2022-03-01 08:17:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 08:18:51 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-01 08:22:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 08:26:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
2022-03-01 08:27:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 08:27:31 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2022-03-01 08:29:16 +0100 | xff0x | (~xff0x@2001:1a81:5304:bc00:c812:9ab6:82db:6d9c) (Ping timeout: 250 seconds) |
2022-03-01 08:30:07 +0100 | xff0x | (~xff0x@2001:1a81:5304:bc00:74fb:d1a:e96e:1578) |
2022-03-01 08:32:14 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 08:32:28 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
2022-03-01 08:32:53 +0100 | yauhsie__ | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
2022-03-01 08:33:20 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
2022-03-01 08:34:10 +0100 | yauhsien | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
2022-03-01 08:34:11 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-03-01 08:34:35 +0100 | yauhsien | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
2022-03-01 08:35:03 +0100 | yauhsien_ | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-03-01 08:36:22 +0100 | yauhsien | (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) |
2022-03-01 08:37:00 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-01 08:37:01 +0100 | yauhsien_ | (~yauhsien@61-231-37-5.dynamic-ip.hinet.net) |
2022-03-01 08:38:15 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) |
2022-03-01 08:38:30 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2022-03-01 08:38:36 +0100 | yauhsie__ | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-01 08:38:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-03-01 08:38:59 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
2022-03-01 08:40:36 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 08:40:43 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2022-03-01 08:40:57 +0100 | yauhsien | (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-01 08:41:29 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-01 08:41:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 08:43:02 +0100 | yauhsien_ | (~yauhsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-01 08:44:02 +0100 | xff0x | (~xff0x@2001:1a81:5304:bc00:74fb:d1a:e96e:1578) (Ping timeout: 240 seconds) |
2022-03-01 08:45:31 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
2022-03-01 08:47:21 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 08:50:07 +0100 | cfricke | (~cfricke@user/cfricke) |
2022-03-01 08:50:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e55d:32e3:1339:eefc) |
2022-03-01 08:52:03 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 08:57:06 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 08:58:02 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
2022-03-01 09:01:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
2022-03-01 09:02:39 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2022-03-01 09:06:43 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 09:07:53 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 09:08:21 +0100 | analognoise | (~analognoi@185.229.59.133) (Read error: Connection reset by peer) |
2022-03-01 09:09:47 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
2022-03-01 09:10:49 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
2022-03-01 09:12:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 09:16:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 09:21:45 +0100 | chele | (~chele@user/chele) |
2022-03-01 09:22:58 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-01 09:23:15 +0100 | fendor | (~fendor@77.119.204.89.wireless.dyn.drei.com) |
2022-03-01 09:24:43 +0100 | vysn | (~vysn@user/vysn) |
2022-03-01 09:27:44 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-03-01 09:28:09 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-03-01 09:29:53 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 09:35:02 +0100 | cosimone | (~user@93-47-229-38.ip115.fastwebnet.it) |
2022-03-01 09:38:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 09:47:53 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 250 seconds) |
2022-03-01 09:49:41 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2022-03-01 09:49:57 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2022-03-01 09:50:01 +0100 | MajorBiscuit | (~MajorBisc@c-001-025-058.client.tudelft.eduvpn.nl) |
2022-03-01 09:55:27 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
2022-03-01 09:59:50 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-03-01 10:00:15 +0100 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (Quit: You have been kicked for being idle) |
2022-03-01 10:00:15 +0100 | coot | (~coot@213.134.190.95) |
2022-03-01 10:00:29 +0100 | JoseC[m] | (~jmcardonm@2001:470:69fc:105::1:7539) (Quit: You have been kicked for being idle) |
2022-03-01 10:01:26 +0100 | alp | (~alp@user/alp) |
2022-03-01 10:01:29 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:c032:2cc6:e2e1:8524) |
2022-03-01 10:03:55 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 10:05:27 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
2022-03-01 10:08:11 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 10:10:11 +0100 | mastarija | (~mastarija@188.252.198.63) |
2022-03-01 10:10:50 +0100 | jespada | (~jespada@185.69.145.16) |
2022-03-01 10:10:55 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8402:4dae:2872:582c) (Remote host closed the connection) |
2022-03-01 10:12:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 10:15:54 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 10:16:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 10:25:28 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-03-01 10:27:37 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
2022-03-01 10:29:33 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
2022-03-01 10:30:56 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.52) |
2022-03-01 10:37:18 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-01 10:37:20 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-01 10:40:23 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-01 10:41:56 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-01 10:42:07 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 10:42:25 +0100 | komikat | (~komikat@27.57.144.183) (Read error: Connection reset by peer) |
2022-03-01 10:42:54 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 10:43:03 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 10:44:12 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2022-03-01 10:44:18 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 10:44:34 +0100 | waleee | (~waleee@h-178-174-193-77.NA.cust.bahnhof.se) |
2022-03-01 10:45:21 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
2022-03-01 10:45:39 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2022-03-01 10:46:14 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-03-01 10:47:33 +0100 | mastarija | (~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 +0100 | acidsys | (~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 +0100 | acidsys | (~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 +0100 | tromp | (~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 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 10:55:37 +0100 | niekvand1pas | (~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 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-03-01 10:55:48 +0100 | waleee | (~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 +0100 | zaquest | (~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 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-03-01 11:00:20 +0100 | niekvandepas | (~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 +0100 | coot | (~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 +0100 | kuribas | (~user@ptr-25vy0i8or7bys2zu5w9.18120a2.ip6.access.telenet.be) |
2022-03-01 11:01:32 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 11:01:33 +0100 | ubert1 | (~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 +0100 | agumonkey | (~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 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
2022-03-01 11:06:14 +0100 | niekvandepas | (~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 +0100 | niekvand1pas | (~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 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2022-03-01 11:09:12 +0100 | dminuoso | would simply Data.Bits my way out of this |
2022-03-01 11:10:01 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:243e:7d5b:b412:8e7b) |
2022-03-01 11:10:46 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
2022-03-01 11:10:58 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 11:11:17 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
2022-03-01 11:11:25 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-01 11:12:29 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
2022-03-01 11:13:14 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 11:15:51 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 250 seconds) |
2022-03-01 11:18:01 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
2022-03-01 11:21:14 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
2022-03-01 11:22:22 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-03-01 11:23:12 +0100 | niekvandepas | (~niekvande@77.161.122.185) |
2022-03-01 11:23:17 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 11:23:53 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2022-03-01 11:26:27 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
2022-03-01 11:27:24 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 11:27:32 +0100 | niekvandepas | (~niekvande@77.161.122.185) (Ping timeout: 240 seconds) |
2022-03-01 11:27:48 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
2022-03-01 11:29:06 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:243e:7d5b:b412:8e7b) (Ping timeout: 245 seconds) |
2022-03-01 11:32:05 +0100 | deadmars- | (~deadmarsh@95.38.112.78) |
2022-03-01 11:32:25 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
2022-03-01 11:32:25 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.52) (Ping timeout: 256 seconds) |
2022-03-01 11:33:17 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
2022-03-01 11:33:26 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 11:33:28 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 11:35:11 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
2022-03-01 11:35:24 +0100 | aplainzetakind | (~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 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 11:37:10 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 11:37:47 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 11:37:47 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 11:38:13 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 272 seconds) |
2022-03-01 11:38:50 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
2022-03-01 11:41:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2022-03-01 11:41:29 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
2022-03-01 11:43:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 11:43:06 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Quit: WeeChat 3.4) |
2022-03-01 11:43:21 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 11:44:25 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
2022-03-01 11:44:47 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
2022-03-01 11:46:27 +0100 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
2022-03-01 11:46:31 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-01 11:47:42 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 11:47:49 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 11:49:49 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 240 seconds) |
2022-03-01 11:51:23 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2022-03-01 11:51:23 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 11:55:43 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 250 seconds) |
2022-03-01 11:55:48 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2022-03-01 11:58:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 11:58:48 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
2022-03-01 11:58:54 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 11:59:46 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
2022-03-01 12:00:31 +0100 | dextaa_ | (~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 +0100 | Kevin578 | (~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 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 12:07:25 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 12:07:45 +0100 | turlando | is a bit ashamed |
2022-03-01 12:08:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e55d:32e3:1339:eefc) (Ping timeout: 240 seconds) |
2022-03-01 12:08:49 +0100 | mastarija | (~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 +0100 | Vajb | (~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 +0100 | dextaa_ | (~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 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 12:17:47 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-03-01 12:17:49 +0100 | bjourne | (~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5) (Ping timeout: 250 seconds) |
2022-03-01 12:17:57 +0100 | fendor_ | (~fendor@178.165.161.199.wireless.dyn.drei.com) |
2022-03-01 12:18:26 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 12:18:27 +0100 | Vajb | (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
2022-03-01 12:19:22 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-03-01 12:20:12 +0100 | fendor | (~fendor@77.119.204.89.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
2022-03-01 12:20:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 12:21:08 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
2022-03-01 12:21:17 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
2022-03-01 12:21:17 +0100 | niekvandepas | (~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 +0100 | komikat | (~komikat@27.57.144.183) (Ping timeout: 256 seconds) |
2022-03-01 12:23:41 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 12:25:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 12:27:48 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 12:28:10 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 268 seconds) |
2022-03-01 12:31:48 +0100 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
2022-03-01 12:32:41 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
2022-03-01 12:34:10 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 12:34:11 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 12:39:02 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
2022-03-01 12:39:38 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-03-01 12:39:53 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
2022-03-01 12:40:06 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-03-01 12:42:05 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 12:42:57 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
2022-03-01 12:43:23 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-03-01 12:47:15 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:cbf:170b:f1f8:6cd5) (Ping timeout: 256 seconds) |
2022-03-01 12:48:41 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-03-01 12:49:08 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 12:49:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 12:49:11 +0100 | waleee | (~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 +0100 | raehik | (~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 +0100 | Null_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 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-03-01 12:55:45 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-03-01 12:55:50 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-03-01 12:56:19 +0100 | alMalsamo | lumberjack123 |
2022-03-01 12:56:44 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 12:57:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 12:58:50 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) |
2022-03-01 13:00:04 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2022-03-01 13:00:07 +0100 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
2022-03-01 13:00:18 +0100 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-03-01 13:00:45 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 13:02:36 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 13:06:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 13:10:31 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
2022-03-01 13:13:26 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-01 13:14:00 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2022-03-01 13:15:34 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
2022-03-01 13:15:45 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 272 seconds) |
2022-03-01 13:16:11 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
2022-03-01 13:17:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 240 seconds) |
2022-03-01 13:18:43 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a14b:acb1:9879:1652) |
2022-03-01 13:19:47 +0100 | Techcable | (~Techcable@168.235.93.147) |
2022-03-01 13:20:42 +0100 | bjourne | (~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5) |
2022-03-01 13:20:55 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Ping timeout: 256 seconds) |
2022-03-01 13:21:48 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2022-03-01 13:22:25 +0100 | ardell | (~ardell@user/ardell) |
2022-03-01 13:22:45 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
2022-03-01 13:27:31 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
2022-03-01 13:29:13 +0100 | yauhsien_ | (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) |
2022-03-01 13:32:17 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-01 13:33:12 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
2022-03-01 13:33:25 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
2022-03-01 13:34:06 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
2022-03-01 13:39:23 +0100 | bjourne | (~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5) (Ping timeout: 256 seconds) |
2022-03-01 13:40:29 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 13:40:36 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 13:41:47 +0100 | Kevin578_ | (~Kevin578@188.126.94.119) |
2022-03-01 13:42:24 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 13:42:26 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 13:45:01 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
2022-03-01 13:46:48 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-01 13:46:59 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 13:47:22 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-01 13:47:25 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 13:47:58 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-03-01 13:49:09 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-03-01 13:50:46 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) |
2022-03-01 13:50:54 +0100 | hseg | (~hseg@195.192.226.33) |
2022-03-01 13:51:51 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
2022-03-01 13:52:28 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.4) |
2022-03-01 13:52:48 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 13:52:49 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 13:54:04 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-03-01 13:55:17 +0100 | hseg | (~hseg@195.192.226.33) () |
2022-03-01 13:57:45 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2022-03-01 13:58:18 +0100 | swistak | (~swistak@185.21.216.141) (Quit: bye bye) |
2022-03-01 13:58:45 +0100 | swistak | (~swistak@185.21.216.141) |
2022-03-01 14:03:54 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-03-01 14:04:02 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 14:07:41 +0100 | Kevin578_ | (~Kevin578@188.126.94.119) (Ping timeout: 272 seconds) |
2022-03-01 14:07:50 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 260 seconds) |
2022-03-01 14:14:36 +0100 | yauhsien_ | yauhsien |
2022-03-01 14:15:29 +0100 | alfonsox | (~quassel@103.87.57.104) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-03-01 14:27:02 +0100 | justAstache | (~justache@user/justache) (Read error: Connection reset by peer) |
2022-03-01 14:27:37 +0100 | jespada | (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
2022-03-01 14:28:00 +0100 | justAstache | (~justache@user/justache) |
2022-03-01 14:33:58 +0100 | hueso_ | (~root@user/hueso) (Ping timeout: 268 seconds) |
2022-03-01 14:34:54 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:ea9e:d5fd:3f85:b044) |
2022-03-01 14:35:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2022-03-01 14:36:35 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 14:36:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 14:36:52 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 14:37:07 +0100 | Null_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 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-01 14:41:31 +0100 | cfricke | (~cfricke@user/cfricke) |
2022-03-01 14:43:13 +0100 | <kuribas> | In idris multi-ary tuples are nested. |
2022-03-01 14:43:15 +0100 | Midjak | (~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 +0100 | yauhsien_ | (~yauhsien@61-231-37-5.dynamic-ip.hinet.net) |
2022-03-01 14:46:20 +0100 | shapr | thinks 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 +0100 | jgeerds | (~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 +0100 | yauhsien_ | (~yauhsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
2022-03-01 14:50:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
2022-03-01 14:50:57 +0100 | yahb | (xsbot@user/mniip/bot/yahb) (Ping timeout: 240 seconds) |
2022-03-01 14:51:18 +0100 | hueso | (~root@user/hueso) |
2022-03-01 14:52:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-03-01 14:53:12 +0100 | ardell | (~ardell@user/ardell) (Ping timeout: 250 seconds) |
2022-03-01 14:55:02 +0100 | methylene[m] | (~methylene@2001:470:69fc:105::1:ccc0) |
2022-03-01 14:55:33 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
2022-03-01 14:56:42 +0100 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
2022-03-01 14:56:44 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
2022-03-01 14:57:00 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
2022-03-01 14:57:13 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) |
2022-03-01 14:57:25 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-03-01 14:57:49 +0100 | hueso | (~root@user/hueso) (Ping timeout: 256 seconds) |
2022-03-01 14:58:21 +0100 | mniip | (mniip@libera/staff/mniip) (Ping timeout: 604 seconds) |
2022-03-01 14:59:30 +0100 | blacked | (~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 +0100 | ardell | (~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 +0100 | niekvandepas | (~niekvande@77.161.122.185) |
2022-03-01 15:00:18 +0100 | niekvand1pas | (~niekvande@77.161.122.185) |
2022-03-01 15:03:19 +0100 | ardell | (~ardell@user/ardell) (Client Quit) |
2022-03-01 15:04:32 +0100 | niekvand1pas | (~niekvande@77.161.122.185) (Ping timeout: 240 seconds) |
2022-03-01 15:04:32 +0100 | niekvandepas | (~niekvande@77.161.122.185) (Ping timeout: 240 seconds) |
2022-03-01 15:06:29 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-01 15:07:46 +0100 | hueso | (~root@user/hueso) |
2022-03-01 15:10:46 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 15:12:00 +0100 | rembo10 | (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-03-01 15:12:35 +0100 | kenran | (~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de) (Quit: WeeChat info:version) |
2022-03-01 15:12:46 +0100 | komikat | (~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 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-01 15:14:54 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-01 15:15:00 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 15:17:02 +0100 | komikat | (~komikat@27.57.144.183) (Ping timeout: 240 seconds) |
2022-03-01 15:17:15 +0100 | Lord_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 +0100 | blacked | monad |
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 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 240 seconds) |
2022-03-01 15:20:24 +0100 | rembo10 | (~rembo10@2a01:4f9:c010:b5b9::1) |
2022-03-01 15:24:36 +0100 | jespada | (~jespada@185.69.145.16) |
2022-03-01 15:25:00 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-01 15:26:52 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-01 15:30:19 +0100 | justAstache | (~justache@user/justache) (Read error: Connection reset by peer) |
2022-03-01 15:30:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 15:30:35 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 15:31:17 +0100 | justAstache | (~justache@user/justache) |
2022-03-01 15:34:54 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
2022-03-01 15:35:02 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
2022-03-01 15:36:09 +0100 | monad | blacked |
2022-03-01 15:36:36 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2022-03-01 15:43:20 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-03-01 15:43:43 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2022-03-01 15:46:04 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
2022-03-01 15:46:30 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
2022-03-01 15:49:57 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
2022-03-01 15:51:33 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 15:51:33 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 15:55:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 15:56:37 +0100 | niekvand1pas | (~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 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 15:58:20 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) |
2022-03-01 16:02:15 +0100 | niekvandepas | (~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 +0100 | niekvand1pas | (~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 +0100 | stef204 | (~stef204@user/stef204) |
2022-03-01 16:06:41 +0100 | stef204 | (~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 +0100 | niekvand1pas | (~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 +0100 | niekvandepas | (~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 +0100 | Null_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 +0100 | jpds | (~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 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2022-03-01 16:17:41 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2022-03-01 16:18:23 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-01 16:19:54 +0100 | notzmv | (~zmv@user/notzmv) |
2022-03-01 16:20:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 16:20:36 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-01 16:20:39 +0100 | niekvand1pas | (~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 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds) |
2022-03-01 16:22:04 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
2022-03-01 16:25:02 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-03-01 16:25:15 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
2022-03-01 16:25:24 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 252 seconds) |
2022-03-01 16:27:05 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
2022-03-01 16:27:58 +0100 | stef204 | (~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 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) |
2022-03-01 16:30:27 +0100 | tzh | (~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 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 16:31:05 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 16:31:09 +0100 | Sgeo | (~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 +0100 | Null_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 +0100 | dsrt^ | (~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 +0100 | niekvand1pas | (~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 +0100 | niekvandepas | (~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 +0100 | Null_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 +0100 | comerijn | (~merijn@c-001-001-019.client.esciencecenter.eduvpn.nl) |
2022-03-01 16:37:28 +0100 | joegard | (~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 +0100 | rtsn | (~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 +0100 | comerijn_ | (~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 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
2022-03-01 16:40:41 +0100 | Vajb | (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
2022-03-01 16:40:51 +0100 | Vajb | (~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 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 16:41:09 +0100 | niekvand1pas | (~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 +0100 | blacked | gets 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 +0100 | comerijn | (~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 +0100 | blacked | uses emacs |
2022-03-01 16:45:47 +0100 | niekvand1pas | (~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 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2022-03-01 16:46:55 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 16:47:07 +0100 | blacked | says what is monad guys? |
2022-03-01 16:48:26 +0100 | __monty__ | (~toonn@user/toonn) |
2022-03-01 16:49:00 +0100 | Cena | (~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 +0100 | niekvandepas | (~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 +0100 | sammelweis | (~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 +0100 | blacked | :) |
2022-03-01 16:56:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 16:57:32 +0100 | mmalter | (~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 +0100 | ChanServ | +q *!*@user/blacked |
2022-03-01 16:59:12 +0100 | blacked | (~blacked@user/blacked) () |
2022-03-01 17:00:07 +0100 | ChanServ | -q *!*@user/blacked |
2022-03-01 17:02:00 +0100 | mastarija | (~mastarija@188.252.198.63) |
2022-03-01 17:02:38 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 17:02:49 +0100 | shapr` | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
2022-03-01 17:03:12 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 17:03:56 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2022-03-01 17:06:05 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 17:06:38 +0100 | zebrag | (~chris@user/zebrag) |
2022-03-01 17:07:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 17:07:23 +0100 | vysn | (~vysn@user/vysn) |
2022-03-01 17:08:10 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 17:10:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 17:11:41 +0100 | comerijn_ | merijn |
2022-03-01 17:13:01 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2022-03-01 17:13:07 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 17:13:11 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 17:14:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 17:15:14 +0100 | joegard | (~joegard@18.141-0-76.customer.lyse.net) (Quit: Client closed) |
2022-03-01 17:15:17 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-01 17:15:38 +0100 | DNH | (~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 +0100 | rtsn | (~nstr@h-98-128-229-174.NA.cust.bahnhof.se) |
2022-03-01 17:16:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-01 17:17:24 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 17:17:26 +0100 | shapr` | shapr |
2022-03-01 17:17:47 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 17:18:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 256 seconds) |
2022-03-01 17:20:12 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2022-03-01 17:21:02 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 260 seconds) |
2022-03-01 17:21:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-01 17:24:01 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
2022-03-01 17:25:47 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a14b:acb1:9879:1652) (Quit: WeeChat 2.8) |
2022-03-01 17:25:48 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
2022-03-01 17:28:10 +0100 | jinsun | (~jinsun@user/jinsun) |
2022-03-01 17:29:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 17:30:30 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-01 17:30:49 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-01 17:32:00 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2022-03-01 17:34:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-03-01 17:37:16 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
2022-03-01 17:37:24 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
2022-03-01 17:37:26 +0100 | AWizzArd | (~code@user/awizzard) (Ping timeout: 252 seconds) |
2022-03-01 17:37:59 +0100 | AWizzArd | (~code@gehrels.uberspace.de) |
2022-03-01 17:38:58 +0100 | fendor_ | fendor |
2022-03-01 17:40:03 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 17:41:26 +0100 | notzmv | (~zmv@user/notzmv) |
2022-03-01 17:44:43 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 17:48:40 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
2022-03-01 17:48:50 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 17:50:04 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 268 seconds) |
2022-03-01 17:50:17 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.4) |
2022-03-01 17:51:42 +0100 | tomku | (~tomku@user/tomku) |
2022-03-01 17:53:23 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds) |
2022-03-01 17:53:53 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-01 17:53:58 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
2022-03-01 17:55:55 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-01 17:56:13 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-01 17:58:58 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) |
2022-03-01 18:03:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 18:03:50 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
2022-03-01 18:04:11 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 18:06:11 +0100 | coot | (~coot@213.134.190.95) |
2022-03-01 18:07:42 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 252 seconds) |
2022-03-01 18:08:21 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 18:08:31 +0100 | niekvand1pas | (~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 +0100 | ubert1 | (~Thunderbi@ip5b40751a.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2022-03-01 18:09:57 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
2022-03-01 18:10:23 +0100 | [_] | [itchyjunk] |
2022-03-01 18:12:39 +0100 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-03-01 18:13:09 +0100 | mbuf | (~Shakthi@223.184.53.123) (Quit: Leaving) |
2022-03-01 18:13:21 +0100 | thaumavorio | (~thaumavor@thaumavor.io) |
2022-03-01 18:14:20 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 18:16:23 +0100 | k8yun | (~k8yun@user/k8yun) |
2022-03-01 18:17:18 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-01 18:17:31 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-01 18:18:28 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection) |
2022-03-01 18:19:24 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-03-01 18:20:23 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 18:21:16 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-01 18:24:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 18:25:18 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-01 18:25:38 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-03-01 18:28:06 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-01 18:28:19 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-01 18:28:23 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
2022-03-01 18:30:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 18:31:08 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 18:31:24 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2022-03-01 18:34:23 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-01 18:34:31 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2022-03-01 18:34:49 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-01 18:35:08 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-01 18:35:59 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 18:36:13 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 18:40:09 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-01 18:41:10 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
2022-03-01 18:41:28 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 18:41:46 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 18:43:44 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 18:43:57 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-01 18:46:11 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 18:46:11 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 18:49:00 +0100 | Akiva | (~Akiva@user/Akiva) |
2022-03-01 18:51:13 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev) |
2022-03-01 18:51:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 18:52:46 +0100 | econo | (uid147250@user/econo) |
2022-03-01 18:53:42 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 18:54:35 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
2022-03-01 18:56:18 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
2022-03-01 18:56:41 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
2022-03-01 18:58:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 252 seconds) |
2022-03-01 19:00:28 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 19:00:32 +0100 | emf | (~emf@2620:10d:c090:400::5:d9eb) |
2022-03-01 19:01:24 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 19:02:03 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 19:05:50 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
2022-03-01 19:06:36 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 19:16:57 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2022-03-01 19:17:14 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-01 19:17:24 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-03-01 19:20:06 +0100 | alp | (~alp@user/alp) (Remote host closed the connection) |
2022-03-01 19:20:26 +0100 | alp | (~alp@user/alp) |
2022-03-01 19:21:12 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) |
2022-03-01 19:22:46 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 19:26:24 +0100 | Guest16 | (~Guest16@200116b8663ca8002868c744e04e463d.dip.versatel-1u1.de) |
2022-03-01 19:26:24 +0100 | <Guest16> | why |
2022-03-01 19:26:27 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
2022-03-01 19:27:13 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 19:27:31 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-01 19:28:22 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-01 19:32:25 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
2022-03-01 19:32:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-01 19:33:51 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-03-01 19:34:06 +0100 | Guest16 | (~Guest16@200116b8663ca8002868c744e04e463d.dip.versatel-1u1.de) (Quit: Client closed) |
2022-03-01 19:34:12 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2022-03-01 19:35:34 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-01 19:37:39 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
2022-03-01 19:37:57 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2022-03-01 19:37:57 +0100 | moet | (~moet@mobile-166-137-177-061.mycingular.net) |
2022-03-01 19:38:10 +0100 | xkuru | (~xkuru@user/xkuru) |
2022-03-01 19:38:49 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 19:39:09 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) |
2022-03-01 19:42:53 +0100 | joegard | (~joegard@18.141-0-76.customer.lyse.net) |
2022-03-01 19:47:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 19:47:45 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 19:48:31 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
2022-03-01 19:50:32 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) |
2022-03-01 19:51:55 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 19:52:29 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 19:55:11 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 19:55:12 +0100 | Psybur | (~Psybur@mobile-166-170-32-247.mycingular.net) (Remote host closed the connection) |
2022-03-01 19:56:29 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 268 seconds) |
2022-03-01 19:56:36 +0100 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
2022-03-01 20:00:40 +0100 | joegard | (~joegard@18.141-0-76.customer.lyse.net) (Quit: Client closed) |
2022-03-01 20:01:40 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 20:01:49 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-03-01 20:02:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-01 20:04:18 +0100 | wingsorc | (~wingsorc@user/wingsorc) (Quit: Leaving) |
2022-03-01 20:07:31 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
2022-03-01 20:08:01 +0100 | mastarija | (~mastarija@188.252.198.63) (Quit: Leaving) |
2022-03-01 20:08:40 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 20:08:49 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 20:10:29 +0100 | MajorBiscuit | (~MajorBisc@c-001-025-058.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
2022-03-01 20:12:19 +0100 | deadmars- | (~deadmarsh@95.38.112.78) (Ping timeout: 256 seconds) |
2022-03-01 20:12:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
2022-03-01 20:13:16 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
2022-03-01 20:15:46 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-01 20:15:46 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2022-03-01 20:18:01 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
2022-03-01 20:25:47 +0100 | justAstache | (~justache@user/justache) (Ping timeout: 272 seconds) |
2022-03-01 20:28:19 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
2022-03-01 20:29:32 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-01 20:30:10 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
2022-03-01 20:31:03 +0100 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) () |
2022-03-01 20:31:49 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 20:32:26 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 20:34:30 +0100 | moet | (~moet@mobile-166-137-177-061.mycingular.net) (Quit: leaving) |
2022-03-01 20:39:31 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 20:40:25 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 20:41:09 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection) |
2022-03-01 20:42:08 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-01 20:44:22 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 20:46:05 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.78) |
2022-03-01 20:46:32 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-01 20:47:58 +0100 | kuribas | (~user@ptr-25vy0i8or7bys2zu5w9.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2022-03-01 20:49:00 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
2022-03-01 20:49:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
2022-03-01 20:49:33 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-01 20:51:03 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
2022-03-01 20:51:07 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.78) (Ping timeout: 272 seconds) |
2022-03-01 20:51:32 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
2022-03-01 20:51:38 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2022-03-01 20:54:13 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 20:54:24 +0100 | Lord_of_Life_ | Lord_of_Life |
2022-03-01 20:55:00 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 20:58:11 +0100 | jinsun__ | (~jinsun@user/jinsun) |
2022-03-01 20:58:12 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
2022-03-01 20:58:17 +0100 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) |
2022-03-01 20:58:24 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
2022-03-01 20:59:54 +0100 | justAstache | (~justache@user/justache) |
2022-03-01 20:59:54 +0100 | sajith | (~sajith@user/sajith) (Ping timeout: 260 seconds) |
2022-03-01 21:00:40 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-03-01 21:00:55 +0100 | sajith | (~sajith@user/sajith) |
2022-03-01 21:01:11 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 245 seconds) |
2022-03-01 21:01:18 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
2022-03-01 21:02:36 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2022-03-01 21:03:06 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 21:04:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 21:04:23 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
2022-03-01 21:04:45 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-01 21:05:03 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2022-03-01 21:05:25 +0100 | fendor | (~fendor@178.165.161.199.wireless.dyn.drei.com) (Remote host closed the connection) |
2022-03-01 21:05:34 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-01 21:06:40 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
2022-03-01 21:07:05 +0100 | cynomys | (~cynomys@user/cynomys) |
2022-03-01 21:08:33 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) |
2022-03-01 21:09:19 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 21:09:23 +0100 | flupe | (~baboum@radon.sbi.re) (Read error: Connection reset by peer) |
2022-03-01 21:09:32 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
2022-03-01 21:09:38 +0100 | flupe | (~baboum@radon.sbi.re) |
2022-03-01 21:10:01 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
2022-03-01 21:11:15 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 250 seconds) |
2022-03-01 21:11:41 +0100 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (Ping timeout: 250 seconds) |
2022-03-01 21:11:56 +0100 | Ferdirand | (~somebody@2001:4c78:2012:5000::2) (Ping timeout: 252 seconds) |
2022-03-01 21:12:31 +0100 | alp | (~alp@user/alp) |
2022-03-01 21:12:54 +0100 | neurocyte0917090 | (~neurocyte@IP-212232094231.dynamic.medianet-world.de) |
2022-03-01 21:12:54 +0100 | neurocyte0917090 | (~neurocyte@IP-212232094231.dynamic.medianet-world.de) (Changing host) |
2022-03-01 21:12:54 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
2022-03-01 21:16:21 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
2022-03-01 21:17:18 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
2022-03-01 21:18:00 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
2022-03-01 21:19:08 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 21:19:48 +0100 | Ferdirand | (~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 +0100 | piele | (~piele@tbonesteak.creativeserver.net) (Remote host closed the connection) |
2022-03-01 21:22:39 +0100 | Erutuon | (~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 +0100 | piele | (~piele@tbonesteak.creativeserver.net) |
2022-03-01 21:23:23 +0100 | simeon | (~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 +0100 | simeon | (~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 +0100 | niekvandepas | (~niekvande@77.161.122.185) |
2022-03-01 21:24:33 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 21:24:55 +0100 | earthy | (~arthurvl@deban2.xs4all.space) |
2022-03-01 21:25:00 +0100 | zincy_ | (~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 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
2022-03-01 21:28:32 +0100 | niekvandepas | (~niekvande@77.161.122.185) (Ping timeout: 240 seconds) |
2022-03-01 21:29:07 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-01 21:29:10 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
2022-03-01 21:29:26 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 21:29:51 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection) |
2022-03-01 21:30:34 +0100 | dhruvasagar | (~dhruvasag@49.207.194.244) (Quit: WeeChat 3.4) |
2022-03-01 21:31:00 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 21:33:00 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-01 21:33:19 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-01 21:35:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-01 21:36:41 +0100 | phma_ | (phma@2001:5b0:211c:1ab8:337e:48b8:44a6:cbd6) |
2022-03-01 21:37:12 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 21:37:28 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 21:37:34 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 21:39:02 +0100 | komikat | (~komikat@27.57.144.183) |
2022-03-01 21:39:40 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
2022-03-01 21:40:29 +0100 | phma | (phma@2001:5b0:211c:1ab8:fe78:9588:6bf8:c889) (Ping timeout: 256 seconds) |
2022-03-01 21:42:47 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 21:43:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 21:44:07 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 256 seconds) |
2022-03-01 21:48:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 21:48:23 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 21:49:17 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds) |
2022-03-01 21:51:26 +0100 | Null_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 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 21:58:22 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 21:58:35 +0100 | raehik | (~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 +0100 | zincy_ | (~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 +0100 | coot | (~coot@213.134.190.95) |
2022-03-01 22:02:50 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
2022-03-01 22:03:50 +0100 | zincy_ | (~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 +0100 | zincy_ | (~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 +0100 | pavonia | (~user@user/siracusa) |
2022-03-01 22:07:05 +0100 | pooryorick | (~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 +0100 | cynomys | (~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 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-03-01 22:09:01 +0100 | pooryorick | (~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 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 22:11:19 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
2022-03-01 22:13:54 +0100 | motherfsck | (~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 +0100 | zincy_ | (~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 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 22:18:26 +0100 | Kevin578 | (~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 +0100 | burnsidesLlama | (~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 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-01 22:21:20 +0100 | niekvandepas | (~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 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 22:22:31 +0100 | zincy_ | (~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 +0100 | SoF | (~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 +0100 | michalz | (~michalz@185.246.204.93) (Remote host closed the connection) |
2022-03-01 22:24:06 +0100 | drdo | (~drdo@roach0.drdo.eu) (Read error: Connection reset by peer) |
2022-03-01 22:24:13 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
2022-03-01 22:24:14 +0100 | drdo6 | (~drdo@roach0.drdo.eu) |
2022-03-01 22:24:31 +0100 | vicfred | (~vicfred@user/vicfred) |
2022-03-01 22:24:35 +0100 | SoF | (~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 +0100 | cosimone | (~user@93-47-229-38.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
2022-03-01 22:29:48 +0100 | TheCoffeMaker | (~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 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 22:33:56 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 22:35:16 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2022-03-01 22:36:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
2022-03-01 22:38:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 22:38:19 +0100 | phma_ | phma |
2022-03-01 22:38:54 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-03-01 22:39:32 +0100 | <geekosaur> | shoulda named `f` `add` |
2022-03-01 22:39:42 +0100 | geekosaur | did use (^) with malice aforethought, though |
2022-03-01 22:40:03 +0100 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 272 seconds) |
2022-03-01 22:41:13 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 22:41:22 +0100 | kawpuh | (~kawpuh@66.42.81.80) (The Lounge - https://thelounge.chat) |
2022-03-01 22:42:16 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
2022-03-01 22:45:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 22:45:15 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 22:45:33 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-01 22:47:14 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 22:47:20 +0100 | agumonkey | (~user@88.163.231.79) |
2022-03-01 22:47:34 +0100 | jespada | (~jespada@185.69.145.16) (Read error: Connection reset by peer) |
2022-03-01 22:47:41 +0100 | lavaman | (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
2022-03-01 22:48:12 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 22:48:50 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 22:49:22 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
2022-03-01 22:50:52 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:ea9e:d5fd:3f85:b044) (Read error: Connection reset by peer) |
2022-03-01 22:51:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 22:52:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
2022-03-01 22:53:49 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 22:56:16 +0100 | ober | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) |
2022-03-01 22:56:20 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 22:56:27 +0100 | ober | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Client Quit) |
2022-03-01 22:56:47 +0100 | ober | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) |
2022-03-01 22:57:46 +0100 | jespada | (~jespada@185.69.145.16) |
2022-03-01 22:58:42 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 22:58:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-01 23:00:02 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-03-01 23:00:23 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-03-01 23:00:46 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 245 seconds) |
2022-03-01 23:02:43 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-01 23:04:18 +0100 | ccntrq | (~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 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
2022-03-01 23:09:00 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
2022-03-01 23:09:01 +0100 | ubert | (~Thunderbi@p200300ecdf3be9cb0930a09fd733e6d6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2022-03-01 23:09:02 +0100 | ub | (~Thunderbi@p548c8d84.dip0.t-ipconnect.de) |
2022-03-01 23:09:19 +0100 | eggplantade | (~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 +0100 | ub | ubert |
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 +0100 | waleee | (~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 +0100 | Guest33 | (~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 +0100 | Guest33 | (~Guest33@139.red-79-146-225.dynamicip.rima-tde.net) (Client Quit) |
2022-03-01 23:13:31 +0100 | cynomys | (~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 +0100 | komikat | (~komikat@27.57.144.183) (Remote host closed the connection) |
2022-03-01 23:15:32 +0100 | coot | (~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 +0100 | Guest|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 +0100 | komikat | (~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 +0100 | jespada | (~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 +0100 | Guest|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 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.4) |
2022-03-01 23:19:54 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2022-03-01 23:19:59 +0100 | waleee | (~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 +0100 | Kevin578 | (~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 +0100 | dschrempf | (~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 +0100 | lavaman | (~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 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-01 23:25:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-01 23:26:42 +0100 | dschrempf | (~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 +0100 | dschrempf | (~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 +0100 | dschrempf | (~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 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-01 23:33:14 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
2022-03-01 23:33:33 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2022-03-01 23:33:37 +0100 | dfg | (~dfg@dfg.rocks) |
2022-03-01 23:33:37 +0100 | dfg | (~dfg@dfg.rocks) (Changing host) |
2022-03-01 23:33:37 +0100 | dfg | (~dfg@user/dfg) |
2022-03-01 23:35:12 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-01 23:35:59 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
2022-03-01 23:36:06 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-01 23:38:27 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev) |
2022-03-01 23:38:57 +0100 | ober_ | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) |
2022-03-01 23:39:20 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:254f:fda4:cde:8b08) |
2022-03-01 23:39:23 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-01 23:39:24 +0100 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 240 seconds) |
2022-03-01 23:41:50 +0100 | ober | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
2022-03-01 23:43:14 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2022-03-01 23:43:28 +0100 | ober__ | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) |
2022-03-01 23:43:34 +0100 | ober__ | (~ober@c-73-68-74-41.hsd1.ma.comcast.net) (Client Quit) |
2022-03-01 23:45:05 +0100 | benthumb2000 | (~paul@2400:4052:10a1:f200:9e17:dd43:3aaf:590b) |
2022-03-01 23:45:17 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
2022-03-01 23:46:32 +0100 | ober_ | (~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 +0100 | alp_ | (~alp@user/alp) |
2022-03-01 23:48:19 +0100 | telser_ | (~quassel@user/telser) |
2022-03-01 23:48:31 +0100 | nek02 | (~nek0@nek0.eu) |
2022-03-01 23:48:42 +0100 | ncopa3 | (~ncopa@gbr2-dev1.alpinelinux.org) |
2022-03-01 23:48:46 +0100 | bollu6 | (~bollu@159.65.151.13) |
2022-03-01 23:48:48 +0100 | dextaa7 | (~DV@user/dextaa) |
2022-03-01 23:49:05 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds) |
2022-03-01 23:49:05 +0100 | c_wraith | (~c_wraith@adjoint.us) (Ping timeout: 256 seconds) |
2022-03-01 23:49:05 +0100 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) (Ping timeout: 256 seconds) |
2022-03-01 23:49:05 +0100 | jtmar | (~james@jtmar.me) (Ping timeout: 256 seconds) |
2022-03-01 23:49:15 +0100 | jpneverwas | (jpneverwas@swissbox.unperson.link) |
2022-03-01 23:49:23 +0100 | loonycyborg_ | (loonycybor@chantal.wesnoth.org) |
2022-03-01 23:49:32 +0100 | nek0 | (~nek0@nek0.eu) (Killed (NickServ (GHOST command used by nek02))) |
2022-03-01 23:49:35 +0100 | jamestmartin | (~james@jtmar.me) |
2022-03-01 23:49:44 +0100 | nek02 | nek0 |
2022-03-01 23:49:45 +0100 | maerwald_ | (~maerwald@mail.hasufell.de) |
2022-03-01 23:49:47 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2022-03-01 23:49:50 +0100 | Taneb0 | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
2022-03-01 23:49:53 +0100 | Philonous_ | (~Philonous@user/philonous) |
2022-03-01 23:50:13 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (Ping timeout: 256 seconds) |
2022-03-01 23:50:13 +0100 | Taneb | (~Taneb@runciman.hacksoc.org) (Ping timeout: 256 seconds) |
2022-03-01 23:50:13 +0100 | Me-me | (~me-me@user/me-me) (Ping timeout: 256 seconds) |
2022-03-01 23:50:13 +0100 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 256 seconds) |
2022-03-01 23:50:13 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds) |
2022-03-01 23:50:13 +0100 | dminuoso | (~dminuoso@user/dminuoso) (Ping timeout: 256 seconds) |
2022-03-01 23:50:13 +0100 | juri_ | (~juri@178.63.35.222) (Ping timeout: 256 seconds) |
2022-03-01 23:50:13 +0100 | neverwas | (jpneverwas@swissbox.unperson.link) (Ping timeout: 256 seconds) |
2022-03-01 23:50:13 +0100 | TMA | (~tma@twin.jikos.cz) (Ping timeout: 256 seconds) |
2022-03-01 23:50:26 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
2022-03-01 23:50:41 +0100 | dminuoso | (~dminuoso@static.88-198-218-68.clients.your-server.de) |
2022-03-01 23:50:47 +0100 | alp | (~alp@user/alp) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | kmein | (~weechat@user/kmein) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | lechner | (~lechner@debian/lechner) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | dextaa | (~DV@user/dextaa) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | telser | (~quassel@user/telser) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | ncopa | (~ncopa@gbr2-dev1.alpinelinux.org) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | bollu | (~bollu@159.65.151.13) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | anderson | (~ande@user/anderson) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | Philonous | (~Philonous@user/philonous) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | dextaa7 | dextaa |
2022-03-01 23:50:47 +0100 | ncopa3 | ncopa |
2022-03-01 23:50:47 +0100 | robertm | (~robertm@lattice.rojoma.com) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | stvc | (~stvc@192.241.166.39) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | cls | (~cls@chalk.lubutu.com) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | statusfailed | (~statusfai@statusfailed.com) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | mmaruseacph2 | (~mihai@198.199.100.72) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | andjjj23_ | (~irc@107.170.228.47) (Ping timeout: 256 seconds) |
2022-03-01 23:50:47 +0100 | n3t | (n3t@user/n3t) (Ping timeout: 256 seconds) |
2022-03-01 23:50:48 +0100 | bollu6 | bollu |
2022-03-01 23:50:48 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
2022-03-01 23:50:52 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) |
2022-03-01 23:50:52 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
2022-03-01 23:50:52 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2022-03-01 23:51:38 +0100 | shachaf | (~shachaf@user/shachaf) |
2022-03-01 23:51:46 +0100 | TMA | (tma@twin.jikos.cz) |
2022-03-01 23:52:05 +0100 | juri_ | (~juri@178.63.35.222) |
2022-03-01 23:52:13 +0100 | meejah | (~meejah@rutas.meejah.ca) |
2022-03-01 23:52:16 +0100 | cls | (~cls@chalk.lubutu.com) |
2022-03-01 23:52:29 +0100 | mmaruseacph2 | (~mihai@198.199.100.72) |
2022-03-01 23:52:34 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
2022-03-01 23:52:37 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) |
2022-03-01 23:52:41 +0100 | statusfailed | (~statusfai@statusfailed.com) |
2022-03-01 23:52:47 +0100 | kmein | (~weechat@user/kmein) |
2022-03-01 23:53:03 +0100 | anderson | (~ande@user/anderson) |
2022-03-01 23:53:04 +0100 | n3t | (n3t@s45.mydevil.net) |
2022-03-01 23:53:49 +0100 | lechner | (~lechner@debian/lechner) |
2022-03-01 23:54:58 +0100 | c_wraith | (~c_wraith@adjoint.us) |
2022-03-01 23:55:53 +0100 | niko | (~niko@libera/staff/niko) (Ping timeout: 606 seconds) |