Newest at the top
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 |
2025-05-09 09:04:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-09 09:01:55 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-09 09:01:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) acidjnk |
2025-05-09 09:00:56 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
2025-05-09 09:00:38 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-05-09 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-05-09 08:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-09 08:51:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-05-09 08:51:33 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-09 08:49:17 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-09 08:48:29 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-09 08:48:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-09 08:43:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |