Logs: liberachat/#haskell
| 2021-07-19 15:44:45 | → | andrews joins (~andrews@user/andrews) |
| 2021-07-19 15:44:56 | ← | andrews parts (~andrews@user/andrews) () |
| 2021-07-19 15:46:09 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-19 15:46:38 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-19 15:47:00 | × | kuribas quits (~user@ptr-25vy0i7jsa6kv1vvjg7.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-07-19 15:47:07 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-07-19 15:49:46 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-19 15:50:12 | × | bbhoss_ quits (sid18216@id-18216.tinside.irccloud.com) () |
| 2021-07-19 15:51:32 | → | bbhoss joins (sid18216@id-18216.tinside.irccloud.com) |
| 2021-07-19 15:51:48 | × | tlax quits (tlax@kapsi.fi) (Ping timeout: 276 seconds) |
| 2021-07-19 15:51:55 | → | tlax joins (tlax@kapsi.fi) |
| 2021-07-19 15:52:22 | × | Logio quits (em@kapsi.fi) (Ping timeout: 252 seconds) |
| 2021-07-19 15:52:44 | × | ent quits (entgod@kapsi.fi) (Ping timeout: 256 seconds) |
| 2021-07-19 15:54:34 | <Boarders> | in haddock if I want to include an example that is too long then is the thing to put definitions in a codeblock or make the example multi-line or something else? |
| 2021-07-19 15:54:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-19 15:55:56 | <sm> | Boarders: you can have |
| 2021-07-19 15:55:56 | <sm> | @ |
| 2021-07-19 15:55:56 | <sm> | multi line example... |
| 2021-07-19 15:55:56 | <sm> | @ |
| 2021-07-19 15:56:00 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-19 15:57:16 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-19 15:57:29 | → | Logio joins (em@kapsi.fi) |
| 2021-07-19 15:57:43 | → | slycelote joins (~slycelote@user/slycelote) |
| 2021-07-19 15:57:51 | → | ent joins (entgod@kapsi.fi) |
| 2021-07-19 15:58:40 | <Boarders> | how do you indicate with that what it should evaluate to? |
| 2021-07-19 15:58:50 | × | slycelote_ quits (~slycelote@user/slycelote) (Ping timeout: 255 seconds) |
| 2021-07-19 15:59:45 | <sm> | (maybe that got truncated. @ delimiters.) |
| 2021-07-19 16:00:15 | <sm> | Boarders: are you asking about doctests ? the doctest doc will tell |
| 2021-07-19 16:02:34 | <sm> | https://github.com/sol/doctest#readme |
| 2021-07-19 16:04:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-19 16:07:13 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-19 16:07:46 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-19 16:09:41 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-19 16:13:53 | × | dudek quits (~dudek@185.150.236.155) (Read error: Connection reset by peer) |
| 2021-07-19 16:15:29 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-19 16:16:17 | × | cuz quits (~user@38.140.58.234) (Remote host closed the connection) |
| 2021-07-19 16:16:29 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-19 16:16:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-19 16:16:58 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-19 16:17:01 | allbery_b | is now known as geekosaur |
| 2021-07-19 16:20:57 | → | dunkeln joins (~dunkeln@188.71.231.232) |
| 2021-07-19 16:20:58 | × | dunkeln quits (~dunkeln@188.71.231.232) (Client Quit) |
| 2021-07-19 16:20:59 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-19 16:21:01 | <gentauro> | does anybody has the link to a tweet staging: «category theory is the mathematics of mathematics»? |
| 2021-07-19 16:21:19 | <gentauro> | I think it was from a female cs prof (I recall) |
| 2021-07-19 16:21:20 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2021-07-19 16:22:29 | → | dunkeln joins (~dunkeln@188.71.231.232) |
| 2021-07-19 16:22:56 | <Boarders> | https://twitter.com/emilyriehl/status/979375728373518336?s=20 |
| 2021-07-19 16:24:55 | <lechner> | dmj`: it compiled, but did not stop the program from terminating. i got the same message as before: "Codec.Compression.Lzma.decompressWith: decoding error LzmaRetOK" https://dpaste.org/FGQs#L7,84,85,86,87 |
| 2021-07-19 16:24:57 | <c_wraith> | In that tweet she credits Eugenia Cheng, which is a name I've heard before. |
| 2021-07-19 16:26:09 | → | blackeuler joins (~blackeule@72.82.14.206) |
| 2021-07-19 16:26:44 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2021-07-19 16:27:41 | × | blackeuler quits (~blackeule@72.82.14.206) (Client Quit) |
| 2021-07-19 16:28:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-19 16:30:58 | × | nuncanada quits (~dude@179.235.162.215) (Read error: Connection reset by peer) |
| 2021-07-19 16:31:13 | <lechner> | just make sure you pronounce it right, please http://eugeniacheng.com/pronunciation/ |
| 2021-07-19 16:31:20 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-19 16:31:34 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 256 seconds) |
| 2021-07-19 16:34:40 | → | nuncanada joins (~dude@179.235.162.215) |
| 2021-07-19 16:36:00 | × | favonia quits (~favonia@user/favonia) (Remote host closed the connection) |
| 2021-07-19 16:36:56 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-19 16:37:10 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Remote host closed the connection) |
| 2021-07-19 16:37:25 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-19 16:41:23 | <dmj`> | lechner: I think the issue is that you're not forking a thread to handle new clients, so your server terminates immediately, since the main thread of execution exits.. You're just blocking on a socket receive until the client exits, then your process terminates. You need to fork threads for each client and ensure the main thread of execution is running indefinitely |
| 2021-07-19 16:42:11 | × | fendor quits (~fendor@77.119.223.215.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-19 16:42:36 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 256 seconds) |
| 2021-07-19 16:43:30 | <lechner> | dmj`: without a decoding error, this does run forever https://dpaste.org/FGQs#L105 |
| 2021-07-19 16:43:47 | <lechner> | via iterateM_ |
| 2021-07-19 16:45:07 | <lechner> | it is in fact my motivation to catch the error |
| 2021-07-19 16:45:47 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-19 16:46:10 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-19 16:47:15 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-07-19 16:48:10 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-07-19 16:50:07 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 245 seconds) |
| 2021-07-19 16:52:23 | <gentauro> | 18:22 < Boarders> https://twitter.com/emilyriehl/status/979375728373518336 |
| 2021-07-19 16:52:29 | <gentauro> | Boarders: that's the one. Thx :) |
| 2021-07-19 16:53:25 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-19 16:54:56 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-07-19 17:00:22 | × | oso quits (~oso@2601:58c:c080:a950:e67d:b4e2:c5be:433f) (Ping timeout: 246 seconds) |
| 2021-07-19 17:00:44 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-19 17:03:07 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-19 17:03:29 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-07-19 17:03:35 | → | vemek1 joins (~vemek@2a03:b0c0:2:d0::d98:1) |
| 2021-07-19 17:04:05 | × | azeem quits (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-19 17:06:20 | → | azeem joins (~azeem@176.200.239.190) |
| 2021-07-19 17:07:24 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-19 17:07:44 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-19 17:07:54 | → | gustik joins (~gustik@2a01:c844:2416:5920:437:26a4:3a9:3895) |
| 2021-07-19 17:08:07 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-19 17:08:51 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-19 17:09:14 | × | gustik quits (~gustik@2a01:c844:2416:5920:437:26a4:3a9:3895) (Quit: Leaving) |
| 2021-07-19 17:09:31 | → | gustik joins (~gustik@2a01:c844:2416:5920:437:26a4:3a9:3895) |
| 2021-07-19 17:10:57 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 245 seconds) |
| 2021-07-19 17:14:26 | × | chomwitt quits (~chomwitt@athedsl-32487.home.otenet.gr) (Ping timeout: 255 seconds) |
| 2021-07-19 17:14:51 | → | jushur joins (~human@user/jushur) |
| 2021-07-19 17:14:52 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2021-07-19 17:15:14 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-19 17:15:23 | × | azeem quits (~azeem@176.200.239.190) (Ping timeout: 258 seconds) |
| 2021-07-19 17:15:39 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-07-19 17:16:03 | × | benin0369 quits (~benin@183.82.205.17) (Ping timeout: 255 seconds) |
All times are in UTC.