| 2022-02-27 00:03:07 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-27 00:04:53 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-27 00:04:54 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-27 00:04:54 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 00:06:32 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-02-27 00:07:22 +0100 | fendor__ | (~fendor@178.165.185.73.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-02-27 00:09:24 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-27 00:12:34 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-27 00:13:39 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-27 00:14:03 +0100 | yuvi | (~uv125@192.54.96.185) |
| 2022-02-27 00:14:20 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 00:15:48 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 00:19:19 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 00:19:47 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 2022-02-27 00:22:49 +0100 | yauhsien_ | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-27 00:25:46 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-02-27 00:29:06 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 00:31:10 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-27 00:32:37 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-02-27 00:32:57 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-27 00:34:09 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 250 seconds) |
| 2022-02-27 00:36:37 +0100 | komikat | (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 2022-02-27 00:37:59 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-27 00:38:48 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-27 00:43:13 +0100 | komikat | (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 2022-02-27 00:45:09 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-27 00:45:39 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-27 00:46:05 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 00:46:13 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-27 00:46:45 +0100 | aeka | (~aeka@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 00:46:59 +0100 | aeka | (~aeka@user/hiruji) |
| 2022-02-27 00:48:57 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 00:49:33 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 00:51:32 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 00:51:49 +0100 | komikat | (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 2022-02-27 00:51:56 +0100 | mason0 | (~bc8147f2@cerf.good1.com) |
| 2022-02-27 00:53:31 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:6d01:d8ee:e30a:cd90) (Quit: Leaving) |
| 2022-02-27 00:54:57 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:c06a:2206:8e98:4506) |
| 2022-02-27 00:55:03 +0100 | <dragestil> | when is the next haskell report likely to happen? |
| 2022-02-27 00:56:04 +0100 | <geekosaur> | nobody knows |
| 2022-02-27 00:57:00 +0100 | <yushyin> | there is not much momentum |
| 2022-02-27 00:58:04 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-27 01:03:13 +0100 | komikat | (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 2022-02-27 01:04:58 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-27 01:08:36 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 01:09:28 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-27 01:10:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-02-27 01:13:33 +0100 | <hpc> | maybe after dependent types? :D |
| 2022-02-27 01:14:57 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2022-02-27 01:18:37 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 01:23:43 +0100 | <Cale> | The problem is, to the extent that it would really serve a purpose, it's a bit of a research project in and of itself. One of the major reasons you'd want a new Haskell Report is to be able to explain how all the various extensions people are using are meant to fit together and interact with one another. But this is only partly understood, and it's basically a research project that likely requires effort by some of |
| 2022-02-27 01:23:43 +0100 | <Cale> | the busiest people to actually answer. |
| 2022-02-27 01:24:13 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:3759:5214:cdd8:8e36) |
| 2022-02-27 01:24:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-02-27 01:26:31 +0100 | <geekosaur> | not to mention that there's "meant to" vs. "actually do", which at this point probably nobody knows |
| 2022-02-27 01:27:11 +0100 | Techcable | (~Techcable@168.235.93.147) |
| 2022-02-27 01:27:27 +0100 | <Cale> | Yeah! |
| 2022-02-27 01:27:27 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 01:27:34 +0100 | <APic> | yay |
| 2022-02-27 01:27:47 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-27 01:28:56 +0100 | <Cale> | If it's a matter of staring hard at GHC's source code and trying to describe what would happen, that's one thing, but you're going to be reporting on a bunch of stuff that might be considered bugs, and a lot of people think of the Report as a standard. |
| 2022-02-27 01:30:14 +0100 | michalz | (~michalz@185.246.204.87) (Remote host closed the connection) |
| 2022-02-27 01:31:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 01:34:01 +0100 | Ariakenom | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving) |
| 2022-02-27 01:35:41 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection) |
| 2022-02-27 01:37:16 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 01:38:46 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 01:40:17 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 01:44:12 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-02-27 01:46:05 +0100 | mmhat | (~mmh@55d4cbdc.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-02-27 01:49:02 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::8c21) |
| 2022-02-27 01:52:14 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-27 01:55:49 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 2022-02-27 01:57:17 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 02:02:01 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-02-27 02:03:05 +0100 | <Unicorn_Princess> | who thought it would be clever to flip the argument order for foldl/foldr anyway? |
| 2022-02-27 02:04:02 +0100 | <ski> | it's supposed to reflect the ordering in which the elements are combined |
| 2022-02-27 02:04:09 +0100 | <Unicorn_Princess> | hence "clever" |
| 2022-02-27 02:04:27 +0100 | <ski> | > foldr (+) z [a,b,c,d] |
| 2022-02-27 02:04:29 +0100 | <lambdabot> | a + (b + (c + (d + z))) |
| 2022-02-27 02:04:31 +0100 | <ski> | > foldl (**) z [a,b,c,d] |
| 2022-02-27 02:04:33 +0100 | <lambdabot> | (((z**a)**b)**c)**d |
| 2022-02-27 02:05:10 +0100 | <Unicorn_Princess> | ooh, lambdabot does symbolic calcs now? |
| 2022-02-27 02:05:10 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 02:05:34 +0100 | <Unicorn_Princess> | that's pretty neat |
| 2022-02-27 02:05:39 +0100 | <geekosaur> | has for a while. you can also do them in ghci, with |
| 2022-02-27 02:05:44 +0100 | <geekosaur> | @hackage simple-reflect |
| 2022-02-27 02:05:44 +0100 | <lambdabot> | https://hackage.haskell.org/package/simple-reflect |
| 2022-02-27 02:05:46 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:3759:5214:cdd8:8e36) (Ping timeout: 245 seconds) |
| 2022-02-27 02:06:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 2022-02-27 02:06:33 +0100 | off^ | (~off@50-202-219-146-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-02-27 02:07:55 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-27 02:08:11 +0100 | <ski> | SML has |
| 2022-02-27 02:08:17 +0100 | <ski> | val foldr : ('a * 'r -> 'r) -> 'r -> 'a list -> 'r |
| 2022-02-27 02:08:25 +0100 | <ski> | val foldl : ('a * 's -> 's) -> 's -> 'a list -> 's |
| 2022-02-27 02:08:31 +0100 | <ski> | while OCaml has |
| 2022-02-27 02:08:37 +0100 | <ski> | val fold_right : ('a -> 'r -> 'r) -> ('a list -> 'r -> 'r) |
| 2022-02-27 02:08:38 +0100 | <ski> | val fold_left : ('s -> 'a -> 's) -> ('s -> 'a list -> 's) |
| 2022-02-27 02:10:22 +0100 | <ski> | in the SML version, `foldr' and `foldl' has the same type. in the OCaml version, you can do e.g. `fold_right (fold_right f) z' or `(fold_right o fold_right) f z' (and ditto with `fold_left), to fold a list of lists |
| 2022-02-27 02:10:48 +0100 | <ski> | (since the haskell `foldr' and `foldl' takes the list as the last argument, you can't do that there) |
| 2022-02-27 02:10:51 +0100 | <Unicorn_Princess> | look i am here to complain, not learn |
| 2022-02-27 02:10:53 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-02-27 02:10:59 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-02-27 02:11:58 +0100 | <ski> | (one could argue that the Haskell ones combine the worst of the other two) |
| 2022-02-27 02:13:41 +0100 | xff0x | (~xff0x@2001:1a81:5275:9000:6fcf:72fa:90c9:3b0d) (Ping timeout: 245 seconds) |
| 2022-02-27 02:14:41 +0100 | xff0x | (~xff0x@2001:1a81:5275:9000:7e1f:e9dd:90c3:100) |
| 2022-02-27 02:16:22 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-27 02:16:22 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-27 02:16:22 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 02:17:00 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-02-27 02:21:25 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 02:23:03 +0100 | AlexNoo | (~AlexNoo@94.233.240.108) (Read error: Connection reset by peer) |
| 2022-02-27 02:23:25 +0100 | AlexNoo | (~AlexNoo@94.233.240.108) |
| 2022-02-27 02:24:39 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 02:25:24 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-02-27 02:26:33 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:26:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:26:55 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:27:09 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:27:11 +0100 | omantere | (~pi@85-156-109-34.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2022-02-27 02:27:16 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:27:30 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:27:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:27:46 +0100 | omantere | (~pi@85-156-109-34.elisa-laajakaista.fi) |
| 2022-02-27 02:27:53 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:28:01 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:28:15 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:28:23 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:28:37 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:28:45 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:28:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:29:06 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:29:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:29:28 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:29:33 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-27 02:29:43 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:29:51 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:30:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:30:14 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:30:28 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:30:36 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:30:50 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:30:58 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:31:12 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:31:20 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:31:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:31:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:31:56 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:32:04 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:32:19 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 02:32:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 02:33:03 +0100 | Guest47 | (~Guest47@2601:182:4300:ad80:4469:39f:2fe1:2401) |
| 2022-02-27 02:34:44 +0100 | Guest47 | (~Guest47@2601:182:4300:ad80:4469:39f:2fe1:2401) (Client Quit) |
| 2022-02-27 02:40:21 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-27 02:41:26 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 02:45:43 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 02:51:57 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 02:55:34 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection) |
| 2022-02-27 03:03:58 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 03:12:11 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 03:30:35 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 03:37:14 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-02-27 03:37:27 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-27 03:39:17 +0100 | justAstache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-02-27 03:39:25 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 03:39:37 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::8c21) (Ping timeout: 240 seconds) |
| 2022-02-27 03:40:14 +0100 | justAstache | (~justache@user/justache) |
| 2022-02-27 03:42:52 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 2022-02-27 03:42:56 +0100 | alp | (~alp@user/alp) (Ping timeout: 268 seconds) |
| 2022-02-27 03:45:10 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-27 03:45:41 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-27 03:48:22 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 03:52:02 +0100 | xff0x | (~xff0x@2001:1a81:5275:9000:7e1f:e9dd:90c3:100) (Ping timeout: 260 seconds) |
| 2022-02-27 03:52:02 +0100 | <systemfault> | If you ever wanted to write an emulator in Haskell, would you use "IORef"s the CPU state or is there a better way to go? |
| 2022-02-27 03:53:54 +0100 | xff0x | (~xff0x@2001:1a81:5290:f100:db11:c908:8062:e9b4) |
| 2022-02-27 03:55:37 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 03:58:37 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 04:07:17 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-02-27 04:07:39 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:c06a:2206:8e98:4506) (Remote host closed the connection) |
| 2022-02-27 04:09:03 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) |
| 2022-02-27 04:09:15 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 04:13:12 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-02-27 04:13:12 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-27 04:13:12 +0100 | finn_elija | FinnElija |
| 2022-02-27 04:17:01 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 04:17:31 +0100 | mason0 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 2022-02-27 04:20:09 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 04:22:42 +0100 | td_ | (~td@94.134.91.30) (Ping timeout: 272 seconds) |
| 2022-02-27 04:23:48 +0100 | td_ | (~td@muedsl-82-207-238-210.citykom.de) |
| 2022-02-27 04:25:58 +0100 | jz99 | (~jz99@150.203.66.198) |
| 2022-02-27 04:26:20 +0100 | jz99 | (~jz99@150.203.66.198) (Remote host closed the connection) |
| 2022-02-27 04:29:37 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-27 04:29:57 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Client Quit) |
| 2022-02-27 04:30:36 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-27 04:37:02 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 04:37:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-27 04:38:12 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-27 04:40:55 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 04:41:32 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 04:42:24 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 04:45:58 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 04:47:29 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-27 04:47:56 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Quit: leaving) |
| 2022-02-27 04:50:00 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-27 04:50:00 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-27 04:50:00 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 04:54:52 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 04:56:31 +0100 | <ski> | systemfault : do you need multiple threads ? |
| 2022-02-27 04:56:55 +0100 | <systemfault> | ski: I don't |
| 2022-02-27 04:57:58 +0100 | <ski> | perhaps it'd be enough just to use `STRef', or maybe `State'/`StateT' ? |
| 2022-02-27 04:59:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 05:00:44 +0100 | <systemfault> | I really want "actual mutations" for things like CPU registers so I wanted to avoid State(T), but STRef looks perfect |
| 2022-02-27 05:00:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 05:01:04 +0100 | <ski> | for memory, perhaps you could use `STArray' |
| 2022-02-27 05:01:10 +0100 | <ski> | (or `STUArray') |
| 2022-02-27 05:01:27 +0100 | <systemfault> | U? Unboxed? |
| 2022-02-27 05:01:31 +0100 | <ski> | yea |
| 2022-02-27 05:01:52 +0100 | <systemfault> | Makes sense, thank you :) |
| 2022-02-27 05:03:53 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 05:04:12 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-02-27 05:06:53 +0100 | <ski> | np |
| 2022-02-27 05:11:16 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 05:18:12 +0100 | yuvi | (~uv125@192.54.96.185) (Ping timeout: 240 seconds) |
| 2022-02-27 05:24:56 +0100 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-02-27 05:25:10 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-02-27 05:25:56 +0100 | ddb | (~ddb@ipv6two.tilde.club) (Quit: WeeChat 3.4) |
| 2022-02-27 05:27:13 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 05:28:31 +0100 | komikat_ | (~komikat@183.82.154.152) |
| 2022-02-27 05:28:35 +0100 | mcglk | (~mcglk@131.191.49.120) |
| 2022-02-27 05:29:05 +0100 | mcglk_ | (~mcglk@131.191.49.120) (Ping timeout: 256 seconds) |
| 2022-02-27 05:29:22 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 05:30:47 +0100 | komikat | (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 2022-02-27 05:31:06 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-27 05:31:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 05:32:48 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 05:33:03 +0100 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 256 seconds) |
| 2022-02-27 05:33:08 +0100 | mcglk_ | (~mcglk@131.191.49.120) |
| 2022-02-27 05:34:17 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-27 05:35:37 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-27 05:40:57 +0100 | mcglk_ | (~mcglk@131.191.49.120) (Ping timeout: 240 seconds) |
| 2022-02-27 05:41:55 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 05:43:47 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-27 05:45:20 +0100 | deadmarshal | (~deadmarsh@95.38.228.84) |
| 2022-02-27 05:51:13 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 05:55:28 +0100 | sleblanc | (~sleblanc@user/sleblanc) |
| 2022-02-27 05:55:57 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 06:02:32 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 06:06:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 06:12:38 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 06:16:18 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 06:17:28 +0100 | mcglk | (~mcglk@131.191.49.120) |
| 2022-02-27 06:18:57 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-02-27 06:25:35 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-27 06:31:56 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-27 06:33:05 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 06:34:58 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 06:37:06 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 06:40:45 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-02-27 06:47:25 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-02-27 06:48:25 +0100 | deadmarshal | (~deadmarsh@95.38.228.84) (Ping timeout: 256 seconds) |
| 2022-02-27 06:49:03 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-02-27 06:50:05 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 06:55:36 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 07:00:02 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 07:09:41 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-27 07:10:19 +0100 | komikat_ | (~komikat@183.82.154.152) (Remote host closed the connection) |
| 2022-02-27 07:10:31 +0100 | komikat | (~komikat@183.82.154.152) |
| 2022-02-27 07:10:43 +0100 | <gentauro> | I'm trying to figure out `sequenceA` and it seems that I go in some self referencing `meh`. Apparently `sequenceA` is based on `traverse` and `traverse` is based on `sequenceA` … https://hackage.haskell.org/package/base-4.16.0.0/docs/src/Data.Traversable.html#sequenceA and https://hackage.haskell.org/package/base-4.16.0.0/docs/src/Data.Traversable.html#traverse |
| 2022-02-27 07:13:26 +0100 | <c_wraith> | traverse = fmap + sequenceA |
| 2022-02-27 07:14:05 +0100 | <c_wraith> | Instances of Traversable have to be instances of Functor, so you get to implement either traverse or sequenceA and get the other for free |
| 2022-02-27 07:14:42 +0100 | <ski> | mutually recursive default implementations |
| 2022-02-27 07:15:04 +0100 | <ski> | same deal as with `(==)' and `(/=)', for `Eq' |
| 2022-02-27 07:15:12 +0100 | <c_wraith> | That's the important part - they both belong to Traversable. You need to define one of them in your instance. |
| 2022-02-27 07:15:18 +0100 | <c_wraith> | (or both, if you want) |
| 2022-02-27 07:15:40 +0100 | <c_wraith> | So there really isn't a generic implementation. They're all type-specific |
| 2022-02-27 07:15:59 +0100 | <ski> | {-# MINIMAL traverse | sequenceA #-} -- minimal complete definition requires one of these |
| 2022-02-27 07:16:31 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-02-27 07:17:01 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 07:17:49 +0100 | phma | (~phma@host-67-44-208-8.hnremote.net) (Read error: Connection reset by peer) |
| 2022-02-27 07:18:44 +0100 | phma | (phma@2001:5b0:211b:a778:8216:9331:d066:4cc5) |
| 2022-02-27 07:20:07 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 07:21:29 +0100 | deadmarshal | (~deadmarsh@95.38.228.84) |
| 2022-02-27 07:22:09 +0100 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 07:28:25 +0100 | dolio | (~dolio@130.44.130.54) |
| 2022-02-27 07:29:49 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 07:31:00 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-27 07:31:59 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 07:32:10 +0100 | yuvi | (~uv125@192.54.96.185) |
| 2022-02-27 07:34:33 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 07:35:36 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-02-27 07:36:35 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-27 07:37:09 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-02-27 07:37:32 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 07:38:08 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 07:38:11 +0100 | img | (~img@user/img) |
| 2022-02-27 07:38:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 07:39:04 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-02-27 07:39:23 +0100 | kmein | (~weechat@user/kmein) |
| 2022-02-27 07:40:25 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-27 07:40:59 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 07:42:08 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-27 07:42:36 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-27 07:48:43 +0100 | analognoise | (~analognoi@ip98-176-154-48.sd.sd.cox.net) |
| 2022-02-27 07:57:45 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 07:58:25 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-02-27 07:59:10 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-02-27 08:01:10 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 08:02:49 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-27 08:07:09 +0100 | alMalsam1 | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-27 08:08:32 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 08:08:47 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-27 08:13:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 08:16:38 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 08:18:12 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 08:19:50 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-27 08:21:35 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 08:28:05 +0100 | img | (~img@user/img) |
| 2022-02-27 08:29:50 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-02-27 08:32:40 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-02-27 08:36:35 +0100 | little_mac_ | (~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) |
| 2022-02-27 08:37:16 +0100 | little_mac_ | (~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) (Client Quit) |
| 2022-02-27 08:38:33 +0100 | little_mac_ | (~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) |
| 2022-02-27 08:38:37 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Ping timeout: 240 seconds) |
| 2022-02-27 08:39:37 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 08:43:22 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-27 08:43:22 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 08:44:02 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:fccd:4785:fec8:6e0c) |
| 2022-02-27 08:45:50 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 08:46:37 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2022-02-27 08:47:57 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-27 08:50:17 +0100 | komikat | (~komikat@183.82.154.152) (Remote host closed the connection) |
| 2022-02-27 08:50:39 +0100 | komikat | (~komikat@183.82.154.152) |
| 2022-02-27 08:51:52 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 2022-02-27 08:53:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 09:01:14 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 09:04:02 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) |
| 2022-02-27 09:05:39 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 09:09:45 +0100 | yauhsien_ | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 09:10:45 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 09:10:52 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-27 09:11:54 +0100 | srk | (~sorki@user/srk) (Remote host closed the connection) |
| 2022-02-27 09:12:11 +0100 | srk | (~sorki@user/srk) |
| 2022-02-27 09:12:55 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-27 09:19:31 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 09:20:35 +0100 | yuvi | (~uv125@192.54.96.185) (Ping timeout: 256 seconds) |
| 2022-02-27 09:22:22 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) |
| 2022-02-27 09:23:08 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Client Quit) |
| 2022-02-27 09:23:46 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) |
| 2022-02-27 09:23:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 09:24:18 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 09:25:26 +0100 | little_mac_ | (~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) (Ping timeout: 272 seconds) |
| 2022-02-27 09:27:36 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 09:27:53 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Client Quit) |
| 2022-02-27 09:28:36 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-27 09:29:05 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-02-27 09:32:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 09:40:39 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-02-27 09:44:32 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-02-27 09:45:42 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-27 09:50:09 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 09:51:18 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-02-27 09:53:00 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 09:53:41 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-02-27 10:00:13 +0100 | soft | (~soft@2001:470:69fc:105::c75) (Quit: You have been kicked for being idle) |
| 2022-02-27 10:00:13 +0100 | benjamin[m]123 | (~benjaminm@2001:470:69fc:105::1:3f2f) (Quit: You have been kicked for being idle) |
| 2022-02-27 10:00:22 +0100 | alp | (~alp@user/alp) |
| 2022-02-27 10:00:28 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 10:01:42 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection) |
| 2022-02-27 10:02:00 +0100 | analognoise | (~analognoi@ip98-176-154-48.sd.sd.cox.net) (Quit: Leaving) |
| 2022-02-27 10:02:20 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 10:04:40 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-27 10:05:47 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-02-27 10:09:16 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 10:13:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 10:13:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-27 10:15:36 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-27 10:15:57 +0100 | xff0x | (~xff0x@2001:1a81:5290:f100:db11:c908:8062:e9b4) (Ping timeout: 240 seconds) |
| 2022-02-27 10:16:26 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 10:16:34 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-02-27 10:17:05 +0100 | xff0x | (~xff0x@2001:1a81:5290:f100:89ec:887a:1b64:e62f) |
| 2022-02-27 10:25:08 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 10:30:23 +0100 | mbuf | (~Shakthi@122.162.139.196) |
| 2022-02-27 10:33:37 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 10:35:48 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 2022-02-27 10:36:52 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 10:43:00 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-27 10:43:34 +0100 | img | (~img@user/img) |
| 2022-02-27 10:44:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 10:48:16 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-02-27 10:48:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2022-02-27 10:51:46 +0100 | phma | (phma@2001:5b0:211b:a778:8216:9331:d066:4cc5) (Read error: Connection reset by peer) |
| 2022-02-27 10:52:27 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:a707:a23c:188e:f142) |
| 2022-02-27 10:53:25 +0100 | phma | (phma@2001:5b0:211c:1ab8:fe78:9588:6bf8:c889) |
| 2022-02-27 10:53:52 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 10:56:58 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-02-27 10:58:00 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 10:58:24 +0100 | jespada | (~jespada@148.252.133.30) |
| 2022-02-27 11:00:06 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-27 11:02:06 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 2022-02-27 11:03:51 +0100 | jespada | (~jespada@148.252.133.30) (Read error: Connection reset by peer) |
| 2022-02-27 11:04:36 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-27 11:05:58 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-27 11:06:10 +0100 | fendor | (~fendor@178.165.185.73.wireless.dyn.drei.com) |
| 2022-02-27 11:06:16 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-27 11:06:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 2022-02-27 11:08:08 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 11:08:16 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-27 11:09:28 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-27 11:09:43 +0100 | mmhat | (~mmh@55d4782f.access.ecotel.net) |
| 2022-02-27 11:10:43 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 11:12:14 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-27 11:12:35 +0100 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-02-27 11:12:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 11:14:12 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-27 11:14:50 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-02-27 11:15:15 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 11:18:54 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 11:22:37 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 2022-02-27 11:24:20 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-02-27 11:27:23 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-02-27 11:33:43 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-02-27 11:36:52 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 11:38:24 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 11:39:55 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 11:48:56 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:a707:a23c:188e:f142) (Ping timeout: 252 seconds) |
| 2022-02-27 11:53:37 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 11:54:31 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-27 11:57:08 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 11:57:23 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 12:00:37 +0100 | thebnq | (~bnq@66-37-19-52.phx.onelemur.com) (Ping timeout: 272 seconds) |
| 2022-02-27 12:00:37 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 12:01:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-27 12:02:25 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-27 12:02:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-27 12:09:29 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-27 12:09:49 +0100 | bendo | (~bendo@95.91.235.187) |
| 2022-02-27 12:10:07 +0100 | Guest66 | (~Guest66@vmi275462.contaboserver.net) |
| 2022-02-27 12:10:27 +0100 | <Guest66> | Hi guys - has a simple pattern matching question |
| 2022-02-27 12:10:35 +0100 | <Guest66> | is this the right place to ask? |
| 2022-02-27 12:10:47 +0100 | <tomsmeding> | sure :) |
| 2022-02-27 12:12:26 +0100 | thebnq | (~bnq@66-37-19-52.phx.onelemur.com) |
| 2022-02-27 12:12:33 +0100 | <Guest66> | How do i pattern match a list with a single element? I've seen some people use simply [x] but how does the compiler know that x is an instance of a single element and not a list in itself |
| 2022-02-27 12:12:53 +0100 | <tomsmeding> | does it matter that x is itself not a list? |
| 2022-02-27 12:13:59 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-27 12:14:03 +0100 | <Guest66> | what confuses me is that x is just the convention isn't it? how would the compiler differentiate between [x] and [xs] ? I believe both are just placeholders |
| 2022-02-27 12:14:10 +0100 | <Guest66> | Or I maybe wrong |
| 2022-02-27 12:14:18 +0100 | <tomsmeding> | yes there is no difference, x or xs is just a variable name |
| 2022-02-27 12:14:34 +0100 | <tomsmeding> | % f1 :: Show a => [a] -> String ; f [guest66favourite] = "yep, only one: " ++ show guest66favourite ; f _ = "nope, not precisely one" |
| 2022-02-27 12:14:34 +0100 | <yahb> | tomsmeding: ; <interactive>:4:1: error:; The type signature for `f1' lacks an accompanying binding; Perhaps you meant `f' (Defined at <interactive>:4:33) |
| 2022-02-27 12:14:41 +0100 | <tomsmeding> | % f1 :: Show a => [a] -> String ; f1 [guest66favourite] = "yep, only one: " ++ show guest66favourite ; f1 _ = "nope, not precisely one" |
| 2022-02-27 12:14:42 +0100 | <yahb> | tomsmeding: |
| 2022-02-27 12:14:46 +0100 | <tomsmeding> | f1 [42] |
| 2022-02-27 12:14:51 +0100 | <tomsmeding> | % f1 [42] |
| 2022-02-27 12:14:51 +0100 | <yahb> | tomsmeding: "yep, only one: 42" |
| 2022-02-27 12:14:57 +0100 | <tomsmeding> | % f1 [1,2,3] |
| 2022-02-27 12:14:57 +0100 | <yahb> | tomsmeding: "nope, not precisely one" |
| 2022-02-27 12:14:59 +0100 | <tomsmeding> | % f1 [] |
| 2022-02-27 12:14:59 +0100 | <yahb> | tomsmeding: "nope, not precisely one" |
| 2022-02-27 12:15:11 +0100 | <tomsmeding> | (sorry for messing up a bit) |
| 2022-02-27 12:15:50 +0100 | <Guest66> | Ok - so I was basically trying to solve for a function recursively that picks the last element of a list. |
| 2022-02-27 12:15:51 +0100 | <Guest66> | the way I defined it was this |
| 2022-02-27 12:15:51 +0100 | <Guest66> | lst :: [a] -> a |
| 2022-02-27 12:15:52 +0100 | <Guest66> | lst (x:xs) | null xs = x |
| 2022-02-27 12:15:52 +0100 | <Guest66> | | otherwise = lst xs |
| 2022-02-27 12:16:04 +0100 | <Guest66> | is this the correct way? Or is there a "better way" ? |
| 2022-02-27 12:16:23 +0100 | <tomsmeding> | well it's _correct_ for sure, but I think it can be written slightly more neatly |
| 2022-02-27 12:16:45 +0100 | <tomsmeding> | % lst :: [a] -> a ; lst [x] = x ; lst (_:xs) = lst xs ; lst [] = error "lst on empty list" |
| 2022-02-27 12:16:45 +0100 | <yahb> | tomsmeding: |
| 2022-02-27 12:16:50 +0100 | <Guest66> | please tell me how. This is what got me thinking about matching a single element list |
| 2022-02-27 12:16:53 +0100 | <tomsmeding> | (read a newline in place of the ; ) |
| 2022-02-27 12:17:17 +0100 | thebnq | (~bnq@66-37-19-52.phx.onelemur.com) (Ping timeout: 240 seconds) |
| 2022-02-27 12:17:25 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 12:17:28 +0100 | <tomsmeding> | the first case ("lst [x] = x") only matches if the input list has precisely one element, and if so, returns that element |
| 2022-02-27 12:17:51 +0100 | fendor_ | (~fendor@77.119.171.203.wireless.dyn.drei.com) |
| 2022-02-27 12:18:06 +0100 | <tomsmeding> | if the input list doesn't have precisely one element, but if it does match "_:xs" (where "xs" is of course an arbitrary name), then it's nonempty, and thus of length >=2; we recurse |
| 2022-02-27 12:18:26 +0100 | <Guest66> | ah ok so [x] is the idiomatic way of pattern checking for a single element? |
| 2022-02-27 12:18:38 +0100 | <tomsmeding> | otherwise, the argument must be empty, in which case we error (you omitted this case, which basically means the same thing, except the error you get is "nonexhaustive pattern" instead of my custom string) |
| 2022-02-27 12:18:43 +0100 | <tomsmeding> | yeah |
| 2022-02-27 12:18:46 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 12:19:42 +0100 | <Guest66> | ok, thanks - yes, omitted the error, just getting started with solving problems from the Hutton book |
| 2022-02-27 12:20:15 +0100 | fendor | (~fendor@178.165.185.73.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2022-02-27 12:20:26 +0100 | <tomsmeding> | some general rules of thumb in haskell: 1. if you're using head/tail, you should probably have pattern-matched somewhere. 2. if you're using null, then there's a good chance you should have pattern-matched somewhere: by pattern-matching, you get _proof_ that the argument is indeed of that form, meaning that in the alternative case you _know_ it's non-empty without the compiler complaining |
| 2022-02-27 12:21:21 +0100 | <tomsmeding> | in your case neither of these is really a problem -- which is why they're called rules of thumb, not laws -- but still, if you can replace head/tail/null with pattern matching, it's usually nicer |
| 2022-02-27 12:21:41 +0100 | <Guest66> | hmm that's helpful to know, hope i remember, a little too much for me to grasp |
| 2022-02-27 12:21:48 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-27 12:22:06 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-02-27 12:22:32 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 12:22:44 +0100 | thebnq | (~bnq@66-37-19-52.phx.onelemur.com) |
| 2022-02-27 12:23:14 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 12:24:02 +0100 | <tomsmeding> | I guess an example is this: suppose you write "sum' l = if null l then 0 else head l + sum' (tail l)". Perfectly working function that computes the sum of a list. |
| 2022-02-27 12:24:35 +0100 | <tomsmeding> | but it's easy to accidentally switch the branches around: "sum' l = if null l then head l + sum' (tail l) else l" |
| 2022-02-27 12:24:43 +0100 | <tomsmeding> | and the compiler will not warn you |
| 2022-02-27 12:24:52 +0100 | <tomsmeding> | (but it will completely fail at runtime) |
| 2022-02-27 12:25:21 +0100 | <tomsmeding> | however, if you wrote the function like this: "sum' [] = 0 ; sum' (x:xs) = x + sum' xs", then not only is it shorter, you also can't make a mistake: |
| 2022-02-27 12:25:55 +0100 | <tomsmeding> | if you accidentally write "sum' [] = x + sum' xs ; sum (x:xs) = 0", then, well, you won't make that mistake because it looks stupid, but also you can't because the compiler will of course complain that x and xs are out of scope :) |
| 2022-02-27 12:26:19 +0100 | <tomsmeding> | Guest66: does that help? |
| 2022-02-27 12:26:55 +0100 | <Guest66> | somewhat |
| 2022-02-27 12:26:56 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 12:27:27 +0100 | <Guest66> | thanks a ton tomsmeding - you're awesome. I think I should join this chat and talk more while I try to learn |
| 2022-02-27 12:27:34 +0100 | <tomsmeding> | :) |
| 2022-02-27 12:27:39 +0100 | <tomsmeding> | good luck! |
| 2022-02-27 12:27:52 +0100 | <Rembane> | Guest66: This chat is very good for learning by osmosis imo. |
| 2022-02-27 12:28:36 +0100 | <Guest66> | Rembane yes, I realised just now. otherwise it seemed like I was the only person on the planet trying to learn this language :) |
| 2022-02-27 12:29:30 +0100 | <Guest66> | btw are there notebook environments for haskell? like for python that makes prototyping/sharing code easier |
| 2022-02-27 12:29:43 +0100 | <Rembane> | Guest66: There's a variant of Jupyter notebooks but for Haskell |
| 2022-02-27 12:29:54 +0100 | <Rembane> | Guest66: I haven't used it in years though. |
| 2022-02-27 12:30:17 +0100 | <Rembane> | Guest66: https://github.com/gibiansky/IHaskell <- this one |
| 2022-02-27 12:30:26 +0100 | <Guest66> | Oh ok. Yes, that's why I asked because I am under the impression that people stop working on such projects |
| 2022-02-27 12:30:41 +0100 | <Guest66> | cool, thanks |
| 2022-02-27 12:31:23 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:e7a0:e139:e720:60eb) |
| 2022-02-27 12:31:24 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-27 12:32:07 +0100 | <Guest66> | how easy/difficult is it to built websites? using haskell on the backend. |
| 2022-02-27 12:32:34 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-27 12:33:42 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2022-02-27 12:33:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-27 12:34:15 +0100 | <c_wraith> | if you know how http servers work and how haskell works, it's quite easy to use any of a large number of libraries or frameworks to do that |
| 2022-02-27 12:34:18 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-02-27 12:34:26 +0100 | <c_wraith> | I don't think any of them really teach you http or haskell, though |
| 2022-02-27 12:35:52 +0100 | <bendo> | Hi guys, I would like to write simple library for streamdeck (usb keyboard device) using hidapi library |
| 2022-02-27 12:35:56 +0100 | <Guest66> | hmm so kind of uphill |
| 2022-02-27 12:36:41 +0100 | <bendo> | just little be woried if I can screw up my hardware some way |
| 2022-02-27 12:37:35 +0100 | <bendo> | or it is totaly safe to communicate with usb device |
| 2022-02-27 12:38:33 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-27 12:38:40 +0100 | <bendo> | or is there some way to simulate streamdeck (usb device) and write against it? |
| 2022-02-27 12:39:48 +0100 | amazigh | (~amirouche@user/amirouche) |
| 2022-02-27 12:41:48 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-27 12:43:33 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 12:46:26 +0100 | alp | (~alp@user/alp) |
| 2022-02-27 12:46:27 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 12:51:47 +0100 | worldhelloworld | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-02-27 12:52:09 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-27 12:52:13 +0100 | <worldhelloworld> | Joined :) |
| 2022-02-27 12:52:42 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-27 12:52:50 +0100 | <worldhelloworld> | Any opinions on Programming in Haskell by Graham Hutton 2nd Edition? |
| 2022-02-27 12:53:33 +0100 | <worldhelloworld> | Trying to solve first few chapters. Hope it will hold me in good stead |
| 2022-02-27 12:54:55 +0100 | <geekosaur> | it's a good book |
| 2022-02-27 12:55:59 +0100 | <bendo> | yes, it is good book |
| 2022-02-27 12:56:57 +0100 | <bendo> | A Type of Programming by Renzo Carbonara is also nice book for evening reading :) |
| 2022-02-27 12:57:19 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-02-27 12:57:20 +0100 | <worldhelloworld> | Great. Hoping solving exercises from Hutton will get me to a proficient level. |
| 2022-02-27 12:57:47 +0100 | <worldhelloworld> | @bendo: hope it isn't too long. |
| 2022-02-27 12:57:48 +0100 | <lambdabot> | Unknown command, try @list |
| 2022-02-27 12:59:08 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-27 12:59:37 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-27 13:00:52 +0100 | <bendo> | I think is good to read more books. Every has different approach, or concentrate on diffrent things. |
| 2022-02-27 13:01:40 +0100 | <worldhelloworld> | Definitely agree, just asking from a time optimization perspective. Have little and don't want to spread myself too thin. |
| 2022-02-27 13:01:47 +0100 | <zero> | 1` |
| 2022-02-27 13:01:57 +0100 | <worldhelloworld> | What would be your best recommendation in that case? |
| 2022-02-27 13:02:40 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 13:03:41 +0100 | <bendo> | if you don't have time. you can quickly check http://learnyouahaskell.com/chapters but it will maybe not explain some principles. |
| 2022-02-27 13:04:16 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 2022-02-27 13:06:17 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 13:06:23 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-27 13:06:43 +0100 | <bendo> | and maybe also check this lectures: https://www.cis.upenn.edu/~cis194/spring13/lectures.html |
| 2022-02-27 13:07:23 +0100 | <bendo> | if you have a lot of time then go with A Type of Programming, it's really nice book |
| 2022-02-27 13:08:24 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-27 13:08:46 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 260 seconds) |
| 2022-02-27 13:11:04 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 13:13:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2022-02-27 13:15:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-27 13:16:01 +0100 | Guest66 | (~Guest66@vmi275462.contaboserver.net) (Ping timeout: 256 seconds) |
| 2022-02-27 13:16:44 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-27 13:18:17 +0100 | Techcable | (~Techcable@168.235.93.147) (Ping timeout: 256 seconds) |
| 2022-02-27 13:20:11 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 13:20:18 +0100 | <__monty__> | The Hutton book is often recommended, LYAH isn't much more than a shallow introductionto FP. |
| 2022-02-27 13:21:32 +0100 | <__monty__> | The lectures are also commonly recommended, specifically when Brent Yorgey taught them. |
| 2022-02-27 13:22:41 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 13:23:28 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 2022-02-27 13:24:24 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:49ae:fb0b:ec42:2df8) |
| 2022-02-27 13:25:21 +0100 | mmhat | (~mmh@55d4782f.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-02-27 13:26:21 +0100 | alp | (~alp@user/alp) (Ping timeout: 250 seconds) |
| 2022-02-27 13:26:56 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-27 13:28:08 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-27 13:29:05 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-27 13:29:45 +0100 | <worldhelloworld> | Thanks. Will definitely try to take a look at which is more suitable |
| 2022-02-27 13:29:55 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 13:30:32 +0100 | komikat | (~komikat@183.82.154.152) (Remote host closed the connection) |
| 2022-02-27 13:31:24 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-27 13:31:25 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 13:31:38 +0100 | komikat | (~komikat@183.82.154.152) |
| 2022-02-27 13:33:21 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 2022-02-27 13:37:48 +0100 | rtsn | (~nstr@user/rtsn) (Ping timeout: 240 seconds) |
| 2022-02-27 13:39:54 +0100 | rtsn | (~nstr@h-155-4-221-229.NA.cust.bahnhof.se) |
| 2022-02-27 13:40:57 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-27 13:44:00 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-02-27 13:45:05 +0100 | rtsn | (~nstr@h-155-4-221-229.NA.cust.bahnhof.se) (Changing host) |
| 2022-02-27 13:45:05 +0100 | rtsn | (~nstr@user/rtsn) |
| 2022-02-27 13:46:00 +0100 | komikat | (~komikat@183.82.154.152) (Remote host closed the connection) |
| 2022-02-27 13:46:02 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-02-27 13:48:20 +0100 | komikat | (~komikat@183.82.154.152) |
| 2022-02-27 13:49:19 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 13:50:07 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-27 13:50:27 +0100 | komikat | (~komikat@183.82.154.152) (Remote host closed the connection) |
| 2022-02-27 13:50:39 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
| 2022-02-27 13:50:49 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-27 13:52:34 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 13:53:21 +0100 | komikat | (~komikat@183.82.154.152) |
| 2022-02-27 13:55:41 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 13:56:00 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 14:00:15 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-02-27 14:00:24 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2022-02-27 14:00:42 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-27 14:01:28 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 14:04:56 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:49ae:fb0b:ec42:2df8) (Ping timeout: 245 seconds) |
| 2022-02-27 14:06:27 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-27 14:07:19 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-27 14:12:25 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.158) |
| 2022-02-27 14:13:24 +0100 | deadmarshal | (~deadmarsh@95.38.228.84) (Ping timeout: 240 seconds) |
| 2022-02-27 14:14:08 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 14:16:05 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-02-27 14:16:56 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 14:17:36 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 14:20:27 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 2022-02-27 14:20:40 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 14:21:45 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-27 14:22:58 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-27 14:33:25 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-27 14:33:48 +0100 | Vajb | (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
| 2022-02-27 14:37:47 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 14:40:24 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-02-27 14:40:24 +0100 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-02-27 14:40:39 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-02-27 14:40:54 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-27 14:41:15 +0100 | fef | (~thedawn@user/thedawn) (Client Quit) |
| 2022-02-27 14:41:16 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 14:42:37 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-27 14:45:48 +0100 | bendo | (~bendo@95.91.235.187) (Quit: leaving) |
| 2022-02-27 14:48:05 +0100 | quintasan | (~quassel@quintasan.pl) () |
| 2022-02-27 14:48:38 +0100 | quintasan | (~quassel@quintasan.pl) |
| 2022-02-27 14:49:30 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 14:52:15 +0100 | sleblanc | (~sleblanc@user/sleblanc) (Read error: Connection reset by peer) |
| 2022-02-27 14:53:32 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-27 14:55:40 +0100 | bendo | (~bendo@ip5f5bebbb.dynamic.kabel-deutschland.de) |
| 2022-02-27 14:57:37 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 14:57:48 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 14:59:42 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-27 15:00:13 +0100 | tafa | (~tafa@user/tafa) (Quit: ZNC - https://znc.in) |
| 2022-02-27 15:01:38 +0100 | tafa | (~tafa@user/tafa) |
| 2022-02-27 15:01:38 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 15:05:27 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-27 15:06:03 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-27 15:06:04 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-02-27 15:10:21 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2022-02-27 15:12:12 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 2022-02-27 15:12:35 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-02-27 15:16:13 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-02-27 15:16:34 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-27 15:16:39 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-27 15:18:04 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 15:19:34 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2022-02-27 15:22:43 +0100 | Vajb | (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
| 2022-02-27 15:22:56 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-27 15:24:38 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 15:24:38 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 15:27:17 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-02-27 15:27:36 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:b7c9:3428:caec:95b3) |
| 2022-02-27 15:29:45 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-27 15:32:07 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 15:36:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 15:41:15 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 15:42:38 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-27 15:42:47 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.158) (Ping timeout: 256 seconds) |
| 2022-02-27 15:43:48 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 15:46:36 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 15:46:56 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-02-27 15:49:49 +0100 | son0p | (~ff@181.136.122.143) |
| 2022-02-27 15:50:13 +0100 | sofviic[m] | (~sofviicma@2001:470:69fc:105::1:51fd) |
| 2022-02-27 15:50:15 +0100 | lbseale_ | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-27 15:53:23 +0100 | lbseale__ | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-27 15:53:31 +0100 | lbseale__ | (~ep1ctetus@user/ep1ctetus) (Client Quit) |
| 2022-02-27 15:53:53 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2022-02-27 15:54:21 +0100 | komikat | (~komikat@183.82.154.152) (Remote host closed the connection) |
| 2022-02-27 15:56:35 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 15:56:43 +0100 | <juri_> | CAF is a menace in my call graphs. that is all. |
| 2022-02-27 15:57:23 +0100 | lbseale_ | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2022-02-27 15:59:07 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-02-27 15:59:16 +0100 | komikat | (~komikat@183.82.154.152) |
| 2022-02-27 15:59:44 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-27 16:00:37 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 16:00:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 16:03:20 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 16:06:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 16:08:34 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 16:08:54 +0100 | <hpc> | juri_: you'd think you were writing coffeescript with how CAFinated your code is? |
| 2022-02-27 16:11:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
| 2022-02-27 16:11:36 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-02-27 16:13:05 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-27 16:14:49 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-27 16:15:59 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-27 16:17:01 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:b7c9:3428:caec:95b3) (Ping timeout: 240 seconds) |
| 2022-02-27 16:19:41 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 16:19:44 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 16:20:24 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-27 16:20:24 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Client Quit) |
| 2022-02-27 16:21:43 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-02-27 16:22:32 +0100 | kaph_ | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-27 16:22:36 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 16:22:42 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-02-27 16:23:30 +0100 | kaph_ | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2022-02-27 16:23:46 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-27 16:33:08 +0100 | komikat_ | (~komikat@183.82.153.11) |
| 2022-02-27 16:33:47 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 16:34:55 +0100 | komikat | (~komikat@183.82.154.152) (Ping timeout: 256 seconds) |
| 2022-02-27 16:37:50 +0100 | neurocyte0917090 | (~neurocyte@IP-185238252134.dynamic.medianet-world.de) |
| 2022-02-27 16:37:50 +0100 | neurocyte0917090 | (~neurocyte@IP-185238252134.dynamic.medianet-world.de) (Changing host) |
| 2022-02-27 16:37:50 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-27 16:39:36 +0100 | komikat | (~komikat@183.82.153.11) |
| 2022-02-27 16:40:16 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 16:40:25 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 16:40:36 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-02-27 16:40:44 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.4) |
| 2022-02-27 16:40:56 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-02-27 16:41:11 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-27 16:41:28 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 16:42:51 +0100 | komikat_ | (~komikat@183.82.153.11) (Ping timeout: 256 seconds) |
| 2022-02-27 16:43:48 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-02-27 16:43:48 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 16:45:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 16:49:29 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-27 16:51:30 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-02-27 16:53:16 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-27 16:54:43 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-27 16:56:21 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2022-02-27 17:00:08 +0100 | aidy | (~aidy@2001:470:69fc:105::c7b4) (Quit: You have been kicked for being idle) |
| 2022-02-27 17:00:23 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-27 17:02:03 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 17:04:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-27 17:04:31 +0100 | dsrt^ | (~dsrt@50-202-219-146-static.hfc.comcastbusiness.net) |
| 2022-02-27 17:05:19 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 17:05:28 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 17:07:31 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 2022-02-27 17:11:48 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 2022-02-27 17:12:29 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 2022-02-27 17:12:40 +0100 | razetime | (~quassel@117.254.34.170) |
| 2022-02-27 17:16:32 +0100 | mbuf | (~Shakthi@122.162.139.196) (Quit: Leaving) |
| 2022-02-27 17:17:09 +0100 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2022-02-27 17:22:18 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 17:22:23 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 17:25:33 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 17:25:48 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-27 17:25:52 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-27 17:26:12 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-27 17:26:26 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-27 17:28:02 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-27 17:29:36 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-27 17:30:57 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-27 17:31:38 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-27 17:37:51 +0100 | econo | (uid147250@user/econo) |
| 2022-02-27 17:37:57 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-27 17:38:39 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-27 17:39:29 +0100 | Tisoxin | (~ikosit@user/ikosit) () |
| 2022-02-27 17:42:08 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-27 17:42:33 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 17:42:53 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 17:45:48 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 17:47:24 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-27 17:47:26 +0100 | perro | (~perro@072-191-245-069.res.spectrum.com) |
| 2022-02-27 17:47:48 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-27 17:49:25 +0100 | n8chan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-02-27 17:49:35 +0100 | mmhat | (~mmh@55d4782f.access.ecotel.net) |
| 2022-02-27 17:54:27 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:f39:9b2:1d80:bff4) |
| 2022-02-27 18:02:35 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 18:03:37 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2022-02-27 18:04:55 +0100 | dvdrw | (~dvdrw@user/dvdrw) |
| 2022-02-27 18:05:25 +0100 | razetime | (~quassel@117.254.34.170) (Ping timeout: 250 seconds) |
| 2022-02-27 18:05:53 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 18:05:55 +0100 | dvdrw | (~dvdrw@user/dvdrw) (Client Quit) |
| 2022-02-27 18:10:00 +0100 | yuvi | (~uv125@192.54.96.185) |
| 2022-02-27 18:10:19 +0100 | sleblanc | (~sleblanc@user/sleblanc) |
| 2022-02-27 18:12:13 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 18:12:41 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 2022-02-27 18:13:49 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-27 18:22:57 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-27 18:24:12 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 18:24:41 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-27 18:25:23 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-02-27 18:25:28 +0100 | dvdrw | (~dvdrw@user/dvdrw) |
| 2022-02-27 18:26:24 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-27 18:28:36 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-02-27 18:30:27 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 18:31:36 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-02-27 18:31:56 +0100 | alMalsam1 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-02-27 18:34:43 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-02-27 18:39:24 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:f39:9b2:1d80:bff4) (Remote host closed the connection) |
| 2022-02-27 18:39:31 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 18:39:42 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:88e9:e94c:848a:6b8f) |
| 2022-02-27 18:40:45 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 18:45:06 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-02-27 18:45:11 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-27 18:46:36 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-02-27 18:47:25 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 18:47:51 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2022-02-27 18:48:55 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-27 18:50:08 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 18:51:01 +0100 | alp | (~alp@user/alp) |
| 2022-02-27 18:51:46 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-02-27 18:52:45 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 2022-02-27 18:54:03 +0100 | dvdrw | (~dvdrw@user/dvdrw) (Quit: leaving) |
| 2022-02-27 18:54:27 +0100 | mrus | (~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae) (Quit: Surfing the great wave off Kanagawa) |
| 2022-02-27 18:57:43 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 18:59:53 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-02-27 19:00:14 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-27 19:01:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-02-27 19:05:48 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-27 19:06:45 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 19:09:31 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 19:09:37 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-02-27 19:13:07 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-27 19:19:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 19:21:34 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-02-27 19:23:43 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-27 19:24:59 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 19:26:05 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 19:26:25 +0100 | deadmarshal | (~deadmarsh@95.38.115.158) |
| 2022-02-27 19:27:54 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:88e9:e94c:848a:6b8f) (Remote host closed the connection) |
| 2022-02-27 19:28:12 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:8c40:dcd:5770:7609) |
| 2022-02-27 19:28:51 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 19:29:34 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 19:29:45 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-27 19:30:30 +0100 | dfghjk | (~asdfghjkl@2001:871:23a:2ac8:8c40:dcd:5770:7609) (Client Quit) |
| 2022-02-27 19:31:02 +0100 | deadmarshal | (~deadmarsh@95.38.115.158) (Ping timeout: 250 seconds) |
| 2022-02-27 19:32:31 +0100 | komikat | (~komikat@183.82.153.11) (Remote host closed the connection) |
| 2022-02-27 19:32:59 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 19:33:11 +0100 | komikat | (~komikat@183.82.153.11) |
| 2022-02-27 19:40:36 +0100 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2022-02-27 19:43:02 +0100 | dvdrw | (~dvdrw@user/dvdrw) |
| 2022-02-27 19:43:54 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-27 19:46:09 +0100 | dvdrw | (~dvdrw@user/dvdrw) (Client Quit) |
| 2022-02-27 19:46:43 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-02-27 19:48:00 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-27 19:51:08 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 19:52:40 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-27 19:53:17 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 19:53:45 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-27 20:01:28 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-02-27 20:05:01 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds) |
| 2022-02-27 20:08:46 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-02-27 20:09:00 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:e7a0:e139:e720:60eb) (Ping timeout: 240 seconds) |
| 2022-02-27 20:09:02 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-02-27 20:09:34 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-02-27 20:10:29 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 20:10:57 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-02-27 20:14:17 +0100 | AlexZenon_2 | (~alzenon@94.233.240.108) |
| 2022-02-27 20:14:18 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 20:15:55 +0100 | AlexZenon | (~alzenon@94.233.240.108) (Ping timeout: 256 seconds) |
| 2022-02-27 20:16:45 +0100 | komikat | (~komikat@183.82.153.11) (Remote host closed the connection) |
| 2022-02-27 20:16:59 +0100 | komikat | (~komikat@183.82.153.11) |
| 2022-02-27 20:17:31 +0100 | <Zemyla> | Bool should be a monoid with the operation xor. |
| 2022-02-27 20:17:56 +0100 | <Zemyla> | Because we already have newtypes around Bool which turn it into monoids with the operations and and or. |
| 2022-02-27 20:19:08 +0100 | agumonkey | (~user@88.163.231.79) |
| 2022-02-27 20:21:02 +0100 | komikat | (~komikat@183.82.153.11) (Remote host closed the connection) |
| 2022-02-27 20:21:24 +0100 | komikat | (~komikat@183.82.153.11) |
| 2022-02-27 20:23:39 +0100 | komikat | (~komikat@183.82.153.11) (Remote host closed the connection) |
| 2022-02-27 20:24:58 +0100 | komikat | (~komikat@183.82.153.11) |
| 2022-02-27 20:25:34 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-02-27 20:29:26 +0100 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2022-02-27 20:29:26 +0100 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-02-27 20:29:26 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 20:30:30 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 20:30:36 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-02-27 20:31:58 +0100 | <davean> | Zemyla: No, because it isn't unambiguous which monoid Bool would be |
| 2022-02-27 20:31:59 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-27 20:32:38 +0100 | <Zemyla> | Well, then we need an Xor newtype. |
| 2022-02-27 20:33:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 20:34:55 +0100 | <sshine> | seems a bit fringe. admittedly like some other things in base. |
| 2022-02-27 20:36:05 +0100 | <monochrom> | Did you know that xnor is also a Bool monoid operation :) |
| 2022-02-27 20:39:09 +0100 | <davean> | make sure to include nand |
| 2022-02-27 20:39:35 +0100 | <sshine> | and nor? |
| 2022-02-27 20:39:40 +0100 | <davean> | Zemyla: it would be trivial for you to prepare a patch for such inclusion, and propose it |
| 2022-02-27 20:41:11 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-27 20:41:49 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-27 20:43:21 +0100 | <monochrom> | No, nand is not associative. |
| 2022-02-27 20:43:41 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-27 20:44:12 +0100 | <sshine> | it seems that the universal reversible gates I know (CSWAP, CCNOT) take three operands, so no luck there. |
| 2022-02-27 20:44:38 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-02-27 20:44:45 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 268 seconds) |
| 2022-02-27 20:45:20 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-02-27 20:45:52 +0100 | AlexZenon_2 | AlexZenon |
| 2022-02-27 20:47:17 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-27 20:47:56 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 20:49:22 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 2022-02-27 20:49:25 +0100 | cjb | (~cjb@user/cjb) |
| 2022-02-27 20:49:50 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 20:50:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-02-27 20:50:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-27 20:50:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-27 20:51:57 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 20:52:44 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 2022-02-27 20:53:50 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-02-27 20:54:00 +0100 | <monochrom> | You probably want universal primitives to break associativity somewhere. Lest you couldn't express non-associative functions. :) |
| 2022-02-27 20:55:40 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-02-27 20:56:15 +0100 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2022-02-27 20:56:15 +0100 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-02-27 20:56:15 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 20:57:51 +0100 | <c_wraith> | what? no one's ever needed division! |
| 2022-02-27 20:58:15 +0100 | <geekosaur> | sounds divisive to me |
| 2022-02-27 20:59:25 +0100 | <monochrom> | Do you need subtraction? :) |
| 2022-02-27 21:00:08 +0100 | <monochrom> | If you remove subtraction, that's subtractive. >:) |
| 2022-02-27 21:00:52 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-02-27 21:01:07 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-27 21:01:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-27 21:02:29 +0100 | ccntrq | (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) |
| 2022-02-27 21:04:36 +0100 | fendor_ | (~fendor@77.119.171.203.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-02-27 21:06:01 +0100 | <byorgey> | exactly 8 of the 16 possible binary boolean functions are associative. Of those, 4 have an identity and thus form a monoid: and, or, xor (aka (/=)), xnor (aka (==)). |
| 2022-02-27 21:06:24 +0100 | <byorgey> | the other 4 associative functions are boring: f _ _ = True, f _ _ = False, f x _ = x, and f _ y = y. |
| 2022-02-27 21:06:57 +0100 | <byorgey> | which makes sense: a function that ignores one or both arguments can't have an identity. |
| 2022-02-27 21:07:35 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 2022-02-27 21:07:36 +0100 | komikat | (~komikat@183.82.153.11) (Remote host closed the connection) |
| 2022-02-27 21:07:39 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-27 21:07:46 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-02-27 21:07:57 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-27 21:09:11 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 21:11:37 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 21:14:19 +0100 | <sshine> | byorgey, f x _ = x and f _ y = y aren't boring! |
| 2022-02-27 21:14:52 +0100 | <sshine> | well, okay, they are boring. but they can be useful! |
| 2022-02-27 21:17:00 +0100 | <byorgey> | I never said they aren't useful! =) |
| 2022-02-27 21:17:07 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-27 21:19:06 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-27 21:23:49 +0100 | <__monty__> | But XOR wouldn't be a monoid, would it? |
| 2022-02-27 21:23:54 +0100 | <__monty__> | There's no unit. |
| 2022-02-27 21:23:56 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-27 21:24:00 +0100 | <__monty__> | Semigroup, yes. |
| 2022-02-27 21:24:25 +0100 | <byorgey> | xor does have a unit. Think about it. |
| 2022-02-27 21:24:39 +0100 | <__monty__> | Ah, yes. |
| 2022-02-27 21:25:33 +0100 | <__monty__> | Don't mind me shimmying out of the room in embarassment. 😳 |
| 2022-02-27 21:25:45 +0100 | <byorgey> | hehe, no worries =) |
| 2022-02-27 21:26:01 +0100 | <byorgey> | xnor has a unit also (but the opposite one from xor, of course). |
| 2022-02-27 21:26:17 +0100 | backes | (~backes@85.195.206.214) |
| 2022-02-27 21:27:23 +0100 | Techcable | (~Techcable@168.235.93.147) |
| 2022-02-27 21:28:11 +0100 | <backes> | hey, I installed ghc 8.6 on macos M1 with brew and rosetta, and now I installed the corresponding cabal version from https://www.haskell.org/cabal/download.html with the included readme . When I do `ghc-pkg list` the it shows me Cabal-2.4.0.1, however I don't know where the binary is installed. I can't execute "cabal-install" |
| 2022-02-27 21:29:39 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 21:29:58 +0100 | simeon | (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) |
| 2022-02-27 21:30:23 +0100 | <geekosaur> | the Cabal library is not cabal-install |
| 2022-02-27 21:31:09 +0100 | <geekosaur> | also why ghc 8.6? 8.10.7 has native M1 support |
| 2022-02-27 21:31:42 +0100 | <geekosaur> | (confusingly, the cabal-install package installs an executable named "cabal") |
| 2022-02-27 21:32:10 +0100 | <backes> | because I need to run a program that requires 8.6 and it throws errors on 8.10 |
| 2022-02-27 21:32:28 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 21:32:30 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2022-02-27 21:33:11 +0100 | <backes> | it's part of the build process for an experimental OS and there is no possibility to fix it... So I'm just trying to install the recommended toolchain on macos |
| 2022-02-27 21:33:47 +0100 | <backes> | however brew doesn't bundle old cabal-install packages, so I had to download and install it myself |
| 2022-02-27 21:34:26 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 2022-02-27 21:34:27 +0100 | <byorgey> | backes: the executable for the cabal-instal package is named 'cabal' |
| 2022-02-27 21:34:55 +0100 | sshine | (~simon@hubris.eta.solutions) (Quit: 再见) |
| 2022-02-27 21:35:08 +0100 | <geekosaur> | newer cabal-install should work with older ghc, but there would still be a problem because brewwould install a native one which would expect 8.10.7 and native libraries instead of 8.6 and rosetta |
| 2022-02-27 21:35:16 +0100 | <backes> | still doesn't work. Can't find the file. I don't know where it's located, as $HOME/.cabal/bin is empty but it shouldn't according to the Readme |
| 2022-02-27 21:35:54 +0100 | <backes> | geekosaur: yes, that's why I wanted to install cabal myself instead of messing with brew |
| 2022-02-27 21:38:28 +0100 | <sm> | the binary is "cabal" |
| 2022-02-27 21:38:55 +0100 | <geekosaur> | but where did it land, if .cabal/bin is empty? |
| 2022-02-27 21:39:10 +0100 | <sm> | if stilll missing.. how did you install it ? |
| 2022-02-27 21:39:16 +0100 | <geekosaur> | that I couldn't guess, too many weird variables here |
| 2022-02-27 21:39:29 +0100 | <geekosaur> | " from https://www.haskell.org/cabal/download.html with the included readme" |
| 2022-02-27 21:39:57 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-27 21:40:48 +0100 | sm | imagines a huge flowchart for resolving these install/uninstall issues, and an automated bot |
| 2022-02-27 21:40:52 +0100 | michalz | (~michalz@185.246.204.87) |
| 2022-02-27 21:41:11 +0100 | simon_ | (~simon@zhen.eta.solutions) |
| 2022-02-27 21:41:36 +0100 | <backes> | I downloaded the tar, then followed the steps under "Installing as a user" which says that it installs cabal into $HOME/.cabal on Unix |
| 2022-02-27 21:41:39 +0100 | simon_ | sshine |
| 2022-02-27 21:41:39 +0100 | yauhsien | (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-02-27 21:41:45 +0100 | <backes> | I didn't get an error, but there's no binary at that location |
| 2022-02-27 21:44:25 +0100 | <sm> | which tar, backes ? |
| 2022-02-27 21:44:52 +0100 | <backes> | https://downloads.haskell.org/~cabal/Cabal-2.4.0.1/Cabal-2.4.0.1.tar.gz |
| 2022-02-27 21:45:22 +0100 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-02-27 21:45:25 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-27 21:45:26 +0100 | <backes> | the one that was listed as compatible with GHC 8.6.5 . I don't know if this is correct |
| 2022-02-27 21:45:47 +0100 | <backes> | I just want to get this build script running and then forget about dependencies forever |
| 2022-02-27 21:47:02 +0100 | <sm> | not correct, that's a source package for the Cabal library |
| 2022-02-27 21:48:11 +0100 | <sm> | do you have any version of cabal |
| 2022-02-27 21:48:11 +0100 | <sm> | or stack installed ? |
| 2022-02-27 21:48:19 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-02-27 21:48:35 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-27 21:48:39 +0100 | <backes> | I had the one from brew installed before, but I removed it |
| 2022-02-27 21:48:53 +0100 | <backes> | so no, I don't have cabal installed |
| 2022-02-27 21:49:00 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 21:51:11 +0100 | <sm> | there are probably many ways through the maze, but hard to describe one reliably without testing. Here's one I think would be effective: install multipass (easy ubuntu vm for your mac) and build in there, that would insulate you from the current intel vs arm complications |
| 2022-02-27 21:51:47 +0100 | <sm> | what's your idea geekosaur |
| 2022-02-27 21:52:22 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 21:52:29 +0100 | <backes> | I thought about a container, but they also all run on aarch64 except if I use a proper virtual machine. However virtualbox doesn't support the M1 as host... |
| 2022-02-27 21:52:48 +0100 | <geekosaur> | that sounds sensible to me, since pretty much anything else invokes the whole m1 mess and a native built cabal or stack will force native libs etc. |
| 2022-02-27 21:53:27 +0100 | <backes> | does ghc 8.6 run on arm linux? |
| 2022-02-27 21:53:48 +0100 | <sm> | multipass runs.. an arm ubuntu, that's right. Still I'm assuming things would just work. But... |
| 2022-02-27 21:54:36 +0100 | <sm> | alternative: as a stack user I'd probably use that - the one from fpcomplete's site which I think is still intel (not the one from ghcup) |
| 2022-02-27 21:56:39 +0100 | <sm> | actually, you can force brew to install intel binaries by running it in rosetta. I forget exactly how, arch command I think. But I wouldn't really recommend it, having two brew worlds installed is confusing (even though they use different paths) |
| 2022-02-27 21:57:06 +0100 | <backes> | sm: that's what I did to install ghc 8.6.5 but I'm now stuck at the second step, cabal |
| 2022-02-27 21:57:56 +0100 | <backes> | I'm not sure if I can use a container, since I need qemu for virtualization and also USB passthrough to flash an embedded device. That might also be a hassle to get working |
| 2022-02-27 21:58:36 +0100 | <sm> | isn't "Binary download for macOS (x86-64)" the tarball you want ? |
| 2022-02-27 21:59:09 +0100 | <sm> | on https://www.haskell.org/cabal/download.html |
| 2022-02-27 21:59:16 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
| 2022-02-27 21:59:18 +0100 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-02-27 21:59:32 +0100 | <backes> | can I use an arbitrary cabal version with ghc 8.6.5? I thought I'd need to match the versions somehow |
| 2022-02-27 21:59:59 +0100 | <sm> | it looks like an intel binary and will work with ghc 8.6 just fine |
| 2022-02-27 22:00:25 +0100 | <backes> | I noticed that ghc is not backwards compatible (ghc 8.10 doesn't work on this ghc 8.6.5 code) so I thought that now I need to be more carefull when installing dependencies |
| 2022-02-27 22:00:27 +0100 | <sm> | cabal supports "all" ghc versions (generally speaking) |
| 2022-02-27 22:00:48 +0100 | <backes> | okay, I'll give it a try. Thanks |
| 2022-02-27 22:00:53 +0100 | pavonia | (~user@user/siracusa) |
| 2022-02-27 22:00:57 +0100 | <sm> | it will install deps specific to the ghc version used |
| 2022-02-27 22:01:07 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-02-27 22:02:15 +0100 | <sm> | stack is a little better for replicating old builds, but yes give it a try |
| 2022-02-27 22:02:33 +0100 | <geekosaur> | a Cabal library version comes with ghc and matches it. the cabal-install tool works with any version |
| 2022-02-27 22:03:52 +0100 | <geekosaur> | and a newer Cabal library will work with an older ghc although I think the reverse is not always true |
| 2022-02-27 22:04:35 +0100 | <backes> | that seems to work, I'm now installing cabal dependencies and get less and less errors! Thanks |
| 2022-02-27 22:04:37 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-02-27 22:04:45 +0100 | <backes> | by "that", I mean the x86 binary of cabal for macos |
| 2022-02-27 22:10:37 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 22:12:17 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-27 22:13:24 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 22:16:25 +0100 | <backes> | I now get errors about parsec, even though I installed parsec3 https://paste.tomsmeding.com/zXl7E7aN . The ubuntu 20.04 instructions say to install libghc-parsec3-dev , I installed parsec3 : https://hackage.haskell.org/package/parsec3 with cabal |
| 2022-02-27 22:16:36 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 2022-02-27 22:29:39 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-02-27 22:29:58 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 22:30:46 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
| 2022-02-27 22:31:20 +0100 | xff0x | (~xff0x@2001:1a81:5290:f100:89ec:887a:1b64:e62f) (Ping timeout: 252 seconds) |
| 2022-02-27 22:32:12 +0100 | neurocyte0917090 | (~neurocyte@IP-185238252134.dynamic.medianet-world.de) |
| 2022-02-27 22:32:12 +0100 | neurocyte0917090 | (~neurocyte@IP-185238252134.dynamic.medianet-world.de) (Changing host) |
| 2022-02-27 22:32:12 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-27 22:32:15 +0100 | xff0x | (~xff0x@2001:1a81:5290:f100:b98a:22f8:9c9c:82d0) |
| 2022-02-27 22:32:25 +0100 | <geekosaur> | that'sa missing dependency in the cabal file |
| 2022-02-27 22:33:17 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 22:37:48 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-02-27 22:38:21 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-02-27 22:39:44 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-27 22:40:51 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-02-27 22:40:59 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 22:42:11 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2022-02-27 22:42:23 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-27 22:43:18 +0100 | <backes> | it compiles haskell from a shell script, which calls ghc directly: https://github.com/BarrelfishOS/barrelfish/blob/master/hake/hake.sh#L224 and it doesn't include parsec as -package . However I'm the only one with this problem, so I think it's my setup and not the install script |
| 2022-02-27 22:43:48 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:fccd:4785:fec8:6e0c) (Quit: bye) |
| 2022-02-27 22:44:33 +0100 | <backes> | adding it to the script as "-package parsec" didn't solve the problem |
| 2022-02-27 22:46:39 +0100 | <Unicorn_Princess> | > foldl (+) [a,b,c] |
| 2022-02-27 22:46:42 +0100 | <lambdabot> | error: |
| 2022-02-27 22:46:42 +0100 | <lambdabot> | • Could not deduce (Num [Expr]) arising from a use of ‘+’ |
| 2022-02-27 22:46:42 +0100 | <lambdabot> | from the context: Foldable t |
| 2022-02-27 22:48:46 +0100 | <geekosaur> | > foldl (+) (0::Expr) [a,b,c] |
| 2022-02-27 22:48:48 +0100 | <lambdabot> | 0 + a + b + c |
| 2022-02-27 22:48:59 +0100 | <Unicorn_Princess> | ah, ofc. i misremembered that foldl demo as being without an accumulator |
| 2022-02-27 22:49:30 +0100 | <geekosaur> | sure it wans't foldl1? |
| 2022-02-27 22:50:13 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 22:50:15 +0100 | <Unicorn_Princess> | oh yeah yeah. the confusion is entirely of my own making |
| 2022-02-27 22:50:35 +0100 | <Unicorn_Princess> | but it has been cleared up |
| 2022-02-27 22:50:48 +0100 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2022-02-27 22:50:48 +0100 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-02-27 22:50:48 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 22:50:52 +0100 | <Unicorn_Princess> | (by checking history and seeing the accumulator there) |
| 2022-02-27 22:51:40 +0100 | <Unicorn_Princess> | anyway, as you were. turns out one can also pm lambdabot and avoid spamming this channel for experiments :) |
| 2022-02-27 22:52:04 +0100 | <geekosaur> | yep, I keep query windows open to both lambdabot and yahb |
| 2022-02-27 22:56:53 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 22:57:15 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:e0b0:8aea:9541:b1dc) |
| 2022-02-27 23:01:22 +0100 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-02-27 23:03:05 +0100 | agumonkey | (~user@88.163.231.79) (Ping timeout: 272 seconds) |
| 2022-02-27 23:06:35 +0100 | komikat | (~komikat@183.82.153.11) |
| 2022-02-27 23:07:26 +0100 | rond_ | (~rond_@90.251.84.153) |
| 2022-02-27 23:08:09 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-02-27 23:08:52 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-27 23:09:27 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 23:10:57 +0100 | komikat | (~komikat@183.82.153.11) (Ping timeout: 240 seconds) |
| 2022-02-27 23:13:25 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 23:13:33 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-27 23:15:58 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-02-27 23:16:14 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 23:16:18 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-02-27 23:16:56 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:e14b:875c:3570:34de) (Quit: WeeChat 3.3) |
| 2022-02-27 23:17:44 +0100 | <backes> | I tried ghc-pkg expose parsec but I still get the error that the package is hidden. Is there some other way to expose a package? |
| 2022-02-27 23:17:57 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-27 23:20:01 +0100 | <geekosaur> | you may need to either reinstall parsec with cabal v1-install or use cabal install --lib |
| 2022-02-27 23:20:20 +0100 | <backes> | I used cabal install --lib for all the dependencies |
| 2022-02-27 23:20:27 +0100 | <backes> | they all worked so far, except parsec |
| 2022-02-27 23:20:38 +0100 | <backes> | what is cabal v1-install ? |
| 2022-02-27 23:21:24 +0100 | <geekosaur> | it makes cabal behave the old way, inparticular installing things in the old user package database instead of internal to cabal (cabal install) or an environment file (cabal install --lib) |
| 2022-02-27 23:21:47 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-02-27 23:21:57 +0100 | <geekosaur> | it's not recommended becauseit can make messes if you have two versions of the same library installed; ghc is not smart enough to pick the version you need |
| 2022-02-27 23:22:22 +0100 | <geekosaur> | this is pretty much why modern cabal and stack exist |
| 2022-02-27 23:23:01 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection) |
| 2022-02-27 23:24:05 +0100 | <backes> | for some reason this didn't help. That doesn't make any sense. I tried adding it with `-package parsec3` to the ghc command, using --lib, exposing it with ghc-pkg, and now using v1-install. Is it possible that I have the wrong version of the package? |
| 2022-02-27 23:26:14 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-02-27 23:27:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-02-27 23:27:46 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-27 23:27:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-27 23:29:27 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-02-27 23:32:18 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-02-27 23:32:32 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-27 23:34:12 +0100 | <geekosaur> | unlikely |
| 2022-02-27 23:34:33 +0100 | <geekosaur> | it knows it'spart of the installed parsec3 package; I don't know why it claims it to be hidden |
| 2022-02-27 23:34:46 +0100 | <geekosaur> | we're getting outside what I know of cabal, sadly |
| 2022-02-27 23:35:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-27 23:36:12 +0100 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2022-02-27 23:36:13 +0100 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-02-27 23:36:13 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-27 23:37:23 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2022-02-27 23:38:58 +0100 | <backes> | thanks for your help |
| 2022-02-27 23:39:45 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-27 23:39:46 +0100 | <geekosaur> | wonder if sclv or some other cabal expert is around today |
| 2022-02-27 23:40:22 +0100 | <geekosaur> | you might also ask in #haskage since that'swherethecabal folks hang out |
| 2022-02-27 23:40:33 +0100 | <geekosaur> | *that's where the cabal |
| 2022-02-27 23:40:59 +0100 | Guest66 | (~Guest66@vmi275462.contaboserver.net) |
| 2022-02-27 23:44:27 +0100 | <geekosaur> | er, #hackage |
| 2022-02-27 23:44:34 +0100 | <geekosaur> | what is with my typoes today |
| 2022-02-27 23:46:21 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-02-27 23:47:51 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-27 23:48:20 +0100 | <sclv> | backes: are you sure you shouldn’t add -package parsec3 to the script? |
| 2022-02-27 23:48:32 +0100 | <sclv> | Not just parsec as such? |
| 2022-02-27 23:49:02 +0100 | <backes> | I also tried that but it didn't help |
| 2022-02-27 23:49:37 +0100 | <sclv> | have the script run ghc-pkg list and see what it dumps out? |
| 2022-02-27 23:49:45 +0100 | <backes> | that's a good idea |
| 2022-02-27 23:50:39 +0100 | <backes> | damn, it contains parsec3 ... |
| 2022-02-27 23:50:44 +0100 | <sclv> | also is that call to ghc what fails? |
| 2022-02-27 23:50:52 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-27 23:50:56 +0100 | <sclv> | It looks like its failing building other later stuff |
| 2022-02-27 23:51:24 +0100 | <backes> | the file linked above is the only script I call for now |
| 2022-02-27 23:51:48 +0100 | <backes> | maybe it calls another, I'll dig a bit around |
| 2022-02-27 23:51:54 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-27 23:53:10 +0100 | <sclv> | its last line is to call make on a bunch of other stuff |
| 2022-02-27 23:54:15 +0100 | <geekosaur> | I'm worried about both that and that ghc-pkg can't be used to list stuff in the environment (but then I don't know if that can be hidden either) |
| 2022-02-27 23:55:13 +0100 | <sclv> | hake generates make rules. That script builds hake, runs it, then runs make rules generated by it which i assume build more haskell |
| 2022-02-27 23:55:31 +0100 | <backes> | what are all the options to build haskell code besides calling "ghc" ? I found another file https://github.com/BarrelfishOS/barrelfish/blob/master/hake/Hakefile but also adding `-package parsec3` to that didn't help |
| 2022-02-27 23:56:30 +0100 | <geekosaur> | backes, as sclv just said, hake is generating a Makefile. you might need to edit that before running it. or edit hake to add the -package parameter to the generated Makefile |
| 2022-02-27 23:57:34 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-27 23:57:59 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-27 23:58:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |