2024/05/03

2024-05-03 00:04:05 +0200AlexZenon(~alzenon@94.233.240.47) (Ping timeout: 245 seconds)
2024-05-03 00:12:24 +0200AlexNoo(~AlexNoo@94.233.240.47) (Ping timeout: 256 seconds)
2024-05-03 00:17:38 +0200waldo(~waldo@user/waldo)
2024-05-03 00:31:14 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-03 00:33:15 +0200yin(~yin@user/zero) (Ping timeout: 252 seconds)
2024-05-03 00:41:02 +0200zetef(~quassel@5.14.202.140)
2024-05-03 00:45:30 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-03 00:55:22 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-03 00:57:50 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.8.2+deb4+b2 - https://znc.in)
2024-05-03 00:57:56 +0200xff0x(~xff0x@softbank219059019218.bbtec.net)
2024-05-03 01:02:51 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-05-03 01:04:27 +0200xff0x(~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 260 seconds)
2024-05-03 01:05:53 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2024-05-03 01:07:52 +0200xff0x(~xff0x@om126236141098.32.openmobile.ne.jp)
2024-05-03 01:10:47 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 01:12:08 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-03 01:27:58 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-03 01:32:57 +0200AlexNoo(~AlexNoo@178.34.162.113)
2024-05-03 01:34:49 +0200AlexZenon(~alzenon@178.34.162.113)
2024-05-03 01:38:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2024-05-03 01:38:43 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-05-03 01:40:13 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 255 seconds)
2024-05-03 01:51:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-03 01:57:48 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds)
2024-05-03 02:02:46 +0200philopsos(~caecilius@user/philopsos) (Quit: leaving)
2024-05-03 02:05:15 +0200yin(~yin@user/zero)
2024-05-03 02:05:31 +0200philopsos(~caecilius@user/philopsos)
2024-05-03 02:06:02 +0200philopsos(~caecilius@user/philopsos) (Client Quit)
2024-05-03 02:06:18 +0200philopsos(~caecilius@user/philopsos)
2024-05-03 02:12:42 +0200waldo(~waldo@user/waldo) (Quit: waldo)
2024-05-03 02:17:21 +0200zetef(~quassel@5.14.202.140) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-03 02:23:32 +0200xff0x(~xff0x@om126236141098.32.openmobile.ne.jp) (Read error: Connection reset by peer)
2024-05-03 02:27:18 +0200nullobject(~josh@user/nullobject)
2024-05-03 02:30:39 +0200Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2024-05-03 02:37:47 +0200Axman6(~Axman6@user/axman6)
2024-05-03 02:39:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-03 02:53:23 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2024-05-03 02:54:42 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2024-05-03 02:55:38 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-05-03 02:57:23 +0200EvanR(~EvanR@user/evanr)
2024-05-03 03:04:09 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-03 03:08:46 +0200raoul(~raoul@95.179.203.88) (Remote host closed the connection)
2024-05-03 03:09:55 +0200Square3(~Square4@user/square) (Ping timeout: 268 seconds)
2024-05-03 03:10:15 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!)
2024-05-03 03:18:24 +0200Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2024-05-03 03:18:42 +0200Axman6(~Axman6@user/axman6)
2024-05-03 03:25:57 +0200otto_s(~user@p5b04466a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-05-03 03:27:35 +0200otto_s(~user@p4ff272c0.dip0.t-ipconnect.de)
2024-05-03 04:00:39 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-05-03 04:01:11 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
2024-05-03 04:01:55 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-03 04:02:20 +0200petrichor(~znc-user@user/petrichor)
2024-05-03 04:02:53 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2024-05-03 04:05:32 +0200shapr`(~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds)
2024-05-03 04:21:35 +0200yin(~yin@user/zero) (Ping timeout: 264 seconds)
2024-05-03 04:25:20 +0200td_(~td@i5387093e.versanet.de) (Ping timeout: 245 seconds)
2024-05-03 04:27:11 +0200td_(~td@i53870924.versanet.de)
2024-05-03 04:32:33 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds)
2024-05-03 04:50:52 +0200sroso(~sroso@user/SrOso)
2024-05-03 04:50:53 +0200nitrix(~nitrix@user/meow/nitrix) (K-Lined)
2024-05-03 04:58:57 +0200agent314_(~quassel@104.193.135.218)
2024-05-03 05:01:44 +0200agent314(~quassel@104.193.135.218) (Ping timeout: 260 seconds)
2024-05-03 05:41:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-03 05:53:49 +0200nitrix(~nitrix@user/meow/nitrix)
2024-05-03 05:58:45 +0200aforemny_(~aforemny@2001:9e8:6cf6:c700:715f:48c8:40b3:51d2)
2024-05-03 06:00:04 +0200aforemny(~aforemny@2001:9e8:6cd3:1d00:230b:c373:dfe7:68c3) (Ping timeout: 260 seconds)
2024-05-03 06:01:47 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-03 06:02:00 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-05-03 06:38:42 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 06:50:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-05-03 06:53:35 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-03 06:57:15 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-03 06:57:17 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 240 seconds)
2024-05-03 07:03:37 +0200euphores(~SASL_euph@user/euphores)
2024-05-03 07:08:41 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-05-03 07:09:34 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-03 07:13:30 +0200zetef(~quassel@5.14.202.140)
2024-05-03 07:14:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-05-03 07:15:19 +0200euleritian(~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de)
2024-05-03 07:20:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-03 07:22:15 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-03 07:30:04 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-03 07:37:37 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-03 07:37:50 +0200zetef(~quassel@5.14.202.140) (Ping timeout: 245 seconds)
2024-05-03 07:38:07 +0200rvalue(~rvalue@user/rvalue)
2024-05-03 07:39:35 +0200acidjnk(~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de)
2024-05-03 07:46:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-03 07:47:48 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-03 07:50:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-03 07:56:07 +0200euleritian(~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-03 07:56:24 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-03 07:59:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-03 08:05:09 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-03 08:13:56 +0200zetef(~quassel@5.14.202.140)
2024-05-03 08:18:02 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-03 08:19:07 +0200euleritian(~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de)
2024-05-03 08:24:58 +0200euleritian(~euleritia@dynamic-176-006-184-121.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-03 08:25:17 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-03 08:36:08 +0200remedan(~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!)
2024-05-03 08:39:14 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-05-03 08:39:20 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!)
2024-05-03 08:39:36 +0200Benzi-Junior(~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 255 seconds)
2024-05-03 08:41:09 +0200Benzi-Junior(~BenziJuni@232-148-209-31.dynamic.hringdu.is)
2024-05-03 08:45:35 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-05-03 08:46:37 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-03 08:52:43 +0200remedan(~remedan@ip-78-102-118-253.bb.vodafone.cz)
2024-05-03 09:16:06 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 09:16:43 +0200rosco(~rosco@yp-146-6.tm.net.my)
2024-05-03 09:16:57 +0200zetef(~quassel@5.14.202.140) (Ping timeout: 255 seconds)
2024-05-03 09:18:00 +0200califax(~califax@user/califx)
2024-05-03 09:19:18 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 09:21:41 +0200akegalj(~akegalj@141-136-177-23.dsl.iskon.hr)
2024-05-03 09:25:10 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-05-03 09:32:59 +0200destituion(~destituio@85.221.111.174)
2024-05-03 09:35:59 +0200Ekho(~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.)
2024-05-03 09:36:53 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 256 seconds)
2024-05-03 09:55:28 +0200gmg(~user@user/gehmehgeh)
2024-05-03 09:55:42 +0200Ekho(~Ekho@user/ekho)
2024-05-03 09:56:55 +0200acidjnk(~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-03 10:02:49 +0200waldo(~waldo@user/waldo)
2024-05-03 10:16:25 +0200waldo(~waldo@user/waldo) (Ping timeout: 256 seconds)
2024-05-03 10:20:16 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-05-03 10:20:23 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-03 10:27:38 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-05-03 10:33:50 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-03 10:34:24 +0200danse-nr3(~danse-nr3@ge-19-97-226.service.infuturo.it)
2024-05-03 10:35:08 +0200danse-nr3(~danse-nr3@ge-19-97-226.service.infuturo.it) (Remote host closed the connection)
2024-05-03 10:35:32 +0200danse-nr3(~danse-nr3@ge-19-97-226.service.infuturo.it)
2024-05-03 10:38:22 +0200euphores(~SASL_euph@user/euphores)
2024-05-03 10:48:13 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 10:49:59 +0200califax(~califax@user/califx)
2024-05-03 10:54:46 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 11:01:00 +0200califax(~califax@user/califx)
2024-05-03 11:01:48 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 11:03:57 +0200califax(~califax@user/califx)
2024-05-03 11:06:54 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-03 11:06:54 +0200gmg(~user@user/gehmehgeh) (Read error: Connection reset by peer)
2024-05-03 11:07:56 +0200gmg(~user@user/gehmehgeh)
2024-05-03 11:08:10 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-03 11:11:30 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 11:13:07 +0200califax(~califax@user/califx)
2024-05-03 11:14:45 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 11:16:04 +0200califax(~califax@user/califx)
2024-05-03 11:19:36 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 11:21:47 +0200califax(~califax@user/califx)
2024-05-03 11:27:12 +0200__monty__(~toonn@user/toonn)
2024-05-03 11:31:15 +0200driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-05-03 11:31:50 +0200driib(~driib@vmi931078.contaboserver.net)
2024-05-03 11:38:09 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 11:38:29 +0200xff0x(~xff0x@2405:6580:b080:900:a37a:baa0:7723:b704)
2024-05-03 11:40:47 +0200waldo(~waldo@user/waldo)
2024-05-03 11:45:00 +0200chele(~chele@user/chele)
2024-05-03 11:49:35 +0200rosco(~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal)
2024-05-03 11:51:04 +0200yin(~yin@user/zero)
2024-05-03 11:51:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-05-03 11:51:55 +0200califax(~califax@user/califx)
2024-05-03 11:55:15 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 11:56:42 +0200euleritian(~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de)
2024-05-03 11:56:54 +0200califax(~califax@user/califx)
2024-05-03 11:56:58 +0200gastus_(~gastus@185.6.123.233)
2024-05-03 11:57:30 +0200 <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 11:58:48 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 12:01:18 +0200califax(~califax@user/califx)
2024-05-03 12:01:58 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 12:04:51 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2024-05-03 12:05:24 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-05-03 12:06:24 +0200nullobject(~josh@user/nullobject) (Ping timeout: 260 seconds)
2024-05-03 12:08:08 +0200califax(~califax@user/califx)
2024-05-03 12:08:14 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 12:08:40 +0200califax(~califax@user/califx)
2024-05-03 12:08:47 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2024-05-03 12:09:04 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 12:10:05 +0200 <haskellbridge> <f​endor> not implemented, but a PR exists https://github.com/haskell/haskell-language-server/pull/3749
2024-05-03 12:12:44 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-05-03 12:13:24 +0200yin(~yin@user/zero) (Ping timeout: 260 seconds)
2024-05-03 12:13:42 +0200califax(~califax@user/califx)
2024-05-03 12:14:20 +0200 <haskellbridge> <f​endor> but type of thing below cursor works fine, so perhaps misconfigured
2024-05-03 12:14:58 +0200yin(~yin@user/zero)
2024-05-03 12:17:58 +0200rosco(~rosco@yp-146-6.tm.net.my)
2024-05-03 12:18:36 +0200teo(~teo@user/teo)
2024-05-03 12:19:01 +0200euleritian(~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-03 12:19:13 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 12:20:14 +0200euleritian(~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de)
2024-05-03 12:22:07 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-03 12:23:22 +0200acidjnk(~acidjnk@p200300d6e714dc8740d0d729a6756f5c.dip0.t-ipconnect.de)
2024-05-03 12:24:55 +0200yin(~yin@user/zero) (Ping timeout: 268 seconds)
2024-05-03 12:25:28 +0200 <danse-nr3> /j #emacs
2024-05-03 12:26:44 +0200euphores(~SASL_euph@user/euphores)
2024-05-03 12:29:02 +0200yin(~yin@user/zero)
2024-05-03 12:29:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 12:30:10 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-05-03 12:31:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-03 12:34:50 +0200califax(~califax@user/califx)
2024-05-03 12:35:55 +0200zetef(~quassel@5.14.202.140)
2024-05-03 12:36:36 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 12:37:00 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds)
2024-05-03 12:37:31 +0200waldo(~waldo@user/waldo) (Quit: waldo)
2024-05-03 12:38:07 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 12:40:26 +0200Square3(~Square4@user/square)
2024-05-03 12:40:37 +0200zetef_(~quassel@5.14.202.140)
2024-05-03 12:41:25 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 12:42:00 +0200zetef(~quassel@5.14.202.140) (Ping timeout: 245 seconds)
2024-05-03 12:44:11 +0200sawilagar(~sawilagar@user/sawilagar) (Quit: Leaving)
2024-05-03 12:44:43 +0200rosco(~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal)
2024-05-03 12:44:53 +0200zetef_(~quassel@5.14.202.140) (Remote host closed the connection)
2024-05-03 12:45:02 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 12:46:35 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 12:49:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-03 12:49:22 +0200califax(~califax@user/califx)
2024-05-03 12:50:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 12:50:43 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-03 12:51:17 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 12:52:53 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-05-03 12:53:19 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2024-05-03 12:53:20 +0200mwnaylor(~user@2601:5cf:837e:2bb0::c22d)
2024-05-03 12:55:18 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 12:55:48 +0200Lord_of_Life_Lord_of_Life
2024-05-03 12:57:13 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 12:59:58 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:01:28 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:01:47 +0200yin(~yin@user/zero) (Ping timeout: 264 seconds)
2024-05-03 13:03:48 +0200danse-nr3(~danse-nr3@ge-19-97-226.service.infuturo.it) (Ping timeout: 260 seconds)
2024-05-03 13:04:38 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:06:46 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:07:00 +0200 <jackdk> great idea
2024-05-03 13:10:14 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:11:30 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:12:16 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2024-05-03 13:14:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:16:29 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:20:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:21:22 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:25:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:26:03 +0200sroso(~sroso@user/SrOso) (Quit: Leaving :))
2024-05-03 13:26:18 +0200yin(~yin@user/zero)
2024-05-03 13:26:37 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:29:50 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:31:40 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:34:30 +0200k``(~k``@136.54.34.25)
2024-05-03 13:35:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:36:29 +0200destituion(~destituio@85.221.111.174) (Read error: Connection reset by peer)
2024-05-03 13:36:33 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:36:36 +0200destituion(~destituio@85.221.111.174)
2024-05-03 13:40:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:41:29 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:45:14 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:45:17 +0200zetef(~quassel@5.14.202.140)
2024-05-03 13:45:45 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 245 seconds)
2024-05-03 13:46:28 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:48:15 +0200danse-nr3(~danse-nr3@151.43.124.243)
2024-05-03 13:49:54 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:50:20 +0200rosco(~rosco@yp-146-6.tm.net.my)
2024-05-03 13:50:54 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-03 13:51:36 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:51:46 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-03 13:52:48 +0200danse-nr3(~danse-nr3@151.43.124.243) (Ping timeout: 255 seconds)
2024-05-03 13:53:56 +0200danse-nr3(~danse-nr3@151.43.124.243)
2024-05-03 13:55:02 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 13:56:45 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 13:58:31 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-03 14:00:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:01:27 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:04:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:05:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-03 14:06:25 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:06:29 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-05-03 14:08:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-05-03 14:09:58 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:11:15 +0200barak(~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 255 seconds)
2024-05-03 14:11:17 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-03 14:11:37 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:14:43 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-03 14:15:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:15:13 +0200rvalue(~rvalue@user/rvalue)
2024-05-03 14:16:23 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:20:14 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:21:33 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:23:02 +0200kritzefitz_(~kritzefit@debian/kritzefitz)
2024-05-03 14:23:34 +0200danse-nr3(~danse-nr3@151.43.124.243) (Remote host closed the connection)
2024-05-03 14:23:58 +0200danse-nr3(~danse-nr3@151.43.124.243)
2024-05-03 14:23:59 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 264 seconds)
2024-05-03 14:24:54 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:27:03 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:27:53 +0200kritzefitz_kritzefitz
2024-05-03 14:30:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:31:26 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:31:28 +0200zetef(~quassel@5.14.202.140) (Ping timeout: 256 seconds)
2024-05-03 14:34:42 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:36:28 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:39:50 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:41:10 +0200akegalj(~akegalj@141-136-177-23.dsl.iskon.hr) (Quit: leaving)
2024-05-03 14:41:30 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:42:00 +0200rosco(~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal)
2024-05-03 14:44:58 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:46:45 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:50:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:51:37 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:54:26 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-03 14:55:14 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 14:55:32 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded)
2024-05-03 14:55:48 +0200zetef(~quassel@5.14.202.140)
2024-05-03 14:56:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 14:57:11 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-03 14:57:14 +0200yin(~yin@user/zero) (Ping timeout: 268 seconds)
2024-05-03 14:57:17 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 14:58:04 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded)
2024-05-03 14:58:14 +0200califax(~califax@user/califx)
2024-05-03 14:59:00 +0200yin(~yin@user/zero)
2024-05-03 14:59:39 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-03 15:00:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:00:29 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded)
2024-05-03 15:01:38 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-03 15:01:41 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:02:29 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded)
2024-05-03 15:03:41 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-03 15:04:36 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded)
2024-05-03 15:05:02 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:05:26 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-03 15:05:37 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-03 15:06:23 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:06:38 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded)
2024-05-03 15:07:37 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-03 15:07:40 +0200yinonion
2024-05-03 15:08:21 +0200 <onion> why can we write `x :: Bool = True` but not `f :: a -> a = id` ?
2024-05-03 15:09:00 +0200 <danse-nr3> > f :: a -> a = id
2024-05-03 15:09:02 +0200 <lambdabot> <hint>:1:13: error: parse error on input ‘=’
2024-05-03 15:09:27 +0200 <danse-nr3> > x :: Bool = True
2024-05-03 15:09:28 +0200 <lambdabot> <hint>:1:11: error: parse error on input ‘=’
2024-05-03 15:09:41 +0200 <danse-nr3> in a let i guess
2024-05-03 15:09:58 +0200 <danse-nr3> > let x :: Bool = True in x
2024-05-03 15:09:59 +0200 <lambdabot> True
2024-05-03 15:10:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:10:18 +0200 <danse-nr3> > let f :: a -> a = id in f True
2024-05-03 15:10:19 +0200 <lambdabot> error:
2024-05-03 15:10:19 +0200 <lambdabot> • You cannot bind scoped type variable ‘a’
2024-05-03 15:10:19 +0200 <lambdabot> in a pattern binding signature
2024-05-03 15:11:17 +0200 <onion> ah
2024-05-03 15:11:27 +0200 <onion> > g :: Bool -> () = const ()
2024-05-03 15:11:29 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:11:29 +0200 <lambdabot> <hint>:1:17: error: parse error on input ‘=’
2024-05-03 15:11:50 +0200 <onion> wait, i can do this in ghci
2024-05-03 15:13:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-05-03 15:13:40 +0200Square3(~Square4@user/square) (Ping timeout: 245 seconds)
2024-05-03 15:14:50 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:15:51 +0200 <onion> :t id
2024-05-03 15:15:52 +0200 <lambdabot> a -> a
2024-05-03 15:16:07 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
2024-05-03 15:16:11 +0200 <onion> f :: forall a. a -> a = id
2024-05-03 15:16:17 +0200 <onion> > f :: forall a. a -> a = id
2024-05-03 15:16:18 +0200 <lambdabot> <hint>:1:23: error: parse error on input ‘=’
2024-05-03 15:16:22 +0200 <onion> hm...
2024-05-03 15:17:00 +0200 <onion> > let g :: Bool -> () = const () in g True
2024-05-03 15:17:01 +0200 <lambdabot> ()
2024-05-03 15:17:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:17:19 +0200jumper149(~jumper149@base.felixspringer.xyz)
2024-05-03 15:17:44 +0200poscat0x04(~poscat@user/poscat) (Quit: Bye)
2024-05-03 15:19:58 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:20:27 +0200 <onion> > let q :: forall a. a -> a = id in q 7
2024-05-03 15:20:29 +0200 <lambdabot> error:
2024-05-03 15:20:29 +0200 <lambdabot> • Couldn't match expected type ‘forall a1. a1 -> a1’
2024-05-03 15:20:29 +0200 <lambdabot> with actual type ‘a0 -> a0’
2024-05-03 15:21:11 +0200 <danse-nr3> i don't think the forall helps, but i am not sure why just `a` would not work
2024-05-03 15:21:32 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:23:10 +0200zetef(~quassel@5.14.202.140) (Remote host closed the connection)
2024-05-03 15:23:46 +0200 <ncf> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/scoped_type_variables.html#pattern-type-sigs
2024-05-03 15:23:55 +0200poscat(~poscat@user/poscat)
2024-05-03 15:23:57 +0200 <ncf> this explains why a -> a doesn't work, but not why forall a. a -> a doesn't
2024-05-03 15:24:10 +0200 <onion> thanks ncf
2024-05-03 15:25:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:26:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:27:50 +0200 <onion> i just found out i can write this:
2024-05-03 15:29:01 +0200 <onion> > let f (a :: Int) (b :: Bool) (c :: a) = (a,b,c) :: (Int,Bool,a) in f 7 False "ok"
2024-05-03 15:29:03 +0200 <lambdabot> (7,False,"ok")
2024-05-03 15:30:14 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:31:21 +0200tv(~tv@user/tv) (Ping timeout: 255 seconds)
2024-05-03 15:31:47 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:33:15 +0200onion(~yin@user/zero) (Ping timeout: 245 seconds)
2024-05-03 15:34:54 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:35:37 +0200onion(~yin@user/zero)
2024-05-03 15:35:43 +0200 <onion> > let id' (f :: a -> a) (x :: a) = f a :: a in id' id 7
2024-05-03 15:35:45 +0200 <lambdabot> a
2024-05-03 15:36:15 +0200 <onion> oops
2024-05-03 15:36:26 +0200 <onion> > let id' (f :: a -> a) (x :: a) = f x :: a in id' id 7
2024-05-03 15:36:27 +0200 <lambdabot> 7
2024-05-03 15:36:36 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:36:45 +0200 <onion> > let id' (f :: a -> a) (x :: Int) = f x :: a in id' succ 7
2024-05-03 15:36:46 +0200 <lambdabot> 8
2024-05-03 15:36:52 +0200 <onion> hmm..
2024-05-03 15:40:30 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:41:31 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:42:19 +0200 <onion> > let id' (f :: forall a. a -> a) (x :: Int) = f x :: a in id' succ 7
2024-05-03 15:42:20 +0200 <lambdabot> error:
2024-05-03 15:42:20 +0200 <lambdabot> • Couldn't match expected type ‘a2’ with actual type ‘Int’
2024-05-03 15:42:21 +0200 <lambdabot> ‘a2’ is a rigid type variable bound by
2024-05-03 15:44:34 +0200zmt00(~zmt00@user/zmt00)
2024-05-03 15:44:45 +0200mwnaylor(~user@2601:5cf:837e:2bb0::c22d) (Remote host closed the connection)
2024-05-03 15:45:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:46:36 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:50:18 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:51:44 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:51:48 +0200 <EvanR> you can use lambdabot in a private message
2024-05-03 15:53:32 +0200 <onion> yes sorry for the noise
2024-05-03 15:55:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 15:56:27 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 15:59:38 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:00:29 +0200onion(~yin@user/zero) (Ping timeout: 240 seconds)
2024-05-03 16:01:26 +0200ft(~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Quit: leaving)
2024-05-03 16:01:32 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:02:36 +0200onion(~yin@user/zero)
2024-05-03 16:04:50 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-03 16:05:14 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:06:39 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:10:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:11:12 +0200euphores(~SASL_euph@user/euphores)
2024-05-03 16:11:26 +0200danse-nr3(~danse-nr3@151.43.124.243) (Ping timeout: 255 seconds)
2024-05-03 16:11:35 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:15:19 +0200 <kuribas> You say succ would work with any type, but it doesn't.
2024-05-03 16:15:30 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:16:19 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-03 16:16:21 +0200 <kuribas> First argument of "id'" should be a function that works on any type.
2024-05-03 16:16:25 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:16:38 +0200gaff(~gaff@49.207.227.255)
2024-05-03 16:16:54 +0200 <kuribas> That's what (f :: forall a. a -> a) means
2024-05-03 16:17:05 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
2024-05-03 16:17:20 +0200 <kuribas> "forall a. " means "for any type a"
2024-05-03 16:17:43 +0200onion(~yin@user/zero) (Ping timeout: 255 seconds)
2024-05-03 16:19:14 +0200 <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 16:19:23 +0200onion(~yin@user/zero)
2024-05-03 16:20:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:21:35 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:21:37 +0200agent314(~quassel@185.102.218.105.adsl.inet-telecom.org)
2024-05-03 16:21:43 +0200agent314_(~quassel@104.193.135.218) (Ping timeout: 268 seconds)
2024-05-03 16:21:50 +0200 <EvanR> not if you enable ApplicativeDo
2024-05-03 16:22:15 +0200 <EvanR> otherwise, one expands to Monad the other Applicative class
2024-05-03 16:22:58 +0200 <gaff> EvanR: I am not sure what you mena there, Both expressions have the same type.
2024-05-03 16:23:08 +0200tv(~tv@user/tv)
2024-05-03 16:23:25 +0200 <EvanR> :t return
2024-05-03 16:23:25 +0200 <lambdabot> Monad m => a -> m a
2024-05-03 16:23:42 +0200 <kuribas> gaff: Some type doesn't mean the same expression.
2024-05-03 16:23:50 +0200 <kuribas> :t 3
2024-05-03 16:23:51 +0200 <lambdabot> Num p => p
2024-05-03 16:23:52 +0200 <kuribas> :t 4
2024-05-03 16:23:53 +0200 <lambdabot> Num p => p
2024-05-03 16:23:53 +0200 <EvanR> they don't have the same type by default
2024-05-03 16:24:23 +0200 <gaff> well, `some` in that example has the same type in both styles.
2024-05-03 16:24:25 +0200 <EvanR> oh you're right. But yeah
2024-05-03 16:24:30 +0200 <kuribas> gaff: For a lawful instance the should be the same, but it isn't garanteed.
2024-05-03 16:24:31 +0200 <EvanR> different implementations
2024-05-03 16:24:50 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:25:12 +0200 <kuribas> gaff: the do desugars to: p >>= \x -> many p >>= \xs -> return (x:xs)
2024-05-03 16:26:10 +0200 <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 16:26:30 +0200 <gaff> kuribas: I know
2024-05-03 16:27:02 +0200 <kuribas> gaff: not necessarily. It could be a lazy monad.
2024-05-03 16:27:05 +0200 <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 16:27:21 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:27:33 +0200 <EvanR> your code might be an example where they end up doing the same thing, but definitely different in general
2024-05-03 16:27:49 +0200 <gaff> EvanR: I mean from the standpoint of evaluation/laziness.
2024-05-03 16:29:45 +0200 <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 16:29:47 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-03 16:30:09 +0200 <gaff> kuribas: exactly
2024-05-03 16:30:26 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:31:03 +0200 <gaff> so when `p` fails, for example, the monadic style can short circuit computation where as the applicative style may not.
2024-05-03 16:31:33 +0200onion(~yin@user/zero) (Ping timeout: 256 seconds)
2024-05-03 16:31:38 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:32:27 +0200 <kuribas> gaff: it could, it is not "required" to work in "parallel".
2024-05-03 16:33:04 +0200 <gaff> kuribas: I am not sure wht you are saying there. parallel where?
2024-05-03 16:33:06 +0200onion(~yin@user/zero)
2024-05-03 16:33:51 +0200 <kuribas> run "p" and "many p" in parallel.
2024-05-03 16:34:18 +0200 <gaff> if `p` fails, the do block will short circuit.
2024-05-03 16:34:34 +0200 <gaff> it is a sequential computation.
2024-05-03 16:35:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:35:38 +0200 <kuribas> yes
2024-05-03 16:35:42 +0200k``(~k``@136.54.34.25) (Ping timeout: 250 seconds)
2024-05-03 16:36:34 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:38:06 +0200 <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 16:38:27 +0200gaff(~gaff@49.207.227.255) ()
2024-05-03 16:39:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-03 16:40:14 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:40:21 +0200danse-nr3(~danse-nr3@151.43.124.243)
2024-05-03 16:41:28 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:44:50 +0200Square(~Square@user/square)
2024-05-03 16:45:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:46:27 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:50:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:51:33 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:52:12 +0200 <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 16:53:15 +0200Square(~Square@user/square) (Ping timeout: 245 seconds)
2024-05-03 16:53:40 +0200 <kuribas> onion: what do you mean "it should be implicit"?
2024-05-03 16:54:01 +0200 <kuribas> RankN types are undecidable.
2024-05-03 16:55:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 16:56:27 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 16:58:43 +0200onion(~yin@user/zero) (Ping timeout: 268 seconds)
2024-05-03 17:00:18 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:01:37 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:03:02 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2024-05-03 17:04:58 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:05:09 +0200ft(~ft@p3e9bc1bf.dip0.t-ipconnect.de)
2024-05-03 17:06:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:07:17 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer)
2024-05-03 17:09:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-03 17:10:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:10:46 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-05-03 17:11:28 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:13:58 +0200dostoyevsky2(~sck@user/dostoyevsky2) (Quit: leaving)
2024-05-03 17:14:19 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2024-05-03 17:14:46 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:15:53 +0200destituion(~destituio@85.221.111.174) (Ping timeout: 272 seconds)
2024-05-03 17:16:23 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:20:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:21:22 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:22:44 +0200thailigur(~thailigur@151.240.170.117)
2024-05-03 17:25:30 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:26:27 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:29:42 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:31:37 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 256 seconds)
2024-05-03 17:31:57 +0200destituion(~destituio@77.16.38.63.tmi.telenormobil.no)
2024-05-03 17:32:46 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:35:04 +0200poscat(~poscat@user/poscat) (Ping timeout: 256 seconds)
2024-05-03 17:35:18 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:35:21 +0200poscat(~poscat@user/poscat)
2024-05-03 17:37:56 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:40:26 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:41:28 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:44:38 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:46:31 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:47:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-03 17:50:14 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:50:59 +0200thailigur(~thailigur@151.240.170.117) (Quit: Client closed)
2024-05-03 17:51:24 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:51:44 +0200danse-nr3(~danse-nr3@151.43.124.243) (Ping timeout: 260 seconds)
2024-05-03 17:52:35 +0200danse-nr3(~danse-nr3@151.37.254.183)
2024-05-03 17:54:54 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 17:56:36 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 17:57:53 +0200erty(~user@user/aeroplane)
2024-05-03 17:58:31 +0200danse-nr3(~danse-nr3@151.37.254.183) (Ping timeout: 255 seconds)
2024-05-03 18:00:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:00:18 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer)
2024-05-03 18:00:41 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-03 18:01:19 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:03:33 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-05-03 18:05:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:06:30 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:09:50 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:11:38 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:14:58 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:15:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-05-03 18:15:33 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:16:21 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-05-03 18:16:35 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:17:21 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-05-03 18:20:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:21:25 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:25:14 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:26:34 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:26:50 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2024-05-03 18:29:54 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:31:21 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:35:02 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:36:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:39:42 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:39:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-03 18:41:29 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:43:32 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 18:44:01 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 18:44:50 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:45:05 +0200notzmv(~daniel@user/notzmv) (Remote host closed the connection)
2024-05-03 18:46:19 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:47:55 +0200cstml(~cstml@user/cstml)
2024-05-03 18:49:10 +0200philopsos(~caecilius@user/philopsos)
2024-05-03 18:49:45 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 18:49:58 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:50:25 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 18:51:32 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 18:51:54 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 18:51:55 +0200steew(~steew@user/steew)
2024-05-03 18:52:40 +0200notzmv(~daniel@user/notzmv)
2024-05-03 18:53:48 +0200destituion(~destituio@77.16.38.63.tmi.telenormobil.no) (Read error: Connection reset by peer)
2024-05-03 18:54:05 +0200destituion(~destituio@2001:4644:c37:0:6086:64f4:a213:b80d)
2024-05-03 18:55:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 18:55:59 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 18:56:00 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-05-03 18:56:27 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 18:56:27 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:00:12 +0200euleritian(~euleritia@dynamic-176-006-200-148.176.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-05-03 19:00:14 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:00:21 +0200euleritian(~euleritia@dynamic-176-006-003-012.176.6.pool.telefonica.de)
2024-05-03 19:01:22 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:02:09 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-05-03 19:02:13 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:02:30 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:02:34 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-05-03 19:03:33 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-05-03 19:04:16 +0200cstml(~cstml@user/cstml) (Ping timeout: 246 seconds)
2024-05-03 19:04:48 +0200euleritian(~euleritia@dynamic-176-006-003-012.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-05-03 19:04:54 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:05:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-03 19:06:20 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:06:53 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 240 seconds)
2024-05-03 19:07:37 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2024-05-03 19:08:51 +0200kupi(uid212005@id-212005.hampstead.irccloud.com)
2024-05-03 19:09:50 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:10:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:10:15 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-05-03 19:10:43 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:11:02 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:11:42 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:11:43 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:14:42 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:15:59 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-03 19:16:21 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds)
2024-05-03 19:16:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:17:15 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:17:21 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-03 19:17:39 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:18:36 +0200euleritian(~euleritia@dynamic-176-006-018-180.176.6.pool.telefonica.de)
2024-05-03 19:20:18 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:21:21 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:23:29 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:23:29 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:24:58 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:25:20 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds)
2024-05-03 19:26:18 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:27:55 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-03 19:28:55 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:29:29 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:29:58 +0200califax(~califax@user/califx)
2024-05-03 19:30:34 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:31:26 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:31:55 +0200euleritian(~euleritia@dynamic-176-006-018-180.176.6.pool.telefonica.de) (Ping timeout: 246 seconds)
2024-05-03 19:34:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-03 19:34:46 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:35:08 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:35:28 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:36:36 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:37:36 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-03 19:39:10 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
2024-05-03 19:39:54 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:41:22 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:41:33 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:41:57 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:44:34 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:46:34 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:47:37 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:47:59 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:50:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:50:42 +0200Square(~Square@user/square)
2024-05-03 19:51:35 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:53:08 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:53:56 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:54:33 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:55:18 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 19:55:18 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:55:47 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-03 19:56:28 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 19:56:28 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-03 19:57:21 +0200 <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 19:58:05 +0200 <raehik> Oh wait, self-answer. cabal freeze appears to do it!
2024-05-03 19:58:19 +0200 <tomsmeding> raehik: you can also check the contents of dist-newstyle/cache/plan.json
2024-05-03 19:58:39 +0200 <raehik> ooh I've never looked in there. cheers tomsmeding
2024-05-03 19:58:48 +0200 <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 19:59:12 +0200 <tomsmeding> ('cabal-plan dot' gives you a graphviz dot graph of your dep graph)
2024-05-03 19:59:27 +0200 <tomsmeding> (warning: that graph is large)
2024-05-03 19:59:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-03 19:59:58 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:00:15 +0200target_i(~target_i@user/target-i/x-6023099)
2024-05-03 20:00:40 +0200 <glguy> "cabal-plan tred" can be pretty handy
2024-05-03 20:01:23 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:02:47 +0200 <raehik> super! cabal-plan tred has extremely concise understandable output
2024-05-03 20:05:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:05:33 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer)
2024-05-03 20:06:09 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-05-03 20:06:16 +0200michalz(~michalz@185.246.207.197)
2024-05-03 20:06:36 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:07:25 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds)
2024-05-03 20:08:44 +0200nurupo(~nurupo.ga@user/nurupo) (Quit: nurupo.ga)
2024-05-03 20:09:01 +0200nurupo(~nurupo.ga@user/nurupo)
2024-05-03 20:09:46 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:11:23 +0200 <monochrom> I need to write my own json formatter. :)
2024-05-03 20:11:44 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:11:50 +0200 <monochrom> Actually that's just egotism. I should just use an existing one.
2024-05-03 20:13:05 +0200 <monochrom> (I need a json formatter for all sorts of json-using things, not just cabal's plan file.)
2024-05-03 20:13:49 +0200 <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 20:15:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:16:32 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:17:34 +0200euleritian(~euleritia@87.79.39.180)
2024-05-03 20:19:48 +0200euleritian(~euleritia@87.79.39.180) (Read error: Connection reset by peer)
2024-05-03 20:20:05 +0200euleritian(~euleritia@87.79.39.180)
2024-05-03 20:20:30 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:20:42 +0200 <tomsmeding> monochrom: why not?
2024-05-03 20:21:21 +0200tomsmedingjust :%!jq .<cr> in vim but that's 1% effort 80% reward
2024-05-03 20:21:34 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:21:34 +0200euleritian(~euleritia@87.79.39.180) (Read error: Connection reset by peer)
2024-05-03 20:21:41 +0200euleritian(~euleritia@87.79.39.180)
2024-05-03 20:22:03 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-05-03 20:23:03 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-05-03 20:23:03 +0200euleritian(~euleritia@87.79.39.180) (Read error: Connection reset by peer)
2024-05-03 20:23:10 +0200euleritian(~euleritia@87.79.39.180)
2024-05-03 20:25:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:27:52 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:30:18 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:31:30 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:34:30 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:37:59 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:40:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:40:32 +0200JimL(~quassel@89.162.16.26) (Quit: No Ping reply in 180 seconds.)
2024-05-03 20:42:05 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:44:14 +0200JimL(~quassel@89.162.16.26)
2024-05-03 20:44:18 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:46:33 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:47:40 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-03 20:49:54 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:49:54 +0200euleritian(~euleritia@87.79.39.180) (Read error: Connection reset by peer)
2024-05-03 20:51:32 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 20:53:35 +0200euleritian(~euleritia@dynamic-176-006-006-109.176.6.pool.telefonica.de)
2024-05-03 20:53:55 +0200euleritian(~euleritia@dynamic-176-006-006-109.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-03 20:54:13 +0200euleritian(~euleritia@87.79.39.180)
2024-05-03 20:54:31 +0200pavonia(~user@user/siracusa)
2024-05-03 20:54:34 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 20:56:28 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:00:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:00:59 +0200euleritian(~euleritia@87.79.39.180) (Ping timeout: 260 seconds)
2024-05-03 21:01:25 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:05:18 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:05:44 +0200 <erty> Has anybody tried running AI code on GPU using Haskell libraries (eg. Accelerate)
2024-05-03 21:05:48 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-03 21:05:51 +0200 <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 21:06:20 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:06:48 +0200 <erty> Can somebody link me to some updated haskell project that use AI
2024-05-03 21:09:58 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:11:05 +0200 <tomsmeding> erty: try putting this in cabal.project https://paste.tomsmeding.com/lzv5ZgHN
2024-05-03 21:11:16 +0200 <tomsmeding> that gives you LLVM 15 support in accelerate
2024-05-03 21:11:27 +0200 <tomsmeding> newer LLVM versions are unfortunately not supported yet
2024-05-03 21:12:43 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:13:19 +0200 <erty> ok i'll try
2024-05-03 21:13:45 +0200 <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 21:14:07 +0200euleritian(~euleritia@87.79.39.180)
2024-05-03 21:14:20 +0200 <raehik> e.g. class TShow a where tshowsPrec :: Int -> a -> TextBuilder
2024-05-03 21:14:27 +0200tomsmedinghas seen https://hackage.haskell.org/package/text-builder-linear and found it interesting, but not used yet
2024-05-03 21:15:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:17:52 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:19:09 +0200mechap(~mechap@user/mechap)
2024-05-03 21:20:10 +0200 <raehik> oh excellent good find tomsmeding
2024-05-03 21:20:14 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:22:17 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:24:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:25:06 +0200 <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 21:25:44 +0200 <geekosaur> yes, I'd expect that
2024-05-03 21:25:57 +0200 <Hecate> raehik: text-display will use the text-builder-linear in the future
2024-05-03 21:26:07 +0200 <Hecate> https://flora.pm/packages/@hackage/text-display
2024-05-03 21:26:20 +0200 <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 21:26:28 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:28:05 +0200mechap(~mechap@user/mechap) (WeeChat 4.2.2)
2024-05-03 21:28:38 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-03 21:29:35 +0200 <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 21:30:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:31:23 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:31:49 +0200 <raehik> Hecate: ty ty! is text-display otherwise similar design to text-show (same builder, similar instances)?
2024-05-03 21:34:42 +0200 <raehik> (that reminds me I still need to shift mt19937 over to the haskell-cryptography org!)
2024-05-03 21:35:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:36:30 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:37:13 +0200 <Hecate> raehik: hmm for base types probaby yes. It gives you more end user-oriented facilities to produce instances however
2024-05-03 21:37:49 +0200euphores(~SASL_euph@user/euphores)
2024-05-03 21:39:50 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:39:54 +0200 <raehik> fab. time to spam text-builder-linear every chance I get
2024-05-03 21:41:20 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:41:56 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 21:43:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-03 21:43:58 +0200kilolympus(~kilolympu@31.205.200.246) (Read error: Connection reset by peer)
2024-05-03 21:44:53 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-05-03 21:44:58 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:45:06 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 21:45:57 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-05-03 21:46:36 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 21:47:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:48:33 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2024-05-03 21:50:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:50:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-03 21:51:17 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-05-03 21:51:20 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-03 21:51:32 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:54:46 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 21:57:02 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 21:58:36 +0200kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-03 22:00:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:02:12 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:04:34 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:06:27 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:09:42 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:11:26 +0200 <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 22:11:32 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:12:11 +0200causal(~eric@50.35.88.207)
2024-05-03 22:14:50 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:16:52 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-03 22:17:44 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:19:34 +0200 <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 22:19:58 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:21:24 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:21:27 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 22:21:52 +0200 <raehik> thanks tomsmeding , that consumes one of the constructors I was curious about
2024-05-03 22:22:55 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-03 22:25:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:25:24 +0200 <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 22:26:01 +0200 <tomsmeding> still doesn't seem like the whole set yet
2024-05-03 22:26:10 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-05-03 22:26:38 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:28:24 +0200 <raehik> maybe I can do this with generics instead and avoid all this
2024-05-03 22:28:56 +0200 <tomsmeding> typeable always feels like an "I give up" solution to me
2024-05-03 22:29:29 +0200 <raehik> hahaha I've always avoided it in my own code, had a similar feeling
2024-05-03 22:29:30 +0200 <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 22:30:06 +0200 <raehik> I've love my generics :)) been spamming /r/haskell with them lately
2024-05-03 22:30:14 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:30:17 +0200 <tomsmeding> in that case, go right out :)
2024-05-03 22:33:45 +0200 <monochrom> But generics examines terms not types...
2024-05-03 22:34:28 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:34:28 +0200 <tomsmeding> monochrom: examining a TypeRep gives you a value-level witness for a type
2024-05-03 22:34:41 +0200 <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 22:34:43 +0200 <tomsmeding> you can do the same with generics if you specify the subset of types that you want to support
2024-05-03 22:34:57 +0200 <monochrom> Oh, that. :(
2024-05-03 22:35:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:35:27 +0200 <tomsmeding> though I feel that you don't need generics for this
2024-05-03 22:35:37 +0200 <tomsmeding> a simple type class with instances for the shapes you want to support should be enough
2024-05-03 22:35:42 +0200 <tomsmeding> raehik: ^
2024-05-03 22:36:01 +0200 <EvanR> you mean, don't go through Typeable at all
2024-05-03 22:36:35 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:36:38 +0200 <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 22:36:40 +0200 <tomsmeding> EvanR: I mean, they were running against TypeRep not being inspectable so they were looking into alternatives
2024-05-03 22:37:07 +0200 <EvanR> basically make your own TypeRep-like thing which can be rendered as Text directly
2024-05-03 22:37:25 +0200 <monochrom> Oh haha here is another idea for my unification plan and it is why "Maybe [T]" can make sense.
2024-05-03 22:38:04 +0200 <tomsmeding> raehik: oh that's right, Generic talks about monomorphic types
2024-05-03 22:40:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:40:16 +0200 <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 22:40:42 +0200 <tomsmeding> monochrom: is this for diffing
2024-05-03 22:40:51 +0200 <raehik> tomsmeding: haha rats. perhaps I'm stuck with Typeable if I want to print the TypeRep of a data type
2024-05-03 22:40:58 +0200 <monochrom> Yeah.
2024-05-03 22:41:03 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 22:41:07 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-05-03 22:41:17 +0200 <tomsmeding> @hackage hdiff
2024-05-03 22:41:17 +0200 <lambdabot> https://hackage.haskell.org/package/hdiff
2024-05-03 22:42:08 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-05-03 22:43:13 +0200 <tomsmeding> (good luck wading through the types there)
2024-05-03 22:44:19 +0200agent314_(~quassel@169.150.252.111)
2024-05-03 22:44:22 +0200agent314(~quassel@185.102.218.105.adsl.inet-telecom.org) (Ping timeout: 268 seconds)
2024-05-03 22:45:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:45:47 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 22:46:52 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-03 22:46:56 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:47:32 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-03 22:47:34 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-03 22:49:21 +0200causal(~eric@50.35.88.207)
2024-05-03 22:51:25 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 22:54:30 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 22:57:15 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:00:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:01:32 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:04:46 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:06:23 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:10:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:12:03 +0200cheater(~Username@user/cheater)
2024-05-03 23:12:08 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:15:02 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:16:54 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-05-03 23:18:53 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-03 23:19:25 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:19:42 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:22:52 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:24:50 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:27:52 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:29:30 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:33:10 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:35:34 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:37:49 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:38:42 +0200erty(~user@user/aeroplane) (Ping timeout: 255 seconds)
2024-05-03 23:39:46 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:41:06 +0200AlexZenon(~alzenon@178.34.162.113) (Ping timeout: 268 seconds)
2024-05-03 23:42:53 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:42:55 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-05-03 23:45:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:45:53 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-03 23:46:37 +0200AlexZenon(~alzenon@178.34.162.113)
2024-05-03 23:47:13 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:49:34 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:52:41 +0200michalz(~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-03 23:54:19 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:54:42 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-03 23:56:29 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-03 23:59:50 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)