| 2024-05-03 00:02:46 +0000 | philopsos | (~caecilius@user/philopsos) (Quit: leaving) |
| 2024-05-03 00:05:15 +0000 | yin | (~yin@user/zero) |
| 2024-05-03 00:05:31 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-03 00:06:02 +0000 | philopsos | (~caecilius@user/philopsos) (Client Quit) |
| 2024-05-03 00:06:18 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-03 00:12:42 +0000 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-05-03 00:17:21 +0000 | zetef | (~quassel@5.14.202.140) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-03 00:23:32 +0000 | xff0x | (~xff0x@om126236141098.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2024-05-03 00:27:18 +0000 | nullobject | (~josh@user/nullobject) |
| 2024-05-03 00:30:39 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-05-03 00:37:47 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2024-05-03 00:39:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-03 00:53:23 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-05-03 00:54:42 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-05-03 00:55:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-03 00:57:23 +0000 | EvanR | (~EvanR@user/evanr) |
| 2024-05-03 01:04:09 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-03 01:08:46 +0000 | raoul | (~raoul@95.179.203.88) (Remote host closed the connection) |
| 2024-05-03 01:09:55 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2024-05-03 01:10:15 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-05-03 01:18:24 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-05-03 01:18:42 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2024-05-03 01:25:57 +0000 | otto_s | (~user@p5b04466a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-05-03 01:27:35 +0000 | otto_s | (~user@p4ff272c0.dip0.t-ipconnect.de) |
| 2024-05-03 02:00:39 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-05-03 02:01:11 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-05-03 02:01:55 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-03 02:02:20 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-05-03 02:02:53 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-05-03 02:05:32 +0000 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2024-05-03 02:21:35 +0000 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-05-03 02:25:20 +0000 | td_ | (~td@i5387093e.versanet.de) (Ping timeout: 245 seconds) |
| 2024-05-03 02:27:11 +0000 | td_ | (~td@i53870924.versanet.de) |
| 2024-05-03 02:32:33 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-03 02:50:52 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-05-03 02:50:53 +0000 | nitrix | (~nitrix@user/meow/nitrix) (K-Lined) |
| 2024-05-03 02:58:57 +0000 | agent314_ | (~quassel@104.193.135.218) |
| 2024-05-03 03:01:44 +0000 | agent314 | (~quassel@104.193.135.218) (Ping timeout: 260 seconds) |
| 2024-05-03 03:41:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-03 03:53:49 +0000 | nitrix | (~nitrix@user/meow/nitrix) |
| 2024-05-03 03:58:45 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf6:c700:715f:48c8:40b3:51d2) |
| 2024-05-03 04:00:04 +0000 | aforemny | (~aforemny@2001:9e8:6cd3:1d00:230b:c373:dfe7:68c3) (Ping timeout: 260 seconds) |
| 2024-05-03 04:01:47 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-03 04:02:00 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-05-03 04:38:42 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 04:50:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-03 04:53:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-03 04:57:15 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-03 04:57:17 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
| 2024-05-03 05:03:37 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-03 05:08:41 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-03 05:09:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-03 05:13:30 +0000 | zetef | (~quassel@5.14.202.140) |
| 2024-05-03 05:14:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-05-03 05:15:19 +0000 | euleritian | (~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) |
| 2024-05-03 05:20:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-03 05:22:15 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-03 05:30:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-03 05:37:37 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-03 05:37:50 +0000 | zetef | (~quassel@5.14.202.140) (Ping timeout: 245 seconds) |
| 2024-05-03 05:38:07 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-03 05:39:35 +0000 | acidjnk | (~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de) |
| 2024-05-03 05:46:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-03 05:47:48 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-03 05:50:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-03 05:56:07 +0000 | euleritian | (~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-03 05:56:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-03 05:59:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-03 06:05:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-03 06:13:56 +0000 | zetef | (~quassel@5.14.202.140) |
| 2024-05-03 06:18:02 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-03 06:19:07 +0000 | euleritian | (~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) |
| 2024-05-03 06:24:58 +0000 | euleritian | (~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-03 06:25:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-03 06:36:08 +0000 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
| 2024-05-03 06:39:14 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-03 06:39:20 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-05-03 06:39:36 +0000 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 255 seconds) |
| 2024-05-03 06:41:09 +0000 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-05-03 06:45:35 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-05-03 06:46:37 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-03 06:52:43 +0000 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-05-03 07:16:06 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 07:16:43 +0000 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-03 07:16:57 +0000 | zetef | (~quassel@5.14.202.140) (Ping timeout: 255 seconds) |
| 2024-05-03 07:18:00 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 07:19:18 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 07:21:41 +0000 | akegalj | (~akegalj@141-136-177-23.dsl.iskon.hr) |
| 2024-05-03 07:25:10 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-03 07:32:59 +0000 | destituion | (~destituio@85.221.111.174) |
| 2024-05-03 07:35:59 +0000 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2024-05-03 07:36:53 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 256 seconds) |
| 2024-05-03 07:55:28 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-03 07:55:42 +0000 | Ekho | (~Ekho@user/ekho) |
| 2024-05-03 07:56:55 +0000 | acidjnk | (~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-03 08:02:49 +0000 | waldo | (~waldo@user/waldo) |
| 2024-05-03 08:16:25 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2024-05-03 08:20:16 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-03 08:20:23 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-03 08:27:38 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-03 08:33:50 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-03 08:34:24 +0000 | danse-nr3 | (~danse-nr3@ge-19-97-226.service.infuturo.it) |
| 2024-05-03 08:35:08 +0000 | danse-nr3 | (~danse-nr3@ge-19-97-226.service.infuturo.it) (Remote host closed the connection) |
| 2024-05-03 08:35:32 +0000 | danse-nr3 | (~danse-nr3@ge-19-97-226.service.infuturo.it) |
| 2024-05-03 08:38:22 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-03 08:48:13 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 08:49:59 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 08:54:46 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 09:01:00 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 09:01:48 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 09:03:57 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 09:06:54 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-03 09:06:54 +0000 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 2024-05-03 09:07:56 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-03 09:08:10 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-03 09:11:30 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 09:13:07 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 09:14:45 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 09:16:04 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 09:19:36 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 09:21:47 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 09:27:12 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-05-03 09:31:15 +0000 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-03 09:31:50 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-05-03 09:38:09 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 09:38:29 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a37a:baa0:7723:b704) |
| 2024-05-03 09:40:47 +0000 | waldo | (~waldo@user/waldo) |
| 2024-05-03 09:45:00 +0000 | chele | (~chele@user/chele) |
| 2024-05-03 09:49:35 +0000 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-03 09:51:04 +0000 | yin | (~yin@user/zero) |
| 2024-05-03 09:51:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-03 09:51:55 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 09:55:15 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 09:56:42 +0000 | euleritian | (~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) |
| 2024-05-03 09:56:54 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 09:56:58 +0000 | gastus_ | (~gastus@185.6.123.233) |
| 2024-05-03 09:57:30 +0000 | <gastus_> | HLS: Is type of thing below cursor and goto definition eg of cabal installed packages implemented or did I missconfigure Neovim / vscode ? |
| 2024-05-03 09:58:48 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 10:01:18 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 10:01:58 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 10:04:51 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-05-03 10:05:24 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-03 10:06:24 +0000 | nullobject | (~josh@user/nullobject) (Ping timeout: 260 seconds) |
| 2024-05-03 10:08:08 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 10:08:14 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 10:08:40 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 10:08:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-05-03 10:09:04 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 10:10:05 +0000 | <haskellbridge> | <fendor> not implemented, but a PR exists https://github.com/haskell/haskell-language-server/pull/3749 |
| 2024-05-03 10:12:44 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-03 10:13:24 +0000 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-05-03 10:13:42 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 10:14:20 +0000 | <haskellbridge> | <fendor> but type of thing below cursor works fine, so perhaps misconfigured |
| 2024-05-03 10:14:58 +0000 | yin | (~yin@user/zero) |
| 2024-05-03 10:17:58 +0000 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-03 10:18:36 +0000 | teo | (~teo@user/teo) |
| 2024-05-03 10:19:01 +0000 | euleritian | (~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-03 10:19:13 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 10:20:14 +0000 | euleritian | (~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) |
| 2024-05-03 10:22:07 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-03 10:23:22 +0000 | acidjnk | (~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de) |
| 2024-05-03 10:24:55 +0000 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-05-03 10:25:28 +0000 | <danse-nr3> | /j #emacs |
| 2024-05-03 10:26:44 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-03 10:29:02 +0000 | yin | (~yin@user/zero) |
| 2024-05-03 10:29:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 10:30:10 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-05-03 10:31:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-03 10:34:50 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 10:35:55 +0000 | zetef | (~quassel@5.14.202.140) |
| 2024-05-03 10:36:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 10:37:00 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
| 2024-05-03 10:37:31 +0000 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-05-03 10:38:07 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 10:40:26 +0000 | Square3 | (~Square4@user/square) |
| 2024-05-03 10:40:37 +0000 | zetef_ | (~quassel@5.14.202.140) |
| 2024-05-03 10:41:25 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 10:42:00 +0000 | zetef | (~quassel@5.14.202.140) (Ping timeout: 245 seconds) |
| 2024-05-03 10:44:11 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-05-03 10:44:43 +0000 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-03 10:44:53 +0000 | zetef_ | (~quassel@5.14.202.140) (Remote host closed the connection) |
| 2024-05-03 10:45:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 10:46:35 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 10:49:04 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-03 10:49:22 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 10:50:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 10:50:43 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-03 10:51:17 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 10:52:53 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-03 10:53:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-05-03 10:53:20 +0000 | mwnaylor | (~user@2601:5cf:837e:2bb0::c22d) |
| 2024-05-03 10:55:18 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 10:55:48 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-03 10:57:13 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 10:59:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:01:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:01:47 +0000 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-05-03 11:03:48 +0000 | danse-nr3 | (~danse-nr3@ge-19-97-226.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-05-03 11:04:38 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:06:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:07:00 +0000 | <jackdk> | great idea |
| 2024-05-03 11:10:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:11:30 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:12:16 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-05-03 11:14:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:16:29 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:20:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:21:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:25:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:26:03 +0000 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-05-03 11:26:18 +0000 | yin | (~yin@user/zero) |
| 2024-05-03 11:26:37 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:29:50 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:31:40 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:34:30 +0000 | k`` | (~k``@136.54.34.25) |
| 2024-05-03 11:35:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:36:29 +0000 | destituion | (~destituio@85.221.111.174) (Read error: Connection reset by peer) |
| 2024-05-03 11:36:33 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:36:36 +0000 | destituion | (~destituio@85.221.111.174) |
| 2024-05-03 11:40:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:41:29 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:45:14 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:45:17 +0000 | zetef | (~quassel@5.14.202.140) |
| 2024-05-03 11:45:45 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2024-05-03 11:46:28 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:48:15 +0000 | danse-nr3 | (~danse-nr3@151.43.124.243) |
| 2024-05-03 11:49:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:50:20 +0000 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-03 11:50:54 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-03 11:51:36 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:51:46 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-03 11:52:48 +0000 | danse-nr3 | (~danse-nr3@151.43.124.243) (Ping timeout: 255 seconds) |
| 2024-05-03 11:53:56 +0000 | danse-nr3 | (~danse-nr3@151.43.124.243) |
| 2024-05-03 11:55:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 11:56:45 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 11:58:31 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-03 12:00:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:01:27 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:04:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:05:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-03 12:06:25 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:06:29 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-05-03 12:08:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-03 12:09:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:11:15 +0000 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 255 seconds) |
| 2024-05-03 12:11:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-03 12:11:37 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:14:43 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-03 12:15:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:15:13 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-03 12:16:23 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:20:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:21:33 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:23:02 +0000 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2024-05-03 12:23:34 +0000 | danse-nr3 | (~danse-nr3@151.43.124.243) (Remote host closed the connection) |
| 2024-05-03 12:23:58 +0000 | danse-nr3 | (~danse-nr3@151.43.124.243) |
| 2024-05-03 12:23:59 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 264 seconds) |
| 2024-05-03 12:24:54 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:27:03 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:27:53 +0000 | kritzefitz_ | kritzefitz |
| 2024-05-03 12:30:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:31:26 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:31:28 +0000 | zetef | (~quassel@5.14.202.140) (Ping timeout: 256 seconds) |
| 2024-05-03 12:34:42 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:36:28 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:39:50 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:41:10 +0000 | akegalj | (~akegalj@141-136-177-23.dsl.iskon.hr) (Quit: leaving) |
| 2024-05-03 12:41:30 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:42:00 +0000 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-03 12:44:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:46:45 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:50:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:51:37 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:54:26 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-03 12:55:14 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 12:55:32 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 2024-05-03 12:55:48 +0000 | zetef | (~quassel@5.14.202.140) |
| 2024-05-03 12:56:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 12:57:11 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-03 12:57:14 +0000 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-05-03 12:57:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 12:58:04 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 2024-05-03 12:58:14 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 12:59:00 +0000 | yin | (~yin@user/zero) |
| 2024-05-03 12:59:39 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-03 13:00:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:00:29 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 2024-05-03 13:01:38 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-03 13:01:41 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:02:29 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 2024-05-03 13:03:41 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-03 13:04:36 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 2024-05-03 13:05:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:05:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-03 13:05:37 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-03 13:06:23 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:06:38 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 2024-05-03 13:07:37 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-03 13:07:40 +0000 | yin | onion |
| 2024-05-03 13:08:21 +0000 | <onion> | why can we write `x :: Bool = True` but not `f :: a -> a = id` ? |
| 2024-05-03 13:09:00 +0000 | <danse-nr3> | > f :: a -> a = id |
| 2024-05-03 13:09:02 +0000 | <lambdabot> | <hint>:1:13: error: parse error on input ‘=’ |
| 2024-05-03 13:09:27 +0000 | <danse-nr3> | > x :: Bool = True |
| 2024-05-03 13:09:28 +0000 | <lambdabot> | <hint>:1:11: error: parse error on input ‘=’ |
| 2024-05-03 13:09:41 +0000 | <danse-nr3> | in a let i guess |
| 2024-05-03 13:09:58 +0000 | <danse-nr3> | > let x :: Bool = True in x |
| 2024-05-03 13:09:59 +0000 | <lambdabot> | True |
| 2024-05-03 13:10:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:10:18 +0000 | <danse-nr3> | > let f :: a -> a = id in f True |
| 2024-05-03 13:10:19 +0000 | <lambdabot> | error: |
| 2024-05-03 13:10:19 +0000 | <lambdabot> | • You cannot bind scoped type variable ‘a’ |
| 2024-05-03 13:10:19 +0000 | <lambdabot> | in a pattern binding signature |
| 2024-05-03 13:11:17 +0000 | <onion> | ah |
| 2024-05-03 13:11:27 +0000 | <onion> | > g :: Bool -> () = const () |
| 2024-05-03 13:11:29 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:11:29 +0000 | <lambdabot> | <hint>:1:17: error: parse error on input ‘=’ |
| 2024-05-03 13:11:50 +0000 | <onion> | wait, i can do this in ghci |
| 2024-05-03 13:13:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-03 13:13:40 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2024-05-03 13:14:50 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:15:51 +0000 | <onion> | :t id |
| 2024-05-03 13:15:52 +0000 | <lambdabot> | a -> a |
| 2024-05-03 13:16:07 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-05-03 13:16:11 +0000 | <onion> | f :: forall a. a -> a = id |
| 2024-05-03 13:16:17 +0000 | <onion> | > f :: forall a. a -> a = id |
| 2024-05-03 13:16:18 +0000 | <lambdabot> | <hint>:1:23: error: parse error on input ‘=’ |
| 2024-05-03 13:16:22 +0000 | <onion> | hm... |
| 2024-05-03 13:17:00 +0000 | <onion> | > let g :: Bool -> () = const () in g True |
| 2024-05-03 13:17:01 +0000 | <lambdabot> | () |
| 2024-05-03 13:17:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:17:19 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2024-05-03 13:17:44 +0000 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
| 2024-05-03 13:19:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:20:27 +0000 | <onion> | > let q :: forall a. a -> a = id in q 7 |
| 2024-05-03 13:20:29 +0000 | <lambdabot> | error: |
| 2024-05-03 13:20:29 +0000 | <lambdabot> | • Couldn't match expected type ‘forall a1. a1 -> a1’ |
| 2024-05-03 13:20:29 +0000 | <lambdabot> | with actual type ‘a0 -> a0’ |
| 2024-05-03 13:21:11 +0000 | <danse-nr3> | i don't think the forall helps, but i am not sure why just `a` would not work |
| 2024-05-03 13:21:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:23:10 +0000 | zetef | (~quassel@5.14.202.140) (Remote host closed the connection) |
| 2024-05-03 13:23:46 +0000 | <ncf> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/scoped_type_variables.html#pattern-type-sigs |
| 2024-05-03 13:23:55 +0000 | poscat | (~poscat@user/poscat) |
| 2024-05-03 13:23:57 +0000 | <ncf> | this explains why a -> a doesn't work, but not why forall a. a -> a doesn't |
| 2024-05-03 13:24:10 +0000 | <onion> | thanks ncf |
| 2024-05-03 13:25:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:26:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:27:50 +0000 | <onion> | i just found out i can write this: |
| 2024-05-03 13:29:01 +0000 | <onion> | > let f (a :: Int) (b :: Bool) (c :: a) = (a,b,c) :: (Int,Bool,a) in f 7 False "ok" |
| 2024-05-03 13:29:03 +0000 | <lambdabot> | (7,False,"ok") |
| 2024-05-03 13:30:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:31:21 +0000 | tv | (~tv@user/tv) (Ping timeout: 255 seconds) |
| 2024-05-03 13:31:47 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:33:15 +0000 | onion | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-05-03 13:34:54 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:35:37 +0000 | onion | (~yin@user/zero) |
| 2024-05-03 13:35:43 +0000 | <onion> | > let id' (f :: a -> a) (x :: a) = f a :: a in id' id 7 |
| 2024-05-03 13:35:45 +0000 | <lambdabot> | a |
| 2024-05-03 13:36:15 +0000 | <onion> | oops |
| 2024-05-03 13:36:26 +0000 | <onion> | > let id' (f :: a -> a) (x :: a) = f x :: a in id' id 7 |
| 2024-05-03 13:36:27 +0000 | <lambdabot> | 7 |
| 2024-05-03 13:36:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:36:45 +0000 | <onion> | > let id' (f :: a -> a) (x :: Int) = f x :: a in id' succ 7 |
| 2024-05-03 13:36:46 +0000 | <lambdabot> | 8 |
| 2024-05-03 13:36:52 +0000 | <onion> | hmm.. |
| 2024-05-03 13:40:30 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:41:31 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:42:19 +0000 | <onion> | > let id' (f :: forall a. a -> a) (x :: Int) = f x :: a in id' succ 7 |
| 2024-05-03 13:42:20 +0000 | <lambdabot> | error: |
| 2024-05-03 13:42:20 +0000 | <lambdabot> | • Couldn't match expected type ‘a2’ with actual type ‘Int’ |
| 2024-05-03 13:42:21 +0000 | <lambdabot> | ‘a2’ is a rigid type variable bound by |
| 2024-05-03 13:44:34 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2024-05-03 13:44:45 +0000 | mwnaylor | (~user@2601:5cf:837e:2bb0::c22d) (Remote host closed the connection) |
| 2024-05-03 13:45:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:46:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:50:18 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:51:44 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:51:48 +0000 | <EvanR> | you can use lambdabot in a private message |
| 2024-05-03 13:53:32 +0000 | <onion> | yes sorry for the noise |
| 2024-05-03 13:55:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 13:56:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 13:59:38 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:00:29 +0000 | onion | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-03 14:01:26 +0000 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-03 14:01:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:02:36 +0000 | onion | (~yin@user/zero) |
| 2024-05-03 14:04:50 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-03 14:05:14 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:06:39 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:10:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:11:12 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-03 14:11:26 +0000 | danse-nr3 | (~danse-nr3@151.43.124.243) (Ping timeout: 255 seconds) |
| 2024-05-03 14:11:35 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:15:19 +0000 | <kuribas> | You say succ would work with any type, but it doesn't. |
| 2024-05-03 14:15:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:16:19 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-03 14:16:21 +0000 | <kuribas> | First argument of "id'" should be a function that works on any type. |
| 2024-05-03 14:16:25 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:16:38 +0000 | gaff | (~gaff@49.207.227.255) |
| 2024-05-03 14:16:54 +0000 | <kuribas> | That's what (f :: forall a. a -> a) means |
| 2024-05-03 14:17:05 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-05-03 14:17:20 +0000 | <kuribas> | "forall a. " means "for any type a" |
| 2024-05-03 14:17:43 +0000 | onion | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-05-03 14:19:14 +0000 | <gaff> | Is there any difference between writing code in the applicative vs monadic style? For example, `some p = do { x <- p; xs <- many p; return (x:xs) }` VS `some p = (:) <$> p <*> many p`? |
| 2024-05-03 14:19:23 +0000 | onion | (~yin@user/zero) |
| 2024-05-03 14:20:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:21:35 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:21:37 +0000 | agent314 | (~quassel@185.102.218.105.adsl.inet-telecom.org) |
| 2024-05-03 14:21:43 +0000 | agent314_ | (~quassel@104.193.135.218) (Ping timeout: 268 seconds) |
| 2024-05-03 14:21:50 +0000 | <EvanR> | not if you enable ApplicativeDo |
| 2024-05-03 14:22:15 +0000 | <EvanR> | otherwise, one expands to Monad the other Applicative class |
| 2024-05-03 14:22:58 +0000 | <gaff> | EvanR: I am not sure what you mena there, Both expressions have the same type. |
| 2024-05-03 14:23:08 +0000 | tv | (~tv@user/tv) |
| 2024-05-03 14:23:25 +0000 | <EvanR> | :t return |
| 2024-05-03 14:23:25 +0000 | <lambdabot> | Monad m => a -> m a |
| 2024-05-03 14:23:42 +0000 | <kuribas> | gaff: Some type doesn't mean the same expression. |
| 2024-05-03 14:23:50 +0000 | <kuribas> | :t 3 |
| 2024-05-03 14:23:51 +0000 | <lambdabot> | Num p => p |
| 2024-05-03 14:23:52 +0000 | <kuribas> | :t 4 |
| 2024-05-03 14:23:53 +0000 | <lambdabot> | Num p => p |
| 2024-05-03 14:23:53 +0000 | <EvanR> | they don't have the same type by default |
| 2024-05-03 14:24:23 +0000 | <gaff> | well, `some` in that example has the same type in both styles. |
| 2024-05-03 14:24:25 +0000 | <EvanR> | oh you're right. But yeah |
| 2024-05-03 14:24:30 +0000 | <kuribas> | gaff: For a lawful instance the should be the same, but it isn't garanteed. |
| 2024-05-03 14:24:31 +0000 | <EvanR> | different implementations |
| 2024-05-03 14:24:50 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:25:12 +0000 | <kuribas> | gaff: the do desugars to: p >>= \x -> many p >>= \xs -> return (x:xs) |
| 2024-05-03 14:26:10 +0000 | <gaff> | wha I found was that the binding in the `do` block forces an evaluation while in the applicative style it may/does not. I am not sure I am right, though. |
| 2024-05-03 14:26:30 +0000 | <gaff> | kuribas: I know |
| 2024-05-03 14:27:02 +0000 | <kuribas> | gaff: not necessarily. It could be a lazy monad. |
| 2024-05-03 14:27:05 +0000 | <EvanR> | if the general question is, is there any difference between do notation and applicative style, yes they end up going through two different type classes |
| 2024-05-03 14:27:21 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:27:33 +0000 | <EvanR> | your code might be an example where they end up doing the same thing, but definitely different in general |
| 2024-05-03 14:27:49 +0000 | <gaff> | EvanR: I mean from the standpoint of evaluation/laziness. |
| 2024-05-03 14:29:45 +0000 | <kuribas> | gaff: note that 'x' could be lazy, but it most be "produced" by effect "p", before the lambda can be evaulated, which is not true in the applicated. |
| 2024-05-03 14:29:47 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-03 14:30:09 +0000 | <gaff> | kuribas: exactly |
| 2024-05-03 14:30:26 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:31:03 +0000 | <gaff> | so when `p` fails, for example, the monadic style can short circuit computation where as the applicative style may not. |
| 2024-05-03 14:31:33 +0000 | onion | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-05-03 14:31:38 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:32:27 +0000 | <kuribas> | gaff: it could, it is not "required" to work in "parallel". |
| 2024-05-03 14:33:04 +0000 | <gaff> | kuribas: I am not sure wht you are saying there. parallel where? |
| 2024-05-03 14:33:06 +0000 | onion | (~yin@user/zero) |
| 2024-05-03 14:33:51 +0000 | <kuribas> | run "p" and "many p" in parallel. |
| 2024-05-03 14:34:18 +0000 | <gaff> | if `p` fails, the do block will short circuit. |
| 2024-05-03 14:34:34 +0000 | <gaff> | it is a sequential computation. |
| 2024-05-03 14:35:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:35:38 +0000 | <kuribas> | yes |
| 2024-05-03 14:35:42 +0000 | k`` | (~k``@136.54.34.25) (Ping timeout: 250 seconds) |
| 2024-05-03 14:36:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:38:06 +0000 | <gaff> | Hey, thanks a bunch. I didn't fully resolve this here. May be i will come back later and pose the same question again. |
| 2024-05-03 14:38:27 +0000 | gaff | (~gaff@49.207.227.255) () |
| 2024-05-03 14:39:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-03 14:40:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:40:21 +0000 | danse-nr3 | (~danse-nr3@151.43.124.243) |
| 2024-05-03 14:41:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:44:50 +0000 | Square | (~Square@user/square) |
| 2024-05-03 14:45:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:46:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:50:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:51:33 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:52:12 +0000 | <onion> | kuribas: i know what forall means, but it should be implicit. i was testing lambdabot to try and understand which extensions were being used |
| 2024-05-03 14:53:15 +0000 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-05-03 14:53:40 +0000 | <kuribas> | onion: what do you mean "it should be implicit"? |
| 2024-05-03 14:54:01 +0000 | <kuribas> | RankN types are undecidable. |
| 2024-05-03 14:55:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 14:56:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 14:58:43 +0000 | onion | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-05-03 15:00:18 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:01:37 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:03:02 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-05-03 15:04:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:05:09 +0000 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) |
| 2024-05-03 15:06:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:07:17 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-05-03 15:09:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-03 15:10:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:10:46 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-03 15:11:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:13:58 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-05-03 15:14:19 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-05-03 15:14:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:15:53 +0000 | destituion | (~destituio@85.221.111.174) (Ping timeout: 272 seconds) |
| 2024-05-03 15:16:23 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:20:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:21:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:22:44 +0000 | thailigur | (~thailigur@151.240.170.117) |
| 2024-05-03 15:25:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:26:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:29:42 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:31:37 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
| 2024-05-03 15:31:57 +0000 | destituion | (~destituio@77.16.38.63.tmi.telenormobil.no) |
| 2024-05-03 15:32:46 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:35:04 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2024-05-03 15:35:18 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:35:21 +0000 | poscat | (~poscat@user/poscat) |
| 2024-05-03 15:37:56 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:40:26 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:41:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:44:38 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:46:31 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:47:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-03 15:50:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:50:59 +0000 | thailigur | (~thailigur@151.240.170.117) (Quit: Client closed) |
| 2024-05-03 15:51:24 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:51:44 +0000 | danse-nr3 | (~danse-nr3@151.43.124.243) (Ping timeout: 260 seconds) |
| 2024-05-03 15:52:35 +0000 | danse-nr3 | (~danse-nr3@151.37.254.183) |
| 2024-05-03 15:54:54 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:56:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:57:53 +0000 | erty | (~user@user/aeroplane) |
| 2024-05-03 15:58:31 +0000 | danse-nr3 | (~danse-nr3@151.37.254.183) (Ping timeout: 255 seconds) |
| 2024-05-03 16:00:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:00:18 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-05-03 16:00:41 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-03 16:01:19 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:03:33 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-05-03 16:05:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:06:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:09:50 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:11:38 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:14:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:15:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-05-03 16:15:33 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:16:21 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-03 16:16:35 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:17:21 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-05-03 16:20:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:21:25 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:25:14 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:26:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:26:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2024-05-03 16:29:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:31:21 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:35:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:36:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:39:42 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:39:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-03 16:41:29 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:43:32 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 16:44:01 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 16:44:50 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:45:05 +0000 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
| 2024-05-03 16:46:19 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:47:55 +0000 | cstml | (~cstml@user/cstml) |
| 2024-05-03 16:49:10 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-03 16:49:45 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 16:49:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:50:25 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 16:51:32 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 16:51:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:51:55 +0000 | steew | (~steew@user/steew) |
| 2024-05-03 16:52:40 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-05-03 16:53:48 +0000 | destituion | (~destituio@77.16.38.63.tmi.telenormobil.no) (Read error: Connection reset by peer) |
| 2024-05-03 16:54:05 +0000 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-05-03 16:55:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:55:59 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 16:56:00 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-05-03 16:56:27 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 16:56:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:00:12 +0000 | euleritian | (~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-05-03 17:00:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:00:21 +0000 | euleritian | (~euleritia@dynamic-176-006-003-012.176.6.pool.telefonica.de) |
| 2024-05-03 17:01:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:02:09 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-05-03 17:02:13 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:02:30 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:02:34 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-05-03 17:03:33 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-03 17:04:16 +0000 | cstml | (~cstml@user/cstml) (Ping timeout: 246 seconds) |
| 2024-05-03 17:04:48 +0000 | euleritian | (~euleritia@dynamic-176-006-003-012.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-05-03 17:04:54 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:05:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-03 17:06:20 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:06:53 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 240 seconds) |
| 2024-05-03 17:07:37 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-05-03 17:08:51 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2024-05-03 17:09:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:10:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:10:15 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-03 17:10:43 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:11:02 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:11:42 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:11:43 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:14:42 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:15:59 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-03 17:16:21 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds) |
| 2024-05-03 17:16:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:17:15 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:17:21 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-03 17:17:39 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:18:36 +0000 | euleritian | (~euleritia@dynamic-176-006-018-180.176.6.pool.telefonica.de) |
| 2024-05-03 17:20:18 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:21:21 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:23:29 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:23:29 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:24:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:25:20 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-05-03 17:26:18 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:27:55 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-03 17:28:55 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:29:29 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:29:58 +0000 | califax | (~califax@user/califx) |
| 2024-05-03 17:30:34 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:31:26 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:31:55 +0000 | euleritian | (~euleritia@dynamic-176-006-018-180.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-05-03 17:34:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-03 17:34:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:35:08 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:35:28 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:36:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:37:36 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-03 17:39:10 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-05-03 17:39:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:41:22 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:41:33 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:41:57 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:44:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:46:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:47:37 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:47:59 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:50:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:50:42 +0000 | Square | (~Square@user/square) |
| 2024-05-03 17:51:35 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:53:08 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:53:56 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:54:33 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:55:18 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 17:55:18 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:55:47 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-03 17:56:28 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 17:56:28 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-03 17:57:21 +0000 | <raehik> | How can I check the transitive dependencies of a Hackage (or local Cabal) package? I'm building an aeson that I don't expect and don't know if it's my Nix setup or an actual dep. |
| 2024-05-03 17:58:05 +0000 | <raehik> | Oh wait, self-answer. cabal freeze appears to do it! |
| 2024-05-03 17:58:19 +0000 | <tomsmeding> | raehik: you can also check the contents of dist-newstyle/cache/plan.json |
| 2024-05-03 17:58:39 +0000 | <raehik> | ooh I've never looked in there. cheers tomsmeding |
| 2024-05-03 17:58:48 +0000 | <tomsmeding> | the cabal-plan tool has utilities for reading that file, but it's also hand-readable if you run it through a json formatter |
| 2024-05-03 17:59:12 +0000 | <tomsmeding> | ('cabal-plan dot' gives you a graphviz dot graph of your dep graph) |
| 2024-05-03 17:59:27 +0000 | <tomsmeding> | (warning: that graph is large) |
| 2024-05-03 17:59:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-03 17:59:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:00:15 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-03 18:00:40 +0000 | <glguy> | "cabal-plan tred" can be pretty handy |
| 2024-05-03 18:01:23 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:02:47 +0000 | <raehik> | super! cabal-plan tred has extremely concise understandable output |
| 2024-05-03 18:05:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:05:33 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-05-03 18:06:09 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-03 18:06:16 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-05-03 18:06:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:07:25 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-03 18:08:44 +0000 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2024-05-03 18:09:01 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2024-05-03 18:09:46 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:11:23 +0000 | <monochrom> | I need to write my own json formatter. :) |
| 2024-05-03 18:11:44 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:11:50 +0000 | <monochrom> | Actually that's just egotism. I should just use an existing one. |
| 2024-05-03 18:13:05 +0000 | <monochrom> | (I need a json formatter for all sorts of json-using things, not just cabal's plan file.) |
| 2024-05-03 18:13:49 +0000 | <EvanR> | the more inconsequential the change to the syntax the more egotism. New programming language < new syntax < new syntax for comments < new whitespace formatting |
| 2024-05-03 18:15:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:16:32 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:17:34 +0000 | euleritian | (~euleritia@87.79.39.180) |
| 2024-05-03 18:19:48 +0000 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
| 2024-05-03 18:20:05 +0000 | euleritian | (~euleritia@87.79.39.180) |
| 2024-05-03 18:20:30 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:20:42 +0000 | <tomsmeding> | monochrom: why not? |
| 2024-05-03 18:21:21 +0000 | tomsmeding | just :%!jq .<cr> in vim but that's 1% effort 80% reward |
| 2024-05-03 18:21:34 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:21:34 +0000 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
| 2024-05-03 18:21:41 +0000 | euleritian | (~euleritia@87.79.39.180) |
| 2024-05-03 18:22:03 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-05-03 18:23:03 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-03 18:23:03 +0000 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
| 2024-05-03 18:23:10 +0000 | euleritian | (~euleritia@87.79.39.180) |
| 2024-05-03 18:25:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:27:52 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:30:18 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:31:30 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:34:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:37:59 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:40:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:40:32 +0000 | JimL | (~quassel@89.162.16.26) (Quit: No Ping reply in 180 seconds.) |
| 2024-05-03 18:42:05 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:44:14 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-05-03 18:44:18 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:46:33 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:47:40 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-03 18:49:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:49:54 +0000 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
| 2024-05-03 18:51:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 18:53:35 +0000 | euleritian | (~euleritia@dynamic-176-006-006-109.176.6.pool.telefonica.de) |
| 2024-05-03 18:53:55 +0000 | euleritian | (~euleritia@dynamic-176-006-006-109.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-03 18:54:13 +0000 | euleritian | (~euleritia@87.79.39.180) |
| 2024-05-03 18:54:31 +0000 | pavonia | (~user@user/siracusa) |
| 2024-05-03 18:54:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 18:56:28 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:00:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:00:59 +0000 | euleritian | (~euleritia@87.79.39.180) (Ping timeout: 260 seconds) |
| 2024-05-03 19:01:25 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:05:18 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:05:44 +0000 | <erty> | Has anybody tried running AI code on GPU using Haskell libraries (eg. Accelerate) |
| 2024-05-03 19:05:48 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-03 19:05:51 +0000 | <erty> | Some time ago I tried to run AI, but can't because of outdated dependencies. I tried to follow the instructions [[here][https://github.com/AccelerateHS/accelerate-llvm]], but was constantly bombarded with erros related to some dependency depending on some outdated dependencies. |
| 2024-05-03 19:06:20 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:06:48 +0000 | <erty> | Can somebody link me to some updated haskell project that use AI |
| 2024-05-03 19:09:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:11:05 +0000 | <tomsmeding> | erty: try putting this in cabal.project https://paste.tomsmeding.com/lzv5ZgHN |
| 2024-05-03 19:11:16 +0000 | <tomsmeding> | that gives you LLVM 15 support in accelerate |
| 2024-05-03 19:11:27 +0000 | <tomsmeding> | newer LLVM versions are unfortunately not supported yet |
| 2024-05-03 19:12:43 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:13:19 +0000 | <erty> | ok i'll try |
| 2024-05-03 19:13:45 +0000 | <raehik> | I'm doing some Show-like printing (need context-sensitive brackets) and I'm sad to find no Text replacements for ShowS. Would a Text builder be more performant than the current ShowS one? |
| 2024-05-03 19:14:07 +0000 | euleritian | (~euleritia@87.79.39.180) |
| 2024-05-03 19:14:20 +0000 | <raehik> | e.g. class TShow a where tshowsPrec :: Int -> a -> TextBuilder |
| 2024-05-03 19:14:27 +0000 | tomsmeding | has seen https://hackage.haskell.org/package/text-builder-linear and found it interesting, but not used yet |
| 2024-05-03 19:15:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:17:52 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:19:09 +0000 | mechap | (~mechap@user/mechap) |
| 2024-05-03 19:20:10 +0000 | <raehik> | oh excellent good find tomsmeding |
| 2024-05-03 19:20:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:22:17 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:24:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:25:06 +0000 | <raehik> | ahh https://hackage.haskell.org/package/text-show is what I was hoping for! but the linear types builder seems much more performant |
| 2024-05-03 19:25:44 +0000 | <geekosaur> | yes, I'd expect that |
| 2024-05-03 19:25:57 +0000 | <Hecate> | raehik: text-display will use the text-builder-linear in the future |
| 2024-05-03 19:26:07 +0000 | <Hecate> | https://flora.pm/packages/@hackage/text-display |
| 2024-05-03 19:26:20 +0000 | <geekosaur> | ShowS is an optimization for small particles (individual Chars in a list), Builder is an optimization for building large chunks (Text) |
| 2024-05-03 19:26:28 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:28:05 +0000 | mechap | (~mechap@user/mechap) (WeeChat 4.2.2) |
| 2024-05-03 19:28:38 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-03 19:29:35 +0000 | <raehik> | geekosaur: I see, ty. it feels bad to use Show when it has to be placed inside a larger string, even if the ShowS bit is small, so I was looking for an excuse to go Text-only |
| 2024-05-03 19:30:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:31:23 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:31:49 +0000 | <raehik> | Hecate: ty ty! is text-display otherwise similar design to text-show (same builder, similar instances)? |
| 2024-05-03 19:34:42 +0000 | <raehik> | (that reminds me I still need to shift mt19937 over to the haskell-cryptography org!) |
| 2024-05-03 19:35:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:36:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:37:13 +0000 | <Hecate> | raehik: hmm for base types probaby yes. It gives you more end user-oriented facilities to produce instances however |
| 2024-05-03 19:37:49 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-03 19:39:50 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:39:54 +0000 | <raehik> | fab. time to spam text-builder-linear every chance I get |
| 2024-05-03 19:41:20 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:41:56 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 19:43:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-03 19:43:58 +0000 | kilolympus | (~kilolympu@31.205.200.246) (Read error: Connection reset by peer) |
| 2024-05-03 19:44:53 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-05-03 19:44:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:45:06 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 19:45:57 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-05-03 19:46:36 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 19:47:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:48:33 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-05-03 19:50:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:50:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-03 19:51:17 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-05-03 19:51:20 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-03 19:51:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:54:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 19:57:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 19:58:36 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-03 20:00:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:02:12 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:04:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:06:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:09:42 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:11:26 +0000 | <raehik> | I want to inspect a TypeRep for pretty printing (without going thru String). But the definition in Data.Typeable.Internal isn't exported. What do I do? Show TypeRep uses it. |
| 2024-05-03 20:11:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:12:11 +0000 | causal | (~eric@50.35.88.207) |
| 2024-05-03 20:14:50 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:16:52 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-03 20:17:44 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:19:34 +0000 | <tomsmeding> | raehik: https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Typeable.html#v:splitTyConApp gets you very far |
| 2024-05-03 20:19:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:21:24 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:21:27 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 20:21:52 +0000 | <raehik> | thanks tomsmeding , that consumes one of the constructors I was curious about |
| 2024-05-03 20:22:55 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-03 20:25:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:25:24 +0000 | <tomsmeding> | raehik: if I look here https://hackage.haskell.org/package/base-4.19.0.0/docs/Type-Reflection.html#g:4 I see a bunch of pattern synonyms |
| 2024-05-03 20:26:01 +0000 | <tomsmeding> | still doesn't seem like the whole set yet |
| 2024-05-03 20:26:10 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-03 20:26:38 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:28:24 +0000 | <raehik> | maybe I can do this with generics instead and avoid all this |
| 2024-05-03 20:28:56 +0000 | <tomsmeding> | typeable always feels like an "I give up" solution to me |
| 2024-05-03 20:29:29 +0000 | <raehik> | hahaha I've always avoided it in my own code, had a similar feeling |
| 2024-05-03 20:29:30 +0000 | <tomsmeding> | good luck with generics though, it's possible to get through it but if you haven't touched GHC.Generics before, it can be a bit daunting |
| 2024-05-03 20:30:06 +0000 | <raehik> | I've love my generics :)) been spamming /r/haskell with them lately |
| 2024-05-03 20:30:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:30:17 +0000 | <tomsmeding> | in that case, go right out :) |
| 2024-05-03 20:33:45 +0000 | <monochrom> | But generics examines terms not types... |
| 2024-05-03 20:34:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:34:28 +0000 | <tomsmeding> | monochrom: examining a TypeRep gives you a value-level witness for a type |
| 2024-05-03 20:34:41 +0000 | <monochrom> | Although, I have been thinking of how to write a unification algorithm that works for everyone's algebraic data types, and currently I am thinking of generics. |
| 2024-05-03 20:34:43 +0000 | <tomsmeding> | you can do the same with generics if you specify the subset of types that you want to support |
| 2024-05-03 20:34:57 +0000 | <monochrom> | Oh, that. :( |
| 2024-05-03 20:35:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:35:27 +0000 | <tomsmeding> | though I feel that you don't need generics for this |
| 2024-05-03 20:35:37 +0000 | <tomsmeding> | a simple type class with instances for the shapes you want to support should be enough |
| 2024-05-03 20:35:42 +0000 | <tomsmeding> | raehik: ^ |
| 2024-05-03 20:36:01 +0000 | <EvanR> | you mean, don't go through Typeable at all |
| 2024-05-03 20:36:35 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:36:38 +0000 | <raehik> | hmm not too sure I can go via Generic any more. don't know how to inspect type args e.g. l and r in `data And l r` |
| 2024-05-03 20:36:40 +0000 | <tomsmeding> | EvanR: I mean, they were running against TypeRep not being inspectable so they were looking into alternatives |
| 2024-05-03 20:37:07 +0000 | <EvanR> | basically make your own TypeRep-like thing which can be rendered as Text directly |
| 2024-05-03 20:37:25 +0000 | <monochrom> | Oh haha here is another idea for my unification plan and it is why "Maybe [T]" can make sense. |
| 2024-05-03 20:38:04 +0000 | <tomsmeding> | raehik: oh that's right, Generic talks about monomorphic types |
| 2024-05-03 20:40:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:40:16 +0000 | <monochrom> | The user will provide "E -> E -> Maybe [(E,E)]". Nothing means that the roots mismatch. Just xs means that the roots match, and the list is the list of childrens to check further. |
| 2024-05-03 20:40:42 +0000 | <tomsmeding> | monochrom: is this for diffing |
| 2024-05-03 20:40:51 +0000 | <raehik> | tomsmeding: haha rats. perhaps I'm stuck with Typeable if I want to print the TypeRep of a data type |
| 2024-05-03 20:40:58 +0000 | <monochrom> | Yeah. |
| 2024-05-03 20:41:03 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 20:41:07 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-03 20:41:17 +0000 | <tomsmeding> | @hackage hdiff |
| 2024-05-03 20:41:17 +0000 | <lambdabot> | https://hackage.haskell.org/package/hdiff |
| 2024-05-03 20:42:08 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-05-03 20:43:13 +0000 | <tomsmeding> | (good luck wading through the types there) |
| 2024-05-03 20:44:19 +0000 | agent314_ | (~quassel@169.150.252.111) |
| 2024-05-03 20:44:22 +0000 | agent314 | (~quassel@185.102.218.105.adsl.inet-telecom.org) (Ping timeout: 268 seconds) |
| 2024-05-03 20:45:10 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:45:47 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 20:46:52 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-03 20:46:56 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:47:32 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-03 20:47:34 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-03 20:49:21 +0000 | causal | (~eric@50.35.88.207) |
| 2024-05-03 20:51:25 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 20:54:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 20:57:15 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:00:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:01:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:04:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:06:23 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:10:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:12:03 +0000 | cheater | (~Username@user/cheater) |
| 2024-05-03 21:12:08 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:15:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:16:54 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-03 21:18:53 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-03 21:19:25 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:19:42 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:22:52 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:24:50 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:27:52 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:29:30 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:33:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:35:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:37:49 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:38:42 +0000 | erty | (~user@user/aeroplane) (Ping timeout: 255 seconds) |
| 2024-05-03 21:39:46 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:41:06 +0000 | AlexZenon | (~alzenon@178.34.162.113) (Ping timeout: 268 seconds) |
| 2024-05-03 21:42:53 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:42:55 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-05-03 21:45:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:45:53 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 21:46:37 +0000 | AlexZenon | (~alzenon@178.34.162.113) |
| 2024-05-03 21:47:13 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:49:34 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:52:41 +0000 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-03 21:54:19 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:54:42 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 21:56:29 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 21:59:50 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:04:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-03 22:04:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:06:19 +0000 | pavonia_ | (~user@user/siracusa) |
| 2024-05-03 22:06:22 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-03 22:07:04 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-05-03 22:07:37 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-05-03 22:07:46 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-03 22:07:47 +0000 | pavonia_ | pavonia |
| 2024-05-03 22:09:56 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-03 22:10:32 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:11:44 +0000 | agent314_ | (~quassel@169.150.252.111) (Ping timeout: 256 seconds) |
| 2024-05-03 22:12:47 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:14:06 +0000 | agent314 | (~quassel@104.193.135.218) |
| 2024-05-03 22:15:14 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:15:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-03 22:18:01 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:20:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:22:45 +0000 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 272 seconds) |
| 2024-05-03 22:23:20 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-03 22:24:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:25:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:25:55 +0000 | destituion | (~destituio@2a02:2121:2c4:e7b9:2895:2152:25e1:7ece) |
| 2024-05-03 22:30:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:53:37 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-05-03 23:02:58 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-05-03 23:03:03 +0000 | EvanR_ | (~EvanR@user/evanr) |
| 2024-05-03 23:03:55 +0000 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-05-03 23:04:03 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2024-05-03 23:04:07 +0000 | codolio | (~dolio@130.44.134.54) |
| 2024-05-03 23:04:40 +0000 | aforemny | (~aforemny@i59F516E9.versanet.de) |
| 2024-05-03 23:04:45 +0000 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-05-03 23:04:49 +0000 | kaskal- | (~kaskal@2001:4bb8:2d2:1257:60b1:1057:17df:5755) |
| 2024-05-03 23:04:49 +0000 | img_ | (~img@user/img) |
| 2024-05-03 23:04:50 +0000 | yuuta | (~YuutaW@mail.yuuta.moe) |
| 2024-05-03 23:04:54 +0000 | xelxebar_ | (~xelxebar@wilsonb.com) |
| 2024-05-03 23:04:56 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-03 23:05:16 +0000 | sand-witch_ | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-05-03 23:05:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-03 23:06:18 +0000 | Teacup_ | (~teacup@user/teacup) |
| 2024-05-03 23:06:37 +0000 | poscat0x04 | (~poscat@user/poscat) |
| 2024-05-03 23:07:01 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:a37a:baa0:7723:b704) |
| 2024-05-03 23:07:21 +0000 | flounders_ | (~flounders@24.246.176.178) |
| 2024-05-03 23:07:24 +0000 | tr_ev | (~trev@user/trev) |
| 2024-05-03 23:07:29 +0000 | tolt_ | (~weechat-h@li219-154.members.linode.com) |
| 2024-05-03 23:07:44 +0000 | stefan-___ | (~m-yh2rcc@42dots.de) |
| 2024-05-03 23:07:44 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | myxokephale | (~myxos@65.28.251.121) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-03 23:07:44 +0000 | kaskal | (~kaskal@089144220117.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 2024-05-03 23:07:44 +0000 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | tt123109 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: Ping timeout (120 seconds)) |
| 2024-05-03 23:07:44 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf6:c700:715f:48c8:40b3:51d2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-03 23:07:44 +0000 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2024-05-03 23:07:44 +0000 | flounders | (~flounders@24.246.176.178) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-05-03 23:07:44 +0000 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-03 23:07:44 +0000 | xelxebar | (~xelxebar@wilsonb.com) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2024-05-03 23:07:44 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Quit: ZNC - http://znc.in) |
| 2024-05-03 23:07:44 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-03 23:07:44 +0000 | dolio | (~dolio@130.44.134.54) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a37a:baa0:7723:b704) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) (Remote host closed the connection) |
| 2024-05-03 23:07:44 +0000 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-05-03 23:07:46 +0000 | tt1231097 | tt123109 |
| 2024-05-03 23:07:51 +0000 | Eoco_ | (~ian@128.101.131.218) |
| 2024-05-03 23:07:58 +0000 | tessier_ | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-05-03 23:08:54 +0000 | rvalue- | rvalue |
| 2024-05-03 23:09:17 +0000 | EvanR_ | EvanR |
| 2024-05-03 23:10:09 +0000 | sand-witch_ | sand-witch |
| 2024-05-03 23:10:20 +0000 | mud | (~mud@user/kadoban) |
| 2024-05-03 23:10:23 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-05-03 23:11:08 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-03 23:12:00 +0000 | trev | (~trev@user/trev) (Ping timeout: 245 seconds) |
| 2024-05-03 23:12:35 +0000 | stefan-___ | stefan-__ |
| 2024-05-03 23:15:19 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:16:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-03 23:17:17 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:18:41 +0000 | waldo | (~waldo@user/waldo) |
| 2024-05-03 23:19:04 +0000 | random-jellyfish | (~developer@2a02:2f01:791c:4a00:84bf:e80c:8930:a69e) |
| 2024-05-03 23:19:04 +0000 | random-jellyfish | (~developer@2a02:2f01:791c:4a00:84bf:e80c:8930:a69e) (Changing host) |
| 2024-05-03 23:19:04 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-03 23:20:06 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:22:35 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:24:32 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 23:24:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:25:37 +0000 | acidjnk | (~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-03 23:27:51 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:28:57 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-05-03 23:29:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:31:36 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:35:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:37:18 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:40:10 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:41:39 +0000 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-05-03 23:44:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:44:50 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:46:42 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:47:21 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-05-03 23:49:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:53:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:53:15 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 245 seconds) |
| 2024-05-03 23:55:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:55:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-05-03 23:56:05 +0000 | random-jellyfish | (~developer@2a02:2f01:791c:4a00:678:60fc:12a9:5) |
| 2024-05-03 23:56:05 +0000 | random-jellyfish | (~developer@2a02:2f01:791c:4a00:678:60fc:12a9:5) (Changing host) |
| 2024-05-03 23:56:05 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-03 23:56:38 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:56:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-03 23:59:46 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |