Logs: liberachat/#haskell
| 2021-05-31 05:17:13 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-05-31 05:18:40 | × | favonia_ quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-31 05:18:46 | × | ru0mad quits (~ruomad@176.164.105.224) (Ping timeout: 264 seconds) |
| 2021-05-31 05:19:05 | → | favonia_ joins (~favonia@user/favonia) |
| 2021-05-31 05:19:17 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-31 05:19:46 | × | rk04 quits (~rk04@user/rajk) (Quit: Client closed) |
| 2021-05-31 05:20:17 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-05-31 05:20:34 | × | ddellacosta quits (~ddellacos@86.106.143.209) (Ping timeout: 264 seconds) |
| 2021-05-31 05:22:32 | × | favonia_ quits (~favonia@user/favonia) (Client Quit) |
| 2021-05-31 05:23:50 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-31 05:24:49 | × | hylisper quits (~yaaic@111.119.208.67) (Ping timeout: 268 seconds) |
| 2021-05-31 05:28:00 | → | favonia_ joins (~favonia@user/favonia) |
| 2021-05-31 05:28:19 | × | favonia_ quits (~favonia@user/favonia) (Client Quit) |
| 2021-05-31 05:29:06 | → | favonia_ joins (~favonia@user/favonia) |
| 2021-05-31 05:30:22 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-05-31 05:31:21 | → | hylisper joins (~yaaic@2409:4040:e89:1bc::94b:8209) |
| 2021-05-31 05:31:29 | × | bilegeek quits (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving) |
| 2021-05-31 05:32:06 | × | favonia_ quits (~favonia@user/favonia) (Client Quit) |
| 2021-05-31 05:32:16 | → | favonia_ joins (~favonia@user/favonia) |
| 2021-05-31 05:32:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-31 05:35:58 | × | lu quits (~lu@user/lu) (Remote host closed the connection) |
| 2021-05-31 05:37:27 | × | a6a45081-2b83 quits (~aditya@106.212.79.20) (Remote host closed the connection) |
| 2021-05-31 05:41:07 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-05-31 05:43:05 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-31 05:44:19 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-31 05:44:34 | → | dut joins (~dut@user/dut) |
| 2021-05-31 05:50:54 | × | doyougnu quits (~user@c-67-168-253-231.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-05-31 05:54:27 | → | arrowd joins (~arr@2.94.203.147) |
| 2021-05-31 05:55:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-31 05:55:24 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-31 05:55:34 | <siraben> | What happens if you join #haskell on Freenode? Is it now closed? |
| 2021-05-31 05:55:47 | <arrowd> | edwardk: Hello. I'm OP of #haskell-freebsd on Freenode and I want to migrate the channel to Libera. I need OP for #haskell-freebsd there, but someont already created the channel. |
| 2021-05-31 05:55:56 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-31 05:56:15 | → | ddellacosta joins (~ddellacos@86.106.121.222) |
| 2021-05-31 05:58:15 | → | ikex joins (~ash@user/ikex) |
| 2021-05-31 05:59:22 | → | Guest64 joins (~Guest64@2601:140:8a00:2230:d9be:6461:1c65:81f0) |
| 2021-05-31 05:59:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-31 05:59:59 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-31 06:00:54 | × | ddellacosta quits (~ddellacos@86.106.121.222) (Ping timeout: 264 seconds) |
| 2021-05-31 06:06:55 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-31 06:08:17 | × | favonia_ quits (~favonia@user/favonia) (Quit: Leaving) |
| 2021-05-31 06:08:18 | × | pe200012 quits (~pe200012@119.131.208.84) (Read error: Connection reset by peer) |
| 2021-05-31 06:08:44 | → | pe200012 joins (~pe200012@218.107.17.245) |
| 2021-05-31 06:09:07 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-05-31 06:10:16 | <glguy> | arrowd, could you ask in #haskell-ops please? one of the #haskell group contacts can help |
| 2021-05-31 06:11:16 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-31 06:12:13 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-05-31 06:12:51 | <arrowd> | I'll try, thanks. |
| 2021-05-31 06:12:58 | <dy> | Bartosz: I have a question regarding the Functorio post |
| 2021-05-31 06:13:10 | → | hylisper2 joins (~yaaic@111.119.208.67) |
| 2021-05-31 06:13:12 | <dy> | Are you happy with what you've done :^p? |
| 2021-05-31 06:13:39 | <dy> | It's only a matter of time until someone does actually add proper functors to Factorio now. |
| 2021-05-31 06:13:57 | <dy> | And before you know it we'll have conveyer built systems producing abstract proofs of proportions rather than any concrete good. |
| 2021-05-31 06:14:12 | → | ornxka joins (~ornxka@user/ornxka) |
| 2021-05-31 06:14:54 | <dy> | More pressingly: how do we visualize higher order functorial belts? (e.g. Belt Belt Belt Belt ... at |
| 2021-05-31 06:15:01 | <dy> | Belt Belt Belt Belt ... T* |
| 2021-05-31 06:15:18 | <dy> | Is this probably equivalent to higher dimensional belt systems? |
| 2021-05-31 06:15:22 | <hmmmas> | williang123# |
| 2021-05-31 06:15:22 | <dy> | provably* |
| 2021-05-31 06:17:52 | × | hylisper quits (~yaaic@2409:4040:e89:1bc::94b:8209) (Ping timeout: 268 seconds) |
| 2021-05-31 06:23:10 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-31 06:23:31 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-05-31 06:25:26 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-05-31 06:25:35 | → | prite joins (~pritam@user/pritambaral) |
| 2021-05-31 06:26:13 | → | kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d) |
| 2021-05-31 06:29:52 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-31 06:30:13 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-05-31 06:30:14 | → | ddellacosta joins (~ddellacos@89.46.62.183) |
| 2021-05-31 06:30:53 | × | Guest64 quits (~Guest64@2601:140:8a00:2230:d9be:6461:1c65:81f0) (Quit: Client closed) |
| 2021-05-31 06:33:15 | → | coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-31 06:33:20 | × | dut quits (~dut@user/dut) (Quit: Leaving) |
| 2021-05-31 06:34:57 | → | sondre joins (~sondrelun@eduroam-193-157-245-37.wlan.uio.no) |
| 2021-05-31 06:35:07 | × | ddellacosta quits (~ddellacos@89.46.62.183) (Ping timeout: 272 seconds) |
| 2021-05-31 06:35:54 | → | favonia joins (~favonia@38.54.72.34.bc.googleusercontent.com) |
| 2021-05-31 06:36:09 | × | favonia quits (~favonia@38.54.72.34.bc.googleusercontent.com) (Client Quit) |
| 2021-05-31 06:36:28 | <koishi_> | hi, i'm trying to use lazy IO to get a stream of lines, which works as expected (code: https://pastebin.com/L0GmUPSd) |
| 2021-05-31 06:36:46 | <koishi_> | but what is not expected is the constant memory usage! |
| 2021-05-31 06:37:13 | <koishi_> | i'm curious how ghc does that? |
| 2021-05-31 06:37:33 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-31 06:37:46 | × | favonia quits (~favonia@user/favonia) (Client Quit) |
| 2021-05-31 06:37:50 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-05-31 06:38:02 | <koishi_> | (this code keeps a list of 100 most recent lines) |
| 2021-05-31 06:38:13 | × | wonko quits (~wjc@62.115.229.50) (Changing host) |
| 2021-05-31 06:38:13 | → | wonko joins (~wjc@user/wonko) |
| 2021-05-31 06:39:36 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-31 06:40:41 | → | mib_lfiwfw joins (a0ee4bcb@ircip1.mibbit.com) |
| 2021-05-31 06:41:20 | → | michalz joins (~user@185.246.204.55) |
| 2021-05-31 06:41:34 | → | enzotib joins (~enzotib@user/enzotib) |
| 2021-05-31 06:42:52 | × | favonia quits (~favonia@user/favonia) (Client Quit) |
| 2021-05-31 06:43:46 | <mib_lfiwfw> | https://paste.tomsmeding.com/wC5mbV9Q is this correct syntax and program. I got no clue what is happening |
| 2021-05-31 06:44:27 | <dibblego> | what does the compiler say? |
| 2021-05-31 06:44:47 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-31 06:44:50 | <mib_lfiwfw> | dibblego: not using it I got it from a video |
| 2021-05-31 06:45:07 | <dminuoso> | mib_lfiwfw: Yeah, so this is a cute (but inefficient) way of expressing quicksort. |
| 2021-05-31 06:45:07 | <dibblego> | compile it |
| 2021-05-31 06:45:30 | <mib_lfiwfw> | dminuoso: ineeficient as in performance? |
| 2021-05-31 06:45:58 | <mib_lfiwfw> | dibblego: I will do later slowly |
| 2021-05-31 06:46:00 | <dminuoso> | mib_lfiwfw: Yeah, this is not in place. |
| 2021-05-31 06:46:14 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-05-31 06:46:21 | <dminuoso> | I used to think this was a good example, but Im slowly changing my mind on this. |
All times are in UTC.