| 2024-01-30 00:01:41 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e728886c6af3a169d6ea.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-01-30 00:03:20 +0100 | wenzel_ | (~wenzel@dl5rzs8hfxtxc2s075t2y-3.rev.dnainternet.fi) |
| 2024-01-30 00:03:29 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 00:06:05 +0100 | wlhn | (~wenzel@82-181-36-183.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2024-01-30 00:06:57 +0100 | <ski> | dfg : "6.2.7. Generalised (SQL-like) List Comprehensions" <https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/generalised_list_comprehensions.html> |
| 2024-01-30 00:08:13 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 264 seconds) |
| 2024-01-30 00:09:00 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 00:09:34 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-30 00:12:12 +0100 | AlexNoo | (~AlexNoo@178.34.160.228) (Read error: Connection reset by peer) |
| 2024-01-30 00:12:50 +0100 | AlexNoo | (~AlexNoo@178.34.160.228) |
| 2024-01-30 00:13:58 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 276 seconds) |
| 2024-01-30 00:16:11 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 2024-01-30 00:20:13 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 00:21:44 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-01-30 00:24:47 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 00:25:41 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 00:30:39 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 00:36:52 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 00:37:58 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 255 seconds) |
| 2024-01-30 00:41:29 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 00:43:02 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 00:43:56 +0100 | lottaquestions | (~nick@2607:fa49:503d:b200:5126:8366:8f76:8d51) |
| 2024-01-30 00:44:39 +0100 | sudden | (~cat@user/sudden) |
| 2024-01-30 00:47:57 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-30 00:48:33 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 00:50:01 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-30 00:50:21 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-01-30 00:50:45 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 00:52:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-30 00:55:17 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 240 seconds) |
| 2024-01-30 00:56:07 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 00:58:09 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-30 00:59:59 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2b9a-3ce7-d076-3206-b029.rev.sfr.net) |
| 2024-01-30 01:00:28 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 246 seconds) |
| 2024-01-30 01:01:22 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-01-30 01:03:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-30 01:05:57 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-30 01:07:01 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 01:07:32 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-01-30 01:07:47 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-01-30 01:10:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-01-30 01:11:41 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 01:12:43 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 01:15:31 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-01-30 01:17:10 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-30 01:17:29 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 01:18:46 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-30 01:22:30 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 01:23:38 +0100 | califax_ | (~califax@user/califx) |
| 2024-01-30 01:23:51 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-30 01:24:54 +0100 | califax_ | califax |
| 2024-01-30 01:27:08 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 01:28:11 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 01:32:06 +0100 | otto_s | (~user@p5b0443c2.dip0.t-ipconnect.de) |
| 2024-01-30 01:33:11 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 01:39:14 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 01:44:05 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 01:50:25 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 01:51:26 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-01-30 01:51:48 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-30 01:55:37 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 264 seconds) |
| 2024-01-30 01:58:43 +0100 | mulk | (~mulk@pd9514f7f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-30 02:01:27 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 02:01:36 +0100 | mulk | (~mulk@pd9514187.dip0.t-ipconnect.de) |
| 2024-01-30 02:03:36 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-30 02:05:55 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 246 seconds) |
| 2024-01-30 02:06:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-30 02:13:22 +0100 | mima | (~mmh@aftr-62-216-211-36.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2024-01-30 02:13:31 +0100 | yagkasha | (uid629884@user/yagkasha) (Quit: Connection closed for inactivity) |
| 2024-01-30 02:15:52 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2b9a-3ce7-d076-3206-b029.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-01-30 02:29:14 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 02:34:04 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 255 seconds) |
| 2024-01-30 02:34:18 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-30 02:37:41 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-30 02:37:52 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2024-01-30 02:38:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-01-30 02:39:03 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-01-30 02:39:32 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-01-30 02:40:49 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 02:45:41 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 02:47:47 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 2024-01-30 02:51:49 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 02:56:31 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 03:02:50 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 03:07:22 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 255 seconds) |
| 2024-01-30 03:14:21 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 03:16:49 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 2024-01-30 03:19:11 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 264 seconds) |
| 2024-01-30 03:25:03 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 03:26:43 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-01-30 03:30:16 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 276 seconds) |
| 2024-01-30 03:30:43 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 03:32:50 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-30 03:33:35 +0100 | otto_s | (~user@p5b0443c2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-30 03:35:13 +0100 | otto_s | (~user@p5de2f341.dip0.t-ipconnect.de) |
| 2024-01-30 03:35:37 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 03:41:38 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 03:46:17 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 03:52:43 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 03:54:25 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) |
| 2024-01-30 03:54:25 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) (Changing host) |
| 2024-01-30 03:54:25 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-30 03:57:13 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 246 seconds) |
| 2024-01-30 04:03:41 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-01-30 04:04:25 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 04:06:25 +0100 | kaskal | (~kaskal@2001:4bb8:2c3:39c1:ff3f:d58:4fd9:e10c) (Ping timeout: 264 seconds) |
| 2024-01-30 04:06:49 +0100 | kaskal | (~kaskal@2001:4bb8:2c3:39c1:ff3f:d58:4fd9:e10c) |
| 2024-01-30 04:06:50 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-01-30 04:09:01 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 255 seconds) |
| 2024-01-30 04:10:37 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-01-30 04:15:33 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 04:23:11 +0100 | <tt1231> | For setting up Haskell on Arch Linux, using Code OSS, is using ghcup, and not pacman packages, still the best way to go? I started setting everything up today and I am going to see if I can get everything working tomorrow. |
| 2024-01-30 04:23:46 +0100 | <geekosaur> | pacman still gets you a mostly broken installation |
| 2024-01-30 04:24:16 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-01-30 04:24:56 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-30 04:25:20 +0100 | thegeekinside | (~thegeekin@189.180.65.186) (Ping timeout: 252 seconds) |
| 2024-01-30 04:25:40 +0100 | <geekosaur> | if you religiously use `-dynamic` then you can get it to work, but you have to remember to rebuild everything when OS packages get updated |
| 2024-01-30 04:26:17 +0100 | <geekosaur> | so yes, it's still recommended to use ghcup |
| 2024-01-30 04:37:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d90a:8962:8a2b:5610) (Remote host closed the connection) |
| 2024-01-30 04:37:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d90a:8962:8a2b:5610) |
| 2024-01-30 04:42:25 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-01-30 04:45:15 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-01-30 04:45:41 +0100 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 252 seconds) |
| 2024-01-30 04:47:35 +0100 | td_ | (~td@i53870904.versanet.de) |
| 2024-01-30 04:49:16 +0100 | deglazewithcheet | (~deglazewi@209-188-121-236.taosnet.com) |
| 2024-01-30 04:55:39 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-01-30 04:58:05 +0100 | mei | (~mei@user/mei) |
| 2024-01-30 04:59:05 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-30 04:59:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-01-30 05:03:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-30 05:04:59 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2024-01-30 05:13:31 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-01-30 05:13:41 +0100 | deglazewithcheet | (~deglazewi@209-188-121-236.taosnet.com) (Quit: WeeChat 3.0) |
| 2024-01-30 05:17:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-30 05:23:56 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-30 05:32:59 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 05:34:26 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 05:36:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-30 05:37:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-30 05:40:23 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-30 05:44:23 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 264 seconds) |
| 2024-01-30 05:52:04 +0100 | aforemny | (~aforemny@i59F516EE.versanet.de) |
| 2024-01-30 05:52:49 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc3:900:11e8:80e2:687f:11d6) (Ping timeout: 260 seconds) |
| 2024-01-30 05:58:32 +0100 | harveypwca | (~harveypwc@2601:246:c201:d680:59a0:7761:1557:ead5) |
| 2024-01-30 06:00:25 +0100 | mobivme | (~mobivme@130.105.162.102) |
| 2024-01-30 06:01:14 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-30 06:06:45 +0100 | mobivme | (~mobivme@130.105.162.102) (Remote host closed the connection) |
| 2024-01-30 06:13:08 +0100 | trev | (~trev@user/trev) |
| 2024-01-30 06:14:31 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-01-30 06:19:41 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 06:31:01 +0100 | igemnace | (~ian@user/igemnace) (Remote host closed the connection) |
| 2024-01-30 06:45:25 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-30 06:49:42 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-30 07:06:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-30 07:07:46 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-30 07:11:43 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-01-30 07:17:40 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-30 07:21:51 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-01-30 07:22:36 +0100 | euleritian | (~euleritia@dynamic-176-006-197-177.176.6.pool.telefonica.de) |
| 2024-01-30 07:24:23 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-01-30 07:31:57 +0100 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-01-30 07:32:09 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-30 07:33:55 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-30 07:45:17 +0100 | Square2 | (~Square4@user/square) |
| 2024-01-30 07:48:05 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-01-30 07:49:45 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
| 2024-01-30 07:50:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-30 07:51:49 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-01-30 07:52:51 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-01-30 07:54:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-01-30 07:57:29 +0100 | harveypwca | (~harveypwc@2601:246:c201:d680:59a0:7761:1557:ead5) (Quit: Leaving) |
| 2024-01-30 08:02:50 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e728886c6af3a169d6ea.dip0.t-ipconnect.de) |
| 2024-01-30 08:13:20 +0100 | michalz | (~michalz@185.246.207.215) |
| 2024-01-30 08:21:13 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 08:23:47 +0100 | euleritian | (~euleritia@dynamic-176-006-197-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 08:23:55 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-01-30 08:24:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 08:28:35 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 08:33:01 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 246 seconds) |
| 2024-01-30 08:40:07 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-30 08:40:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-30 08:41:14 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-30 08:42:01 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 08:46:30 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-30 08:46:35 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 08:46:42 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-30 08:53:06 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 08:54:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-30 08:55:08 +0100 | CiaoSen | (~Jura@2a05:5800:286:4200:ca4b:d6ff:fec1:99da) |
| 2024-01-30 08:57:51 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-01-30 08:57:55 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 255 seconds) |
| 2024-01-30 08:58:13 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2024-01-30 08:58:14 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-30 08:58:58 +0100 | MasseR46 | (thelounge@51.15.143.128) (Quit: The Lounge - https://thelounge.chat) |
| 2024-01-30 08:59:28 +0100 | MasseR46 | (thelounge@51.15.143.128) |
| 2024-01-30 09:01:47 +0100 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2024-01-30 09:04:29 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 09:06:28 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-30 09:09:10 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 255 seconds) |
| 2024-01-30 09:13:55 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:d777:c1f:db87:45b8) (Quit: Ping timeout (120 seconds)) |
| 2024-01-30 09:14:13 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:d6b1:fcd4:d7da:98b5) |
| 2024-01-30 09:18:21 +0100 | CiaoSen | (~Jura@2a05:5800:286:4200:ca4b:d6ff:fec1:99da) (Quit: CiaoSen) |
| 2024-01-30 09:20:23 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 09:21:20 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-30 09:22:40 +0100 | lyxia | (~lyxia@poisson.chat) (Quit: WeeChat 4.1.1) |
| 2024-01-30 09:27:24 +0100 | lyxia | (~lyxia@poisson.chat) |
| 2024-01-30 09:28:18 +0100 | mima | (~mmh@aftr-62-216-211-21.dynamic.mnet-online.de) |
| 2024-01-30 09:28:30 +0100 | chele | (~chele@user/chele) |
| 2024-01-30 09:29:43 +0100 | CiaoSen | (~Jura@2a05:5800:286:4200:e6b9:7aff:fe80:3d03) |
| 2024-01-30 09:35:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-01-30 09:35:12 +0100 | euleritian | (~euleritia@dynamic-176-006-197-177.176.6.pool.telefonica.de) |
| 2024-01-30 09:36:19 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-30 09:37:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-30 09:42:10 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-30 09:42:31 +0100 | euleritian | (~euleritia@dynamic-176-006-197-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 09:42:50 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 09:47:10 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-30 09:53:30 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-01-30 09:53:59 +0100 | ricardo2 | (~ricardo@84.16.179.218) |
| 2024-01-30 09:54:36 +0100 | ricardo_1 | (~ricardo@shabang.toppoint.de) |
| 2024-01-30 09:54:38 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:81fc:7752:99f7:2a2d) |
| 2024-01-30 10:03:08 +0100 | lockna | (~lockna@2a01:4f8:10b:14f1::2) |
| 2024-01-30 10:03:13 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 10:04:33 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-30 10:08:19 +0100 | lockna | (~lockna@2a01:4f8:10b:14f1::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-30 10:08:30 +0100 | lockna | (~lockna@2a01:4f8:10b:14f1::2) |
| 2024-01-30 10:09:33 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-30 10:13:33 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-01-30 10:16:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2024-01-30 10:18:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-30 10:22:20 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 10:23:59 +0100 | foul_owl | (~kerry@185.219.141.160) (Read error: Connection reset by peer) |
| 2024-01-30 10:24:18 +0100 | drdo | (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 2024-01-30 10:24:40 +0100 | drdo | (~drdo@bl14-14-49.dsl.telepac.pt) |
| 2024-01-30 10:25:02 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d90a:8962:8a2b:5610) (Remote host closed the connection) |
| 2024-01-30 10:25:11 +0100 | nschoe- | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2024-01-30 10:27:22 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-30 10:28:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-30 10:29:36 +0100 | danse-nr3 | (~danse@151.47.84.17) |
| 2024-01-30 10:29:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-30 10:31:10 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:81fc:7752:99f7:2a2d) (Quit: WeeChat 4.1.2) |
| 2024-01-30 10:31:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-30 10:32:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-30 10:37:47 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 264 seconds) |
| 2024-01-30 10:39:39 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-30 10:40:31 +0100 | foul_owl | (~kerry@157.97.134.164) |
| 2024-01-30 10:41:37 +0100 | Guest53 | (~Guest53@82-65-202-30.subs.proxad.net) |
| 2024-01-30 10:42:27 +0100 | nschoe- | (~nschoe@82-65-202-30.subs.proxad.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-30 10:44:47 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 10:47:07 +0100 | danse-nr3 | (~danse@151.47.84.17) (Ping timeout: 260 seconds) |
| 2024-01-30 10:51:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-30 10:53:03 +0100 | danse-nr3 | (~danse@151.47.84.17) |
| 2024-01-30 10:53:34 +0100 | Guest53 | (~Guest53@82-65-202-30.subs.proxad.net) (Quit: Client closed) |
| 2024-01-30 10:59:52 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-01-30 11:00:11 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-01-30 11:00:53 +0100 | ft | (~ft@p3e9bc222.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-01-30 11:01:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) |
| 2024-01-30 11:01:42 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 11:03:33 +0100 | Guest44 | (~Guest89@2a01:e0a:8e:a190:81fc:7752:99f7:2a2d) |
| 2024-01-30 11:03:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-30 11:03:59 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-01-30 11:04:33 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-30 11:05:22 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:f6db:8be1:d3a6:27f9) |
| 2024-01-30 11:06:18 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 11:11:02 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-01-30 11:15:34 +0100 | ubert | (~Thunderbi@p200300ecdf1f173c067629287973bcad.dip0.t-ipconnect.de) |
| 2024-01-30 11:16:41 +0100 | Guest44 | (~Guest89@2a01:e0a:8e:a190:81fc:7752:99f7:2a2d) (Quit: Client closed) |
| 2024-01-30 11:39:14 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 11:45:38 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 11:47:20 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-01-30 11:50:16 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 255 seconds) |
| 2024-01-30 11:55:53 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2024-01-30 11:57:09 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 12:01:39 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 12:07:50 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
| 2024-01-30 12:10:25 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-01-30 12:12:29 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 12:16:46 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-30 12:17:21 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 12:18:31 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 12:19:47 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.1.2) |
| 2024-01-30 12:21:24 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-01-30 12:26:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 2024-01-30 12:28:54 +0100 | juri__ | (~juri@79.140.115.106) |
| 2024-01-30 12:29:59 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 264 seconds) |
| 2024-01-30 12:34:27 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-30 12:35:01 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) |
| 2024-01-30 12:35:05 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 12:39:51 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 12:40:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 12:41:34 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 12:41:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-30 12:42:27 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 12:44:04 +0100 | juri__ | (~juri@79.140.115.106) (Ping timeout: 276 seconds) |
| 2024-01-30 12:44:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-30 12:44:40 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-30 12:45:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 12:45:26 +0100 | juri_ | (~juri@implicitcad.org) |
| 2024-01-30 12:45:59 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 12:52:53 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 12:53:06 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-30 12:57:57 +0100 | AlexZenon | (~alzenon@178.34.160.228) (Ping timeout: 260 seconds) |
| 2024-01-30 12:59:05 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 12:59:27 +0100 | <haskellbridge> | 06<eldritchcookie> hello do we have any 3d game made in haskell? |
| 2024-01-30 12:59:46 +0100 | <haskellbridge> | 06<eldritchcookie> wow today i am eating all the letters |
| 2024-01-30 12:59:51 +0100 | <haskellbridge> | 06<eldritchcookie> *games |
| 2024-01-30 13:02:20 +0100 | AlexZenon | (~alzenon@178.34.160.228) |
| 2024-01-30 13:05:19 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 13:10:15 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-30 13:10:37 +0100 | danse-nr3 | (~danse@151.47.84.17) (Ping timeout: 264 seconds) |
| 2024-01-30 13:14:27 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 13:15:19 +0100 | <cheater> | not that i know of |
| 2024-01-30 13:15:32 +0100 | <cheater> | you're probably best off trying to integrate with godot |
| 2024-01-30 13:19:42 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2024-01-30 13:20:37 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-01-30 13:21:11 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-01-30 13:25:47 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-01-30 13:37:48 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-30 13:41:36 +0100 | <jackdk> | eldritchcookie: https://wiki.haskell.org/Frag |
| 2024-01-30 13:43:52 +0100 | <haskellbridge> | 06<eldritchcookie> yeah it uses opengl |
| 2024-01-30 13:44:04 +0100 | <haskellbridge> | 06<eldritchcookie> so it certainly is possible |
| 2024-01-30 13:44:18 +0100 | <haskellbridge> | 06<eldritchcookie> but i quite prefer cheater's idea |
| 2024-01-30 13:44:43 +0100 | <haskellbridge> | 06<eldritchcookie> godot isn't going away and neither will its c api |
| 2024-01-30 13:44:57 +0100 | <haskellbridge> | 06<eldritchcookie> though i guess neither will opengl |
| 2024-01-30 13:45:41 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-01-30 13:53:20 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2024-01-30 13:54:54 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 13:59:32 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 14:01:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-01-30 14:01:52 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) |
| 2024-01-30 14:05:27 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 14:05:45 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 14:05:46 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 14:07:45 +0100 | danse-nr3 | (~danse@151.47.24.5) |
| 2024-01-30 14:10:03 +0100 | sord937_ | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-30 14:10:28 +0100 | sord937_ | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-01-30 14:10:42 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 14:11:01 +0100 | sord937_ | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-30 14:11:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 255 seconds) |
| 2024-01-30 14:12:14 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 14:15:31 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-01-30 14:16:47 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 14:17:18 +0100 | sord937_ | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-01-30 14:17:21 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-30 14:17:41 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-30 14:18:17 +0100 | <kaol> | I haven't tried to do anything with it myself but there's https://github.com/typedbyte/hagato at least. |
| 2024-01-30 14:18:20 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 14:29:07 +0100 | CiaoSen | (~Jura@2a05:5800:286:4200:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-01-30 14:30:46 +0100 | petrichor | (~znc-user@user/petrichor) |
| 2024-01-30 14:36:31 +0100 | ubert | (~Thunderbi@p200300ecdf1f173c067629287973bcad.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-01-30 14:37:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-01-30 14:38:51 +0100 | ell1 | (~ellie@user/ellie) |
| 2024-01-30 14:38:52 +0100 | cayley53 | (~cayley5@user/phileasfogg) |
| 2024-01-30 14:38:59 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:36 +0100 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:37 +0100 | hovsater | (sid499516@id-499516.lymington.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:37 +0100 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:37 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:37 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:37 +0100 | dy | (sid3438@user/dy) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:37 +0100 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:39:39 +0100 | samhh_ | samhh |
| 2024-01-30 14:40:07 +0100 | CodeKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) |
| 2024-01-30 14:40:13 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:13 +0100 | probie | (cc0b34050a@user/probie) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:13 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:13 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:13 +0100 | lieven | (~mal@ns2.wyrd.be) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:13 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:17 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2024-01-30 14:40:50 +0100 | ell | (~ellie@user/ellie) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:50 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:50 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:50 +0100 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:50 +0100 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:50 +0100 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:50 +0100 | yushyin | (sJ30bcriGA@mail.karif.server-speed.net) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:50 +0100 | hays | (rootvegeta@fsf/member/hays) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:50 +0100 | cayley5 | (~cayley5@user/phileasfogg) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:51 +0100 | buhman | (sid411355@user/buhman) (Ping timeout: 268 seconds) |
| 2024-01-30 14:40:51 +0100 | ell1 | ell |
| 2024-01-30 14:40:51 +0100 | cayley53 | cayley5 |
| 2024-01-30 14:41:40 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-01-30 14:41:41 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-01-30 14:41:41 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-01-30 14:41:41 +0100 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-01-30 14:41:41 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-01-30 14:41:41 +0100 | probie | (cc0b34050a@user/probie) |
| 2024-01-30 14:41:41 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-01-30 14:41:42 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-01-30 14:41:43 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-01-30 14:41:43 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-01-30 14:41:43 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-01-30 14:41:59 +0100 | dy | (sid3438@user/dy) |
| 2024-01-30 14:41:59 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2024-01-30 14:42:00 +0100 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
| 2024-01-30 14:42:00 +0100 | hovsater | (sid499516@id-499516.lymington.irccloud.com) |
| 2024-01-30 14:42:02 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
| 2024-01-30 14:42:03 +0100 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
| 2024-01-30 14:42:03 +0100 | mal1 | (~mal@ns2.wyrd.be) |
| 2024-01-30 14:42:04 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2024-01-30 14:42:09 +0100 | buhman | (sid411355@user/buhman) |
| 2024-01-30 14:42:10 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2024-01-30 14:42:13 +0100 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2024-01-30 14:42:23 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2024-01-30 14:43:41 +0100 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 240 seconds) |
| 2024-01-30 14:44:17 +0100 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2024-01-30 14:44:57 +0100 | AkechiShiro | (~licht@user/akechishiro) |
| 2024-01-30 14:46:16 +0100 | danse-nr3 | (~danse@151.47.24.5) (Ping timeout: 276 seconds) |
| 2024-01-30 14:47:46 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-01-30 14:47:57 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-30 14:48:33 +0100 | ubert | (~Thunderbi@p200300ecdf1f173c03fd09da48ef3e71.dip0.t-ipconnect.de) |
| 2024-01-30 14:53:34 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-01-30 14:54:26 +0100 | yushyin | (PYLyYfdKtk@mail.karif.server-speed.net) |
| 2024-01-30 15:04:48 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-30 15:05:13 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2024-01-30 15:05:19 +0100 | thegeekinside | (~thegeekin@189.180.65.186) |
| 2024-01-30 15:05:36 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
| 2024-01-30 15:10:19 +0100 | thegeekinside | (~thegeekin@189.180.65.186) (Ping timeout: 276 seconds) |
| 2024-01-30 15:12:39 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-01-30 15:16:46 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-30 15:22:50 +0100 | thegeekinside | (~thegeekin@189.180.65.186) |
| 2024-01-30 15:24:06 +0100 | troydm | (~troydm@user/troydm) |
| 2024-01-30 15:30:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-01-30 15:31:19 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) |
| 2024-01-30 15:31:49 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 15:32:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 15:39:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-01-30 15:39:40 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) |
| 2024-01-30 15:42:23 +0100 | <bwe> | what's Haskell's equivalent to Rust's "function xyz not called; consider to remove"? |
| 2024-01-30 15:43:30 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-30 15:43:50 +0100 | <int-e> | ghc has a -fwarn-unused-binds (also part of -Wall, I think?) |
| 2024-01-30 15:47:14 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-30 15:47:24 +0100 | danse-nr3 | (~danse@151.47.24.5) |
| 2024-01-30 15:47:53 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-30 15:53:56 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-01-30 15:58:34 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-30 16:06:45 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-01-30 16:10:30 +0100 | defanor | (~defanor@tart.uberspace.net) (Changing host) |
| 2024-01-30 16:10:30 +0100 | defanor | (~defanor@user/defanor) |
| 2024-01-30 16:12:42 +0100 | iakov | (~quassel@2a02:8106:244:b000:c4b2:cd08:c7cf:1672) |
| 2024-01-30 16:18:00 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-30 16:24:32 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 16:24:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 16:26:32 +0100 | <bwe> | int-e: I get only -Wunused-local-binds |
| 2024-01-30 16:28:52 +0100 | yoneda | (~mike@193.206.102.122) (Remote host closed the connection) |
| 2024-01-30 16:36:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-30 16:37:06 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) |
| 2024-01-30 16:52:47 +0100 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2024-01-30 16:58:35 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2024-01-30 17:00:55 +0100 | duncan | (~duncan@sithean.tor.scot) (Read error: Connection reset by peer) |
| 2024-01-30 17:03:11 +0100 | duncan | (~duncan@user/duncan) |
| 2024-01-30 17:04:17 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-01-30 17:12:03 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 17:12:36 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) |
| 2024-01-30 17:18:06 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-01-30 17:18:22 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 17:18:33 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-30 17:18:40 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 17:24:33 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-30 17:24:34 +0100 | AlexZenon | (~alzenon@178.34.160.228) (Ping timeout: 268 seconds) |
| 2024-01-30 17:25:47 +0100 | AlexNoo | (~AlexNoo@178.34.160.228) (Ping timeout: 256 seconds) |
| 2024-01-30 17:33:45 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-30 17:36:47 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 252 seconds) |
| 2024-01-30 17:37:34 +0100 | Square | (~Square@user/square) |
| 2024-01-30 17:38:25 +0100 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) (Remote host closed the connection) |
| 2024-01-30 17:38:55 +0100 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
| 2024-01-30 17:38:55 +0100 | ChanServ | +v yahb2 |
| 2024-01-30 17:39:41 +0100 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2024-01-30 17:39:47 +0100 | Server | +Cnt |
| 2024-01-30 17:41:49 +0100 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-30 17:42:34 +0100 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 2024-01-30 17:48:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-01-30 17:48:35 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) |
| 2024-01-30 17:48:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) (Remote host closed the connection) |
| 2024-01-30 17:48:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) |
| 2024-01-30 17:50:10 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-30 17:51:20 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 17:51:45 +0100 | AlexNoo | (~AlexNoo@94.233.240.229) |
| 2024-01-30 17:53:06 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 17:54:15 +0100 | CiaoSen | (~Jura@2a05:5800:286:4200:e6b9:7aff:fe80:3d03) |
| 2024-01-30 17:55:52 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 17:56:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 17:57:21 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-01-30 17:58:47 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 18:03:06 +0100 | danse-nr3 | (~danse@151.47.24.5) (Ping timeout: 268 seconds) |
| 2024-01-30 18:03:13 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-30 18:03:52 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:81d9:6063:4185:a0e4) |
| 2024-01-30 18:04:52 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-30 18:04:58 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 18:05:41 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) |
| 2024-01-30 18:05:59 +0100 | thegeekinside | (~thegeekin@189.180.65.186) (Ping timeout: 264 seconds) |
| 2024-01-30 18:06:04 +0100 | euleritian | (~euleritia@dynamic-176-006-184-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 18:06:52 +0100 | thegeekinside | (~thegeekin@189.180.65.186) |
| 2024-01-30 18:07:25 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 2024-01-30 18:07:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 18:08:26 +0100 | AlexZenon | (~alzenon@94.233.240.229) |
| 2024-01-30 18:09:31 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 18:11:26 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-01-30 18:12:03 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-01-30 18:12:19 +0100 | actioninja7 | (~actioninj@user/actioninja) |
| 2024-01-30 18:13:19 +0100 | cods_ | (~fred@tuxee.net) |
| 2024-01-30 18:15:05 +0100 | Eoco_ | (~ian@128.101.131.218) |
| 2024-01-30 18:15:23 +0100 | cods | (~fred@tuxee.net) (Ping timeout: 252 seconds) |
| 2024-01-30 18:15:24 +0100 | actioninja | (~actioninj@user/actioninja) (Ping timeout: 252 seconds) |
| 2024-01-30 18:15:24 +0100 | actioninja7 | actioninja |
| 2024-01-30 18:15:24 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-01-30 18:15:24 +0100 | Teacup_ | (~teacup@user/teacup) (Ping timeout: 252 seconds) |
| 2024-01-30 18:15:25 +0100 | B-J | (~BenziJuni@88-149-65-224.du.xdsl.is) (Ping timeout: 252 seconds) |
| 2024-01-30 18:15:50 +0100 | guygastineau | (~guygastin@137.184.131.156) (Ping timeout: 252 seconds) |
| 2024-01-30 18:15:51 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-01-30 18:16:05 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 18:16:34 +0100 | APic | (apic@apic.name) (Ping timeout: 252 seconds) |
| 2024-01-30 18:16:38 +0100 | monochrm | (trebla@216.138.220.146) |
| 2024-01-30 18:16:46 +0100 | monochrom | (trebla@216.138.220.146) (Read error: Connection reset by peer) |
| 2024-01-30 18:16:51 +0100 | monochrm | monochrom |
| 2024-01-30 18:17:18 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-01-30 18:17:20 +0100 | RMSBach | (~guygastin@137.184.131.156) |
| 2024-01-30 18:17:32 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Ping timeout: 252 seconds) |
| 2024-01-30 18:17:33 +0100 | Vq | (~vq@90-225-115-195-no122.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2024-01-30 18:17:56 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-65-224.hive.is) |
| 2024-01-30 18:20:48 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 18:21:21 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 18:21:46 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-01-30 18:22:01 +0100 | APic | (~apic@apic.name) |
| 2024-01-30 18:22:42 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2024-01-30 18:25:00 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-01-30 18:25:41 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 240 seconds) |
| 2024-01-30 18:26:06 +0100 | defanor | (~defanor@user/defanor) (Quit: .) |
| 2024-01-30 18:26:53 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 18:27:43 +0100 | Vq | (~vq@90-225-115-195-no122.tbcn.telia.com) |
| 2024-01-30 18:29:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-30 18:30:57 +0100 | CiaoSen | (~Jura@2a05:5800:286:4200:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-01-30 18:32:53 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-30 18:37:01 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 18:44:16 +0100 | <bwe> | how can I get those warnings fixed automatically that can be fixed automatically? language server? specific package/tool? |
| 2024-01-30 18:44:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-30 18:46:11 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-01-30 18:46:23 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:81d9:6063:4185:a0e4) (Ping timeout: 260 seconds) |
| 2024-01-30 18:48:05 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-01-30 18:48:11 +0100 | xff0x | (~xff0x@ai079181.d.east.v6connect.net) |
| 2024-01-30 18:50:12 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-30 18:57:01 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-01-30 18:59:31 +0100 | xff0x_ | (~xff0x@ai099196.d.east.v6connect.net) |
| 2024-01-30 19:02:02 +0100 | SAJAT | (~sajat@87-97-12-229.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2024-01-30 19:02:58 +0100 | xff0x | (~xff0x@ai079181.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2024-01-30 19:03:47 +0100 | SAJAT | (~sajat@84-236-3-92.pool.digikabel.hu) |
| 2024-01-30 19:03:51 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-30 19:05:54 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-30 19:07:31 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-01-30 19:07:42 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2024-01-30 19:08:36 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-01-30 19:08:36 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2024-01-30 19:09:05 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 268 seconds) |
| 2024-01-30 19:13:04 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-01-30 19:15:54 +0100 | causal | (~eric@50.35.85.7) |
| 2024-01-30 19:20:44 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-30 19:26:52 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-30 19:27:36 +0100 | danse-nr3 | (~danse@151.47.46.196) |
| 2024-01-30 19:29:17 +0100 | zanp | (~zanp@2a02:c7c:c9a0:9400:ed2a:2091:2c82:bfca) |
| 2024-01-30 19:32:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-01-30 19:36:40 +0100 | thegeekinside | (~thegeekin@189.180.65.186) (Remote host closed the connection) |
| 2024-01-30 19:38:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-30 19:38:38 +0100 | euleritian | (~euleritia@dynamic-046-114-172-039.46.114.pool.telefonica.de) |
| 2024-01-30 19:38:59 +0100 | euleritian | (~euleritia@dynamic-046-114-172-039.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-30 19:39:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-30 19:40:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) (Remote host closed the connection) |
| 2024-01-30 19:40:17 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-01-30 19:48:52 +0100 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 2024-01-30 19:49:28 +0100 | <ski> | bwe : hlint warnings ? |
| 2024-01-30 19:51:54 +0100 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2024-01-30 19:55:48 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 20:00:20 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 20:07:13 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 20:08:21 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) |
| 2024-01-30 20:10:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) |
| 2024-01-30 20:11:53 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 20:13:21 +0100 | <bwe> | ski: ghc and hlint warnings |
| 2024-01-30 20:13:49 +0100 | <bwe> | it's a pity to not have that working out of the box. |
| 2024-01-30 20:16:33 +0100 | zanp | (~zanp@2a02:c7c:c9a0:9400:ed2a:2091:2c82:bfca) (Quit: Client closed) |
| 2024-01-30 20:18:12 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 20:22:53 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 20:23:19 +0100 | <monochrom> | Everyone was waiting for everyone else to do it, so no one does it. |
| 2024-01-30 20:24:10 +0100 | <bwe> | hell, there is half a dozen of auto-fixers. apply-refact for hlint, hlint-plugin recently. it's a fragmented mess. |
| 2024-01-30 20:24:19 +0100 | <EvanR> | color output for ghci |
| 2024-01-30 20:24:27 +0100 | <EvanR> | waiting patiently |
| 2024-01-30 20:25:23 +0100 | <bwe> | I mean, what are the Rust people doing differently so they get the job done? |
| 2024-01-30 20:25:57 +0100 | <bwe> | is it just we need "donate for idea XYZ" to get it implemented buttons? |
| 2024-01-30 20:26:03 +0100 | <EvanR> | they have hype |
| 2024-01-30 20:26:49 +0100 | <bwe> | does hype necessarily gets you the stuff done? |
| 2024-01-30 20:27:06 +0100 | <EvanR> | hype leads to more people willing to make nice looking css |
| 2024-01-30 20:27:15 +0100 | <EvanR> | and that leads to the dark side |
| 2024-01-30 20:27:18 +0100 | <monochrom> | For a group of people who self-identify as believing in open-source, we are exceptional in exhibiting entitlement attitudes. That's the difference. |
| 2024-01-30 20:27:36 +0100 | <bwe> | EvanR: pls elaborate on the dark side. |
| 2024-01-30 20:27:47 +0100 | <EvanR> | a bad reference to star wars |
| 2024-01-30 20:28:31 +0100 | <bwe> | monochrom: So, too many idealists, perfectionists among us leads to not getting anything done. |
| 2024-01-30 20:28:31 +0100 | <EvanR> | all programming languages with hype come with exuberant community members skilled in the ways of persuasive CSS (not just ability to host pages) |
| 2024-01-30 20:28:43 +0100 | <EvanR> | regardless of the merits of the language |
| 2024-01-30 20:28:49 +0100 | <monochrom> | No, entitlement attitude is not perfectionism. |
| 2024-01-30 20:28:56 +0100 | <bwe> | monochrom: what is it then? |
| 2024-01-30 20:29:03 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 20:29:10 +0100 | <monochrom> | Other communities are like "we're missing X, how can I help?" |
| 2024-01-30 20:29:11 +0100 | <bwe> | seriously, which auto-fixer can you recommend from your own experience? |
| 2024-01-30 20:29:19 +0100 | <EvanR> | there's a correlation between massive community contributions and these fancy pages |
| 2024-01-30 20:29:49 +0100 | <bwe> | monochrom: how are we? |
| 2024-01-30 20:29:54 +0100 | <monochrom> | This community is like "how the hell are we missing X?! why doesn't someone else do it and gimme?! this is why haskell is not for prime time". |
| 2024-01-30 20:30:26 +0100 | <bwe> | monochrom: so we are doomed - why are you still here? |
| 2024-01-30 20:30:45 +0100 | <monochrom> | At least I did my part. I believed that we need a better tutorial on parametric polymorphism. So I wrote it. |
| 2024-01-30 20:31:01 +0100 | <bwe> | monochrom: link? |
| 2024-01-30 20:31:13 +0100 | <monochrom> | https://www.vex.net/~trebla/haskell/abs-type-param.html |
| 2024-01-30 20:31:34 +0100 | <monochrom> | Why shouldn't I be still here? |
| 2024-01-30 20:31:50 +0100 | <monochrom> | It is not like everyone else's entitlement attitude actually affects me. |
| 2024-01-30 20:32:16 +0100 | <ski> | bwe : i don't think i'd want that, since hlint can be a bit opinionated, and also sometimes i want to contraindicate, for emphasis |
| 2024-01-30 20:32:18 +0100 | <monochrom> | And it is not like I'm missing the next fad IDE feature either. |
| 2024-01-30 20:32:19 +0100 | <bwe> | monochrom: what's the entitlement attitude? can you give me an example? |
| 2024-01-30 20:32:34 +0100 | <monochrom> | You showed an example. |
| 2024-01-30 20:33:17 +0100 | <EvanR> | is the next fad ide feature to enforce ormolu everywhere on everything |
| 2024-01-30 20:33:29 +0100 | <bwe> | there is also formulu |
| 2024-01-30 20:33:37 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 255 seconds) |
| 2024-01-30 20:33:41 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2024-01-30 20:33:56 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-30 20:34:03 +0100 | <bwe> | monochrom: you mean, complaining and asking for auto-fixer? |
| 2024-01-30 20:35:08 +0100 | <bwe> | ski: but can we agree on removing unused imports is wanted in each case? ofc that's the ghc auto-fixer. |
| 2024-01-30 20:35:25 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2024-01-30 20:36:13 +0100 | <monochrom> | I don't want that in most cases. |
| 2024-01-30 20:36:31 +0100 | <monochrom> | Then again, I don't use hlint, I don't use -Wall, so I'm fine. |
| 2024-01-30 20:36:38 +0100 | <tomsmeding> | no -Wall? |
| 2024-01-30 20:36:49 +0100 | bwe | is shocked |
| 2024-01-30 20:36:54 +0100 | <tomsmeding> | do you go warningless or do you have favourites that you turn on manually? |
| 2024-01-30 20:36:58 +0100 | <monochrom> | I can be talked to using them at finalization time. But that's 1% of the time. |
| 2024-01-30 20:37:11 +0100 | <monochrom> | s/talked to/talked into/ |
| 2024-01-30 20:38:22 +0100 | <monochrom> | My code has not been "industry" enough to benefit from warnings. |
| 2024-01-30 20:38:52 +0100 | <monochrom> | But like I said, for "industry" code, I can be talked into -Wall -Werror at finalization. |
| 2024-01-30 20:39:16 +0100 | <monochrom> | But also like I said, that means the last mile only. |
| 2024-01-30 20:39:18 +0100 | <tomsmeding> | I have hate for -Werror, but turn on -Wall always |
| 2024-01-30 20:39:25 +0100 | lockna | (~lockna@2a01:4f8:10b:14f1::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-30 20:39:33 +0100 | <tomsmeding> | which means I don't _need_ -Werror, because I know when my code has warnings |
| 2024-01-30 20:39:37 +0100 | <monochrom> | During intermediate drafting stage, the warnings are spurrious and distracting. |
| 2024-01-30 20:39:38 +0100 | ski | . o O ( "Min-Maxing Your Haskell Imports" in 2019-06-03 at <https://mostlyabsurd.github.io/posts/2019/06/03/minimal-imports-maximal-imports/>,"Min-Maxing Your Haskell Imports (examples)" in 2019-06-09 at <https://mostlyabsurd.github.io/posts/2019/06/09/minimal-imports-maximal-imports-examples/>, both by Robert Djubek ) |
| 2024-01-30 20:39:42 +0100 | lockna | (~lockna@2a01:4f8:10b:14f1::2) |
| 2024-01-30 20:39:45 +0100 | <tomsmeding> | interesting :) |
| 2024-01-30 20:39:53 +0100 | <tomsmeding> | I mean, I'm not judging you, I'm assuming you can write good code |
| 2024-01-30 20:40:33 +0100 | <geekosaur> | I'm wary of -Werror because it tends to mean "don't allow portable code" |
| 2024-01-30 20:40:44 +0100 | <EvanR> | how so |
| 2024-01-30 20:40:56 +0100 | <geekosaur> | well, portable across versions |
| 2024-01-30 20:41:16 +0100 | <EvanR> | because warnings change |
| 2024-01-30 20:41:16 +0100 | <tomsmeding> | doing -Werror at monochrom's "finalisation time" is fine if you have a development process that doesn't aim at avoiding warnings always |
| 2024-01-30 20:41:27 +0100 | <tomsmeding> | but don't _release_ code with -Werror because it makes it absolute hell to build for others |
| 2024-01-30 20:41:28 +0100 | <monochrom> | It is the same principle as how those popup confirmations "are you sure? [Y] [N]" backfired because if you spam it, people become oblivious, it's self-defeating. |
| 2024-01-30 20:41:55 +0100 | <geekosaur> | because (a) a warning->error might not even exist in an older version (b) sometimes you need considerable histrionics to support multiple ghc versions without tripping warnings |
| 2024-01-30 20:42:33 +0100 | <geekosaur> | so you find yourself locking out users on Debian or etc. |
| 2024-01-30 20:42:44 +0100 | lockna | (~lockna@2a01:4f8:10b:14f1::2) (Client Quit) |
| 2024-01-30 20:42:46 +0100 | <tomsmeding> | maybe this is less of an issue with haskell because one can "just" open the cabal file and remove the -Werror flag if you get issues, but I once had to build some C++ code that used some custom build framework embedded in cmake (!) that re-downloaded source tarballs whenever hashes didn't match |
| 2024-01-30 20:43:02 +0100 | <monochrom> | In the case of imports, very often I already write like "import Control.Monad(foldM)" in the first place. |
| 2024-01-30 20:43:08 +0100 | <tomsmeding> | and the downloaded stuff used -Werror and it errored on a harmless (I surely hope) on my machine |
| 2024-01-30 20:43:18 +0100 | lockna | (~lockna@2a01:4f8:10b:14f1::2) |
| 2024-01-30 20:43:22 +0100 | <tomsmeding> | removing the -Werror meant that the framework would just re-download the source and overwrite my changes |
| 2024-01-30 20:43:24 +0100 | <tomsmeding> | it was hell |
| 2024-01-30 20:43:53 +0100 | <monochrom> | Also when it comes to for example Data.Map, the good habit of "import Data.Map qualified ..." already sidesteps the issue altogether. |
| 2024-01-30 20:44:22 +0100 | tomsmeding | always import Data.Map.Strict (Map) ; import qualified Data.Map.Strict as Map |
| 2024-01-30 20:44:31 +0100 | <monochrom> | Yeah exactly. |
| 2024-01-30 20:45:54 +0100 | <tomsmeding> | if I have to work on some code I haven't seen before, and it doesn't have warnings turned on (this holds for Haskell, C and C++, because there I know 1. that warnings are off by default and 2. how to spell the warning flag), the first thing I do is turn on -Wall |
| 2024-01-30 20:46:02 +0100 | <tomsmeding> | if I then get spammed, I cry |
| 2024-01-30 20:46:30 +0100 | <tomsmeding> | and I know I'm practically guaranteed to run into bugs that were perfectly indicated by a warning |
| 2024-01-30 20:46:42 +0100 | bobby | (~bob@2a01:799:15e7:a300:a9a7:9c25:284b:6aae) |
| 2024-01-30 20:46:47 +0100 | yeahitsme | (~bob@user/yeahitsme) (Read error: Connection reset by peer) |
| 2024-01-30 20:46:50 +0100 | <tomsmeding> | the "practically" in that sentence allows for extraordinary coders |
| 2024-01-30 20:47:51 +0100 | <monochrom> | If 80% of the warnings point you to bugs, that is worthwhile. But now it means it depends on the code quality in the first place. |
| 2024-01-30 20:48:31 +0100 | <tomsmeding> | I mean, I'm fine if you go "I use -Wall -Wno-unused-imports" or something |
| 2024-01-30 20:49:07 +0100 | <tomsmeding> | add your own favourite too-low-signal-to-noise warnings given your coding style |
| 2024-01-30 20:49:10 +0100 | <monochrom> | I have thought about that. It would mean -Wall <20 -Wno-* here> |
| 2024-01-30 20:49:22 +0100 | <tomsmeding> | -Wunused-imports is I guess the one with the lowest signal for me |
| 2024-01-30 20:49:42 +0100 | <tomsmeding> | monochrom: what's the second on the list of -Wno-*? I promise I won't ask for the rest :) |
| 2024-01-30 20:50:17 +0100 | <monochrom> | -Wno-no-binds. The one about "do { getLine }" for example. |
| 2024-01-30 20:50:28 +0100 | <monochrom> | I HATE THAT |
| 2024-01-30 20:50:39 +0100 | <monochrom> | It's hypocrisy. |
| 2024-01-30 20:50:44 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-01-30 20:51:22 +0100 | <monochrom> | putStrLn "foo" :: IO () is not warned because of the (). |
| 2024-01-30 20:52:04 +0100 | <tomsmeding> | monochrom: do you mean -Wunused-do-bind? |
| 2024-01-30 20:52:04 +0100 | <monochrom> | I have "data U = U" and "myfunc :: IO U", and it is warned, even though it is isomorphic to (), even if it is visible in the module. |
| 2024-01-30 20:52:38 +0100 | <monochrom> | Yeah I don't remember the correct name. (Well, I ended up not turning on any warning anyway, so I don't need to remember anything.) |
| 2024-01-30 20:52:39 +0100 | <EvanR> | I should set import Data.Map.Strict (Map) ; import qualified Data.Map.Strict as Map as a macro already |
| 2024-01-30 20:52:42 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-30 20:53:09 +0100 | <tomsmeding> | monochrom: the one where you have a monadic action that returns non-() and you don't bind it to anything but it's not the last line in the block? |
| 2024-01-30 20:53:10 +0100 | <EvanR> | control b for boilerplate |
| 2024-01-30 20:53:12 +0100 | <bwe> | I mean, my intention is to have -Wall enabled and solve all issues that come up. So, there is only the option to do it by hand? |
| 2024-01-30 20:53:18 +0100 | danse-nr3 | (~danse@151.47.46.196) (Ping timeout: 268 seconds) |
| 2024-01-30 20:53:21 +0100 | <monochrom> | Right. |
| 2024-01-30 20:53:29 +0100 | <tomsmeding> | that's unused-do-bind indeed, and I agree it's low signal-to-noise, but I leave it on anyway |
| 2024-01-30 20:53:34 +0100 | <tomsmeding> | I like being explicit about not using a result |
| 2024-01-30 20:54:01 +0100 | <dostoyevsky2> | > def fib = [ 0 -> 1 | 1 -> 1 | N -> fib (N - 2) + fib (N - 1) ] |
| 2024-01-30 20:54:03 +0100 | <lambdabot> | <hint>:1:9: error: parse error on input ‘=’ |
| 2024-01-30 20:54:07 +0100 | <monochrom> | I would like that too. But what about my U example? |
| 2024-01-30 20:54:10 +0100 | <dostoyevsky2> | does Haskell have a syntax that similar to this? |
| 2024-01-30 20:54:40 +0100 | bobby | (~bob@2a01:799:15e7:a300:a9a7:9c25:284b:6aae) (Quit: Leaving) |
| 2024-01-30 20:54:44 +0100 | <tomsmeding> | > fib = \case 0 -> 1 ; 1 -> 1 ; n -> fib (n - 2) + fib (n - 1) |
| 2024-01-30 20:54:46 +0100 | <lambdabot> | <hint>:1:5: error: parse error on input ‘=’ |
| 2024-01-30 20:54:46 +0100 | <geekosaur> | MultiWayIf? |
| 2024-01-30 20:54:49 +0100 | <tomsmeding> | % fib = \case 0 -> 1 ; 1 -> 1 ; n -> fib (n - 2) + fib (n - 1) |
| 2024-01-30 20:54:49 +0100 | <yahb2> | <interactive>:5:8: error: Illegal lambda-case (use LambdaCase) |
| 2024-01-30 20:54:54 +0100 | <tomsmeding> | % :set -XLambdaCase |
| 2024-01-30 20:54:55 +0100 | <yahb2> | <no output> |
| 2024-01-30 20:54:57 +0100 | <tomsmeding> | % fib = \case 0 -> 1 ; 1 -> 1 ; n -> fib (n - 2) + fib (n - 1) |
| 2024-01-30 20:54:57 +0100 | <yahb2> | <no output> |
| 2024-01-30 20:55:00 +0100 | <tomsmeding> | % fib 10 |
| 2024-01-30 20:55:00 +0100 | <yahb2> | 89 |
| 2024-01-30 20:55:03 +0100 | <monochrom> | I am OK with being forced to write "do { _ <- getLine; ...}". I am not OK with being forced to write "do { _ <- myfunc; ... }". |
| 2024-01-30 20:55:03 +0100 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/lambda_case.html#extension-LambdaCase |
| 2024-01-30 20:55:20 +0100 | <tomsmeding> | monochrom: I see! I guess I haven't run into that example :) |
| 2024-01-30 20:55:28 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-30 20:55:45 +0100 | <geekosaur> | hm, guess LambdaCase fits better, yeh |
| 2024-01-30 20:55:48 +0100 | <tomsmeding> | though I understand, I would feel the same |
| 2024-01-30 20:56:23 +0100 | <monochrom> | Sometimes my opinion is harder to understand because it is not of the simple form "do X", it is of the compound form "do X1 iff do X2". |
| 2024-01-30 20:56:51 +0100 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-01-30 20:56:55 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 20:57:12 +0100 | <tomsmeding> | that's just having a slightly less common coding pattern |
| 2024-01-30 20:57:42 +0100 | <monochrom> | because every reason for or against X1 also applies to X2, and I am very annoyed when people make excuses to consider them different. |
| 2024-01-30 20:58:45 +0100 | <tomsmeding> | is it that readers/listeners aren't willing to consider coding styles/situations they themselves don't use / haven't encountered? |
| 2024-01-30 20:58:57 +0100 | <tomsmeding> | otherwise I'm not sure what your last message was saying |
| 2024-01-30 20:59:29 +0100 | <monochrom> | Cognitive dissonance. |
| 2024-01-30 20:59:49 +0100 | <monochrom> | () and U are isomorphic, but people refuse to honour that. |
| 2024-01-30 20:59:59 +0100 | <monochrom> | So () gets and free pass and U doesn't. |
| 2024-01-30 21:00:08 +0100 | <monochrom> | s/gets and/gets a/ |
| 2024-01-30 21:00:15 +0100 | <tomsmeding> | that should just take thinking for a moment about what -Wunused-do-bind is _for_ |
| 2024-01-30 21:00:27 +0100 | <monochrom> | Yes exactly. |
| 2024-01-30 21:00:29 +0100 | <tomsmeding> | it's for not ignoring results that you may have forgotten to use |
| 2024-01-30 21:00:41 +0100 | <tomsmeding> | if there is no information in a particular result, there is nothing to forget to use |
| 2024-01-30 21:01:01 +0100 | <monochrom> | There is no information in a U result. |
| 2024-01-30 21:01:07 +0100 | <tomsmeding> | I guess it's just uncommon to have a data type that's isomorphic to () :p |
| 2024-01-30 21:01:18 +0100 | <tomsmeding> | ("why not just use ()?") |
| 2024-01-30 21:01:23 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 21:01:47 +0100 | <beogrif> | I _guess_ you could check it's not bottom but that'd be rare |
| 2024-01-30 21:02:04 +0100 | <tomsmeding> | sure -- but that would apply to () as well |
| 2024-01-30 21:02:19 +0100 | <monochrom> | One can also check for ()'s bottom with "() <- putStrLn foo". |
| 2024-01-30 21:02:25 +0100 | <tomsmeding> | and I would happy write off putting information in non-bottomness as an anti-pattern |
| 2024-01-30 21:02:28 +0100 | <tomsmeding> | *happily |
| 2024-01-30 21:02:45 +0100 | <monochrom> | See? Everything you say about (), I can say about U too. They are isomorphic. |
| 2024-01-30 21:02:54 +0100 | <tomsmeding> | I'm not disagreeing :p |
| 2024-01-30 21:03:10 +0100 | SAJAT | (~sajat@84-236-3-92.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2024-01-30 21:03:12 +0100 | <beogrif> | tomsmeding, yeah definitely |
| 2024-01-30 21:03:19 +0100 | <EvanR> | () has 2 connected components and U has only 1! |
| 2024-01-30 21:03:29 +0100 | <tomsmeding> | monochrom: surely almost everyone you give this example to must have asked you "why do you not just use ()" |
| 2024-01-30 21:03:38 +0100 | cereb | (~cereb@2a01:799:e26:7600:b1a6:730b:5538:b5cc) |
| 2024-01-30 21:03:43 +0100 | <tomsmeding> | which _in itself_ is an admission that they're isomorphic |
| 2024-01-30 21:03:55 +0100 | <tomsmeding> | ignoring topological properties of their typical rendering in computer typefaces |
| 2024-01-30 21:04:01 +0100 | tomsmeding | glances at EvanR |
| 2024-01-30 21:04:20 +0100 | <monochrom> | I don't have an answer for that. But I don't need to, in the context where I say what's wrong with that warning and why it is a bug. |
| 2024-01-30 21:04:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) (Remote host closed the connection) |
| 2024-01-30 21:04:42 +0100 | ski | idly ponders singletons, and GADTs in general |
| 2024-01-30 21:04:45 +0100 | SAJAT | (~sajat@87-97-88-242.pool.digikabel.hu) |
| 2024-01-30 21:04:46 +0100 | <tomsmeding> | have you actually been in this situation? |
| 2024-01-30 21:04:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-4b4a-508b-2d3b-124e-ef2f.rev.sfr.net) |
| 2024-01-30 21:05:09 +0100 | <EvanR> | all singletons are isomorphic |
| 2024-01-30 21:05:17 +0100 | <EvanR> | type level programming is a sham |
| 2024-01-30 21:05:20 +0100 | <beogrif> | oh yeah, singletons |
| 2024-01-30 21:05:50 +0100 | <monochrom> | I think I once had some experimental code that for some reason I preferred my own unit type and got bitten. |
| 2024-01-30 21:05:51 +0100 | <beogrif> | it's hard to go back from dependent typing to not, though I haven't been driven to using singletons yet |
| 2024-01-30 21:06:00 +0100 | <tomsmeding> | I would consider the constructor of a single-constructor-without-fields singleton to not be isomorphic to () for the purposes of this warning: there is information in it |
| 2024-01-30 21:06:04 +0100 | <monochrom> | I grant you that it happened only once. |
| 2024-01-30 21:06:18 +0100 | <tomsmeding> | monochrom: then you have the right to complain :) |
| 2024-01-30 21:06:41 +0100 | <tomsmeding> | beogrif: you can also do your dependent typing in haskell and have the worst of both worlds! |
| 2024-01-30 21:06:47 +0100 | <tomsmeding> | singletons galore |
| 2024-01-30 21:07:01 +0100 | <beogrif> | I'm holding out for DH if possible |
| 2024-01-30 21:08:05 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 21:08:09 +0100 | <EvanR> | 0 carries no information. 1 carries no information. mysteriously, a stream of 0s and 1s may carry information. find the cheat |
| 2024-01-30 21:08:42 +0100 | ski | points to the exformation |
| 2024-01-30 21:08:50 +0100 | <monochrom> | No no no, EvanR. 0 carries infinite information! That's the real surprise and bugger. :) |
| 2024-01-30 21:08:54 +0100 | <tomsmeding> | a stream of (0 or 1)s carries information |
| 2024-01-30 21:08:59 +0100 | <beogrif> | yeah bits are 1 + 1 |
| 2024-01-30 21:09:06 +0100 | <tomsmeding> | a stream of 0s and 1s does not :) |
| 2024-01-30 21:09:14 +0100 | <beogrif> | 1 + 0 would mean you can't construct zero bits at all or whatever |
| 2024-01-30 21:09:33 +0100 | <EvanR> | exformation? |
| 2024-01-30 21:09:43 +0100 | <monochrom> | hahaha this plays into "or" vs "and" |
| 2024-01-30 21:09:46 +0100 | <beogrif> | you have to think outside the box |
| 2024-01-30 21:10:08 +0100 | <ski> | the surrounding context that allows you to interpret data as information meaningfully |
| 2024-01-30 21:10:13 +0100 | <beogrif> | Exformation is related to https://en.wiktionary.org/wiki/extropy |
| 2024-01-30 21:10:25 +0100 | <monochrom> | Natural language's "stream of 0s and 1s" is a sloppy way to say "(the stream contains 0) and (the stream contains 1)" |
| 2024-01-30 21:10:32 +0100 | <beogrif> | oh it's actually a thing nvm |
| 2024-01-30 21:10:42 +0100 | <ski> | e.g. ribosomes, in relation to DNA and RNA |
| 2024-01-30 21:10:49 +0100 | <tomsmeding> | i.e. the cheat was that the language was deceptively ambiguous :) |
| 2024-01-30 21:11:10 +0100 | <EvanR> | information is more than the sum of its parts |
| 2024-01-30 21:11:26 +0100 | <EvanR> | sum type of its parts |
| 2024-01-30 21:11:29 +0100 | <ski> | or, a pre-arranged agreement that ringing six signals, then hanging up, means something in particular |
| 2024-01-30 21:11:33 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-4b4a-508b-2d3b-124e-ef2f.rev.sfr.net) (Remote host closed the connection) |
| 2024-01-30 21:11:58 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-30 21:12:09 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 260 seconds) |
| 2024-01-30 21:12:20 +0100 | <EvanR> | ah yeah, like, if you get a letter with 1000 zeros, or don't get anything by the deadline, that means something |
| 2024-01-30 21:12:56 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 21:13:03 +0100 | <ski> | information in `A + B' comes from not knowing, a priori, whether you've actually got an `A', or a `B' (and then the information contained in that alternative itself) |
| 2024-01-30 21:13:09 +0100 | <monochrom> | I don't see how transhumanism has to do with needing context/protocol to interpret bit streams. :) |
| 2024-01-30 21:14:47 +0100 | <ski> | (so, you could say it's the inclusions which add that bit of information) |
| 2024-01-30 21:15:36 +0100 | <beogrif> | yeah, particularly since in type theory you can't "distinguish the inhabitants" of two types without functions/inclusions, unlike might be presumed in a set theory |
| 2024-01-30 21:16:10 +0100 | <ski> | @where boolean-blindness |
| 2024-01-30 21:16:11 +0100 | <lambdabot> | http://existentialtype.wordpress.com/2011/03/15/boolean-blindness/ |
| 2024-01-30 21:16:14 +0100 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-30 21:17:24 +0100 | <beogrif> | heh |
| 2024-01-30 21:17:54 +0100 | <beogrif> | what about () blindness :o |
| 2024-01-30 21:18:40 +0100 | <EvanR> | two inhabitants, () and undefined xD |
| 2024-01-30 21:18:54 +0100 | <beogrif> | hilarious |
| 2024-01-30 21:18:54 +0100 | sudden | (~cat@user/sudden) |
| 2024-01-30 21:18:55 +0100 | <ski> | Sierpinski is a weird type |
| 2024-01-30 21:19:20 +0100 | <ski> | @where topology |
| 2024-01-30 21:19:20 +0100 | <lambdabot> | "topology in Haskell" <http://www.haskell.org/pipermail/haskell/2004-June/014134.html> and "Synthetic topology of data types and classical spaces" <http://www.cs.bham.ac.uk/~mhe/papers/entcs87.(pdf| |
| 2024-01-30 21:19:21 +0100 | <lambdabot> | dvi|ps)> by Mart�n Escard� |
| 2024-01-30 21:19:25 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 21:19:50 +0100 | <beogrif> | topology of logic stuff is still so weird but it's getting more intuitive |
| 2024-01-30 21:20:11 +0100 | <beogrif> | I guess learning more homotopy type theory helped |
| 2024-01-30 21:20:14 +0100 | ski | thinks lambdabot has started cutting up responses into shorter fragments, semi-recently .. |
| 2024-01-30 21:23:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-30 21:23:56 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 21:26:37 +0100 | <tomsmeding> | also some encoding went wrong there |
| 2024-01-30 21:26:44 +0100 | ystael | (~ystael@user/ystael) |
| 2024-01-30 21:27:16 +0100 | <tomsmeding> | (it came in as a unicode replacement character here) |
| 2024-01-30 21:27:19 +0100 | <beogrif> | same |
| 2024-01-30 21:27:39 +0100 | <geekosaur> | I got ó |
| 2024-01-30 21:27:47 +0100 | <tomsmeding> | it's probably latin-1 |
| 2024-01-30 21:27:47 +0100 | <geekosaur> | suspect it's ISO8859-1 |
| 2024-01-30 21:27:50 +0100 | <tomsmeding> | that |
| 2024-01-30 21:28:02 +0100 | tomsmeding | cannot remember that number |
| 2024-01-30 21:28:11 +0100 | <EvanR> | Martín Escardó |
| 2024-01-30 21:28:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-01-30 21:28:41 +0100 | <tomsmeding> | @where+ topology "topology in Haskell" <http://www.haskell.org/pipermail/haskell/2004-June/014134.html> and "Synthetic topology of data types and classical spaces" <http://www.cs.bham.ac.uk/~mhe/papers/entcs87.(pdf|dvi|ps)> by Martín Escardó |
| 2024-01-30 21:28:42 +0100 | <lambdabot> | Done. |
| 2024-01-30 21:28:46 +0100 | <tomsmeding> | @where topology |
| 2024-01-30 21:28:46 +0100 | <lambdabot> | "topology in Haskell" <http://www.haskell.org/pipermail/haskell/2004-June/014134.html> and "Synthetic topology of data types and classical spaces" <http://www.cs.bham.ac.uk/~mhe/papers/entcs87.(pdf| |
| 2024-01-30 21:28:46 +0100 | <lambdabot> | dvi|ps)> by Martín Escardó |
| 2024-01-30 21:28:48 +0100 | <tomsmeding> | there. |
| 2024-01-30 21:29:19 +0100 | ski | sees no difference, in Irssi |
| 2024-01-30 21:29:43 +0100 | <tomsmeding> | irssi and whatever geekosaur is using probably render non-utf8 bytes as iso-8859-1 |
| 2024-01-30 21:29:45 +0100 | <EvanR> | I imagine people still fixing stuff like that in 2124 |
| 2024-01-30 21:29:50 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-01-30 21:29:59 +0100 | <geekosaur> | hexchat uses iso8859-1 aas fallback by default |
| 2024-01-30 21:30:16 +0100 | <ski> | makes sense |
| 2024-01-30 21:30:19 +0100 | <Rembane> | My irssi gives a difference. It's prettier now. No odd question mark characters. |
| 2024-01-30 21:30:20 +0100 | <tomsmeding> | weechat just U+FFFDs it |
| 2024-01-30 21:30:20 +0100 | <EvanR> | I'm using hexchat... but I got question marks |
| 2024-01-30 21:30:25 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 21:30:42 +0100 | <tomsmeding> | ( https://tomsmeding.com/unicode#U+FFFD ) |
| 2024-01-30 21:30:43 +0100 | <geekosaur> | there's a settings checkbox for the fallback behavior iirc |
| 2024-01-30 21:30:52 +0100 | <monochrom> | I explicit told my hexchat to dishonour ISO-8859-1. |
| 2024-01-30 21:31:00 +0100 | <monochrom> | ISO-8859-1 die die die. |
| 2024-01-30 21:31:43 +0100 | mobivme | (~mobivme@130.105.134.228) |
| 2024-01-30 21:31:57 +0100 | <EvanR> | codepage 437 is superior |
| 2024-01-30 21:35:14 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 21:37:12 +0100 | danse-nr3 | (~danse@151.47.46.196) |
| 2024-01-30 21:38:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) |
| 2024-01-30 21:43:55 +0100 | tstat | (~user@user/tstat) |
| 2024-01-30 21:44:29 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-01-30 21:44:36 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-30 21:47:34 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 21:48:51 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-01-30 21:50:22 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-01-30 21:52:07 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 256 seconds) |
| 2024-01-30 21:56:52 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-30 21:58:23 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 22:03:01 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 22:03:04 +0100 | danse-nr3 | (~danse@151.47.46.196) (Ping timeout: 276 seconds) |
| 2024-01-30 22:03:55 +0100 | danse-nr3 | (~danse@151.47.30.71) |
| 2024-01-30 22:04:06 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 22:06:00 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-30 22:08:53 +0100 | qqq | (~qqq@92.43.167.61) (Ping timeout: 240 seconds) |
| 2024-01-30 22:09:09 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 22:11:51 +0100 | yeahitsme | (~bob@user/yeahitsme) (Quit: Leaving) |
| 2024-01-30 22:15:04 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-30 22:15:22 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 22:15:47 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-30 22:17:21 +0100 | destituion | (~destituio@2a02:2121:304:cc78:cd0b:f6d2:1dd2:3990) (Quit: Quit) |
| 2024-01-30 22:17:24 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-01-30 22:20:02 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 22:20:30 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2024-01-30 22:26:30 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 22:29:34 +0100 | cereb | (~cereb@2a01:799:e26:7600:b1a6:730b:5538:b5cc) (Ping timeout: 260 seconds) |
| 2024-01-30 22:31:02 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 22:37:13 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 22:38:46 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-30 22:41:28 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-30 22:42:27 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 22:45:28 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-30 22:45:44 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-30 22:48:54 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 22:49:01 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-01-30 22:50:09 +0100 | danse-nr3 | (~danse@151.47.30.71) (Ping timeout: 260 seconds) |
| 2024-01-30 22:50:17 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-30 22:50:56 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-01-30 22:51:38 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-01-30 22:51:56 +0100 | tstat | (~user@user/tstat) (Ping timeout: 252 seconds) |
| 2024-01-30 22:51:57 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-01-30 22:53:33 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 23:00:14 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 23:02:07 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-30 23:04:49 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 276 seconds) |
| 2024-01-30 23:05:21 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 23:10:12 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-01-30 23:10:33 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-01-30 23:15:27 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-30 23:20:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-30 23:22:05 +0100 | tomku | (~tomku@user/tomku) (Quit: Lost terminal) |
| 2024-01-30 23:36:02 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-30 23:39:09 +0100 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-30 23:39:56 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-30 23:42:14 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-30 23:43:02 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-30 23:44:43 +0100 | spider | (spider@tilde.cafe) |
| 2024-01-30 23:46:11 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 23:47:02 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-01-30 23:48:11 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-30 23:48:12 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 2024-01-30 23:48:12 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
| 2024-01-30 23:48:12 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2024-01-30 23:48:12 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Read error: Connection reset by peer) |
| 2024-01-30 23:48:44 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-30 23:48:45 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-30 23:48:45 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-30 23:48:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-30 23:48:53 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-30 23:50:46 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 260 seconds) |
| 2024-01-30 23:51:57 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-30 23:56:50 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 252 seconds) |
| 2024-01-30 23:56:58 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-30 23:57:58 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-30 23:59:47 +0100 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 210 seconds.) |