Logs on 2024-02-26 (liberachat/#haskell)
| 00:01:00 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 00:01:01 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 00:01:48 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:05:03 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:05:21 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 00:06:09 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 00:06:51 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Changing host) |
| 00:06:51 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 00:09:00 | → | rvalue joins (~rvalue@user/rvalue) |
| 00:09:29 | × | infinity0 quits (~infinity0@pwned.gg) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 00:09:39 | → | infinity0 joins (~infinity0@pwned.gg) |
| 00:10:27 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 00:13:26 | → | infinity0_ joins (~infinity0@pwned.gg) |
| 00:13:26 | infinity0 | is now known as Guest3089 |
| 00:13:26 | × | Guest3089 quits (~infinity0@pwned.gg) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 00:13:26 | infinity0_ | is now known as infinity0 |
| 00:15:52 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 00:19:01 | × | Unode quits (~Unode@fg-ext-220.embl.de) (Quit: Not that cable) |
| 00:19:43 | → | Unode joins (~Unode@fg-ext-220.embl.de) |
| 00:24:51 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 00:25:41 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 00:26:16 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 00:42:19 | <jackdk> | Heffalump: how does the indirect dependency misbehave? If you aren't depending on it already, you could raise a bug against the direct dependency and they can exclude the broken versions of the indirect dependency |
| 00:46:04 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 01:04:59 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:07:01 | × | iteratee_ quits (~kyle@162.218.222.207) (Ping timeout: 264 seconds) |
| 01:09:19 | → | iteratee joins (~kyle@162.218.222.207) |
| 01:12:27 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:16:01 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 01:19:24 | × | cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:19:49 | × | euleritian quits (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 01:20:07 | → | euleritian joins (~euleritia@77.22.252.56) |
| 01:20:29 | → | cptaffe joins (~cptaffe@2600:1700:f08:111f::18e7) |
| 01:23:43 | × | cptaffe quits (~cptaffe@2600:1700:f08:111f::18e7) (Changing host) |
| 01:23:43 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 01:40:03 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 01:52:32 | × | cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:52:52 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 01:53:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 01:54:31 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 02:22:47 | × | falafel quits (~falafel@wsip-98-160-52-184.dc.dc.cox.net) (Ping timeout: 264 seconds) |
| 02:30:11 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 02:45:38 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 02:46:20 | → | califax joins (~califax@user/califx) |
| 02:58:35 | × | otto_s quits (~user@p5b04471c.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 03:00:04 | → | otto_s joins (~user@p5de2f973.dip0.t-ipconnect.de) |
| 03:15:59 | × | td_ quits (~td@i53870917.versanet.de) (Ping timeout: 256 seconds) |
| 03:17:34 | → | td_ joins (~td@i53870919.versanet.de) |
| 03:44:52 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 03:45:22 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 03:46:26 | × | lbseale quits (~quassel@user/ep1ctetus) (Client Quit) |
| 03:47:22 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 03:57:07 | → | mud joins (~mud@user/kadoban) |
| 04:30:52 | × | jargon quits (~jargon@53.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 04:31:23 | → | aforemny_ joins (~aforemny@i59F516D2.versanet.de) |
| 04:32:49 | × | aforemny quits (~aforemny@2001:9e8:6ce6:e500:e763:b68f:f774:77ed) (Ping timeout: 264 seconds) |
| 04:59:41 | → | igemnace joins (~ian@user/igemnace) |
| 05:12:55 | → | falafel joins (~falafel@wsip-98-160-52-184.dc.dc.cox.net) |
| 05:17:18 | × | falafel quits (~falafel@wsip-98-160-52-184.dc.dc.cox.net) (Ping timeout: 256 seconds) |
| 05:22:53 | → | falafel joins (~falafel@wsip-98-160-52-184.dc.dc.cox.net) |
| 05:23:44 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:35:18 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 05:37:19 | × | falafel quits (~falafel@wsip-98-160-52-184.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 05:52:14 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 05:52:28 | → | euphores joins (~SASL_euph@user/euphores) |
| 06:01:35 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 06:01:39 | → | rvalue joins (~rvalue@user/rvalue) |
| 06:04:20 | × | mulk quits (~mulk@pd95140bb.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 06:04:32 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 06:04:38 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 06:05:48 | → | mulk joins (~mulk@p5b2dcde6.dip0.t-ipconnect.de) |
| 06:08:33 | → | michalz joins (~michalz@185.246.207.221) |
| 06:15:47 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 06:17:27 | × | jle` quits (~jle`@2603-8001-3b02-84d4-04e3-9849-5dc8-0efb.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 06:22:24 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:23:54 | → | danza joins (~francesco@151.46.145.87) |
| 06:25:31 | → | zetef joins (~quassel@95.77.17.251) |
| 06:29:13 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 06:29:28 | × | michalz quits (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:32:16 | → | michalz joins (~michalz@185.246.207.203) |
| 06:34:45 | → | euleritian joins (~euleritia@dynamic-176-006-177-021.176.6.pool.telefonica.de) |
| 06:36:59 | → | acidjnk joins (~acidjnk@p200300d6e737e71009ef641bbbea6816.dip0.t-ipconnect.de) |
| 06:37:43 | × | krei-se quits (~krei-se@p5085d2ec.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 06:39:51 | → | krei-se joins (~krei-se@p57af21c9.dip0.t-ipconnect.de) |
| 06:52:13 | × | zetef quits (~quassel@95.77.17.251) (Remote host closed the connection) |
| 06:53:07 | × | danza quits (~francesco@151.46.145.87) (Ping timeout: 255 seconds) |
| 06:56:14 | → | danza joins (~francesco@151.46.145.87) |
| 07:02:41 | × | danza quits (~francesco@151.46.145.87) (Ping timeout: 268 seconds) |
| 07:03:19 | → | derpyxdhs joins (~Thunderbi@user/derpyxdhs) |
| 07:17:09 | × | derpyxdhs quits (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 07:25:13 | → | jle` joins (~jle`@2603-8001-3b02-84d4-8b39-d799-f0be-0041.res6.spectrum.com) |
| 07:35:41 | × | cods quits (~fred@tuxee.net) (Ping timeout: 240 seconds) |
| 07:40:38 | → | danse-nr3 joins (~danse@151.46.145.87) |
| 07:46:29 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 07:51:47 | × | euleritian quits (~euleritia@dynamic-176-006-177-021.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:52:05 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:56:40 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 07:57:59 | → | CiaoSen joins (~Jura@2a05:5800:2d2:5200:e6b9:7aff:fe80:3d03) |
| 08:01:10 | × | CiaoSen quits (~Jura@2a05:5800:2d2:5200:e6b9:7aff:fe80:3d03) (Client Quit) |
| 08:03:09 | × | sroso quits (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 08:05:25 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:06:11 | → | sroso joins (~sroso@user/SrOso) |
| 08:06:31 | × | sroso quits (~sroso@user/SrOso) (Max SendQ exceeded) |
| 08:09:26 | → | CiaoSen joins (~Jura@2a05:5800:2d2:5200:e6b9:7aff:fe80:3d03) |
| 08:11:04 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 08:11:13 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Client Quit) |
| 08:11:57 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 08:12:29 | → | sroso joins (~sroso@user/SrOso) |
| 08:14:08 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Client Quit) |
| 08:15:29 | → | Square3 joins (~Square4@user/square) |
| 08:18:04 | × | sroso quits (~sroso@user/SrOso) (Max SendQ exceeded) |
| 08:18:45 | → | sroso joins (~sroso@user/SrOso) |
| 08:19:34 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 08:24:59 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:26:21 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 08:33:07 | × | tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 08:36:25 | × | AlexZenon quits (~alzenon@178.34.161.13) (Ping timeout: 268 seconds) |
| 08:39:57 | → | AlexZenon joins (~alzenon@178.34.161.13) |
| 08:42:48 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:50:02 | × | danse-nr3 quits (~danse@151.46.145.87) (Read error: Connection reset by peer) |
| 08:50:11 | → | danse-nr3 joins (~danse@151.46.145.87) |
| 08:50:21 | → | chele joins (~chele@user/chele) |
| 08:50:47 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:58:27 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:59:58 | → | dhil joins (~dhil@2001:8e0:2014:3100:df13:322c:fb9d:5ab4) |
| 09:07:51 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 09:14:54 | → | gmg joins (~user@user/gehmehgeh) |
| 09:20:46 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 09:30:02 | × | danse-nr3 quits (~danse@151.46.145.87) (Ping timeout: 256 seconds) |
| 09:34:41 | → | danse-nr3 joins (~danse@151.46.145.87) |
| 09:40:15 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 09:46:50 | <[exa]> | with attoparsec, are there any considerations on whether it's better to feed it ByteStrings and parse out Text (via decoding after the bytestrings are parsed), or feed it Text directly (and avoid decoding) ? My main concern is streaming btw, the "Text to Text" way sounds less painful but I'm not really sure how nice the Text streaming will be when faced with the usual OS routines down below. |
| 09:47:03 | <[exa]> | (or maybe are there good ways to stream Text over?) |
| 09:52:13 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 09:55:21 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 10:04:28 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 10:06:29 | → | euleritian joins (~euleritia@dynamic-176-006-177-021.176.6.pool.telefonica.de) |
| 10:11:01 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 10:15:30 | × | ft quits (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 10:15:51 | → | __monty__ joins (~toonn@user/toonn) |
| 10:19:37 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 10:24:08 | × | danse-nr3 quits (~danse@151.46.145.87) (Read error: Connection reset by peer) |
| 10:25:10 | → | danse-nr3 joins (~danse@an-19-183-109.service.infuturo.it) |
| 10:27:08 | → | oneeyedalien_ joins (~oneeyedal@user/oneeyedalien) |
| 10:27:39 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:29:32 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Ping timeout: 256 seconds) |
| 10:29:32 | × | oneeyedalien_ quits (~oneeyedal@user/oneeyedalien) (Max SendQ exceeded) |
| 10:30:37 | → | oneeyedalien_ joins (~oneeyedal@user/oneeyedalien) |
| 10:32:14 | → | Guest|29 joins (~Guest|29@ip14.net188.gcetech.net) |
| 10:33:06 | × | oneeyedalien_ quits (~oneeyedal@user/oneeyedalien) (Max SendQ exceeded) |
| 10:34:36 | → | oneeyedalien_ joins (~oneeyedal@user/oneeyedalien) |
| 10:34:41 | × | Guest|29 quits (~Guest|29@ip14.net188.gcetech.net) (Client Quit) |
| 10:35:52 | → | terrorjack0 joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 10:36:27 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Read error: Connection reset by peer) |
| 10:36:27 | terrorjack0 | is now known as terrorjack |
| 10:48:08 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:52:56 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 10:57:35 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 10:59:52 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 11:06:03 | → | euphores joins (~SASL_euph@user/euphores) |
| 11:11:28 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 11:24:02 | × | m1dnight quits (~christoph@82.146.125.185) (Read error: Connection reset by peer) |
| 11:25:38 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 11:28:15 | × | CiaoSen quits (~Jura@2a05:5800:2d2:5200:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 11:28:33 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 11:29:45 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:29:54 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 11:31:17 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:58:18 | × | tinjamin quits (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 11:59:23 | → | tinjamin joins (~tinjamin@banshee.h4x0r.space) |
| 12:03:27 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:21:59 | → | m1dnight joins (~christoph@82.146.125.185) |
| 12:35:27 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:41:03 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 12:44:37 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 246 seconds) |
| 12:47:26 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 12:55:26 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 12:56:27 | × | danse-nr3 quits (~danse@an-19-183-109.service.infuturo.it) (Ping timeout: 260 seconds) |
| 12:59:30 | → | igemnace joins (~ian@user/igemnace) |
| 13:01:00 | → | ph88^ joins (~ph88@2a02:8109:9e26:c800:2cd7:67c0:6f0d:1576) |
| 13:01:44 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 13:11:59 | → | tt1231 joins (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 13:28:59 | → | danse-nr3 joins (~danse@fi-19-195-7.service.infuturo.it) |
| 13:32:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:59:54 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 14:02:19 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 14:02:20 | × | oneeyedalien_ quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 14:02:27 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 14:13:31 | → | alexherbo2 joins (~alexherbo@2a02-8440-3240-639d-a89a-d073-d096-7587.rev.sfr.net) |
| 14:14:30 | → | thegeekinside joins (~thegeekin@189.217.83.221) |
| 14:20:29 | <dmj`> | If Haskell98 doesn't allow RankNTypes, how were typeclasses implemented back in the day (dictionary passing wouldn't have been viable, since it requires a least rank 2 types). Just static monomorphization? |
| 14:22:12 | <EvanR> | dictionary passing requires rank 2 types? |
| 14:23:02 | <EvanR> | didn't think core had rank 2 types |
| 14:28:54 | <dmj`> | data Monad m = Monad { return :: a -> m a, ... } needs the forall a. |
| 14:33:54 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 14:33:56 | <opqdonut> | good question, I'd never thought of that |
| 14:34:19 | <opqdonut> | all the dictionary passing examples don't have polymorphism like that, they're something boring like Eq or Show |
| 14:35:25 | <ncf> | presumably there's no obstruction to having rank-n types in your core language, since there's no type inference needed there? |
| 14:37:33 | <lortabac> | Core is based on System-F, it has first-class polymorphism |
| 14:39:04 | <ncf> | *nod* |
| 14:39:22 | <lortabac> | besides rank-n types, it also allows the parameter of a polymorphic signature to be itself polymorphic |
| 14:40:06 | <lortabac> | which is something that I don't think Haskell supports fully (even with ImpredicativeTypes) |
| 14:41:09 | <dmj`> | but haskell98 didn't have core w/ system-f (or did it?), I'd imagine it was just HM + class constraints (lambda bound args are forced to be monomorphic making TC decidable) |
| 14:41:31 | <lortabac> | Core has always been based on System-F as far as I know |
| 14:42:02 | <lortabac> | otherwise implementing type-classes such as Monad would have been impossible I guess |
| 14:42:04 | <ncf> | haskell98 never had Core because Core is an implementation detail of GHC? |
| 14:42:48 | <ncf> | i don't think the standard says anything about dictionary passing |
| 14:43:49 | <lortabac> | ncf: good point |
| 14:44:29 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 14:46:24 | <lortabac> | ncf: yes, Core doesn't have inference, so it can support a more powerful type system |
| 14:46:59 | <dmj`> | I guess its possible core was always system f yet the surface syntax (h98) disallowed rank n types |
| 14:49:13 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 14:49:59 | × | euleritian quits (~euleritia@dynamic-176-006-177-021.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 14:53:10 | <dmj`> | wonder if it also has to do with the fact ghc is an incremental compiler and static monomorphization (the alternative to dictionary passing) wouldn't be possible |
| 14:53:33 | × | AlexZenon quits (~alzenon@178.34.161.13) (Ping timeout: 256 seconds) |
| 14:53:48 | × | AlexNoo quits (~AlexNoo@178.34.161.13) (Ping timeout: 260 seconds) |
| 14:56:05 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:56:43 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 14:58:14 | <lortabac> | I suppose that was an important factor in the choice of the implementation |
| 15:10:55 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 15:11:59 | → | ystael joins (~ystael@user/ystael) |
| 15:13:02 | <dmj`> | yea, if you don't pass the dictionary you /have/ to inline (I think), and that requires source from dependencies that wouldn't be available, unless its all in the .hi files |
| 15:15:24 | × | lg188 quits (~lg188@82.18.98.230) (Quit: Bye.) |
| 15:16:32 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 15:18:55 | → | euleritian joins (~euleritia@dynamic-176-006-177-021.176.6.pool.telefonica.de) |
| 15:20:02 | → | lg188 joins (~lg188@82.18.98.230) |
| 15:26:56 | <lortabac> | dmj`: there is something else too. I think some more advanced features would be hard to express with monomorphization |
| 15:27:28 | <dmj`> | lortabac: polymorphic recursion is the only other one, assuming you're sticking to haskell98 only |
| 15:29:24 | <lortabac> | not Haskell 98, I was thinking of rank-n constraints |
| 15:30:11 | <lortabac> | the choice of monomorphization would have made future developments harder |
| 15:31:09 | <lortabac> | or things like abstracting on the type-class itself |
| 15:31:37 | <lortabac> | forall c a. c a => ... |
| 15:32:20 | <lortabac> | I don't know C++ well enough to be able to say whether this is possible with monomorphization :) |
| 15:33:47 | <dmj`> | pretty sure C++ template instantiation happens before TC'ing so you can generate malformed code, whereas rust its post type-checking, but the concepts are related |
| 15:34:51 | <dmj`> | yea it makes me wonder if rank n types were done out of necessity to handle dictionary passing, and then it became a hammer applied to other nails, like ST, existentials leading to exceptions |
| 15:36:14 | <lortabac> | dmj`: the paper explains the motivations |
| 15:36:40 | <lortabac> | and yes, one of the examples is about doing explicit dictionary passing in Haskell |
| 15:37:55 | <lortabac> | https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/putting.pdf?from=https://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/putting.pdf&type=exact |
| 15:38:49 | <dmj`> | yea that's the paper I'm looking at, hence why I asked |
| 15:42:02 | <dmj`> | I guess polymorphic recursion keeps things undecidable even w/o rank n types |
| 15:52:19 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 15:58:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:00:43 | kawzeg_ | is now known as kawzeg |
| 16:04:34 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 16:05:20 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 16:05:43 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 16:06:36 | × | danse-nr3 quits (~danse@fi-19-195-7.service.infuturo.it) (Ping timeout: 255 seconds) |
| 16:07:13 | × | alexherbo2 quits (~alexherbo@2a02-8440-3240-639d-a89a-d073-d096-7587.rev.sfr.net) (Remote host closed the connection) |
| 16:07:33 | → | alexherbo2 joins (~alexherbo@2a02-8440-3240-639d-a89a-d073-d096-7587.rev.sfr.net) |
| 16:13:52 | → | mud joins (~mud@user/kadoban) |
| 16:16:05 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 16:26:15 | → | tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 16:30:00 | → | danza joins (~francesco@fi-19-195-7.service.infuturo.it) |
| 16:35:28 | × | euleritian quits (~euleritia@dynamic-176-006-177-021.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:35:45 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:36:17 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 16:38:35 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 16:39:35 | × | danza quits (~francesco@fi-19-195-7.service.infuturo.it) (Ping timeout: 264 seconds) |
| 16:41:17 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 272 seconds) |
| 16:41:22 | × | alexherbo2 quits (~alexherbo@2a02-8440-3240-639d-a89a-d073-d096-7587.rev.sfr.net) (Remote host closed the connection) |
| 16:41:55 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 16:42:34 | → | alexherbo2 joins (~alexherbo@219.13.23.93.rev.sfr.net) |
| 16:49:48 | × | jle` quits (~jle`@2603-8001-3b02-84d4-8b39-d799-f0be-0041.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 16:50:40 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 16:51:37 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 17:01:57 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 255 seconds) |
| 17:03:07 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:06:56 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 17:07:04 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit) |
| 17:07:19 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:09:40 | → | sadie-sorceress joins (~sadie-sor@199.96.191.158) |
| 17:13:41 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 17:19:01 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:19:04 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:19:55 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 17:20:48 | → | euleritian joins (~euleritia@dynamic-176-006-177-021.176.6.pool.telefonica.de) |
| 17:20:53 | → | AlexNoo joins (~AlexNoo@5.139.232.115) |
| 17:21:49 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 17:24:37 | → | AlexZenon joins (~alzenon@5.139.232.115) |
| 17:27:07 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:28:40 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 17:39:30 | × | alexherbo2 quits (~alexherbo@219.13.23.93.rev.sfr.net) (Ping timeout: 250 seconds) |
| 17:43:33 | × | euleritian quits (~euleritia@dynamic-176-006-177-021.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 17:47:47 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 17:48:41 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 17:52:08 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 17:52:11 | → | rscastilho2024 joins (rscastilho@179.221.142.47) |
| 17:52:31 | × | rscastilho2024 quits (rscastilho@179.221.142.47) (Remote host closed the connection) |
| 17:54:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:54:09 | → | benkard joins (~mulk@pd9514745.dip0.t-ipconnect.de) |
| 17:54:36 | × | mulk quits (~mulk@p5b2dcde6.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 17:54:36 | benkard | is now known as mulk |
| 18:00:33 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:02:27 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:02:54 | → | pyooque joins (~puke@user/puke) |
| 18:02:54 | × | puke quits (~puke@user/puke) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 18:02:54 | pyooque | is now known as puke |
| 18:03:29 | → | Square2 joins (~Square4@user/square) |
| 18:03:53 | → | connrs_ joins (~connrs@user/connrs) |
| 18:03:56 | → | guygastineau joins (~guygastin@137.184.131.156) |
| 18:04:25 | → | remedan_ joins (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 18:06:32 | → | Ttech joins (~adran@botters/adran) |
| 18:06:46 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 18:06:54 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:d30c:4575:4277:ae30) |
| 18:07:06 | → | tessier_ joins (~treed@ip72-220-57-194.sd.sd.cox.net) |
| 18:10:59 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 18:10:59 | → | isovector joins (~isovector@172.103.235.56.cable.tpia.cipherkey.com) |
| 18:11:19 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (*.net *.split) |
| 18:11:19 | × | Square3 quits (~Square4@user/square) (*.net *.split) |
| 18:11:19 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 18:11:19 | × | td_ quits (~td@i53870919.versanet.de) (*.net *.split) |
| 18:11:19 | × | myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (*.net *.split) |
| 18:11:19 | × | cheater quits (~Username@user/cheater) (*.net *.split) |
| 18:11:19 | × | arahael quits (~arahael@119-18-0-146.771200.syd.nbn.aussiebb.net) (*.net *.split) |
| 18:11:19 | × | tessier quits (~treed@ip72-220-57-194.sd.sd.cox.net) (*.net *.split) |
| 18:11:19 | × | FragByte quits (~christian@user/fragbyte) (*.net *.split) |
| 18:11:19 | × | tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split) |
| 18:11:19 | × | monochrom quits (trebla@216.138.220.146) (*.net *.split) |
| 18:11:19 | × | xff0x quits (~xff0x@ai082039.d.east.v6connect.net) (*.net *.split) |
| 18:11:19 | × | connrs quits (~connrs@user/connrs) (*.net *.split) |
| 18:11:19 | × | xigua quits (~xigua@user/xigua) (*.net *.split) |
| 18:11:19 | × | troydm quits (~troydm@user/troydm) (*.net *.split) |
| 18:11:19 | × | pointlessslippe1 quits (~pointless@212.82.82.3) (*.net *.split) |
| 18:11:19 | × | jjhoo quits (jahakala@user/jjhoo) (*.net *.split) |
| 18:11:19 | × | kaskal- quits (~kaskal@2001:4bb8:2d2:2a03:3b9f:beb4:402d:c396) (*.net *.split) |
| 18:11:19 | × | heartburn quits (~gass@81.4.123.134) (*.net *.split) |
| 18:11:20 | × | tureba quits (~tureba@tureba.org) (*.net *.split) |
| 18:11:20 | × | Teacup quits (~teacup@user/teacup) (*.net *.split) |
| 18:11:20 | × | nshepper1 quits (~nshepperd@li364-218.members.linode.com) (*.net *.split) |
| 18:11:20 | × | myme quits (~myme@40.51-175-185.customer.lyse.net) (*.net *.split) |
| 18:11:20 | × | tolt quits (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 18:11:20 | × | Angelz quits (Angelz@user/angelz) (*.net *.split) |
| 18:11:20 | × | remedan quits (~remedan@ip-78-102-118-253.bb.vodafone.cz) (*.net *.split) |
| 18:11:20 | × | Adran quits (~adran@botters/adran) (*.net *.split) |
| 18:11:20 | × | Igloo quits (~ian@2001:8b0:645c::210) (*.net *.split) |
| 18:11:20 | × | vulpine quits (xfnw@tilde.team) (*.net *.split) |
| 18:11:20 | × | hadronized quits (~phaazon@2001:41d0:a:fe76::1) (*.net *.split) |
| 18:11:20 | × | RMSBach quits (~guygastin@137.184.131.156) (*.net *.split) |
| 18:11:20 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 18:11:20 | × | sm quits (~user@plaintextaccounting/sm) (*.net *.split) |
| 18:11:20 | × | mikko quits (~mikko@user/mikko) (*.net *.split) |
| 18:11:20 | connrs_ | is now known as connrs |
| 18:11:33 | <isovector> | is there any good means of desugaring arrow notation? |
| 18:11:34 | × | sadie-sorceress quits (~sadie-sor@199.96.191.158) (Ping timeout: 250 seconds) |
| 18:12:08 | → | jjhoo joins (~jahakala@user/jjhoo) |
| 18:12:38 | <isovector> | i've tried `overloaded`, which is unmaintained, and `arowp-qq` which doesn't seem to build anymore |
| 18:13:01 | <isovector> | and then i tried writing my own rewrite rules to get rid of the extraneous `arr` calls, but it seems wildly brittle |
| 18:14:43 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 18:16:45 | → | cheater joins (~Username@user/cheater) |
| 18:16:58 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 18:17:44 | → | myxos joins (~myxos@065-028-251-121.inf.spectrum.com) |
| 18:17:52 | → | xigua joins (~xigua@user/xigua) |
| 18:17:52 | → | monochrom joins (trebla@216.138.220.146) |
| 18:18:07 | → | kaskal joins (~kaskal@89.144.222.47) |
| 18:18:18 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 18:18:21 | → | troydm joins (~troydm@user/troydm) |
| 18:18:21 | → | sm joins (~user@plaintextaccounting/sm) |
| 18:18:30 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:18:34 | → | tureba joins (~tureba@tureba.org) |
| 18:18:44 | → | pointlessslippe1 joins (~pointless@212.82.82.3) |
| 18:19:08 | → | mikko joins (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) |
| 18:19:08 | × | mikko quits (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host) |
| 18:19:08 | → | mikko joins (~mikko@user/mikko) |
| 18:19:13 | → | sadie-sorceress joins (~sadie-sor@199.96.187.158) |
| 18:19:15 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 18:19:17 | → | 074AAOBEZ joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 18:19:17 | → | td_ joins (~td@i53870919.versanet.de) |
| 18:19:17 | → | 074AAN57D joins (~myxos@065-028-251-121.inf.spectrum.com) |
| 18:19:17 | → | FragByte joins (~christian@user/fragbyte) |
| 18:19:17 | → | kaskal- joins (~kaskal@2001:4bb8:2d2:2a03:3b9f:beb4:402d:c396) |
| 18:19:17 | → | heartburn joins (~gass@81.4.123.134) |
| 18:19:17 | → | Teacup joins (~teacup@user/teacup) |
| 18:19:17 | → | tolt joins (~weechat-h@li219-154.members.linode.com) |
| 18:19:17 | → | Angelz joins (Angelz@user/angelz) |
| 18:19:17 | → | Igloo joins (~ian@2001:8b0:645c::210) |
| 18:19:17 | → | hadronized joins (~phaazon@2001:41d0:a:fe76::1) |
| 18:19:22 | → | vulpine joins (xfnw@tilde.team) |
| 18:19:23 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 261 seconds) |
| 18:19:25 | → | myme joins (~myme@2a01:799:d5c:5f00:f6f:b4ff:687f:4faa) |
| 18:19:25 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 18:19:37 | × | 074AAN57D quits (~myxos@065-028-251-121.inf.spectrum.com) (Ping timeout: 264 seconds) |
| 18:19:37 | × | kaskal- quits (~kaskal@2001:4bb8:2d2:2a03:3b9f:beb4:402d:c396) (Ping timeout: 264 seconds) |
| 18:19:37 | × | hadronized quits (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 264 seconds) |
| 18:19:47 | × | 074AAOBEZ quits (~terrorjac@2a01:4f8:c17:87f8::) (Max SendQ exceeded) |
| 18:19:53 | → | phaazon joins (~phaazon@2001:41d0:a:fe76::1) |
| 18:20:49 | → | euleritian joins (~euleritia@dynamic-176-006-191-048.176.6.pool.telefonica.de) |
| 18:23:32 | → | target_i joins (~target_i@217.175.14.39) |
| 18:25:12 | × | euleritian quits (~euleritia@dynamic-176-006-191-048.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 18:29:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:30:05 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
| 18:33:33 | → | ft joins (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 18:35:07 | × | isovector quits (~isovector@172.103.235.56.cable.tpia.cipherkey.com) (Quit: Client closed) |
| 18:36:39 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:53:21 | → | euleritian joins (~euleritia@dynamic-176-006-178-248.176.6.pool.telefonica.de) |
| 18:55:54 | → | bontaq joins (~user@ool-45779c03.dyn.optonline.net) |
| 19:00:02 | → | leah2 joins (~leah@vuxu.org) |
| 19:08:46 | × | sadie-sorceress quits (~sadie-sor@199.96.187.158) (Ping timeout: 250 seconds) |
| 19:18:30 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:19:11 | → | sadie-sorceress joins (~sadie-sor@199.96.187.158) |
| 19:23:07 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 19:26:44 | → | jle` joins (~jle`@2603-8001-3b02-84d4-a02d-ef9e-4d2d-943a.res6.spectrum.com) |
| 19:33:35 | × | son0p quits (~ff@181.237.199.182) (Ping timeout: 260 seconds) |
| 19:33:56 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 19:35:04 | <Athas> | Is anyone familiar with a problem regarding a missing 'fpstring.h' header when building bytestring 0.12.1.0 on Windows? |
| 19:35:08 | → | Square joins (~Square@user/square) |
| 19:35:35 | × | tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Remote host closed the connection) |
| 19:35:51 | → | tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 19:36:12 | → | Etabeta1 joins (~Etabeta1@151.30.13.43) |
| 19:38:22 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 19:38:59 | × | Square2 quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 19:41:42 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 19:43:26 | × | sadie-sorceress quits (~sadie-sor@199.96.187.158) (Ping timeout: 250 seconds) |
| 19:44:20 | → | sadie-sorceress joins (~sadie-sor@199.96.187.158) |
| 19:47:10 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 19:49:41 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 19:51:41 | → | rvalue joins (~rvalue@user/rvalue) |
| 19:54:42 | × | sadie-sorceress quits (~sadie-sor@199.96.187.158) (Ping timeout: 250 seconds) |
| 20:05:41 | × | dhil quits (~dhil@2001:8e0:2014:3100:df13:322c:fb9d:5ab4) (Ping timeout: 240 seconds) |
| 20:09:20 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 20:09:49 | × | euleritian quits (~euleritia@dynamic-176-006-178-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 20:10:06 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 20:18:30 | → | sadie-sorceress joins (~sadie-sor@199.96.191.158) |
| 20:31:38 | → | Guest31 joins (~Guest31@2600-6c5a-67f0-2b40-7d60-793d-37f6-c936.inf6.spectrum.com) |
| 20:32:32 | × | Guest31 quits (~Guest31@2600-6c5a-67f0-2b40-7d60-793d-37f6-c936.inf6.spectrum.com) (Client Quit) |
| 20:34:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:35:10 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 20:36:08 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:40:12 | × | sadie-sorceress quits (~sadie-sor@199.96.191.158) (Ping timeout: 250 seconds) |
| 20:54:06 | × | mud quits (~mud@user/kadoban) (Remote host closed the connection) |
| 20:54:31 | → | mud joins (~mud@user/kadoban) |
| 20:54:51 | → | Guest18 joins (~Guest34@2409:40f2:121:6663:6c91:c80:e3e4:13e3) |
| 20:55:19 | × | Guest18 quits (~Guest34@2409:40f2:121:6663:6c91:c80:e3e4:13e3) (Client Quit) |
| 20:56:34 | → | alexherbo2 joins (~alexherbo@246.149.22.93.rev.sfr.net) |
| 21:08:54 | → | zetef joins (~quassel@95.77.17.251) |
| 21:09:30 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:13:41 | × | thegeekinside quits (~thegeekin@189.217.83.221) (Ping timeout: 268 seconds) |
| 21:16:09 | → | thegeekinside joins (~thegeekin@189.217.83.221) |
| 21:24:39 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 21:25:00 | → | zetef joins (~quassel@5.2.182.98) |
| 21:29:59 | × | zetef quits (~quassel@5.2.182.98) (Remote host closed the connection) |
| 21:30:39 | × | michalz quits (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:36:42 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:41:23 | → | jargon joins (~jargon@111.sub-174-205-228.myvzw.com) |
| 21:43:31 | → | son0p joins (~ff@152.202.59.136) |
| 21:50:01 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 21:54:55 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:56:17 | × | target_i quits (~target_i@217.175.14.39) (Quit: leaving) |
| 21:57:28 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:d30c:4575:4277:ae30) (Ping timeout: 256 seconds) |
| 21:59:13 | → | xff0x joins (~xff0x@ai082039.d.east.v6connect.net) |
| 22:15:38 | × | alexherbo2 quits (~alexherbo@246.149.22.93.rev.sfr.net) (Remote host closed the connection) |
| 22:15:58 | → | alexherbo2 joins (~alexherbo@2a02-8440-3240-083a-ccfc-4169-05b1-cd4d.rev.sfr.net) |
| 22:20:04 | × | Etabeta1 quits (~Etabeta1@151.30.13.43) (Changing host) |
| 22:20:04 | → | Etabeta1 joins (~Etabeta1@user/Etabeta1) |
| 22:22:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:28:59 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 22:30:46 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 22:31:06 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 22:31:20 | × | son0p quits (~ff@152.202.59.136) (Read error: Connection reset by peer) |
| 22:34:09 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:40:42 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 22:41:17 | × | Square quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 22:54:19 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 272 seconds) |
| 22:54:46 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 22:57:25 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:01:36 | × | tessier_ quits (~treed@ip72-220-57-194.sd.sd.cox.net) (Ping timeout: 268 seconds) |
| 23:03:12 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 23:17:02 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 23:17:07 | × | acidjnk quits (~acidjnk@p200300d6e737e71009ef641bbbea6816.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 23:17:09 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Client Quit) |
| 23:19:46 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 23:20:11 | jmcantrell | is now known as Guest692 |
| 23:20:11 | × | Guest692 quits (644f1bed9a@user/jmcantrell) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 23:20:11 | __jmcantrell__ | is now known as jmcantrell |
| 23:20:21 | → | jmcantrell_ joins (644f1bed9a@user/jmcantrell) |
| 23:40:30 | × | alexherbo2 quits (~alexherbo@2a02-8440-3240-083a-ccfc-4169-05b1-cd4d.rev.sfr.net) (Remote host closed the connection) |
| 23:41:33 | → | alexherbo2 joins (~alexherbo@246.149.22.93.rev.sfr.net) |
| 23:44:32 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
All times are in UTC on 2024-02-26.