Newest at the top
| 2025-05-09 11:30:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:30:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 11:24:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:23:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds) |
| 2025-05-09 11:11:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:10:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 11:04:01 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-09 11:01:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:01:13 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-09 11:01:01 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 10:59:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 10:57:09 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-09 10:54:45 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-05-09 10:19:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 10:15:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-09 10:14:41 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-05-09 10:10:50 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 10:09:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 10:09:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 10:02:30 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-05-09 10:02:28 +0200 | <__monty__> | It's usually related to nature in some way, observing it, being in it, learning about it. |
| 2025-05-09 10:02:09 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-09 10:00:27 +0200 | <hellwolf> | what's your favorite way of enjoying the life? |
| 2025-05-09 09:58:54 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-09 09:56:08 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 09:55:33 +0200 | <__monty__> | Try enjoying life a little instead. |
| 2025-05-09 09:51:15 +0200 | <hellwolf> | good morning, y'all. another day of grind. |
| 2025-05-09 09:50:34 +0200 | <hellwolf> | *introduction |
| 2025-05-09 09:50:29 +0200 | <hellwolf> | reading pages of type theory papers' induction/elimination rules get to my head instantly. |
| 2025-05-09 09:49:48 +0200 | <hellwolf> | *fair way to say |
| 2025-05-09 09:49:33 +0200 | <hellwolf> | actually, I find reading some of the math paper "ugly" and hard to read too. But the more fairway I find is rather it's dense and difficult to digest if I don't have the context. I should not use the word "ugly" too freely. |
| 2025-05-09 09:48:51 +0200 | <hellwolf> | I saw a discourse post (which got flagged and banned :D), I wanted to comment here instead. |
| 2025-05-09 09:48:28 +0200 | <hellwolf> | | I see a whole series of proposals (of which this is merely the most recent) whose cumulative effect is to make Haskell code ugly and hard to read |
| 2025-05-09 09:43:00 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-09 09:41:10 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-09 09:39:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:38:07 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-09 09:35:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-09 09:29:32 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-09 09:28:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:23:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-09 09:23:38 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-09 09:23:38 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-09 09:23:37 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-05-09 09:18:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 09:13:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:05:52 +0200 | <tomsmeding> | in past years there was sometimes a discord for the conference, sometimes not |
| 2025-05-09 09:05:27 +0200 | <tomsmeding> | be aware that registration is _not free_, not remotely |
| 2025-05-09 09:05:11 +0200 | <tomsmeding> | registration will indeed be on the website, and is indeed not open yet |
| 2025-05-09 09:04:40 +0200 | <tomsmeding> | Axman6: I haven't seen mailing lists for specific conferences or conference editions, no |