Newest at the top
2024-06-26 06:43:58 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-06-26 06:34:01 +0200 | zzz | (~yin@user/zero) |
2024-06-26 06:32:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-06-26 06:29:55 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:c9:f4bd:32a:187d) (Quit: Leaving) |
2024-06-26 06:27:18 +0200 | zzz | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-06-26 06:22:02 +0200 | vizimajac | (vizimajac@shell.xshellz.com) (Remote host closed the connection) |
2024-06-26 06:19:06 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-26 06:11:41 +0200 | zzz | (~yin@user/zero) |
2024-06-26 06:09:48 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-26 06:07:08 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:3ca9:9685:6335:ca5e) (Remote host closed the connection) |
2024-06-26 05:57:49 +0200 | edrx | (~Eduardo@170-233-51-85.static.sumicity.net.br) (Killed buffer) |
2024-06-26 05:57:22 +0200 | <edrx> | pavonia: thanks =) |
2024-06-26 05:47:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-26 05:46:40 +0200 | euleritian | (~euleritia@dynamic-176-007-155-229.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-26 05:43:27 +0200 | CiaoSen | (~Jura@2a05:5800:2d8:3a00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
2024-06-26 05:39:07 +0200 | aforemny | (~aforemny@2001:9e8:6cdd:b100:c11c:c2a2:7e21:6fd9) (Ping timeout: 246 seconds) |
2024-06-26 05:38:50 +0200 | MelMalik | Reinhilde |
2024-06-26 05:38:11 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc2:bc00:8b6d:59f0:33e:e82a) |
2024-06-26 05:37:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-06-26 05:24:15 +0200 | euleritian | (~euleritia@dynamic-176-007-155-229.176.7.pool.telefonica.de) |
2024-06-26 05:23:17 +0200 | euleritian | (~euleritia@dynamic-176-001-135-109.176.1.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-06-26 05:18:45 +0200 | euleritian | (~euleritia@dynamic-176-001-135-109.176.1.pool.telefonica.de) |
2024-06-26 05:17:39 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-06-26 05:15:08 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-06-26 05:11:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-06-26 04:54:15 +0200 | glguy | (g@libera/staff/glguy) |
2024-06-26 04:51:08 +0200 | td_ | (~td@i53870920.versanet.de) |
2024-06-26 04:49:05 +0200 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 252 seconds) |
2024-06-26 04:41:56 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-06-26 04:27:09 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
2024-06-26 04:26:41 +0200 | madhavanmiui | (~madhavanm@2409:40f4:305f:dd79:8000::) (Client Quit) |
2024-06-26 04:26:17 +0200 | madhavanmiui | (~madhavanm@2409:40f4:305f:dd79:8000::) |
2024-06-26 04:22:11 +0200 | xff0x | (~xff0x@ai068022.d.east.v6connect.net) (Ping timeout: 264 seconds) |
2024-06-26 04:19:51 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-26 04:08:29 +0200 | dcoutts | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 256 seconds) |
2024-06-26 04:07:30 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
2024-06-26 03:59:54 +0200 | glguy | (g@libera/staff/glguy) (Remote host closed the connection) |
2024-06-26 03:59:29 +0200 | masterbuilder | (~quassel@user/masterbuilder) |
2024-06-26 03:58:53 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 240 seconds) |
2024-06-26 03:52:06 +0200 | CiaoSen | (~Jura@2a05:5800:2d8:3a00:e6b9:7aff:fe80:3d03) |
2024-06-26 03:19:16 +0200 | <pavonia> | edrx: \Rightarrow or \Longrightarrow |
2024-06-26 03:15:35 +0200 | kaskal | (~kaskal@213-147-165-88.nat.highway.webapn.at) (Ping timeout: 252 seconds) |
2024-06-26 03:03:51 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 264 seconds) |
2024-06-26 03:03:36 +0200 | sudden | (~cat@user/sudden) |
2024-06-26 03:02:58 +0200 | puke | (~puke@user/puke) |
2024-06-26 03:01:57 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-06-26 03:01:20 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
2024-06-26 02:58:28 +0200 | <edrx> | what would you use instead? suggestions? |
2024-06-26 02:58:18 +0200 | <edrx> | but the "=>" looks ugly - i.e., the \textsf{=>} looks ugly. |
2024-06-26 02:57:44 +0200 | <edrx> | I wrote a program to help me typeset type inferences using underbrace diagrams - it generates figures like this: https://i.ibb.co/8mZ2VVp/sshot.png |