2023-05-04 00:03:14 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 00:05:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-05-04 00:08:48 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-05-04 00:13:08 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
2023-05-04 00:13:31 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
2023-05-04 00:15:54 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-05-04 00:25:48 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-04 00:29:56 +0200 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
2023-05-04 00:30:08 +0200 | acidjnk | (~acidjnk@p200300d6e715c489a51f576992b701b7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-05-04 00:30:11 +0200 | repair | (~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) |
2023-05-04 00:40:10 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-05-04 00:44:08 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 268 seconds) |
2023-05-04 00:46:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 00:48:51 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-05-04 00:48:51 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-05-04 00:48:51 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-05-04 00:51:46 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-05-04 00:54:00 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2023-05-04 00:54:14 +0200 | foul_owl | (~kerry@71.212.137.212) |
2023-05-04 00:54:17 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 00:55:15 +0200 | EvilGry | (~quassel@botters/gry) |
2023-05-04 00:55:35 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 00:58:06 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 00:58:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-05-04 00:59:18 +0200 | gry | (st@botters/gry) (Quit: bye) |
2023-05-04 00:59:39 +0200 | EvilGry | gry |
2023-05-04 01:00:47 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 01:01:54 +0200 | repair | (~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) (Killed buffer) |
2023-05-04 01:03:03 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
2023-05-04 01:03:52 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 01:04:06 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
2023-05-04 01:04:18 +0200 | alexherbo2 | (~alexherbo@211.190.65.81.rev.sfr.net) |
2023-05-04 01:05:43 +0200 | gurkengl1s | (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
2023-05-04 01:07:33 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) |
2023-05-04 01:11:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-05-04 01:11:53 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-04 01:13:30 +0200 | Me-me | (~Me-me@user/me-me) |
2023-05-04 01:14:58 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
2023-05-04 01:20:59 +0200 | Square | (~Square4@user/square) |
2023-05-04 01:23:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
2023-05-04 01:25:28 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2023-05-04 01:26:41 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2023-05-04 01:36:33 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 268 seconds) |
2023-05-04 01:36:42 +0200 | mauke_ | (~mauke@user/mauke) |
2023-05-04 01:37:32 +0200 | mauke_ | mauke |
2023-05-04 01:39:25 +0200 | bravespear|2 | (~Ranhir@157.97.53.139) (Ping timeout: 260 seconds) |
2023-05-04 01:40:50 +0200 | tv | (~tv@user/tv) |
2023-05-04 01:51:28 +0200 | foul_owl | (~kerry@71.212.137.212) (Ping timeout: 240 seconds) |
2023-05-04 01:52:42 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 01:55:44 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:ca5b:76ff:fe29:f233) (Ping timeout: 248 seconds) |
2023-05-04 01:57:18 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
2023-05-04 01:57:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-04 01:57:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 01:57:39 +0200 | <segfaultfizzbuzz> | what in sam hell is a "remote snoop filter" |
2023-05-04 01:58:23 +0200 | <monochrom> | Is that something in Haskell? |
2023-05-04 01:58:43 +0200 | <segfaultfizzbuzz> | no it's a part of CPUs now and apparently the size of the filter is part of the marketing materials |
2023-05-04 01:58:55 +0200 | <segfaultfizzbuzz> | like size in megabytes |
2023-05-04 01:59:01 +0200 | <monochrom> | Then some other channel. |
2023-05-04 01:59:12 +0200 | <segfaultfizzbuzz> | ok |
2023-05-04 02:03:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-05-04 02:04:57 +0200 | mud | (~mud@user/kadoban) |
2023-05-04 02:05:28 +0200 | mud | (~mud@user/kadoban) (Client Quit) |
2023-05-04 02:06:39 +0200 | foul_owl | (~kerry@212.102.47.39) |
2023-05-04 02:09:57 +0200 | byte | (~byte@user/byte) |
2023-05-04 02:16:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2023-05-04 02:16:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-05-04 02:19:09 +0200 | kadoban | (~kadoban@user/kadoban) |
2023-05-04 02:28:22 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-04 02:29:53 +0200 | mud | (~mud@user/kadoban) |
2023-05-04 02:39:37 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2023-05-04 02:43:30 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 02:51:54 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-05-04 02:51:54 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-05-04 02:51:54 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-05-04 02:54:42 +0200 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Remote host closed the connection) |
2023-05-04 02:55:11 +0200 | tv | (~tv@user/tv) |
2023-05-04 02:55:17 +0200 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
2023-05-04 02:56:28 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2023-05-04 02:59:05 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
2023-05-04 03:01:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2023-05-04 03:02:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-05-04 03:04:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-05-04 03:05:30 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 03:10:19 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-05-04 03:10:49 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Ping timeout: 265 seconds) |
2023-05-04 03:15:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 03:16:26 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-05-04 03:21:49 +0200 | ham | (~ham@user/ham) |
2023-05-04 03:23:06 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-04 03:24:03 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-05-04 03:26:08 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-04 03:27:48 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
2023-05-04 03:32:29 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 03:37:14 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 03:38:28 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Ping timeout: 240 seconds) |
2023-05-04 03:39:34 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
2023-05-04 03:43:35 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 03:52:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2023-05-04 03:53:12 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-04 03:56:00 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 03:56:01 +0200 | srk | (~sorki@user/srk) (Remote host closed the connection) |
2023-05-04 03:56:20 +0200 | srk | (~sorki@user/srk) |
2023-05-04 03:59:28 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2023-05-04 03:59:48 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-04 04:00:51 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 04:03:11 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
2023-05-04 04:09:09 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 04:09:20 +0200 | freeside_ | (~mengwong@103.252.202.85) |
2023-05-04 04:12:20 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 04:13:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
2023-05-04 04:15:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 04:16:53 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-04 04:18:54 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-04 04:21:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-04 04:22:23 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-05-04 04:23:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-05-04 04:25:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
2023-05-04 04:26:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
2023-05-04 04:27:08 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2023-05-04 04:27:42 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 04:30:02 +0200 | Square2 | (~Square4@user/square) |
2023-05-04 04:32:18 +0200 | Square | (~Square4@user/square) (Ping timeout: 268 seconds) |
2023-05-04 04:32:23 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 04:34:27 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
2023-05-04 04:36:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 04:48:05 +0200 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 240 seconds) |
2023-05-04 04:48:17 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-05-04 04:48:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-05-04 04:48:17 +0200 | finn_elija | FinnElija |
2023-05-04 04:50:05 +0200 | td_ | (~td@i5387092F.versanet.de) |
2023-05-04 04:51:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2023-05-04 05:00:40 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-04 05:01:09 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection) |
2023-05-04 05:08:04 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 268 seconds) |
2023-05-04 05:09:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2023-05-04 05:10:14 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-05-04 05:19:08 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
2023-05-04 05:19:12 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 05:21:08 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2023-05-04 05:23:52 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-04 05:24:06 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 05:31:09 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
2023-05-04 05:31:46 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 05:36:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 05:43:02 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 05:47:32 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-04 05:49:18 +0200 | phma | (~phma@2001:5b0:215a:d888:a541:81b6:7d20:c3e7) (Read error: Connection reset by peer) |
2023-05-04 05:49:55 +0200 | phma | (phma@2001:5b0:210d:1eb8:9116:d5ea:678f:f4e5) |
2023-05-04 05:50:57 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 05:57:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 05:57:24 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-04 06:07:16 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 06:09:22 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-05-04 06:15:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-04 06:16:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 06:22:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 06:24:05 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 260 seconds) |
2023-05-04 06:24:26 +0200 | glguy_ | (~glguy@libera/staff-emeritus/glguy) |
2023-05-04 06:24:27 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 06:27:00 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-04 06:27:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2023-05-04 06:29:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-04 06:43:44 +0200 | gmg | (~user@user/gehmehgeh) |
2023-05-04 06:48:25 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 240 seconds) |
2023-05-04 06:48:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-05-04 06:53:28 +0200 | opticblast | (~Thunderbi@172.58.87.122) (Ping timeout: 240 seconds) |
2023-05-04 06:54:04 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-05-04 06:59:14 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 06:59:36 +0200 | paulpaul1076 | (~textual@95-29-5-210.broadband.corbina.ru) |
2023-05-04 07:03:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-04 07:10:39 +0200 | Me-me | (~Me-me@user/me-me) (Remote host closed the connection) |
2023-05-04 07:10:44 +0200 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Excess Flood) |
2023-05-04 07:12:50 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-05-04 07:13:30 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2023-05-04 07:14:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
2023-05-04 07:15:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
2023-05-04 07:15:49 +0200 | Aarkon[m] | (~aarkonmat@2001:470:69fc:105::3:52fa) () |
2023-05-04 07:16:06 +0200 | Wstfgl0 | (~Me-me@user/me-me) |
2023-05-04 07:16:22 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
2023-05-04 07:16:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-05-04 07:22:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 07:23:06 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2023-05-04 07:24:03 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 07:25:35 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 268 seconds) |
2023-05-04 07:27:26 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-04 07:28:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 07:28:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
2023-05-04 07:32:10 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 07:35:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
2023-05-04 07:37:23 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
2023-05-04 07:38:35 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-05-04 07:38:35 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-05-04 07:38:35 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-05-04 07:40:23 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 07:41:00 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-04 07:43:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-04 07:44:25 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 07:47:59 +0200 | peutri_ | peutri |
2023-05-04 07:48:25 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2023-05-04 07:53:54 +0200 | jargon | (~jargon@184.101.78.160) |
2023-05-04 07:55:48 +0200 | Alex_test_ | (~al_test@178.34.150.15) |
2023-05-04 07:56:02 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (Quit: Ping timeout (120 seconds)) |
2023-05-04 07:56:22 +0200 | finnekit | (~finnekit@fsf/member/finnekit) |
2023-05-04 07:57:20 +0200 | Alex_test | (~al_test@178.34.150.15) (Ping timeout: 248 seconds) |
2023-05-04 08:03:15 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-05-04 08:05:12 +0200 | chomwitt | (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2023-05-04 08:06:50 +0200 | michalz | (~michalz@185.246.207.203) |
2023-05-04 08:07:07 +0200 | chomwitt | (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
2023-05-04 08:08:43 +0200 | chomwitt | (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2023-05-04 08:10:39 +0200 | chomwitt | (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
2023-05-04 08:10:45 +0200 | ddellacosta | (~ddellacos@146.70.185.135) |
2023-05-04 08:16:13 +0200 | freeside | (~mengwong@122.11.248.245) |
2023-05-04 08:16:31 +0200 | adude__ | (~Square@user/square) |
2023-05-04 08:19:09 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2023-05-04 08:19:51 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
2023-05-04 08:21:38 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
2023-05-04 08:24:48 +0200 | gentauro | (~gentauro@user/gentauro) |
2023-05-04 08:24:52 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-04 08:30:25 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2023-05-04 08:31:21 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 08:32:45 +0200 | paulpaul1076 | (~textual@95-29-5-210.broadband.corbina.ru) (Read error: Connection reset by peer) |
2023-05-04 08:33:40 +0200 | aeroplane | (~user@user/aeroplane) |
2023-05-04 08:34:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
2023-05-04 08:35:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-05-04 08:35:53 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-04 08:37:46 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 08:40:41 +0200 | aeroplane | (~user@user/aeroplane) (Read error: Connection reset by peer) |
2023-05-04 08:40:55 +0200 | aeroplane | (~user@user/aeroplane) |
2023-05-04 08:42:40 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 08:42:55 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds) |
2023-05-04 08:47:36 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-04 08:49:21 +0200 | acidjnk | (~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) |
2023-05-04 08:50:17 +0200 | mncheck | (~mncheck@193.224.205.254) |
2023-05-04 08:53:22 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 08:58:05 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-04 09:02:48 +0200 | adude__ | (~Square@user/square) (Ping timeout: 240 seconds) |
2023-05-04 09:06:06 +0200 | mmhat | (~mmh@p200300f1c714ef60ee086bfffe095315.dip0.t-ipconnect.de) |
2023-05-04 09:06:11 +0200 | zeenk | (~zeenk@2a02:2f04:a00c:5f00::7fe) |
2023-05-04 09:07:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d5ec:ab52:cc79:2c58) |
2023-05-04 09:10:23 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-05-04 09:12:21 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 09:16:11 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-04 09:16:41 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 250 seconds) |
2023-05-04 09:21:16 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
2023-05-04 09:26:32 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
2023-05-04 09:27:28 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2023-05-04 09:29:15 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 09:29:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
2023-05-04 09:33:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 09:35:04 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) |
2023-05-04 09:47:04 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2023-05-04 09:47:13 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-05-04 09:49:25 +0200 | rembo10 | (~rembo10@main.remulis.com) |
2023-05-04 09:51:05 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
2023-05-04 09:51:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (*.net *.split) |
2023-05-04 09:51:05 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (*.net *.split) |
2023-05-04 09:51:05 +0200 | gmg | (~user@user/gehmehgeh) (*.net *.split) |
2023-05-04 09:51:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split) |
2023-05-04 09:51:05 +0200 | califax | (~califax@user/califx) (*.net *.split) |
2023-05-04 09:51:05 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (*.net *.split) |
2023-05-04 09:51:05 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (*.net *.split) |
2023-05-04 09:51:05 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
2023-05-04 09:51:05 +0200 | ec | (~ec@gateway/tor-sasl/ec) (*.net *.split) |
2023-05-04 09:51:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
2023-05-04 09:51:05 +0200 | pharonix71 | (~pharonix7@user/pharonix71) (*.net *.split) |
2023-05-04 09:52:07 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2023-05-04 09:52:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-05-04 09:52:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-05-04 09:52:07 +0200 | gmg | (~user@user/gehmehgeh) |
2023-05-04 09:52:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-05-04 09:52:07 +0200 | califax | (~califax@user/califx) |
2023-05-04 09:52:07 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-05-04 09:52:07 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
2023-05-04 09:52:07 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-05-04 09:52:07 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2023-05-04 09:52:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-05-04 09:52:07 +0200 | pharonix71 | (~pharonix7@user/pharonix71) |
2023-05-04 09:52:34 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-05-04 09:55:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 09:55:50 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-05-04 09:59:23 +0200 | alexherbo2 | (~alexherbo@211.190.65.81.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-05-04 10:00:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 10:03:18 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2023-05-04 10:04:16 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 10:11:55 +0200 | vpan | (~0@mail.elitnet.lt) |
2023-05-04 10:18:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2023-05-04 10:20:41 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 10:22:56 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2023-05-04 10:23:59 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
2023-05-04 10:25:13 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 10:25:33 +0200 | merijn | (~merijn@185.143.104.11) |
2023-05-04 10:27:32 +0200 | feliix42 | (~felix@gibbs.uberspace.de) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-05-04 10:30:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-04 10:30:25 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
2023-05-04 10:31:07 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 10:32:41 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2023-05-04 10:33:48 +0200 | CiaoSen | (~Jura@tmo-072-181.customers.d1-online.com) |
2023-05-04 10:34:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 248 seconds) |
2023-05-04 10:35:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 10:35:48 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
2023-05-04 10:39:13 +0200 | foul_owl | (~kerry@212.102.47.39) (Ping timeout: 268 seconds) |
2023-05-04 10:44:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-05-04 10:45:27 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-05-04 10:46:47 +0200 | trev | (~trev@user/trev) |
2023-05-04 10:48:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 10:48:37 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-05-04 10:48:41 +0200 | Me-me | Notme-notme |
2023-05-04 10:48:43 +0200 | Wstfgl0 | Me-me |
2023-05-04 10:49:42 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds) |
2023-05-04 10:52:18 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-05-04 10:52:47 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:3a9b:67d2:1fd1:a530) |
2023-05-04 10:53:34 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds) |
2023-05-04 10:54:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-05-04 10:54:49 +0200 | foul_owl | (~kerry@94.140.8.141) |
2023-05-04 10:56:13 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 10:59:16 +0200 | mmhat | (~mmh@p200300f1c714ef60ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
2023-05-04 11:02:01 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2023-05-04 11:04:28 +0200 | polyphem | (~polyphem@ip-109-43-49-185.web.vodafone.de) |
2023-05-04 11:05:47 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 11:10:40 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-04 11:15:26 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 250 seconds) |
2023-05-04 11:16:43 +0200 | phma | (phma@2001:5b0:210d:1eb8:9116:d5ea:678f:f4e5) (Read error: Connection reset by peer) |
2023-05-04 11:17:36 +0200 | phma | (phma@2001:5b0:2144:6688:21df:1642:93f2:4b5) |
2023-05-04 11:20:08 +0200 | ham | (~ham@user/ham) (Ping timeout: 240 seconds) |
2023-05-04 11:23:06 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 11:23:33 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-05-04 11:23:55 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-05-04 11:25:31 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
2023-05-04 11:25:33 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
2023-05-04 11:26:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-05-04 11:27:14 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 11:28:00 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-05-04 11:28:27 +0200 | Guest89 | (~Guest89@23.228.113.132) |
2023-05-04 11:30:13 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-05-04 11:30:54 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2023-05-04 11:33:17 +0200 | Guest89 | (~Guest89@23.228.113.132) (Client Quit) |
2023-05-04 11:34:11 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 11:34:25 +0200 | CiaoSen | (~Jura@tmo-072-181.customers.d1-online.com) (Ping timeout: 240 seconds) |
2023-05-04 11:38:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 11:39:01 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
2023-05-04 11:41:38 +0200 | acidjnk | (~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2023-05-04 11:44:08 +0200 | gensyst | (~gensyst@user/gensyst) |
2023-05-04 11:45:30 +0200 | chomwitt | (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
2023-05-04 11:45:36 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
2023-05-04 11:47:29 +0200 | Alex_test_ | Alex_test |
2023-05-04 11:49:31 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 11:51:06 +0200 | JSharp_ | (sid4580@id-4580.lymington.irccloud.com) () |
2023-05-04 11:51:34 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
2023-05-04 11:52:18 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 11:52:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-05-04 11:54:26 +0200 | fbytez | (~uid@2001:bc8:2117:100::) (Changing host) |
2023-05-04 11:54:26 +0200 | fbytez | (~uid@user/fbytez) |
2023-05-04 11:55:25 +0200 | pie__ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 240 seconds) |
2023-05-04 11:55:40 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
2023-05-04 11:56:04 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
2023-05-04 11:57:15 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) |
2023-05-04 12:01:09 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-05-04 12:03:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 12:04:25 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-05-04 12:08:01 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-04 12:08:33 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 12:11:05 +0200 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 240 seconds) |
2023-05-04 12:14:12 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 12:18:07 +0200 | gensystt | (~gensyst@user/gensyst) |
2023-05-04 12:18:41 +0200 | mexpr | (~mexpr@user/mexpr) |
2023-05-04 12:19:33 +0200 | barrucad1 | barrucadu |
2023-05-04 12:20:33 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 12:20:48 +0200 | gensyst | (~gensyst@user/gensyst) (Ping timeout: 248 seconds) |
2023-05-04 12:23:23 +0200 | aeroplane | (~user@user/aeroplane) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
2023-05-04 12:24:48 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 12:31:51 +0200 | acidjnk | (~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) |
2023-05-04 12:33:27 +0200 | fbytez | (~uid@user/fbytez) (Leaving) |
2023-05-04 12:33:35 +0200 | fbytez | (~uid@user/fbytez) |
2023-05-04 12:43:12 +0200 | __monty__ | (~toonn@user/toonn) |
2023-05-04 12:43:37 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 12:44:19 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 12:47:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-04 12:48:25 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-04 12:50:35 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
2023-05-04 12:58:06 +0200 | gensystt | (~gensyst@user/gensyst) (Quit: Leaving) |
2023-05-04 13:01:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 13:05:59 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-04 13:17:42 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-04 13:18:42 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 13:22:40 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
2023-05-04 13:23:12 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds) |
2023-05-04 13:27:56 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 13:32:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 13:33:29 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 13:34:26 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 13:36:02 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 13:36:10 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 13:37:17 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 13:41:01 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-05-04 13:41:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-04 13:45:33 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 13:50:47 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
2023-05-04 13:53:17 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 13:57:47 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-05-04 14:00:51 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 14:06:14 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 14:06:37 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds) |
2023-05-04 14:08:33 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-05-04 14:10:17 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 14:11:14 +0200 | zeenk | (~zeenk@2a02:2f04:a00c:5f00::7fe) (Quit: Konversation terminated!) |
2023-05-04 14:12:05 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-05-04 14:12:35 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 14:19:46 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 14:20:02 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-05-04 14:22:38 +0200 | acidjnk | (~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2023-05-04 14:23:55 +0200 | acidjnk | (~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) |
2023-05-04 14:25:53 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Quit: Leaving...) |
2023-05-04 14:26:40 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 14:27:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2023-05-04 14:31:14 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 14:32:43 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-05-04 14:33:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-04 14:33:51 +0200 | <kaol> | I've been thinking about the order of function composition. I think the usual order is an answer to the question "what's the value of this" and flipping it around makes the question be "how does this work". For IO (or other monadic code) you want to answer the latter one and the value is often uninteresting in itself. |
2023-05-04 14:34:45 +0200 | trev | (~trev@user/trev) |
2023-05-04 14:34:57 +0200 | <kaol> | If I see function compositions start with "ExceptT ." then that is the most useful thing to know to understand its value. |
2023-05-04 14:36:00 +0200 | <ncf> | something something programs vs coprograms |
2023-05-04 14:38:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 260 seconds) |
2023-05-04 14:38:58 +0200 | vulfe | (~vulfe@168.91.196.163) |
2023-05-04 14:39:14 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 14:39:27 +0200 | <ski> | i think ordering in `f(x)' comes from (a) typically `x' may be a larger expression than `f', and it's nicer to read the shorter one first (cf. `traverse' vs. `for') (commonly `f' is just a single identifier, even bound at top-level); and (b) in a definition, it's nice to have the name of the defined thing come first, before formal parameters (patterns), and the definiens |
2023-05-04 14:39:57 +0200 | <ski> | (also why i think `class Eq a => Ord a where ...' ought to have been `class Ord a <= Eq a where ...') |
2023-05-04 14:40:39 +0200 | <ski> | (then composition ordering is a consequence of function application ordering) |
2023-05-04 14:43:17 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x_) |
2023-05-04 14:43:27 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 14:43:40 +0200 | ddellacosta | (~ddellacos@146.70.185.135) (Ping timeout: 276 seconds) |
2023-05-04 14:44:00 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
2023-05-04 14:45:10 +0200 | ddellacosta | (~ddellacos@146.70.166.241) |
2023-05-04 14:45:37 +0200 | <vulfe> | someone at some indeterminate point in history decided that math ought to secretly be read right to left |
2023-05-04 14:45:49 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 14:46:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 14:46:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:72b4:fb98:34fa:6ca2) |
2023-05-04 14:49:26 +0200 | ski | sometimes experiments a bit with writing `f : A <- B', rather than `f : B -> A' |
2023-05-04 14:49:32 +0200 | Me-me | (~Me-me@user/me-me) (Quit: Something has gone terribly, terribly wrong, that being that I'm not here any more.) |
2023-05-04 14:50:00 +0200 | <ski> | vulfe : i don't think people really think of it like that |
2023-05-04 14:50:33 +0200 | <vulfe> | I feel like if you do enough category theory you sort of start to think that way, but I agree in general :P |
2023-05-04 14:50:49 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
2023-05-04 14:50:57 +0200 | <ski> | perhaps "from inside, to out". but you could just as well read it in the opposite direction, too, although perhaps that'll commonly feel slightly less natural, at least if one's not used to it |
2023-05-04 14:51:46 +0200 | <ski> | (compare with how proofs are often constructed "backwards" (and then some people write it "forwards", while some other may leave it in the "backwards" direction)) |
2023-05-04 14:52:05 +0200 | <vulfe> | I mostly meant to assert that the reason we use f(x) or f x in programming is because the notation originated that way in mathematics (this goes all the way back to like Bernoulli and Euler) |
2023-05-04 14:52:40 +0200 | ncf | . o O ( let f, g : A <- B -> C be a span... ) |
2023-05-04 14:52:46 +0200 | ski | . o O ( "Epsilon-Delta Limits Tutorial" <https://www.vex.net/~trebla/homework/epsilon-delta.html> ) |
2023-05-04 14:53:28 +0200 | <ski> | .. not two spans ? |
2023-05-04 14:53:30 +0200 | <vulfe> | although I was helping someone with a diagram chase in a functional programming / category theory textbook last evening and they do indeed use the notation `f: A <- B` |
2023-05-04 14:53:45 +0200 | <ncf> | a span of two arrows |
2023-05-04 14:53:54 +0200 | <ski> | "Algebra of Programming" by Richard Bird,Oege de Moor ? |
2023-05-04 14:53:59 +0200 | <vulfe> | the very one |
2023-05-04 14:54:04 +0200 | ski | grins |
2023-05-04 14:54:14 +0200 | <vulfe> | to be clear, I think the notation in that book is heinous |
2023-05-04 14:54:31 +0200 | <vulfe> | but not because they use `f: A <- B` ;) |
2023-05-04 14:55:01 +0200 | <ski> | ncf : guess i'd write `(f,g) : ...'. or write the names above/below the arrows |
2023-05-04 14:55:19 +0200 | <vulfe> | I would do the same as ski |
2023-05-04 14:55:39 +0200 | <vulfe> | (it is quite literally an ordered pair after all) |
2023-05-04 14:56:23 +0200 | ski | also can never recall which is which of "span" and "cospan" |
2023-05-04 14:56:31 +0200 | <ski> | (or "meet" and "join", for that matter) |
2023-05-04 14:57:03 +0200 | <vulfe> | join is like union, so it gets the `v` (and meet is like intersection and so on) |
2023-05-04 14:57:18 +0200 | <vulfe> | maybe that's not helpful if you aren't a mathematician |
2023-05-04 14:58:05 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-05-04 14:58:12 +0200 | <vulfe> | to be fair, the choice of which gets to be called 'span' and which 'cospan' feels quite arbitrary |
2023-05-04 15:01:21 +0200 | <ski> | vulfe : yea, i know that. but i can never recall which is like union and which is like intersection |
2023-05-04 15:01:54 +0200 | <ski> | (the names don't give me any clue) |
2023-05-04 15:01:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:72b4:fb98:34fa:6ca2) (Quit: xff0x) |
2023-05-04 15:02:09 +0200 | <vulfe> | ski: I was about to appeal to some kind of English comparison and then I realized that both words are really quite similar in their literal meaning |
2023-05-04 15:02:30 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 15:02:54 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 15:03:00 +0200 | <ski> | (i also don't really have a firm preference regards drawing arrows upwards and drawing them downwards) |
2023-05-04 15:04:08 +0200 | <vulfe> | if you draw a large enough diagram, you don't get to have a preference any more |
2023-05-04 15:04:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:de90:a559:45cb:c2e4) |
2023-05-04 15:05:48 +0200 | ncf | remembers "span" because of monads in the bicategory of spans |
2023-05-04 15:06:30 +0200 | ncf | also gets meets and joins mixed up about 100% of the time |
2023-05-04 15:07:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 15:07:19 +0200 | <vulfe> | (I remember spans because the introduction of categories of cospans seems very rare) |
2023-05-04 15:07:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 15:09:20 +0200 | zaquest | (~notzaques@5.130.79.72) |
2023-05-04 15:10:53 +0200 | <vulfe> | do people actually use monads in spans to define internal categories in Haskell or something? |
2023-05-04 15:11:05 +0200 | <vulfe> | that doesn't sound like a totally useless idea at the very least :P |
2023-05-04 15:11:18 +0200 | <ncf> | certainly not in haskell |
2023-05-04 15:11:41 +0200 | <ncf> | (can you even define general monads-in-a-bicategory in haskell? or bicategories for that matter?) |
2023-05-04 15:11:57 +0200 | <vulfe> | (good question) |
2023-05-04 15:12:40 +0200 | <vulfe> | (also, it would be much easier to specify an internal category directly) |
2023-05-04 15:23:31 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 15:23:45 +0200 | CyberSoul | (~CyberSoul@2405:201:680a:b174:a44c:3c50:8b78:b6c0) (Quit: Leaving) |
2023-05-04 15:26:45 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-05-04 15:28:16 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 15:31:05 +0200 | chomwitt | (~chomwitt@ppp-94-67-201-180.home.otenet.gr) |
2023-05-04 15:32:36 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | Deide | (~deide@user/deide) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | hussam | (~hussam@user/hussam) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:36 +0200 | foghorn | (~foghorn@user/foghorn) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | jade[m] | (~hopelessn@2001:470:69fc:105::3:4043) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | neohtetxyz[m] | (~neohtetxy@2001:470:69fc:105::3:314c) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | hellwolf[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:37 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | TheMatten[m] | (~thematten@2001:470:69fc:105::1:5ba1) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | hunk[m] | (~hunkmatri@2001:470:69fc:105::3:481b) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | jitrs[m] | (~jitrsmatr@2001:470:69fc:105::3:400c) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | general_j[m] | (~generaljm@2001:470:69fc:105::3:463b) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | magnolia_mayhem[ | (~ashinnvma@2001:470:69fc:105::2:e5ed) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | ajf___[m] | (~ajfmatrix@2001:470:69fc:105::2:5be3) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | ujjwalgupta[m] | (~guptaujjw@2001:470:69fc:105::3:46b5) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | mmynsted[m] | (~mmynstedm@2001:470:69fc:105::3:474b) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:38 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:39 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:39 +0200 | calamaxes[m] | (~calamaxes@2001:470:69fc:105::3:47b2) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:39 +0200 | fcortesi | (~fcortesi@2001:470:69fc:105::f3a9) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:39 +0200 | mu[m] | (~mumixnatu@2001:470:69fc:105::3:52c3) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:39 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:39 +0200 | aaronv | (~aaronv@user/aaronv) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | luffy[m]1 | (~luffyinte@2001:470:69fc:105::3:4cd5) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | jzerebecki | (~jzerebeck@2001:470:69fc:105::f90) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | polykernel[m] | (~polykerne@user/polykernel) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | naine[m] | (~naine-env@2001:470:69fc:105::3:2e57) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | kadoban | (~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | teo | (~teo@user/teo) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | denbrahe | (~denbrahe@2001:470:69fc:105::19c0) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:40 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:41 +0200 | ariady[m] | (~riadymatr@2001:470:69fc:105::3:4dc5) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:41 +0200 | somerandomnick[m | (~somerando@2001:470:69fc:105::3:4f2e) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:41 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:41 +0200 | MasseR[m] | (~masserauh@2001:470:69fc:105::3bd) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:41 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:41 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:41 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:42 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:42 +0200 | aavogt[m] | (~aavogtmat@2001:470:69fc:105::3:4007) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:42 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:43 +0200 | tiagsmm[m] | (~tiagsmmma@2001:470:69fc:105::3:4002) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:32:43 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Quit: Bridge terminating on SIGTERM) |
2023-05-04 15:33:23 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-05-04 15:36:14 +0200 | CyberSoul | (~CyberSoul@2405:201:680a:b174:f4e6:19f3:9e0:b94f) |
2023-05-04 15:36:43 +0200 | Guest45678 | (~Guest4567@p200300cf072e68ea6b29732cbdb21e80.dip0.t-ipconnect.de) |
2023-05-04 15:37:48 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) |
2023-05-04 15:38:26 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2023-05-04 15:38:26 +0200 | paul_j | (~user@2001:8b0:dea0:f3c9:cd47:c8b0:d6:5463) |
2023-05-04 15:40:57 +0200 | delYsid | (~user@user/delYsid) |
2023-05-04 15:45:27 +0200 | agent-novichok | (~Novichok@i59F46C67.versanet.de) |
2023-05-04 15:46:38 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 15:46:46 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
2023-05-04 15:47:36 +0200 | <merijn> | man, what's up with binary's versionining? |
2023-05-04 15:47:40 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2023-05-04 15:47:40 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2023-05-04 15:47:40 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2023-05-04 15:47:40 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) |
2023-05-04 15:47:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-05-04 15:47:40 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
2023-05-04 15:47:40 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
2023-05-04 15:47:40 +0200 | Deide | (~deide@user/deide) |
2023-05-04 15:47:40 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2023-05-04 15:47:41 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
2023-05-04 15:47:41 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
2023-05-04 15:47:41 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) |
2023-05-04 15:47:41 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
2023-05-04 15:47:41 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
2023-05-04 15:47:53 +0200 | TheMatten[m] | (~thematten@2001:470:69fc:105::1:5ba1) |
2023-05-04 15:47:55 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
2023-05-04 15:47:56 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2023-05-04 15:47:56 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
2023-05-04 15:47:56 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
2023-05-04 15:47:56 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
2023-05-04 15:47:56 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
2023-05-04 15:47:56 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
2023-05-04 15:48:09 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
2023-05-04 15:48:10 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
2023-05-04 15:48:10 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2023-05-04 15:48:10 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
2023-05-04 15:48:10 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
2023-05-04 15:48:10 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
2023-05-04 15:48:10 +0200 | hussam | (~hussam@user/hussam) |
2023-05-04 15:48:10 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
2023-05-04 15:48:10 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) |
2023-05-04 15:48:10 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
2023-05-04 15:48:11 +0200 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
2023-05-04 15:48:11 +0200 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) |
2023-05-04 15:48:11 +0200 | <merijn> | two deprecated "new" versions that were rereleased as older versions? |
2023-05-04 15:48:11 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
2023-05-04 15:48:11 +0200 | general_j[m] | (~generaljm@2001:470:69fc:105::3:463b) |
2023-05-04 15:48:11 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) |
2023-05-04 15:48:11 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2023-05-04 15:48:12 +0200 | jade[m]1 | (~hopelessn@2001:470:69fc:105::3:4043) |
2023-05-04 15:48:12 +0200 | foghorn | (~foghorn@user/foghorn) |
2023-05-04 15:48:24 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
2023-05-04 15:48:24 +0200 | ujjwalgupta[m] | (~guptaujjw@2001:470:69fc:105::3:46b5) |
2023-05-04 15:48:25 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) |
2023-05-04 15:48:25 +0200 | naine[m] | (~naine-env@2001:470:69fc:105::3:2e57) |
2023-05-04 15:48:38 +0200 | ajf___[m] | (~ajfmatrix@2001:470:69fc:105::2:5be3) |
2023-05-04 15:48:38 +0200 | teo | (~teo@user/teo) |
2023-05-04 15:48:38 +0200 | mmynsted[m] | (~mmynstedm@2001:470:69fc:105::3:474b) |
2023-05-04 15:48:38 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
2023-05-04 15:48:50 +0200 | calamaxes[m] | (~calamaxes@2001:470:69fc:105::3:47b2) |
2023-05-04 15:48:54 +0200 | hellwolf[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) |
2023-05-04 15:48:54 +0200 | hunk[m] | (~hunkmatri@2001:470:69fc:105::3:481b) |
2023-05-04 15:48:55 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2023-05-04 15:49:09 +0200 | aaronv | (~aaronv@user/aaronv) |
2023-05-04 15:49:09 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) |
2023-05-04 15:49:09 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
2023-05-04 15:49:09 +0200 | magnolia_mayhem[ | (~ashinnvma@2001:470:69fc:105::2:e5ed) |
2023-05-04 15:49:17 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 15:49:21 +0200 | tiagsmm[m] | (~tiagsmmma@2001:470:69fc:105::3:4002) |
2023-05-04 15:49:25 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) |
2023-05-04 15:49:39 +0200 | aavogt[m] | (~aavogtmat@2001:470:69fc:105::3:4007) |
2023-05-04 15:49:51 +0200 | jitrs[m] | (~jitrsmatr@2001:470:69fc:105::3:400c) |
2023-05-04 15:49:51 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) |
2023-05-04 15:50:05 +0200 | fcortesi | (~fcortesi@2001:470:69fc:105::f3a9) |
2023-05-04 15:50:09 +0200 | luffy[m] | (~luffyinte@2001:470:69fc:105::3:4cd5) |
2023-05-04 15:50:10 +0200 | polykernel[m] | (~polykerne@user/polykernel) |
2023-05-04 15:50:11 +0200 | jzerebecki | (~jzerebeck@2001:470:69fc:105::f90) |
2023-05-04 15:50:11 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2023-05-04 15:50:24 +0200 | ariady[m] | (~riadymatr@2001:470:69fc:105::3:4dc5) |
2023-05-04 15:50:24 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
2023-05-04 15:50:36 +0200 | neohtetxyz[m] | (~neohtetxy@2001:470:69fc:105::3:314c) |
2023-05-04 15:50:36 +0200 | somerandomnick[m | (~somerando@2001:470:69fc:105::3:4f2e) |
2023-05-04 15:50:36 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) |
2023-05-04 15:50:49 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) |
2023-05-04 15:51:03 +0200 | mu[m] | (~mumixnatu@2001:470:69fc:105::3:52c3) |
2023-05-04 15:51:03 +0200 | MasseR[m] | (~masserauh@2001:470:69fc:105::3bd) |
2023-05-04 15:51:47 +0200 | denbrahe | (~denbrahe@2001:470:69fc:105::19c0) |
2023-05-04 15:51:47 +0200 | kadoban | (~kadoban@user/kadoban) |
2023-05-04 15:53:06 +0200 | <merijn> | Unrelatedly: TIL packdeps has a CLI implementation besides the web RSS feed |
2023-05-04 15:54:47 +0200 | CiaoSen | (~Jura@tmo-072-181.customers.d1-online.com) |
2023-05-04 15:57:13 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 16:01:02 +0200 | CiaoSen | (~Jura@tmo-072-181.customers.d1-online.com) (Ping timeout: 246 seconds) |
2023-05-04 16:01:44 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
2023-05-04 16:04:11 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
2023-05-04 16:05:34 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 16:09:14 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 16:09:39 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-04 16:19:40 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-05-04 16:25:44 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 16:27:31 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-05-04 16:30:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 16:30:50 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 16:34:24 +0200 | Tlsx | (~rscastilh@189-82-108-215.user3p.veloxzone.com.br) |
2023-05-04 16:35:14 +0200 | Tlsx | (~rscastilh@189-82-108-215.user3p.veloxzone.com.br) (Client Quit) |
2023-05-04 16:35:53 +0200 | vulfe | (~vulfe@168.91.196.163) (Quit: Leaving...) |
2023-05-04 16:36:06 +0200 | phma_ | (~phma@host-67-44-208-93.hnremote.net) |
2023-05-04 16:36:16 +0200 | phma | (phma@2001:5b0:2144:6688:21df:1642:93f2:4b5) (Ping timeout: 248 seconds) |
2023-05-04 16:48:41 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 16:49:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-04 16:49:59 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 260 seconds) |
2023-05-04 16:51:17 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 16:51:55 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-05-04 16:56:20 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-05-04 16:57:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d5ec:ab52:cc79:2c58) (Quit: WeeChat 2.8) |
2023-05-04 16:57:10 +0200 | vpan | (~0@mail.elitnet.lt) (Quit: Leaving.) |
2023-05-04 16:57:22 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-04 16:57:56 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-05-04 17:00:29 +0200 | ham | (~ham@user/ham) |
2023-05-04 17:02:27 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-05-04 17:04:43 +0200 | mbuf | (~Shakthi@49.207.178.186) |
2023-05-04 17:07:34 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 17:10:53 +0200 | CyberSoul | (~CyberSoul@2405:201:680a:b174:f4e6:19f3:9e0:b94f) (Quit: Leaving) |
2023-05-04 17:12:18 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 17:13:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
2023-05-04 17:19:11 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-04 17:19:17 +0200 | rlj | (~rlj@c-5eea6285-74736162.cust.telenor.se) |
2023-05-04 17:20:47 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-04 17:24:22 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2023-05-04 17:27:05 +0200 | merijn | (~merijn@185.143.104.11) (Ping timeout: 246 seconds) |
2023-05-04 17:27:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2023-05-04 17:32:32 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 17:33:08 +0200 | rlj | (~rlj@c-5eea6285-74736162.cust.telenor.se) (Ping timeout: 245 seconds) |
2023-05-04 17:37:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 17:39:44 +0200 | AlexZenon | (~alzenon@178.34.150.15) (Ping timeout: 248 seconds) |
2023-05-04 17:39:47 +0200 | Alex_test | (~al_test@178.34.150.15) (Ping timeout: 268 seconds) |
2023-05-04 17:43:38 +0200 | Alex_test | (~al_test@178.34.150.15) |
2023-05-04 17:50:13 +0200 | AlexZenon | (~alzenon@178.34.150.15) |
2023-05-04 17:51:09 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) |
2023-05-04 17:53:41 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 17:54:23 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-05-04 17:55:10 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 17:57:02 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-05-04 17:57:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-04 17:57:32 +0200 | polyphem | (~polyphem@ip-109-43-49-185.web.vodafone.de) (Ping timeout: 246 seconds) |
2023-05-04 17:57:39 +0200 | econo | (uid147250@user/econo) |
2023-05-04 17:58:16 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 17:59:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 18:08:39 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
2023-05-04 18:09:15 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:3a9b:67d2:1fd1:a530) (Remote host closed the connection) |
2023-05-04 18:14:40 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 18:16:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
2023-05-04 18:19:17 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) |
2023-05-04 18:21:00 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
2023-05-04 18:21:36 +0200 | auri_ | (~auri@fsf/member/auri) () |
2023-05-04 18:22:13 +0200 | auri | (~auri@fsf/member/auri) |
2023-05-04 18:23:33 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c824-f5b8-7854-87f7.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-05-04 18:24:56 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
2023-05-04 18:25:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) |
2023-05-04 18:27:24 +0200 | mmhat | (~mmh@p200300f1c7192357ee086bfffe095315.dip0.t-ipconnect.de) |
2023-05-04 18:27:31 +0200 | mmhat | (~mmh@p200300f1c7192357ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
2023-05-04 18:27:41 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 18:28:42 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
2023-05-04 18:31:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-05-04 18:36:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 18:37:47 +0200 | opticblast | (~Thunderbi@172.58.87.122) |
2023-05-04 18:39:16 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-05-04 18:39:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
2023-05-04 18:41:00 +0200 | <ddellacosta> | This is re: haskell binary running in alpine docker container, image built with nix: /etc/localtime is pointing to /usr/share/zoneinfo/America/New_York, and $TZ and /etc/timezone are both "America/New_York". `date` returns the correct timestamp for this timezone. (All of this checked via `docker exec ... bash`.) Dumping System.Environment.getEnv "TZ" in logs gives me "America/New_York". However, |
2023-05-04 18:41:02 +0200 | <ddellacosta> | the time library doesn't seem to pick this up; Data.Time.LocalTime.getCurrentTimeZone gives me "America," timeZoneOffsetString is "+0000". Am I forgetting something? |
2023-05-04 18:41:54 +0200 | <ddellacosta> | it almost seems like it's parsing the timezone incorrectly, given that it's not just UTC |
2023-05-04 18:44:18 +0200 | <ddellacosta> | doesn't seem like the time code works that way though, so, I dunno |
2023-05-04 18:45:42 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 18:48:02 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-05-04 18:48:33 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-05-04 18:50:33 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 18:50:40 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
2023-05-04 18:53:08 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-05-04 18:53:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) |
2023-05-04 18:53:25 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2023-05-04 18:55:28 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 18:56:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) |
2023-05-04 18:56:48 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-04 18:57:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-04 18:58:58 +0200 | <segfaultfizzbuzz> | i think (?) programming language expressions are always trees, as in abstract syntax trees. is this true of mathematics as well? that is to say, if i open up any math paper, can i always represent the statements in the paper with an AST? |
2023-05-04 19:00:31 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 19:01:08 +0200 | <segfaultfizzbuzz> | in parallel i am also not sure what the alternative would be to an AST,... maybe general natural language? |
2023-05-04 19:02:22 +0200 | <geekosaur> | graphs come to mind |
2023-05-04 19:02:57 +0200 | <geekosaur> | (that is, general connections between nodes, not just a straightforward branching tree or even simple loops) |
2023-05-04 19:03:44 +0200 | <geekosaur> | many (not all) math papers describe proofs, though, and those should reduce to ASTs via Curry-Howard I think |
2023-05-04 19:04:48 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 19:05:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-05-04 19:09:25 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
2023-05-04 19:10:22 +0200 | Guest45678 | (~Guest4567@p200300cf072e68ea6b29732cbdb21e80.dip0.t-ipconnect.de) (Quit: Client closed) |
2023-05-04 19:15:51 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
2023-05-04 19:17:13 +0200 | <monochrom> | Linguists already figured out turning sentences into trees. All languages. |
2023-05-04 19:17:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-05-04 19:19:01 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 19:19:05 +0200 | <monochrom> | (BTW you would be surprised how more linguists than programmers understand CFGs and even continuations.) |
2023-05-04 19:24:00 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-04 19:24:17 +0200 | hochata | (~user@user/hochata) |
2023-05-04 19:24:47 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
2023-05-04 19:25:50 +0200 | <monochrom> | Every time I read a cool blog featured in HWN I go "this would be great for an assignment for my students!" |
2023-05-04 19:26:26 +0200 | <monochrom> | One second later "oh no, its solution is already in public, this can't go into an assignment". |
2023-05-04 19:26:56 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
2023-05-04 19:27:28 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 248 seconds) |
2023-05-04 19:27:39 +0200 | <monochrom> | (BTW there is some recent code I am not pushing to github for now because of this.) |
2023-05-04 19:27:59 +0200 | Digit | (~user@user/digit) |
2023-05-04 19:28:00 +0200 | <monochrom> | (I wrote the code and solved a problem. Now I want to make it an assignment.) |
2023-05-04 19:28:22 +0200 | <monochrom> | Although, 10 seconds later "oh, but this would be great on an exam!" |
2023-05-04 19:29:04 +0200 | <monochrom> | (assuming in-person invigilated exam of course. won't work if we go back to online stay-home schooling...) |
2023-05-04 19:29:06 +0200 | <jade[m]1> | what level are the courses you teach? (beginner, intermediate, ...) |
2023-05-04 19:29:45 +0200 | <monochrom> | That's hard to quantify. But it's 3rd year in terms of overall CS. But it's the 1st time most students see FP at all. |
2023-05-04 19:30:04 +0200 | kilolympus | (~kilolympu@213.144.144.24) |
2023-05-04 19:30:17 +0200 | <jade[m]1> | ah thank you, that gives some insight! |
2023-05-04 19:31:08 +0200 | <monochrom> | So, fair to consider them beginners when you show them "myreverse (x:xs) = myreverse xs ++ [x]" |
2023-05-04 19:31:43 +0200 | <monochrom> | But supposedly (yeah right I wish) once they can read that they should see it's quadratic time and why. |
2023-05-04 19:32:42 +0200 | <monochrom> | But given the pandemic of using Python in 1st years therefore students have this delusion that one line of code takes O(1) time, fat chance. |
2023-05-04 19:32:54 +0200 | <jade[m]1> | mhm yeah |
2023-05-04 19:33:06 +0200 | <jade[m]1> | at what point do you introduce folds |
2023-05-04 19:33:36 +0200 | <jade[m]1> | foldl (flip (:)) [] took me a pretty long time to understand initially |
2023-05-04 19:34:08 +0200 | <monochrom> | After lists, ADTs, and polymorphic types and functions. |
2023-05-04 19:34:36 +0200 | <jade[m]1> | mhm |
2023-05-04 19:34:54 +0200 | <jade[m]1> | I've never had 'formal' haskell education so this is really interesting |
2023-05-04 19:34:55 +0200 | <monochrom> | Actually this is what I did last summer: http://www.cs.utoronto.ca/~trebla/CSCC24-2022-Summer/ |
2023-05-04 19:35:24 +0200 | <jade[m]1> | thanks, I'll take a look |
2023-05-04 19:35:47 +0200 | <monochrom> | This summer I plan to move FAM near the end. |
2023-05-04 19:36:13 +0200 | <jade[m]1> | FAM? |
2023-05-04 19:36:51 +0200 | <monochrom> | Meanwhile, without FAM how do I do monadic parsing? Simple: import Prelude hiding ((>>=), <*>, fmap, etc etc) and have my own >>= etc hardtyped for the parser type. |
2023-05-04 19:36:57 +0200 | <geekosaur> | functor/applicative/monad |
2023-05-04 19:37:10 +0200 | <jade[m]1> | ahh yeah |
2023-05-04 19:37:47 +0200 | <monochrom> | Possibly an FAM lecture makes more sense and much less of an uphill after monadic parsing without saying "monadic". |
2023-05-04 19:37:48 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-05-04 19:38:13 +0200 | <monochrom> | Because you can see currently the FAM lectures took forever. It is becoming a time sink. |
2023-05-04 19:38:44 +0200 | <monochrom> | Plus this course is not supposed to be an FP course. It is supposed to be a baby PLT that happens to use FP for various purposes. |
2023-05-04 19:39:08 +0200 | <jade[m]1> | monochrom: I think things like that are great for intuition. building your own functions for different types... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/90f97578fb16c7e15d1acb4a43d2b45d6a76…>) |
2023-05-04 19:39:42 +0200 | <jade[m]1> | I wish more CS education was focused on intuition and discovering things yourself |
2023-05-04 19:39:57 +0200 | <monochrom> | Yeah I do that in the FAM lecture. It is still taking forever. :) |
2023-05-04 19:40:07 +0200 | <jade[m]1> | that's the downside ... |
2023-05-04 19:40:23 +0200 | <monochrom> | Hell, ideally s/CS // |
2023-05-04 19:41:50 +0200 | <monochrom> | But here is why, at least in public school systems such as K-12, STEM does not get that treatment. (Ironically, the arts do, so it is not like the educators didn't know.) |
2023-05-04 19:42:06 +0200 | <probie> | That [focused on intuition...] takes an unpredictable amount of time which means it works pretty well for private tutoring, but poorly for a class composed of many individuals and with a fixed schedule |
2023-05-04 19:42:30 +0200 | <jade[m]1> | yep |
2023-05-04 19:42:34 +0200 | <monochrom> | (Right? Your primary school English classes are all about having fun with storytelling. And the math classes are all about dry rote.) |
2023-05-04 19:42:46 +0200 | <jade[m]1> | I learned 95% of the things I'm interested in from the internet |
2023-05-04 19:42:55 +0200 | <jade[m]1> | such as most of math and cs that I know |
2023-05-04 19:43:01 +0200 | <monochrom> | It is because the public school systems are controlled by biased arts people. |
2023-05-04 19:43:21 +0200 | <jade[m]1> | (praise goes out to 3B1B, Mathologer and Michael Penn) |
2023-05-04 19:43:23 +0200 | <monochrom> | Well, they love their own subjects so they do everything to make them lovable for all. |
2023-05-04 19:44:44 +0200 | <jade[m]1> | mhm |
2023-05-04 19:45:12 +0200 | <monochrom> | And unfairly they then go "convince me why it is useful to include math" (they never ask that about their own beloved subjects, I mean come on, did they ask "convince me why it's useful to include music too?") |
2023-05-04 19:45:47 +0200 | <monochrom> | Therefore music and English are taught because they are fun and beauty therefore the fun and beauty are emphasized. |
2023-05-04 19:46:03 +0200 | <probie> | On the "upside", if you are a (K-12) maths teacher, you're under no obligation to make the class fun |
2023-05-04 19:46:13 +0200 | <monochrom> | Math is taught for utitlity therefore it's a dry utility. BTW utility implies dry rote, of course. |
2023-05-04 19:46:17 +0200 | <jade[m]1> | I think part of the problem is also unmotivated teachers, the concept of grades and in general the stress that school brings with it for the students |
2023-05-04 19:46:33 +0200 | <probie> | but I feel like this is well off-topic for #haskell, perhaps it should move to another channel? |
2023-05-04 19:46:37 +0200 | <jade[m]1> | I sincerely believe we can make people love learning if it were done right |
2023-05-04 19:47:20 +0200 | <monochrom> | Imagine if music classes were about memorizing harmonic progressions. That's what happened to math classes. |
2023-05-04 19:47:54 +0200 | <jade[m]1> | that's a great analogy haha |
2023-05-04 19:47:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-05-04 19:48:25 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-05-04 19:50:51 +0200 | mei | (~mei@user/mei) |
2023-05-04 19:53:08 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-8c46-2e02-6a42-b157.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-05-04 19:54:29 +0200 | <monochrom> | OK so back to the cool haskell blogs, the one that started what I said about "I want to use this for assignment oh wait I can't" is the FFT one. |
2023-05-04 19:54:58 +0200 | <monochrom> | It's on today's HWN but here it is: https://gist.github.com/VictorTaelin/5776ede998d0039ad1cc9b12fd96811c/4499146ec3a85e55072c50606ef2… |
2023-05-04 19:58:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-05-04 19:59:55 +0200 | hochata | (~user@user/hochata) (Ping timeout: 260 seconds) |
2023-05-04 20:04:48 +0200 | <jade[m]1> | That's really interesting and made me think a bit about how I reason about code |
2023-05-04 20:06:34 +0200 | pyook | (~puke@user/puke) |
2023-05-04 20:08:40 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) (Ping timeout: 276 seconds) |
2023-05-04 20:11:09 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-05-04 20:14:51 +0200 | <tomsmeding> | it's cute |
2023-05-04 20:16:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
2023-05-04 20:17:58 +0200 | <probie> | I'm a fan of the use of balanced ternary. I feel a bit silly having never thought about using it when I need an inductive definition of the integers with reasonable performance |
2023-05-04 20:18:38 +0200 | <jade[m]1> | I've seen it used somewhere before but I can't remember where |
2023-05-04 20:18:56 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) |
2023-05-04 20:19:09 +0200 | <jade[m]1> | I think it was something purely mathematical and it was a very clever solution to a problem |
2023-05-04 20:23:35 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-05-04 20:27:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-05-04 20:30:32 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-04 20:32:51 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Quit: Client closed) |
2023-05-04 20:35:06 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-05-04 20:39:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-04 20:42:07 +0200 | <ncf> | what's HWN? |
2023-05-04 20:42:50 +0200 | <geekosaur> | haskell weekly news? |
2023-05-04 20:43:27 +0200 | mechap | (~mechap@user/mechap) |
2023-05-04 20:43:58 +0200 | <geekosaur> | https://haskellweekly.news/issue/366.html third item seems to be the one under discussion |
2023-05-04 20:45:09 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-04 20:49:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-04 20:54:52 +0200 | <sm> | and here is the HN discussion: https://news.ycombinator.com/item?id=35801293 |
2023-05-04 20:55:12 +0200 | <sm> | oops you said third. I can't count :) |
2023-05-04 20:55:33 +0200 | <geekosaur> | the FFT one, right? that was third |
2023-05-04 20:55:46 +0200 | <geekosaur> | not saying the others weren't worthy of note 🙂 |
2023-05-04 20:56:10 +0200 | <sm> | anyway, that HN link is the latest Haskell discussion there, a pretty good one |
2023-05-04 20:56:29 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) |
2023-05-04 20:58:07 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-05-04 21:00:53 +0200 | akshitkr | (~user@218.185.248.66) |
2023-05-04 21:00:55 +0200 | <akshitkr> | k |
2023-05-04 21:02:20 +0200 | opticblast | (~Thunderbi@172.58.87.122) (Quit: opticblast) |
2023-05-04 21:04:21 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
2023-05-04 21:05:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
2023-05-04 21:07:11 +0200 | stackdroid18 | (14094@de1.hashbang.sh) |
2023-05-04 21:07:35 +0200 | agent-novichok | (~Novichok@i59F46C67.versanet.de) (Quit: Leaving) |
2023-05-04 21:08:38 +0200 | tr_ev | (~trev@user/trev) |
2023-05-04 21:10:05 +0200 | tr_ev | trev |
2023-05-04 21:15:18 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection) |
2023-05-04 21:20:47 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-04 21:24:21 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-05-04 21:26:06 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2023-05-04 21:28:01 +0200 | u0_a202 | (~u0_a202@47.60.32.137) |
2023-05-04 21:28:11 +0200 | u0_a202 | dom0 |
2023-05-04 21:28:45 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
2023-05-04 21:30:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2023-05-04 21:31:33 +0200 | dom0 | (~u0_a202@47.60.32.137) (Client Quit) |
2023-05-04 21:35:21 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
2023-05-04 21:44:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
2023-05-04 21:56:31 +0200 | <ddellacosta> | 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 |
2023-05-04 21:56:37 +0200 | <ddellacosta> | whoops, guess that keys getting changed |
2023-05-04 21:59:30 +0200 | <Hecate> | ddellacosta: I must commend you on your taste of pass keys, although a little bit more special characters sprinkled on it like salt & pepper would hav been perfect :) |
2023-05-04 22:00:35 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Read error: Connection reset by peer) |
2023-05-04 22:01:22 +0200 | <ddellacosta> | Hecate: lol I can't claim responsibility, that was actually an old-school GH token, I should probably have bumped it to be a fine-grained access one a while ago, so this is just as well |
2023-05-04 22:01:34 +0200 | pavonia | (~user@user/siracusa) |
2023-05-04 22:03:25 +0200 | <Hecate> | 👍 |
2023-05-04 22:05:04 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-05-04 22:06:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-04 22:10:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 250 seconds) |
2023-05-04 22:12:11 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-05-04 22:19:59 +0200 | myme | (~myme@2a01:799:d60:e400:62e6:cfdd:2547:9938) (Quit: WeeChat 3.8) |
2023-05-04 22:20:17 +0200 | myme | (~myme@2a01:799:d60:e400:2dd4:a7b:39d8:afc) |
2023-05-04 22:21:56 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
2023-05-04 22:27:43 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-05-04 22:34:43 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
2023-05-04 22:36:39 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-05-04 22:42:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
2023-05-04 22:49:00 +0200 | nick3 | (~nick@98.186.192.206) |
2023-05-04 22:51:12 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 268 seconds) |
2023-05-04 22:51:52 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:8940:e20c:3e5e:bc76) |
2023-05-04 22:53:40 +0200 | nick3 | (~nick@98.186.192.206) (Ping timeout: 268 seconds) |
2023-05-04 22:57:27 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) |
2023-05-04 22:59:50 +0200 | ddellacosta | (~ddellacos@146.70.166.241) (Ping timeout: 268 seconds) |
2023-05-04 23:01:21 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
2023-05-04 23:05:21 +0200 | stackdroid18 | (14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!) |
2023-05-04 23:05:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-05-04 23:10:24 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
2023-05-04 23:11:38 +0200 | <hpc> | this is why i don't make any of my passwords look like passwords |
2023-05-04 23:11:44 +0200 | <hpc> | whoops, i have to change that key now too :P |
2023-05-04 23:12:13 +0200 | <monochrom> | haha |
2023-05-04 23:12:54 +0200 | <monochrom> | Someone should ask chatgpt "can chatgpt generate good passwords?" |
2023-05-04 23:13:15 +0200 | <hpc> | the answer is "yes! haskell can do that" |
2023-05-04 23:13:25 +0200 | <monochrom> | haha that's a great answer |
2023-05-04 23:13:39 +0200 | ping67 | (~ping@pool-68-132-222-250.nycmny.fios.verizon.net) |
2023-05-04 23:14:55 +0200 | <jade[m]1> | inspired by a recent tom scott pidcast episode:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/d16f95aee37f1f970d5b3db0e517d5bdf6a0…>) |
2023-05-04 23:15:23 +0200 | <jade[m]1> | * inspired by a recent tom scott podcast episode:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/5ce0a8f920f77d5ab262d32aa9fa56dba031…>) |
2023-05-04 23:16:16 +0200 | <delYsid> | /kick jade[m]1 |
2023-05-04 23:16:33 +0200 | ping67 | (~ping@pool-68-132-222-250.nycmny.fios.verizon.net) (Client Quit) |
2023-05-04 23:16:48 +0200 | <jade[m]1> | hm. |
2023-05-04 23:16:55 +0200 | delYsid | (~user@user/delYsid) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50)) |
2023-05-04 23:17:09 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-05-04 23:17:33 +0200 | <monochrom> | In Haskell, you can simplify "() -> X" to "X". |
2023-05-04 23:18:17 +0200 | <jade[m]1> | yep, I know |
2023-05-04 23:18:44 +0200 | <jade[m]1> | the joke is that it's a function |
2023-05-04 23:20:10 +0200 | <monochrom> | Oh haha |
2023-05-04 23:22:32 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-05-04 23:24:01 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
2023-05-04 23:26:12 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-05-04 23:27:44 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
2023-05-04 23:28:43 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
2023-05-04 23:31:47 +0200 | pavonia | (~user@user/siracusa) |
2023-05-04 23:31:48 +0200 | be3d2bd3-2bfd-42 | (~aditya@162-227-162-235.lightspeed.sntcca.sbcglobal.net) |
2023-05-04 23:32:16 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:8940:e20c:3e5e:bc76) (Quit: caryhartline) |
2023-05-04 23:32:34 +0200 | be3d2bd3-2bfd-42 | (~aditya@162-227-162-235.lightspeed.sntcca.sbcglobal.net) (Client Quit) |
2023-05-04 23:36:13 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:a03e:3524:dabb:13b2) |
2023-05-04 23:38:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-05-04 23:40:59 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-05-04 23:44:28 +0200 | acidjnk | (~acidjnk@p200300d6e7072f25c4af7c152bd52e2c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-05-04 23:47:39 +0200 | v^ | (~v^@pool-68-132-222-250.nycmny.fios.verizon.net) |
2023-05-04 23:47:46 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
2023-05-04 23:49:38 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
2023-05-04 23:50:22 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-05-04 23:53:51 +0200 | alphabeta | (~kilolympu@213.144.144.24) |
2023-05-04 23:54:13 +0200 | kilolympus | (~kilolympu@213.144.144.24) (Ping timeout: 276 seconds) |