Newest at the top
| 2024-07-08 21:55:47 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-08 21:54:31 +0200 | yin | (~yin@user/zero) |
| 2024-07-08 21:33:49 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-07-08 21:32:52 +0200 | <bwe> | mauke: yep, I'll follow that! |
| 2024-07-08 21:27:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 21:27:11 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 21:17:39 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-08 21:12:07 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-07-08 21:07:48 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 21:07:08 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 21:04:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 21:04:12 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-07-08 21:04:00 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 20:59:51 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-08 20:59:09 +0200 | <danse-nr3> | didn't know the sign of 0 was a national thing |
| 2024-07-08 20:57:46 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-07-08 20:57:45 +0200 | <EvanR> | to an extent, like a "positive" number in french is >= 0 |
| 2024-07-08 20:56:30 +0200 | <danse-nr3> | people agreed upon math across languages after all |
| 2024-07-08 20:49:18 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-08 20:48:26 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-07-08 20:46:50 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-08 20:46:10 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-08 20:45:43 +0200 | <danse-nr3> | huh maybe that includes other languages |
| 2024-07-08 20:40:13 +0200 | <EvanR> | so formulas aren't worth as much as you think |
| 2024-07-08 20:39:48 +0200 | <EvanR> | a formula is worth a million words. Which is more words than there are in the dictionary |
| 2024-07-08 20:39:35 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 20:39:09 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Remote host closed the connection) |
| 2024-07-08 20:36:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-08 20:35:03 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-08 20:32:34 +0200 | euleritian | (~euleritia@ip5f5ad3c1.dynamic.kabel-deutschland.de) |
| 2024-07-08 20:32:17 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 20:32:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-07-08 20:21:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-08 20:21:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-07-08 20:19:01 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 20:18:10 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 246 seconds) |
| 2024-07-08 20:13:01 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 20:11:31 +0200 | <mauke> | can confirm that HLS definitely detects them as well |
| 2024-07-08 20:10:51 +0200 | <mauke> | bwe: use explicit export lists in your modules and compile with ghc -Wall |
| 2024-07-08 20:05:28 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2024-07-08 20:03:09 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Ping timeout: 268 seconds) |
| 2024-07-08 20:00:35 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection) |
| 2024-07-08 19:54:42 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-07-08 19:53:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-08 19:53:17 +0200 | Square | (~Square@user/square) |
| 2024-07-08 19:36:32 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 19:36:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 19:34:31 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-08 19:32:23 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 264 seconds) |
| 2024-07-08 19:26:13 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |