IRCBrowse

2023/06/13

2023-06-13 00:00:13 +0200segfaultfizzbuzz(~segfaultf@23.93.74.212)
2023-06-13 00:03:43 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds)
2023-06-13 00:04:40 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:05:02 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 268 seconds)
2023-06-13 00:07:52 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 00:09:10 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 00:10:13 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:14:07 +0200segfaultfizzbuzz(~segfaultf@23.93.74.212) (Ping timeout: 250 seconds)
2023-06-13 00:14:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-06-13 00:15:20 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds)
2023-06-13 00:15:46 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:17:59 +0200oac_(~oac@72-50-214-210.fttp.usinternet.com) (Ping timeout: 268 seconds)
2023-06-13 00:20:25 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 00:21:17 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:25:49 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 00:26:50 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:27:01 +0200santiagopim(~user@90.167.66.131) (Ping timeout: 260 seconds)
2023-06-13 00:29:37 +0200fiddlerwoaroof_(~fiddlerwo@user/fiddlerwoaroof) (Server closed connection)
2023-06-13 00:30:09 +0200fiddlerwoaroof_(~fiddlerwo@user/fiddlerwoaroof)
2023-06-13 00:31:05 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 00:31:40 +0200mei(~mei@user/mei) (Ping timeout: 255 seconds)
2023-06-13 00:34:30 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-13 00:35:31 +0200mei(~mei@user/mei)
2023-06-13 00:37:25 +0200img(~img@user/img)
2023-06-13 00:37:54 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:37:56 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-06-13 00:37:57 +0200elain4(~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-06-13 00:38:10 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185)
2023-06-13 00:39:21 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-06-13 00:39:24 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-06-13 00:39:48 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-13 00:42:45 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185) (Ping timeout: 260 seconds)
2023-06-13 00:42:45 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds)
2023-06-13 00:43:49 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:45:38 +0200APic(apic@apic.name) (Server closed connection)
2023-06-13 00:45:47 +0200gurkenglas(~user@dynamic-046-114-176-034.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-06-13 00:45:50 +0200APic(apic@apic.name)
2023-06-13 00:46:58 +0200jlwoodwa(~jlwoodwa@172.58.84.226) (Ping timeout: 255 seconds)
2023-06-13 00:48:21 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds)
2023-06-13 00:48:59 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:49:31 +0200kupi_(uid212005@2a03:5180:f:4::3:3c25)
2023-06-13 00:49:50 +0200myme(~myme@2a01:799:d60:e400:aea4:e4cc:8331:e0cb) (Server closed connection)
2023-06-13 00:50:36 +0200myme(~myme@2a01:799:d60:e400:8cc9:2abe:579d:d46f)
2023-06-13 00:52:22 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-06-13 00:53:43 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 00:54:33 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 00:59:40 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds)
2023-06-13 00:59:49 +0200cheater(~Username@user/cheater)
2023-06-13 01:00:17 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 01:02:47 +0200mauke_(~mauke@user/mauke)
2023-06-13 01:04:59 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds)
2023-06-13 01:06:05 +0200mauke(~mauke@user/mauke) (Ping timeout: 260 seconds)
2023-06-13 01:06:06 +0200mauke_mauke
2023-06-13 01:10:18 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 265 seconds)
2023-06-13 01:10:50 +0200hackyhacker(~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Server closed connection)
2023-06-13 01:11:05 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-06-13 01:11:10 +0200hackyhacker(~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
2023-06-13 01:11:11 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-06-13 01:11:31 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 01:12:08 +0200xff0x(~xff0x@178.255.149.135)
2023-06-13 01:14:32 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 01:15:42 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 01:16:06 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds)
2023-06-13 01:17:30 +0200m5zs7k(aquares@web10.mydevil.net) (Server closed connection)
2023-06-13 01:17:49 +0200m5zs7k(aquares@web10.mydevil.net)
2023-06-13 01:21:10 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Server closed connection)
2023-06-13 01:21:18 +0200xff0x(~xff0x@178.255.149.135) (Ping timeout: 250 seconds)
2023-06-13 01:21:29 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-06-13 01:22:11 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 01:22:58 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 255 seconds)
2023-06-13 01:23:29 +0200xff0x(~xff0x@178.255.149.135)
2023-06-13 01:24:56 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 01:26:17 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 01:26:53 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-06-13 01:27:16 +0200dcoutts(~duncan@212.187.244.86)
2023-06-13 01:28:30 +0200haritz(~hrtz@user/haritz) (Server closed connection)
2023-06-13 01:28:48 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2023-06-13 01:28:48 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2023-06-13 01:28:48 +0200haritz(~hrtz@user/haritz)
2023-06-13 01:29:10 +0200mrmr(~mrmr@user/mrmr) (Server closed connection)
2023-06-13 01:29:29 +0200mrmr(~mrmr@user/mrmr)
2023-06-13 01:30:18 +0200smalltalkman(uid545680@2a03:5180:f:4::8:5390)
2023-06-13 01:32:52 +0200wroathe(~wroathe@user/wroathe)
2023-06-13 01:32:52 +0200xff0x(~xff0x@178.255.149.135) (Ping timeout: 255 seconds)
2023-06-13 01:33:14 +0200dcoutts(~duncan@212.187.244.86) (Remote host closed the connection)
2023-06-13 01:33:33 +0200dcoutts(~duncan@212.187.244.86)
2023-06-13 01:34:48 +0200xff0x(~xff0x@2405:6580:b080:900:3687:e69a:4c02:e9f)
2023-06-13 01:35:38 +0200dcoutts_(~duncan@185.201.60.219)
2023-06-13 01:35:39 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-06-13 01:36:50 +0200incertia(~incertia@209.122.71.127) (Server closed connection)
2023-06-13 01:38:10 +0200dcoutts(~duncan@212.187.244.86) (Ping timeout: 260 seconds)
2023-06-13 01:38:32 +0200incertia(~incertia@209.122.71.127)
2023-06-13 01:43:20 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 01:45:06 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 01:46:57 +0200takuan(~takuan@178.116.218.225) (Remote host closed the connection)
2023-06-13 01:49:38 +0200Techcable(~Techcable@user/Techcable) (Server closed connection)
2023-06-13 01:49:45 +0200Techcable(~Techcable@user/Techcable)
2023-06-13 01:54:48 +0200dcoutts_(~duncan@185.201.60.219) (Ping timeout: 268 seconds)
2023-06-13 01:54:56 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 01:55:30 +0200dcoutts_(~duncan@185.201.60.13)
2023-06-13 01:55:43 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 01:55:50 +0200sllk_(~sllk@vps-73d553ae.vps.ovh.net) (Server closed connection)
2023-06-13 01:55:59 +0200sllk(~sllk@vps-73d553ae.vps.ovh.net)
2023-06-13 01:59:11 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2023-06-13 02:00:15 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-06-13 02:00:25 +0200mauke_(~mauke@user/mauke)
2023-06-13 02:01:19 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 02:01:44 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 02:02:29 +0200foul_owl(~kerry@71.212.137.212)
2023-06-13 02:03:04 +0200blueonyx(~blueonyx@user/blueonyx)
2023-06-13 02:03:50 +0200mauke(~mauke@user/mauke) (Ping timeout: 260 seconds)
2023-06-13 02:03:51 +0200mauke_mauke
2023-06-13 02:05:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2023-06-13 02:06:01 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 02:07:03 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-06-13 02:07:07 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-06-13 02:08:40 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-06-13 02:08:50 +0200Nosrep(~Nosrep@user/nosrep) (Server closed connection)
2023-06-13 02:09:14 +0200Nosrep(~Nosrep@user/nosrep)
2023-06-13 02:10:40 +0200dcoutts_(~duncan@185.201.60.13) (Ping timeout: 255 seconds)
2023-06-13 02:11:30 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 02:15:45 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 02:16:50 +0200rodental(~rodental@38.146.5.222) (Server closed connection)
2023-06-13 02:17:09 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 02:17:35 +0200rodental(~rodental@38.146.5.222)
2023-06-13 02:17:50 +0200foul_owl(~kerry@71.212.137.212) (Ping timeout: 260 seconds)
2023-06-13 02:21:50 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds)
2023-06-13 02:28:04 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 02:28:06 +0200mei(~mei@user/mei) (Ping timeout: 268 seconds)
2023-06-13 02:28:29 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 02:31:48 +0200mei(~mei@user/mei)
2023-06-13 02:32:49 +0200foul_owl(~kerry@45.143.82.39)
2023-06-13 02:33:02 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds)
2023-06-13 02:33:35 +0200xff0x(~xff0x@2405:6580:b080:900:3687:e69a:4c02:e9f) (Ping timeout: 260 seconds)
2023-06-13 02:34:00 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-06-13 02:39:27 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 02:39:40 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185)
2023-06-13 02:40:56 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 02:41:48 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 02:43:58 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 02:44:05 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185) (Ping timeout: 260 seconds)
2023-06-13 02:44:32 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-06-13 02:44:52 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2023-06-13 02:44:54 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 02:47:20 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 02:48:12 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 02:48:28 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 02:54:48 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-06-13 02:58:15 +0200simpleauthority(~simpleaut@user/simpleauthority) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-13 02:58:45 +0200kupi_(uid212005@2a03:5180:f:4::3:3c25) (Quit: Connection closed for inactivity)
2023-06-13 03:00:21 +0200simpleauthority(~simpleaut@user/simpleauthority)
2023-06-13 03:01:46 +0200biberu(~biberu@user/biberu)
2023-06-13 03:07:25 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds)
2023-06-13 03:08:13 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 03:08:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 03:10:02 +0200biberu(~biberu@user/biberu) (Ping timeout: 268 seconds)
2023-06-13 03:10:19 +0200biberu\biberu
2023-06-13 03:10:54 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-06-13 03:10:56 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 03:11:06 +0200tom_(~tom@2a00:23c8:970c:4801:d59:645f:19cf:5a58)
2023-06-13 03:11:40 +0200zincy(~tom@host81-151-255-71.range81-151.btcentralplus.com) (Remote host closed the connection)
2023-06-13 03:12:59 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 03:13:07 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds)
2023-06-13 03:14:38 +0200puke(~puke@user/puke) (Server closed connection)
2023-06-13 03:15:03 +0200puke(~puke@user/puke)
2023-06-13 03:17:00 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-06-13 03:18:48 +0200biberu\(~biberu@user/biberu)
2023-06-13 03:19:04 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 03:19:54 +0200biberu(~biberu@user/biberu) (Ping timeout: 268 seconds)
2023-06-13 03:20:26 +0200biberu\biberu
2023-06-13 03:20:31 +0200blueonyx(~blueonyx@user/blueonyx) (Ping timeout: 240 seconds)
2023-06-13 03:20:56 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-13 03:21:46 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds)
2023-06-13 03:22:32 +0200blueonyx(~blueonyx@user/blueonyx)
2023-06-13 03:23:34 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 03:24:22 +0200blueonyx(~blueonyx@user/blueonyx) (Client Quit)
2023-06-13 03:24:46 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 03:26:46 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-13 03:29:10 +0200biberu\(~biberu@user/biberu)
2023-06-13 03:29:35 +0200biberu(~biberu@user/biberu) (Ping timeout: 260 seconds)
2023-06-13 03:30:41 +0200biberu\biberu
2023-06-13 03:39:31 +0200biberu(~biberu@user/biberu) (Ping timeout: 250 seconds)
2023-06-13 03:39:45 +0200werneta(~werneta@70.142.214.115)
2023-06-13 03:40:24 +0200biberu(~biberu@user/biberu)
2023-06-13 03:41:38 +0200Adran(~adran@botters/adran) (Server closed connection)
2023-06-13 03:43:49 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 03:45:03 +0200Adran(~adran@botters/adran)
2023-06-13 03:45:21 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 260 seconds)
2023-06-13 03:49:03 +0200biberu(~biberu@user/biberu) (Ping timeout: 250 seconds)
2023-06-13 03:56:19 +0200biberu(~biberu@user/biberu)
2023-06-13 03:56:25 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 255 seconds)
2023-06-13 04:02:14 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection)
2023-06-13 04:04:18 +0200biberu(~biberu@user/biberu) (Ping timeout: 268 seconds)
2023-06-13 04:06:41 +0200biberu(~biberu@user/biberu)
2023-06-13 04:07:41 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 04:10:55 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185)
2023-06-13 04:12:10 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 04:13:26 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 04:13:38 +0200acro(~acro@user/acro) (Server closed connection)
2023-06-13 04:13:59 +0200biberu\(~biberu@user/biberu)
2023-06-13 04:14:25 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 04:14:34 +0200acro(~acro@user/acro)
2023-06-13 04:15:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 04:15:37 +0200biberu\biberu
2023-06-13 04:16:28 +0200wns(~user@103.206.114.101) (Quit: WeeChat 3.8)
2023-06-13 04:19:33 +0200dsrt^(~dsrt@71.204.38.59)
2023-06-13 04:19:49 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-06-13 04:19:49 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-06-13 04:19:49 +0200finn_elijaFinnElija
2023-06-13 04:20:38 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-13 04:23:15 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2023-06-13 04:23:29 +0200xff0x(~xff0x@125.103.176.34)
2023-06-13 04:23:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 04:24:19 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 04:25:01 +0200Sciencentistguy1(~sciencent@hacksoc/ordinary-member)
2023-06-13 04:25:05 +0200cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-06-13 04:25:19 +0200biberu\biberu
2023-06-13 04:27:28 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds)
2023-06-13 04:27:28 +0200Sciencentistguy1Sciencentistguy
2023-06-13 04:31:34 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-06-13 04:31:46 +0200hackyhacker(~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (*.net *.split)
2023-06-13 04:31:46 +0200lightandlight(sid135476@id-135476.helmsley.irccloud.com) (*.net *.split)
2023-06-13 04:31:46 +0200hugo(znc@verdigris.lysator.liu.se) (*.net *.split)
2023-06-13 04:31:46 +0200AlexNoo(~AlexNoo@178.34.163.11) (*.net *.split)
2023-06-13 04:31:46 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (*.net *.split)
2023-06-13 04:31:46 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2023-06-13 04:31:46 +0200Pent(sid313808@id-313808.lymington.irccloud.com) (*.net *.split)
2023-06-13 04:31:46 +0200lyxia(~lyxia@poisson.chat) (*.net *.split)
2023-06-13 04:31:46 +0200heath1(~heath@user/heath) (*.net *.split)
2023-06-13 04:31:46 +0200canta1(~canta@cvm0.d5k.one) (*.net *.split)
2023-06-13 04:31:46 +0200mi7(~miselin@76.132.133.207) (*.net *.split)
2023-06-13 04:31:46 +0200hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2023-06-13 04:31:46 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (*.net *.split)
2023-06-13 04:31:46 +0200dtman34(~dtman34@2601:447:d000:93c9:f69f:1c9f:25a2:cccc) (*.net *.split)
2023-06-13 04:31:46 +0200bliminse(~bliminse@user/bliminse) (*.net *.split)
2023-06-13 04:31:46 +0200oljenkins(~philipp@p5dec4bb3.dip0.t-ipconnect.de) (*.net *.split)
2023-06-13 04:31:46 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (*.net *.split)
2023-06-13 04:31:46 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2023-06-13 04:31:46 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2023-06-13 04:31:46 +0200drdo(~drdo@bl8-153-185.dsl.telepac.pt) (*.net *.split)
2023-06-13 04:31:46 +0200hexology(~hexology@user/hexology) (*.net *.split)
2023-06-13 04:31:46 +0200hays(rootvegeta@fsf/member/hays) (*.net *.split)
2023-06-13 04:31:46 +0200lottaquestions(~nick@2607:fa49:503f:6d00:8fc2:91a1:b755:da93) (*.net *.split)
2023-06-13 04:31:46 +0200delyan(sid523379@id-523379.hampstead.irccloud.com) (*.net *.split)
2023-06-13 04:31:46 +0200JSharp(sid4580@id-4580.lymington.irccloud.com) (*.net *.split)
2023-06-13 04:31:46 +0200srk(~sorki@user/srk) (*.net *.split)
2023-06-13 04:31:46 +0200nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2023-06-13 04:31:46 +0200h2t(~h2t@user/h2t) (*.net *.split)
2023-06-13 04:31:46 +0200siers(~ij@user/ij) (*.net *.split)
2023-06-13 04:31:46 +0200edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (*.net *.split)
2023-06-13 04:31:46 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com) (*.net *.split)
2023-06-13 04:31:46 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split)
2023-06-13 04:31:46 +0200hippoid(~hippoid@user/hippoid) (*.net *.split)
2023-06-13 04:31:46 +0200MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (*.net *.split)
2023-06-13 04:31:46 +0200retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce) (*.net *.split)
2023-06-13 04:31:46 +0200sus(1b7af6299f@user/zeromomentum) (*.net *.split)
2023-06-13 04:31:46 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (*.net *.split)
2023-06-13 04:31:46 +0200whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4) (*.net *.split)
2023-06-13 04:31:46 +0200theesm(2cbdf4b38a@2604:bf00:561:2000::11c8) (*.net *.split)
2023-06-13 04:31:46 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7) (*.net *.split)
2023-06-13 04:31:46 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (*.net *.split)
2023-06-13 04:31:46 +0200probie(cc0b34050a@user/probie) (*.net *.split)
2023-06-13 04:31:46 +0200henrytill(e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split)
2023-06-13 04:31:46 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (*.net *.split)
2023-06-13 04:31:46 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (*.net *.split)
2023-06-13 04:31:46 +0200JoelMcCracken(9cb760e8d2@2604:bf00:561:2000::10e3) (*.net *.split)
2023-06-13 04:31:46 +0200arcadewise(52968ed80d@2604:bf00:561:2000::3df) (*.net *.split)
2023-06-13 04:31:46 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0) (*.net *.split)
2023-06-13 04:31:46 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (*.net *.split)
2023-06-13 04:31:46 +0200jkoshy(99b9359beb@user/jkoshy) (*.net *.split)
2023-06-13 04:31:46 +0200cpli(77fc530071@2604:bf00:561:2000::252) (*.net *.split)
2023-06-13 04:31:46 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (*.net *.split)
2023-06-13 04:31:46 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (*.net *.split)
2023-06-13 04:31:46 +0200jleightcap(7bc4014b62@user/jleightcap) (*.net *.split)
2023-06-13 04:31:46 +0200sm2n(ae95cb1267@user/sm2n) (*.net *.split)
2023-06-13 04:31:46 +0200chaitlatte0(ea29c0bb16@user/chaitlatte0) (*.net *.split)
2023-06-13 04:31:46 +0200jakzale(6291399afa@user/jakzale) (*.net *.split)
2023-06-13 04:31:46 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (*.net *.split)
2023-06-13 04:31:46 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split)
2023-06-13 04:31:46 +0200filwisher(3433d34cc6@2604:bf00:561:2000::170) (*.net *.split)
2023-06-13 04:31:46 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split)
2023-06-13 04:31:46 +0200ario(~ario@159.65.220.102) (*.net *.split)
2023-06-13 04:31:46 +0200mikko(~mikko@user/mikko) (*.net *.split)
2023-06-13 04:31:46 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241) (*.net *.split)
2023-06-13 04:31:46 +0200landonf(landonf@mac68k.info) (*.net *.split)
2023-06-13 04:31:46 +0200cln_(cln@wtf.cx) (*.net *.split)
2023-06-13 04:31:46 +0200remsen(ianremsen@tilde.team) (*.net *.split)
2023-06-13 04:31:46 +0200_\_(~o@user/offon) (*.net *.split)
2023-06-13 04:31:49 +0200samhh_samhh
2023-06-13 04:31:57 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2023-06-13 04:31:57 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2023-06-13 04:31:57 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2023-06-13 04:31:57 +0200filwisher(2e6936c793@2604:bf00:561:2000::170)
2023-06-13 04:31:58 +0200landonf(landonf@2600:3c03::f03c:91ff:feae:da1e)
2023-06-13 04:32:02 +0200cln_(cln@wtf.cx)
2023-06-13 04:32:07 +0200MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99)
2023-06-13 04:32:13 +0200whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4)
2023-06-13 04:32:13 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0)
2023-06-13 04:32:17 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2023-06-13 04:32:22 +0200shreyasminocha(51fdc93eda@user/shreyasminocha)
2023-06-13 04:32:22 +0200sus(1b7af6299f@user/zeromomentum)
2023-06-13 04:32:30 +0200probie(cc0b34050a@user/probie)
2023-06-13 04:32:30 +0200henrytill(e0180937c3@2604:bf00:561:2000::e8c)
2023-06-13 04:32:33 +0200delyan(sid523379@2a03:5180:f:4::7:fc73)
2023-06-13 04:32:34 +0200retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce)
2023-06-13 04:32:34 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2023-06-13 04:32:34 +0200Ankhers(a197a332e9@2604:bf00:561:2000::2a2)
2023-06-13 04:32:35 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-06-13 04:32:37 +0200Pent(sid313808@2a03:5180:f:2::4:c9d0)
2023-06-13 04:32:42 +0200AlexNoo(~AlexNoo@178.34.163.11)
2023-06-13 04:32:45 +0200JSharp(sid4580@2a03:5180:f:2::11e4)
2023-06-13 04:32:46 +0200edmundnoble(sid229620@id-229620.helmsley.irccloud.com)
2023-06-13 04:32:47 +0200canta1(~canta@cvm0.d5k.one)
2023-06-13 04:32:48 +0200mikko(~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi)
2023-06-13 04:32:55 +0200lightandlight(sid135476@id-135476.helmsley.irccloud.com)
2023-06-13 04:33:02 +0200mikko(~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host)
2023-06-13 04:33:02 +0200mikko(~mikko@user/mikko)
2023-06-13 04:33:15 +0200rubin55(sid175221@hampstead.irccloud.com)
2023-06-13 04:33:15 +0200emergence(thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) (Read error: Connection reset by peer)
2023-06-13 04:33:17 +0200hexology(~hexology@user/hexology)
2023-06-13 04:33:23 +0200chaitlatte0(ea29c0bb16@2604:bf00:561:2000::1124)
2023-06-13 04:33:26 +0200chaitlatte0(ea29c0bb16@2604:bf00:561:2000::1124) (Changing host)
2023-06-13 04:33:26 +0200chaitlatte0(ea29c0bb16@user/chaitlatte0)
2023-06-13 04:33:29 +0200cpli(77fc530071@2604:bf00:561:2000::252)
2023-06-13 04:33:40 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2023-06-13 04:33:40 +0200arcadewise(52968ed80d@2604:bf00:561:2000::3df)
2023-06-13 04:33:40 +0200siers(~ij@user/ij)
2023-06-13 04:33:42 +0200sm2n(ae95cb1267@user/sm2n)
2023-06-13 04:33:43 +0200srk_(~sorki@user/srk)
2023-06-13 04:33:43 +0200samhh_(7569f027cf@2604:bf00:561:2000::e4)
2023-06-13 04:33:45 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7)
2023-06-13 04:33:46 +0200JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3)
2023-06-13 04:33:51 +0200h2t(~h2t@user/h2t)
2023-06-13 04:33:51 +0200nurupo(~nurupo.ga@user/nurupo)
2023-06-13 04:33:56 +0200theesm(2cbdf4b38a@2604:bf00:561:2000::11c8)
2023-06-13 04:33:56 +0200jakzale(6291399afa@user/jakzale)
2023-06-13 04:33:57 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2023-06-13 04:33:58 +0200lottaquestions(~nick@2607:fa49:503f:6d00:9d95:486a:e095:686c)
2023-06-13 04:33:58 +0200dtman34(~dtman34@2601:447:d000:93c9:f1cc:f7a5:325c:7994)
2023-06-13 04:33:58 +0200jleightcap(7bc4014b62@user/jleightcap)
2023-06-13 04:34:00 +0200jkoshy(99b9359beb@user/jkoshy)
2023-06-13 04:34:03 +0200emergence(thelounge@2607:5300:60:5910:dcad:beff:feef:5bc)
2023-06-13 04:34:04 +0200biberu\(~biberu@user/biberu)
2023-06-13 04:34:07 +0200drdo(~drdo@bl8-153-185.dsl.telepac.pt)
2023-06-13 04:34:09 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-06-13 04:34:13 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2023-06-13 04:34:29 +0200biberu(~biberu@user/biberu) (Ping timeout: 246 seconds)
2023-06-13 04:34:32 +0200remsen(ianremsen@tilde.team)
2023-06-13 04:34:45 +0200robobub(uid248673@uxbridge.irccloud.com)
2023-06-13 04:34:47 +0200cheater(~Username@user/cheater)
2023-06-13 04:34:49 +0200emergence(thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) (Read error: Connection reset by peer)
2023-06-13 04:34:54 +0200heath1(~heath@user/heath)
2023-06-13 04:34:59 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2023-06-13 04:35:04 +0200emergence(thelounge@2607:5300:60:5910:dcad:beff:feef:5bc)
2023-06-13 04:35:06 +0200hugo(znc@verdigris.lysator.liu.se)
2023-06-13 04:35:34 +0200mcglk(~mcglk@131.191.19.145) (Ping timeout: 255 seconds)
2023-06-13 04:35:34 +0200ario(~ario@159.65.220.102)
2023-06-13 04:35:39 +0200biberu\biberu
2023-06-13 04:35:49 +0200hippoid(~hippoid@c-98-213-162-40.hsd1.il.comcast.net)
2023-06-13 04:36:13 +0200bliminse(~bliminse@user/bliminse)
2023-06-13 04:36:36 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2023-06-13 04:36:51 +0200mcglk(~mcglk@131.191.19.145)
2023-06-13 04:37:01 +0200hiredman(~hiredman@frontier1.downey.family)
2023-06-13 04:37:01 +0200oljenkins(~philipp@p5dec4bb3.dip0.t-ipconnect.de)
2023-06-13 04:43:01 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2023-06-13 04:43:06 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-06-13 04:43:55 +0200Angelz(Angelz@angelz.oddprotocol.org)
2023-06-13 04:44:26 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2023-06-13 04:44:51 +0200td_(~td@i5387093F.versanet.de) (Ping timeout: 260 seconds)
2023-06-13 04:44:54 +0200biberu(~biberu@user/biberu) (Ping timeout: 265 seconds)
2023-06-13 04:44:55 +0200biberu\(~biberu@user/biberu)
2023-06-13 04:46:29 +0200biberu\biberu
2023-06-13 04:46:32 +0200td_(~td@i5387091C.versanet.de)
2023-06-13 04:49:43 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds)
2023-06-13 04:51:15 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 04:53:16 +0200merijn(~merijn@86.86.29.250)
2023-06-13 04:53:26 +0200jargon(~jargon@184.101.75.235)
2023-06-13 04:54:28 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 04:54:49 +0200biberu(~biberu@user/biberu)
2023-06-13 04:55:31 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 04:57:31 +0200merijn(~merijn@86.86.29.250) (Ping timeout: 250 seconds)
2023-06-13 04:59:56 +0200jero98772(~jero98772@2800:484:1d7f:5d36::1) (Remote host closed the connection)
2023-06-13 05:02:10 +0200lyxia(~lyxia@poisson.chat)
2023-06-13 05:02:48 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 05:04:31 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 05:05:48 +0200biberu(~biberu@user/biberu)
2023-06-13 05:07:01 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 05:07:52 +0200oac_(~oac@72-50-214-210.fttp.usinternet.com)
2023-06-13 05:12:43 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-06-13 05:13:31 +0200cheater_(~Username@user/cheater)
2023-06-13 05:13:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 05:14:25 +0200biberu(~biberu@user/biberu) (Ping timeout: 250 seconds)
2023-06-13 05:15:49 +0200biberu\biberu
2023-06-13 05:16:27 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-06-13 05:16:36 +0200cheater_cheater
2023-06-13 05:18:46 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-06-13 05:24:32 +0200biberu(~biberu@user/biberu) (Ping timeout: 246 seconds)
2023-06-13 05:28:33 +0200vandita_(~vandit@87-97-13-61.pool.digikabel.hu)
2023-06-13 05:29:24 +0200oac_(~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac_)
2023-06-13 05:30:06 +0200biberu(~biberu@user/biberu)
2023-06-13 05:30:18 +0200jlwoodwa(~jlwoodwa@172.58.84.226)
2023-06-13 05:32:06 +0200vandita(~vandit@85-238-93-40.pool.digikabel.hu) (Ping timeout: 260 seconds)
2023-06-13 05:34:24 +0200biberu(~biberu@user/biberu) (Ping timeout: 248 seconds)
2023-06-13 05:35:21 +0200biberu(~biberu@user/biberu)
2023-06-13 05:37:39 +0200ChanServ+o litharge
2023-06-13 05:37:40 +0200litharge-bo *!*@189.162.135.18 litharge
2023-06-13 05:42:23 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-13 05:43:33 +0200jargon(~jargon@184.101.75.235) (Remote host closed the connection)
2023-06-13 05:43:42 +0200biberu\(~biberu@user/biberu)
2023-06-13 05:44:20 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2023-06-13 05:44:31 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 05:45:18 +0200biberu\biberu
2023-06-13 05:46:14 +0200extor(~extor@ns3018124.ip-149-202-82.eu) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2023-06-13 05:51:44 +0200chromoblob(~user@37.113.180.121)
2023-06-13 05:54:39 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 05:54:59 +0200biberu(~biberu@user/biberu)
2023-06-13 05:56:16 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 248 seconds)
2023-06-13 05:58:03 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 06:04:17 +0200biberu\(~biberu@user/biberu)
2023-06-13 06:04:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 06:05:19 +0200biberu\biberu
2023-06-13 06:08:52 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-06-13 06:13:29 +0200gmg(~user@user/gehmehgeh)
2023-06-13 06:13:43 +0200biberu\(~biberu@user/biberu)
2023-06-13 06:14:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 06:15:16 +0200biberu\biberu
2023-06-13 06:24:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 06:24:24 +0200biberu\(~biberu@user/biberu)
2023-06-13 06:25:17 +0200biberu\biberu
2023-06-13 06:28:05 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2023-06-13 06:28:54 +0200extor(~extor@ns3018124.ip-149-202-82.eu)
2023-06-13 06:29:07 +0200chromoblob(~user@37.113.180.121)
2023-06-13 06:31:09 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-06-13 06:33:36 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 248 seconds)
2023-06-13 06:33:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 06:34:25 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 06:36:04 +0200biberu\biberu
2023-06-13 06:42:38 +0200euandreh1(~Thunderbi@189.6.18.7)
2023-06-13 06:43:22 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 255 seconds)
2023-06-13 06:43:23 +0200euandreh1euandreh
2023-06-13 06:43:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 06:44:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 06:45:17 +0200biberu\biberu
2023-06-13 06:54:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 06:54:32 +0200biberu\(~biberu@user/biberu)
2023-06-13 06:55:25 +0200biberu\biberu
2023-06-13 07:03:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 07:04:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 07:04:50 +0200shapr(~user@2600:1700:c640:3100:b9fd:fedb:2561:e04e) (Ping timeout: 260 seconds)
2023-06-13 07:05:18 +0200biberu\biberu
2023-06-13 07:08:32 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2023-06-13 07:10:06 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-06-13 07:13:32 +0200falafel(~falafel@63.209.200.131)
2023-06-13 07:13:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 07:14:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 07:15:17 +0200biberu\biberu
2023-06-13 07:15:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 07:17:44 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-06-13 07:17:59 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-06-13 07:18:36 +0200gmg(~user@user/gehmehgeh)
2023-06-13 07:18:52 +0200edm_edm
2023-06-13 07:20:09 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-06-13 07:20:55 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-06-13 07:23:16 +0200juri_(~juri@84-19-175-187.pool.ovpn.com) (Server closed connection)
2023-06-13 07:23:32 +0200juri_(~juri@84-19-175-187.pool.ovpn.com)
2023-06-13 07:24:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 07:24:38 +0200biberu\(~biberu@user/biberu)
2023-06-13 07:25:30 +0200biberu\biberu
2023-06-13 07:34:29 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 07:37:08 +0200biberu(~biberu@user/biberu)
2023-06-13 07:37:20 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-13 07:38:25 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-06-13 07:38:27 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-13 07:39:27 +0200michalz(~michalz@185.246.207.217)
2023-06-13 07:39:44 +0200hays(rootvegeta@fsf/member/hays)
2023-06-13 07:44:27 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 07:45:30 +0200biberu(~biberu@user/biberu)
2023-06-13 07:51:59 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-13 07:54:18 +0200biberu\(~biberu@user/biberu)
2023-06-13 07:54:48 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 07:55:49 +0200biberu\biberu
2023-06-13 07:58:00 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-13 08:00:29 +0200mei(~mei@user/mei) (Ping timeout: 268 seconds)
2023-06-13 08:03:43 +0200biberu\(~biberu@user/biberu)
2023-06-13 08:03:56 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2023-06-13 08:04:09 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-13 08:04:10 +0200mei(~mei@user/mei)
2023-06-13 08:04:29 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 08:05:15 +0200biberu\biberu
2023-06-13 08:06:25 +0200trev(~trev@user/trev)
2023-06-13 08:06:56 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net) (Ping timeout: 246 seconds)
2023-06-13 08:08:52 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net)
2023-06-13 08:12:38 +0200titibandit(~titibandi@user/titibandit)
2023-06-13 08:13:43 +0200biberu\(~biberu@user/biberu)
2023-06-13 08:13:56 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net) (Ping timeout: 240 seconds)
2023-06-13 08:14:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 08:15:18 +0200biberu\biberu
2023-06-13 08:16:36 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 265 seconds)
2023-06-13 08:16:52 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net)
2023-06-13 08:21:56 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net) (Ping timeout: 240 seconds)
2023-06-13 08:23:43 +0200biberu\(~biberu@user/biberu)
2023-06-13 08:24:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 08:24:39 +0200werneta(~werneta@70.142.214.115) (Ping timeout: 250 seconds)
2023-06-13 08:25:18 +0200biberu\biberu
2023-06-13 08:26:40 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-06-13 08:26:49 +0200chomwitt(~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1)
2023-06-13 08:34:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 08:34:50 +0200biberu\(~biberu@user/biberu)
2023-06-13 08:35:45 +0200biberu\biberu
2023-06-13 08:39:44 +0200mncheck(~mncheck@193.224.205.254)
2023-06-13 08:40:19 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-06-13 08:43:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 08:44:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 08:45:51 +0200biberu\biberu
2023-06-13 08:47:54 +0200falafel(~falafel@63.209.200.131) (Ping timeout: 255 seconds)
2023-06-13 08:54:39 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 08:54:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 08:57:34 +0200biberu\biberu
2023-06-13 08:59:56 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 09:01:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:69ab:5b95:e09f:9970)
2023-06-13 09:01:39 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 09:03:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 09:04:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 09:05:21 +0200biberu\biberu
2023-06-13 09:05:56 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 09:06:38 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-13 09:07:09 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 09:07:46 +0200gurkenglas(~user@dynamic-046-114-182-029.46.114.pool.telefonica.de)
2023-06-13 09:08:06 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-06-13 09:11:29 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 09:12:38 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 09:13:43 +0200biberu\(~biberu@user/biberu)
2023-06-13 09:14:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 09:15:17 +0200biberu\biberu
2023-06-13 09:16:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 09:17:08 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 09:18:09 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 09:19:10 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-13 09:20:44 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-13 09:23:00 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 09:23:01 +0200jmorris(uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-13 09:23:39 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 09:23:42 +0200biberu\(~biberu@user/biberu)
2023-06-13 09:24:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 09:25:17 +0200biberu\biberu
2023-06-13 09:25:35 +0200sukil(~sukil@user/sukil) ()
2023-06-13 09:27:56 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 09:29:08 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 09:34:18 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-06-13 09:34:42 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 09:35:02 +0200biberu\(~biberu@user/biberu)
2023-06-13 09:35:56 +0200biberu\biberu
2023-06-13 09:38:23 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2023-06-13 09:38:42 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-13 09:39:12 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 255 seconds)
2023-06-13 09:42:13 +0200ubert(~Thunderbi@p200300ecdf09815bfe154d1462438e46.dip0.t-ipconnect.de)
2023-06-13 09:42:49 +0200hisa389(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-06-13 09:44:10 +0200ubert1(~Thunderbi@p200300ecdf09815b6cf4bc17eb3fe094.dip0.t-ipconnect.de)
2023-06-13 09:44:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 09:44:40 +0200hisa38(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 260 seconds)
2023-06-13 09:44:41 +0200hisa389hisa38
2023-06-13 09:46:40 +0200biberu(~biberu@user/biberu)
2023-06-13 09:50:06 +0200kadobanana(~mud@user/kadoban) (Remote host closed the connection)
2023-06-13 09:50:31 +0200kadobanana(~mud@user/kadoban)
2023-06-13 09:54:27 +0200ubert(~Thunderbi@p200300ecdf09815bfe154d1462438e46.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-06-13 09:54:27 +0200ubert1ubert
2023-06-13 09:54:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 09:55:14 +0200ub(~Thunderbi@p200300ecdf09815bfe154d1462438e46.dip0.t-ipconnect.de)
2023-06-13 09:57:04 +0200biberu(~biberu@user/biberu)
2023-06-13 09:59:22 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-13 10:00:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-06-13 10:04:19 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-06-13 10:04:51 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 10:04:51 +0200biberu\(~biberu@user/biberu)
2023-06-13 10:05:51 +0200titibandit(~titibandi@user/titibandit)
2023-06-13 10:06:08 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-06-13 10:06:22 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-13 10:06:23 +0200biberu\biberu
2023-06-13 10:07:53 +0200zeenk(~zeenk@2a02:2f04:a106:3c00::7fe)
2023-06-13 10:10:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-06-13 10:11:20 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2023-06-13 10:12:16 +0200niko(niko@libera/staff/niko) (Ping timeout: 620 seconds)
2023-06-13 10:13:43 +0200biberu\(~biberu@user/biberu)
2023-06-13 10:13:44 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2023-06-13 10:13:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-06-13 10:14:08 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2023-06-13 10:14:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 10:14:39 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-06-13 10:15:17 +0200biberu\biberu
2023-06-13 10:19:41 +0200gtdg(~gtdg@user/gtdg)
2023-06-13 10:19:48 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-06-13 10:21:36 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185) (Remote host closed the connection)
2023-06-13 10:23:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 10:24:10 +0200gtdg(~gtdg@user/gtdg) (Client Quit)
2023-06-13 10:24:29 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 10:25:17 +0200biberu\biberu
2023-06-13 10:30:10 +0200Alex_test(~al_test@178.34.163.11) (Ping timeout: 255 seconds)
2023-06-13 10:30:57 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-13 10:31:55 +0200AlexZenon(~alzenon@178.34.163.11) (Ping timeout: 260 seconds)
2023-06-13 10:31:56 +0200AlexNoo(~AlexNoo@178.34.163.11) (Ping timeout: 265 seconds)
2023-06-13 10:33:43 +0200biberu\(~biberu@user/biberu)
2023-06-13 10:34:25 +0200dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-06-13 10:34:33 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 10:35:03 +0200husixu(~husixu@2404:e801:2007:2ad:49ca:89e4:729e:9841)
2023-06-13 10:35:16 +0200biberu\biberu
2023-06-13 10:35:54 +0200ub(~Thunderbi@p200300ecdf09815bfe154d1462438e46.dip0.t-ipconnect.de) (Quit: ub)
2023-06-13 10:37:15 +0200ubert(~Thunderbi@p200300ecdf09815b6cf4bc17eb3fe094.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-06-13 10:38:41 +0200husixu(~husixu@2404:e801:2007:2ad:49ca:89e4:729e:9841) (Client Quit)
2023-06-13 10:39:15 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-13 10:40:20 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 10:41:35 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 10:43:43 +0200biberu\(~biberu@user/biberu)
2023-06-13 10:43:57 +0200 <Athas> Does anyone here have experience with using Liquid Haskell?
2023-06-13 10:44:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 10:45:17 +0200biberu\biberu
2023-06-13 10:47:32 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-13 10:48:03 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 10:48:10 +0200shriekingnoise_(~shrieking@186.137.175.87) (Ping timeout: 255 seconds)
2023-06-13 10:48:27 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-06-13 10:49:10 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 10:53:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 10:54:18 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:7683:e8bd:3044:ba11)
2023-06-13 10:54:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 10:55:15 +0200fbytez(~uid@2001:bc8:2117:100::) (Ping timeout: 260 seconds)
2023-06-13 10:55:17 +0200biberu\biberu
2023-06-13 10:55:22 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:7683:e8bd:3044:ba11) (Remote host closed the connection)
2023-06-13 10:55:35 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:2f62:8fd9:5067:a5dd)
2023-06-13 10:57:33 +0200fbytez(~uid@2001:bc8:2117:100::)
2023-06-13 11:01:22 +0200Co0kie(~Jura@145.224.73.17)
2023-06-13 11:04:42 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 11:05:21 +0200biberu\(~biberu@user/biberu)
2023-06-13 11:06:15 +0200biberu\biberu
2023-06-13 11:09:10 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-06-13 11:09:11 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2023-06-13 11:09:46 +0200mmhat(~mmh@p200300f1c702b0e8ee086bfffe095315.dip0.t-ipconnect.de)
2023-06-13 11:09:52 +0200vandita_(~vandit@87-97-13-61.pool.digikabel.hu) (Ping timeout: 248 seconds)
2023-06-13 11:11:54 +0200Lord_of_Life_Lord_of_Life
2023-06-13 11:13:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 11:14:21 +0200finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2023-06-13 11:14:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 11:14:36 +0200fbytez(~uid@2001:bc8:2117:100::) (Ping timeout: 255 seconds)
2023-06-13 11:15:17 +0200biberu\biberu
2023-06-13 11:16:56 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 11:17:10 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-13 11:21:30 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-13 11:22:05 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185)
2023-06-13 11:23:07 +0200fbytez(~uid@2001:bc8:2117:100::)
2023-06-13 11:24:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 11:25:26 +0200biberu\(~biberu@user/biberu)
2023-06-13 11:26:23 +0200biberu\biberu
2023-06-13 11:26:30 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185) (Ping timeout: 240 seconds)
2023-06-13 11:30:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-06-13 11:33:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 11:34:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 11:34:38 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8)
2023-06-13 11:35:03 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be)
2023-06-13 11:35:16 +0200biberu\biberu
2023-06-13 11:37:44 +0200chromoblob(~user@37.113.180.121)
2023-06-13 11:39:08 +0200fbytez(~uid@2001:bc8:2117:100::) (Ping timeout: 240 seconds)
2023-06-13 11:43:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 11:44:29 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 11:45:19 +0200biberu\biberu
2023-06-13 11:46:30 +0200jinsl(~jinsl@123.120.169.188)
2023-06-13 11:47:29 +0200mc47(~mc47@xmonad/TheMC47)
2023-06-13 11:49:42 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 255 seconds)
2023-06-13 11:50:44 +0200titibandit(~titibandi@user/titibandit)
2023-06-13 11:52:51 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 255 seconds)
2023-06-13 11:53:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 11:54:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 11:55:17 +0200biberu\biberu
2023-06-13 11:59:09 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 255 seconds)
2023-06-13 12:00:41 +0200titibandit(~titibandi@user/titibandit)
2023-06-13 12:02:49 +0200sllk(~sllk@vps-73d553ae.vps.ovh.net) (Quit: leaving)
2023-06-13 12:03:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 12:04:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 12:04:45 +0200rando25892(~andor2985@user/rando25892) (Ping timeout: 240 seconds)
2023-06-13 12:05:18 +0200biberu\biberu
2023-06-13 12:08:21 +0200acidjnk(~acidjnk@p200300d6e7072f28fc9054c626dc7d9f.dip0.t-ipconnect.de)
2023-06-13 12:13:21 +0200niko(niko@libera/staff/niko)
2023-06-13 12:13:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 12:14:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 12:15:18 +0200biberu\biberu
2023-06-13 12:17:21 +0200xff0x(~xff0x@125.103.176.34) (Ping timeout: 250 seconds)
2023-06-13 12:23:38 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185)
2023-06-13 12:23:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 12:24:48 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 12:25:19 +0200biberu\biberu
2023-06-13 12:27:59 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185) (Ping timeout: 240 seconds)
2023-06-13 12:32:06 +0200jackdk(sid373013@cssa/jackdk) (Server closed connection)
2023-06-13 12:32:15 +0200jackdk(sid373013@cssa/jackdk)
2023-06-13 12:33:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 12:34:05 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-84fe-c7f9-02f3-6912.res6.spectrum.com)
2023-06-13 12:34:14 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-06-13 12:34:29 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 12:34:30 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-84fe-c7f9-02f3-6912.res6.spectrum.com) (Read error: Connection reset by peer)
2023-06-13 12:35:12 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-84fe-c7f9-02f3-6912.res6.spectrum.com)
2023-06-13 12:35:19 +0200biberu\biberu
2023-06-13 12:35:30 +0200 <arrowhead> I need to put a reference-like thing in two lists, then change the value of that reference-like thing, then check the two lists and see that they changed as well. I tried IORefs but they're not acting like OCaml refs.
2023-06-13 12:36:45 +0200 <Rembane> arrowhead: Have you looked into STRefs?
2023-06-13 12:36:52 +0200fbytez(~uid@2001:bc8:2117:100::)
2023-06-13 12:37:00 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2023-06-13 12:37:28 +0200 <arrowhead> Rembane: more or less. Aren't they just the same but in ST instead of in IO ?
2023-06-13 12:37:48 +0200 <arrowhead> I thought in IO would be the "freest" behavior and for sure would change in the two lists, but nope
2023-06-13 12:39:05 +0200 <arrowhead> e.g. (a >>= (\x -> writeIORef x 2)) >> (((b !! 0) >>= (\x -> readIORef x)) >>= putStrLn . show) >> (((c !! 0) >>= (\x -> readIORef x)) >>= putStrLn . show) is printing 1 1 but I expected 2 2
2023-06-13 12:39:10 +0200 <arrowhead> b and c are both [a]
2023-06-13 12:39:14 +0200 <arrowhead> and a is a newIORef 1
2023-06-13 12:40:59 +0200 <Rembane> arrowhead: That's interesting. Let me play around a bit with it.
2023-06-13 12:41:24 +0200 <arrowhead> @Rembane please
2023-06-13 12:41:24 +0200 <lambdabot> Unknown command, try @list
2023-06-13 12:42:35 +0200 <[Leary]> arrowhead: `newIORef 1` is an IO action that produces a new IORef. If you run it three times, you will produce three unrelated IORefs.
2023-06-13 12:43:03 +0200 <arrowhead> [Leary]: I understand that part. I'm coming from OCaml looking for something like their ref
2023-06-13 12:43:14 +0200 <arrowhead> I only ran newIORef once and put it into two lists
2023-06-13 12:43:24 +0200 <arrowhead> but the things in the lists never change after I change the IO thing
2023-06-13 12:43:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 12:44:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 12:44:56 +0200 <arrowhead> I want to see code that 1. does newIORef once, 2. puts the result in two lists, 3. updates that IORef from outside the lists 4. peers into the lists and sees the changes there
2023-06-13 12:45:15 +0200 <ncf> % do a <- newIORef 1; let b = [a]; c = [a] in do writeIORef a 2; traverse readIORef b >>= print; traverse readIORef c >>= print
2023-06-13 12:45:15 +0200 <yahb2> [2] ; [2]
2023-06-13 12:45:16 +0200 <arrowhead> my attempt above fails for a reason I cannot understand
2023-06-13 12:45:19 +0200biberu\biberu
2023-06-13 12:45:35 +0200pavonia(~user@user/siracusa)
2023-06-13 12:45:50 +0200 <ncf> your attempt above is missing code
2023-06-13 12:46:32 +0200 <arrowhead> ncf: I don't think I can afford to use let... in, that is a very narrow scenario where you can code within the same scope
2023-06-13 12:46:40 +0200 <ncf> what
2023-06-13 12:46:43 +0200 <arrowhead> not really the behavior of OCaml's ref
2023-06-13 12:46:58 +0200 <ncf> haskell is not ocaml. haskell does not have ocaml-style references
2023-06-13 12:47:15 +0200 <arrowhead> at all? not even outside IORef? something else with another name?
2023-06-13 12:47:50 +0200pyrex(~pyrex@user/pyrex) (Ping timeout: 260 seconds)
2023-06-13 12:48:00 +0200 <geekosaur> haskell is pure outside of IO. OCaml refs are not pure
2023-06-13 12:48:00 +0200arrowhead(~arrowhead@2603-7000-9b3f-6934-84fe-c7f9-02f3-6912.res6.spectrum.com) (Read error: Connection reset by peer)
2023-06-13 12:48:12 +0200aliosablack(~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1)
2023-06-13 12:48:56 +0200pyrex(~pyrex@user/pyrex)
2023-06-13 12:49:10 +0200 <Rembane> Meh. I had an example there. Oh well. For the rest of you: https://gist.github.com/Rembane/faa60107d2c7add230ff5dfd36a9c4c1
2023-06-13 12:49:24 +0200 <Rembane> It took me way too long to realize that 0 * 2 never will be interesting.
2023-06-13 12:49:40 +0200 <geekosaur> heh
2023-06-13 12:50:28 +0200zeenk2(~zeenk@2a02:2f04:a106:3c00::7fe)
2023-06-13 12:50:30 +0200zeenk(~zeenk@2a02:2f04:a106:3c00::7fe) (Ping timeout: 240 seconds)
2023-06-13 12:50:30 +0200chomwitt(~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
2023-06-13 12:50:30 +0200hays(rootvegeta@fsf/member/hays) (Ping timeout: 240 seconds)
2023-06-13 12:50:40 +0200ncfwonders what makes someone think they can't use let...in
2023-06-13 12:51:09 +0200 <Axman6> that was a bizarre conversation
2023-06-13 12:51:34 +0200 <geekosaur> ^
2023-06-13 12:51:54 +0200 <ncf> i guess it was more like "let...in does not accurately describe the code i'm already working with but i won't tell you what it is"
2023-06-13 12:52:03 +0200 <ncf> anyway
2023-06-13 12:53:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 12:54:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 12:55:19 +0200biberu\biberu
2023-06-13 12:55:48 +0200 <Axman6> not sure why they insistedin writing the code in such a difficult to read manner either. particularly it left out thecrucial definition of what 'a' is
2023-06-13 12:56:30 +0200 <Rembane> Some list of something I think they eventually wrote
2023-06-13 12:56:36 +0200 <Rembane> Eh... not very clear
2023-06-13 13:03:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 13:04:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 13:05:19 +0200biberu\biberu
2023-06-13 13:06:06 +0200xff0x(~xff0x@2405:6580:b080:900:ed3a:f80e:cda:efe1)
2023-06-13 13:13:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 13:14:45 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 13:15:18 +0200biberu\biberu
2023-06-13 13:17:42 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 13:19:13 +0200chromoblob(~user@37.113.180.121)
2023-06-13 13:20:20 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-06-13 13:22:20 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-13 13:23:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 13:24:39 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 13:24:40 +0200user1(~user@103.206.114.90)
2023-06-13 13:24:40 +0200user1lib
2023-06-13 13:24:49 +0200libwns
2023-06-13 13:25:19 +0200biberu\biberu
2023-06-13 13:27:07 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-13 13:27:24 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-06-13 13:28:09 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-06-13 13:33:04 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-13 13:33:46 +0200biberu\(~biberu@user/biberu)
2023-06-13 13:34:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 13:35:20 +0200biberu\biberu
2023-06-13 13:35:27 +0200xff0x(~xff0x@2405:6580:b080:900:ed3a:f80e:cda:efe1) (Ping timeout: 255 seconds)
2023-06-13 13:37:26 +0200__monty__(~toonn@user/toonn)
2023-06-13 13:37:32 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-06-13 13:43:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 13:44:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 13:45:17 +0200biberu\biberu
2023-06-13 13:46:00 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 13:46:48 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 13:51:23 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-13 13:51:39 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 13:51:59 +0200Co0kie(~Jura@145.224.73.17) (Ping timeout: 240 seconds)
2023-06-13 13:52:18 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 13:53:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 13:53:53 +0200 <Unicorn_Princess> i'm using emacs and lsp-haskell, and i'm trying to disable lsp automatically inserting import statements when I tab-complete something that's not yet imported. i've got lsp-haskell-plugin-ghcide-completions-config-auto-extend-on set to nil, but that only half fixed it, because when i tab-complete a constructor that's not in scope, it adds an "import Module.Name (TheType(TheCtor))" on top of my file anyway
2023-06-13 13:54:48 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 13:54:52 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-06-13 13:55:15 +0200califax(~califax@user/califx)
2023-06-13 13:55:17 +0200biberu\biberu
2023-06-13 13:56:44 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 13:57:08 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds)
2023-06-13 13:57:57 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-06-13 13:58:06 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:00:19 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-06-13 14:00:47 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-06-13 14:01:33 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 255 seconds)
2023-06-13 14:02:32 +0200paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
2023-06-13 14:02:32 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-13 14:02:54 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 14:03:37 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:03:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 14:04:11 +0200 <ncf> did you restart hls?
2023-06-13 14:04:42 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 14:05:17 +0200biberu\biberu
2023-06-13 14:05:20 +0200 <Unicorn_Princess> i'll try restarting the whole lot (tho i've had that setting set to nil for a while, not a recent change)
2023-06-13 14:05:32 +0200euandreh(~Thunderbi@189.6.18.7) (Client Quit)
2023-06-13 14:05:44 +0200chromoblob(~user@37.113.180.121)
2023-06-13 14:06:57 +0200 <Unicorn_Princess> didn't help. in fact i tried just a generic tab-complete a function that's not imported, and it auto-imported the module all the same
2023-06-13 14:07:26 +0200 <Unicorn_Princess> so doesn't seem limited to constructors. i could have sworn i'd managed to turn it off..
2023-06-13 14:07:59 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 14:08:15 +0200 <Unicorn_Princess> has anyone manage to disable auto-inserting-imports in any other editor, and how?
2023-06-13 14:09:11 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:14:20 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 14:14:20 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 14:16:00 +0200biberu\(~biberu@user/biberu)
2023-06-13 14:16:10 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:16:34 +0200 <lortabac> ncf: "what makes someone think they can't use let...in" -> they thought IORef behaved like mutable variables
2023-06-13 14:16:54 +0200biberu\biberu
2023-06-13 14:17:08 +0200 <lortabac> consider this example in Scheme:
2023-06-13 14:17:38 +0200 <lortabac> (let ([x 1]) (set! x 2) (write x)) ;;; prints 2
2023-06-13 14:18:49 +0200 <lortabac> now try modifying the variable outside of the scope:
2023-06-13 14:19:10 +0200 <lortabac> (define (modify-arg x) (set! x 2)) (let ([x 1]) (modify-arg x) (write x)) ;;; prints 1
2023-06-13 14:20:44 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 14:21:44 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:22:15 +0200 <lortabac> that's why they asked for an example where the mutation happens in a different scope
2023-06-13 14:22:36 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection)
2023-06-13 14:22:45 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection)
2023-06-13 14:22:46 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com)
2023-06-13 14:23:05 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net)
2023-06-13 14:23:46 +0200biberu\(~biberu@user/biberu)
2023-06-13 14:24:04 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-13 14:24:30 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 14:25:20 +0200biberu\biberu
2023-06-13 14:26:20 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 14:27:15 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:31:32 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 14:32:48 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:33:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 14:34:29 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 14:35:18 +0200biberu\biberu
2023-06-13 14:38:59 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 14:40:22 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:40:36 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-06-13 14:40:49 +0200chele(~chele@user/chele)
2023-06-13 14:42:33 +0200Daniel[m]123(~danieltan@2001:470:69fc:105::3:6e5e)
2023-06-13 14:43:45 +0200biberu\(~biberu@user/biberu)
2023-06-13 14:44:29 +0200biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2023-06-13 14:45:12 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 14:45:17 +0200biberu\biberu
2023-06-13 14:45:55 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:47:55 +0200ddellacosta(~ddellacos@146.70.165.139) (Quit: WeeChat 3.8)
2023-06-13 14:48:06 +0200RMSBach(~guygastin@137.184.131.156) (Server closed connection)
2023-06-13 14:48:59 +0200wns(~user@103.206.114.90) (Ping timeout: 240 seconds)
2023-06-13 14:49:26 +0200RMSBach(~guygastin@137.184.131.156)
2023-06-13 14:50:36 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 14:51:26 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:51:30 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 255 seconds)
2023-06-13 14:53:44 +0200biberu\(~biberu@user/biberu)
2023-06-13 14:54:39 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 14:55:17 +0200biberu\biberu
2023-06-13 14:55:56 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 14:56:36 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection)
2023-06-13 14:56:46 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2023-06-13 14:57:13 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 14:59:13 +0200oac(~oac@72-50-214-210.fttp.usinternet.com)
2023-06-13 15:00:30 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 255 seconds)
2023-06-13 15:01:29 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 15:02:45 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 15:03:46 +0200biberu\(~biberu@user/biberu)
2023-06-13 15:04:33 +0200biberu(~biberu@user/biberu) (Ping timeout: 255 seconds)
2023-06-13 15:05:09 +0200biberu\(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-06-13 15:07:00 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds)
2023-06-13 15:08:17 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 15:13:06 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds)
2023-06-13 15:13:36 +0200tritlo(sid58727@user/tritlo) (Server closed connection)
2023-06-13 15:13:45 +0200tritlo(sid58727@user/tritlo)
2023-06-13 15:13:49 +0200dhruvasagar(~dhruvasag@49.207.218.223)
2023-06-13 15:15:01 +0200chromoblob(~user@37.113.180.121)
2023-06-13 15:15:20 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-13 15:16:16 +0200enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-06-13 15:18:08 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-13 15:18:11 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-13 15:18:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 15:21:19 +0200euandreh(~Thunderbi@189.6.18.7) (Remote host closed the connection)
2023-06-13 15:22:08 +0200kriity(~kriity@c-76-155-235-153.hsd1.co.comcast.net)
2023-06-13 15:22:43 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-13 15:23:08 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-13 15:24:44 +0200acidjnk(~acidjnk@p200300d6e7072f28fc9054c626dc7d9f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-06-13 15:25:43 +0200kriity(~kriity@c-76-155-235-153.hsd1.co.comcast.net) (Client Quit)
2023-06-13 15:26:20 +0200robobub(uid248673@uxbridge.irccloud.com) (Ping timeout: 268 seconds)
2023-06-13 15:27:00 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-06-13 15:27:50 +0200biberu(~biberu@user/biberu)
2023-06-13 15:28:17 +0200titibandit(~titibandi@user/titibandit)
2023-06-13 15:29:28 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com)
2023-06-13 15:30:19 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-13 15:30:19 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-13 15:30:19 +0200wroathe(~wroathe@user/wroathe)
2023-06-13 15:30:20 +0200biberu(~biberu@user/biberu) (Client Quit)
2023-06-13 15:31:29 +0200biberu(~biberu@user/biberu)
2023-06-13 15:34:53 +0200biberu(~biberu@user/biberu) (Client Quit)
2023-06-13 15:35:56 +0200biberu(~biberu@user/biberu)
2023-06-13 15:36:00 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2023-06-13 15:39:13 +0200biberu(~biberu@user/biberu) (Client Quit)
2023-06-13 15:39:14 +0200oac(~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac)
2023-06-13 15:40:21 +0200biberu(~biberu@user/biberu)
2023-06-13 15:41:45 +0200son0p(~ff@181.136.122.143) (Ping timeout: 265 seconds)
2023-06-13 15:45:23 +0200russruss(~russruss@my.russellmcc.com) (Server closed connection)
2023-06-13 15:45:30 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-06-13 15:45:43 +0200russruss(~russruss@my.russellmcc.com)
2023-06-13 15:50:51 +0200elain4(~textual@static-71-251-226-194.rcmdva.fios.verizon.net)
2023-06-13 15:54:30 +0200 <kuribas> I really don't get how people think exploratory programming is much easier without types.
2023-06-13 15:54:46 +0200Adran(~adran@botters/adran) (Quit: Este é o fim.)
2023-06-13 15:55:21 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-13 15:55:33 +0200 <kuribas> I am currently writing python with types, and still making small changes to my logic and types. The ability to directly see how a change impacts the code is just invaluable.
2023-06-13 15:55:44 +0200 <kuribas> I just don't see how not having types makes it *easier*.
2023-06-13 15:56:15 +0200 <kuribas> I know there was some company that went from haskell to untyped ruby for that reason.
2023-06-13 15:58:16 +0200 <lortabac> kuribas: when you are exploring you just want to try out things and see what happens
2023-06-13 15:58:40 +0200 <lortabac> you don't want to think about plenty of tiny details which are irrelevant to your exploration
2023-06-13 15:59:02 +0200 <lortabac> but static type checking forces you to get everything right upfront
2023-06-13 15:59:11 +0200 <kuribas> how do you see what happens without details?
2023-06-13 15:59:18 +0200 <kuribas> lortabac: also, I disagree.
2023-06-13 15:59:31 +0200 <kuribas> I can very easily leave holes, in types, in implementations...
2023-06-13 15:59:49 +0200 <lortabac> maybe we are not thinking of the same scenario
2023-06-13 16:00:14 +0200 <__monty__> kuribas: Whenever structural subtyping would be required it does tend to get annoying.
2023-06-13 16:01:36 +0200 <lortabac> lack of static typing makes your first "hello world" easier when you try a new library or API
2023-06-13 16:01:52 +0200 <lortabac> but the advantage more or less ends there
2023-06-13 16:02:29 +0200 <kuribas> I am much faster with a haskell library than clojure/python, because it is more precise.
2023-06-13 16:02:50 +0200 <kuribas> I often find my self going through walls of text in python/clojure in order to find some functionality.
2023-06-13 16:03:02 +0200 <kuribas> While in haskell I just search through the types.
2023-06-13 16:03:09 +0200 <kuribas> Which usually tell me quickly if it is possible or not.
2023-06-13 16:03:37 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-13 16:04:02 +0200 <lortabac> I don't know, personally I like to use dynamically-typed languages for very simple projects
2023-06-13 16:04:19 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net)
2023-06-13 16:04:20 +0200cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-06-13 16:04:28 +0200 <kuribas> sure, so do I, like a bash script.
2023-06-13 16:04:35 +0200 <kuribas> Or a small calculation in Python.
2023-06-13 16:04:37 +0200 <lortabac> it's not just the types, it's the entire thing that is built around the idea of no boilerplate
2023-06-13 16:04:45 +0200 <kuribas> anything that isn't > 100 lines.
2023-06-13 16:05:05 +0200 <lortabac> in Haskell I need to set up a cabal project, declare the modules, import a bunch of stuff...
2023-06-13 16:05:13 +0200Adran(~adran@botters/adran)
2023-06-13 16:05:13 +0200energizer(~energizer@user/energizer) (Server closed connection)
2023-06-13 16:05:29 +0200 <lortabac> I don't do it unless it's worth
2023-06-13 16:05:50 +0200 <kuribas> yeah, that's a pain. But has nothing to do with types.
2023-06-13 16:05:55 +0200energizer(~energizer@user/energizer)
2023-06-13 16:06:19 +0200 <lortabac> I know, but it's one "symptom" of a different culture
2023-06-13 16:06:54 +0200 <glguy> I do the same thing in python projects
2023-06-13 16:08:59 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-13 16:10:44 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 240 seconds)
2023-06-13 16:11:04 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection)
2023-06-13 16:12:15 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-13 16:12:47 +0200titibandit(~titibandi@user/titibandit)
2023-06-13 16:13:14 +0200 <merijn> lortabac: You can put the cabal stuff inside a single file
2023-06-13 16:13:29 +0200acidjnk(~acidjnk@p200300d6e7072f28fc9054c626dc7d9f.dip0.t-ipconnect.de)
2023-06-13 16:13:48 +0200 <merijn> admittedly, I think that's not super well documented/discoverable
2023-06-13 16:14:41 +0200 <lortabac> merijn: do you mean I can have a single file with both the cabal configuration and the code?
2023-06-13 16:14:54 +0200 <merijn> lortabac: Yes
2023-06-13 16:15:08 +0200gurkenglas(~user@dynamic-046-114-182-029.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
2023-06-13 16:15:16 +0200 <merijn> lortabac: See the cabal run documentation: https://cabal.readthedocs.io/en/stable/cabal-commands.html#cabal-run
2023-06-13 16:15:51 +0200 <lortabac> merijn: thanks, that's very useful
2023-06-13 16:16:33 +0200EsoAlgo81(~EsoAlgo@129.146.136.145) (Server closed connection)
2023-06-13 16:16:58 +0200 <merijn> iirc this has been available for, well, approaching a decade now, but it hasn't been well documented for a long time (the new cabal-run docs seem pretty decent, though)
2023-06-13 16:16:58 +0200EsoAlgo81(~EsoAlgo@129.146.136.145)
2023-06-13 16:18:29 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net) (Ping timeout: 240 seconds)
2023-06-13 16:19:55 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-06-13 16:20:46 +0200cheater(~Username@user/cheater)
2023-06-13 16:20:55 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:69ab:5b95:e09f:9970) (Quit: WeeChat 2.8)
2023-06-13 16:23:01 +0200 <dolio> kuribas: I don't understand it either, for what it's worth.
2023-06-13 16:24:42 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-13 16:26:03 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-06-13 16:26:32 +0200ddellacosta(~ddellacos@146.70.165.139)
2023-06-13 16:27:51 +0200 <dolio> (Probably not worth much.)
2023-06-13 16:32:56 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (Server closed connection)
2023-06-13 16:33:43 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2023-06-13 16:34:02 +0200user1(~user@103.206.114.69)
2023-06-13 16:34:02 +0200user1wns
2023-06-13 16:40:12 +0200paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection)
2023-06-13 16:42:15 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-06-13 16:45:19 +0200gurkenglas(~user@dynamic-046-114-182-029.46.114.pool.telefonica.de)
2023-06-13 16:46:28 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-13 16:49:26 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-06-13 16:52:30 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-13 16:53:23 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 250 seconds)
2023-06-13 16:53:47 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-06-13 16:55:00 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-06-13 17:05:03 +0200fbytez(~uid@2001:bc8:2117:100::) (Changing host)
2023-06-13 17:05:03 +0200fbytez(~uid@user/fbytez)
2023-06-13 17:10:23 +0200Xe(~cadey@tailscale/xe) (Server closed connection)
2023-06-13 17:10:49 +0200Xe(~cadey@tailscale/xe)
2023-06-13 17:11:51 +0200Sgeo(~Sgeo@user/sgeo)
2023-06-13 17:15:57 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 255 seconds)
2023-06-13 17:19:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 17:24:03 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-06-13 17:25:54 +0200econo(uid147250@user/econo)
2023-06-13 17:26:12 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-13 17:26:29 +0200paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
2023-06-13 17:27:29 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-06-13 17:30:07 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b)
2023-06-13 17:34:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b) (Ping timeout: 240 seconds)
2023-06-13 17:34:40 +0200ripspin(~chatzilla@1.145.173.162)
2023-06-13 17:35:36 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b)
2023-06-13 17:35:42 +0200shef(~deglazewi@209-188-121-236.taosnet.com)
2023-06-13 17:36:35 +0200shef(~deglazewi@209-188-121-236.taosnet.com) (Quit: WeeChat 3.0)
2023-06-13 17:36:47 +0200deglazewithcheet(~deglazewi@209-188-121-236.taosnet.com)
2023-06-13 17:38:08 +0200jlwoodwa(~jlwoodwa@172.58.84.226) (Ping timeout: 248 seconds)
2023-06-13 17:40:00 +0200 <albet70> lortabac , I like scheme too
2023-06-13 17:41:02 +0200 <albet70> I think scheme and haskell are two wonderful languages, and in some way they are very similar except on type
2023-06-13 17:43:27 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-13 17:44:12 +0200 <tokie> i wrote a scheme compiler for the web (WASM)! https://www.marwood.io/
2023-06-13 17:44:19 +0200 <tokie> scheme was super fun to implement :)
2023-06-13 17:45:30 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-13 17:45:32 +0200 <Rembane> \o/
2023-06-13 17:46:30 +0200dhruvasagar(~dhruvasag@49.207.218.223) (Read error: Connection reset by peer)
2023-06-13 17:46:52 +0200cheater(~Username@user/cheater)
2023-06-13 17:47:28 +0200 <Hecate> tokie: nice!
2023-06-13 17:50:35 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b) (Remote host closed the connection)
2023-06-13 17:51:10 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-13 17:52:16 +0200talismanick(~user@2601:204:ef01:8ca0::a680)
2023-06-13 17:53:36 +0200 <talismanick> How can I eval inline code like `-- >>> 1 + 1` inside Emacs via lsp-mode? Apparently this is supported by HLS: https://hackage.haskell.org/package/hls-eval-plugin
2023-06-13 17:56:20 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-06-13 17:57:04 +0200 <glguy> talismanick: when I tried it I see this: https://ibb.co/5TXFWkP
2023-06-13 17:57:11 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-06-13 17:57:13 +0200 <glguy> and when I clicked on evaluate..., it did
2023-06-13 17:57:17 +0200 <albet70> what's that callCC definition by function?
2023-06-13 17:59:50 +0200 <EvanR> is that emacs? it looks like something off of hollywood OS
2023-06-13 18:00:04 +0200 <glguy> EvanR: it's emacs configured with spacemacs
2023-06-13 18:01:00 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-06-13 18:01:14 +0200chele(~chele@user/chele) (Remote host closed the connection)
2023-06-13 18:01:23 +0200 <EvanR> wow spacemacs has lifestyle brand merchandise and everything
2023-06-13 18:01:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b)
2023-06-13 18:02:27 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-06-13 18:04:09 +0200 <ncf> albet70: rephrase?
2023-06-13 18:04:16 +0200 <EvanR> I noticed on tomsmeding paste on chrome on OSX if I type -> a prompt appears to let me auto replace with →. Snazzy. It doesn't work in firefox on linux. Not snazzy :'(
2023-06-13 18:04:53 +0200mei(~mei@user/mei)
2023-06-13 18:10:49 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection)
2023-06-13 18:11:16 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-06-13 18:11:32 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-06-13 18:12:06 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Server closed connection)
2023-06-13 18:12:18 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b) (Remote host closed the connection)
2023-06-13 18:12:23 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-06-13 18:13:01 +0200 <talismanick> glguy: you're right, it works with a mouse click... too bad I can't seem to figure out which function it is so I can bind it
2023-06-13 18:15:57 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-06-13 18:17:55 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2023-06-13 18:19:08 +0200gurkenglas(~user@dynamic-046-114-182-029.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
2023-06-13 18:23:45 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:2f62:8fd9:5067:a5dd) (Remote host closed the connection)
2023-06-13 18:26:38 +0200bilegeek(~bilegeek@2600:1008:b043:3798:77a9:11b8:240f:486c)
2023-06-13 18:29:09 +0200ridcully_(~ridcully@87.181.47.44) (Ping timeout: 250 seconds)
2023-06-13 18:29:43 +0200anderson(~ande@user/anderson) (Quit: bye)
2023-06-13 18:29:44 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-06-13 18:30:06 +0200anderson(~TheFunOne@user/anderson)
2023-06-13 18:31:47 +0200ridcully_(~ridcully@p57b52f2c.dip0.t-ipconnect.de)
2023-06-13 18:32:30 +0200anderson_(~TheFunOne@user/anderson)
2023-06-13 18:33:24 +0200anderson_(~TheFunOne@user/anderson) (Remote host closed the connection)
2023-06-13 18:33:43 +0200 <glguy> talismanick: I don't know enough emacs to know how to do it without the click
2023-06-13 18:40:44 +0200ridcully_(~ridcully@p57b52f2c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-06-13 18:41:07 +0200ridcully_(~ridcully@p57b52f2c.dip0.t-ipconnect.de)
2023-06-13 18:45:10 +0200zeenk2(~zeenk@2a02:2f04:a106:3c00::7fe) (Quit: Konversation terminated!)
2023-06-13 18:45:54 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b)
2023-06-13 18:46:16 +0200gurkenglas(~user@dynamic-046-114-182-029.46.114.pool.telefonica.de)
2023-06-13 18:46:44 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-06-13 18:49:00 +0200ijqq(uid603979@id-603979.helmsley.irccloud.com)
2023-06-13 18:49:09 +0200ijqq_(uid603979@id-603979.helmsley.irccloud.com)
2023-06-13 18:49:22 +0200 <ijqq_> Hello
2023-06-13 18:49:42 +0200 <geekosaur> hello
2023-06-13 18:50:11 +0200deglazewithcheet(~deglazewi@209-188-121-236.taosnet.com) (Quit: WeeChat 3.0)
2023-06-13 18:50:18 +0200 <[exa]> o/
2023-06-13 18:50:36 +0200 <ijqq_> How's it going?
2023-06-13 18:50:50 +0200shapr(~user@2600:1700:c640:3100:b6fa:cb8d:bd7d:c291)
2023-06-13 18:52:40 +0200 <ijqq_> I recently watched a video by tsoding on "creating a json parser from scratch in 110 lines of code" and I want to write something similar for a toy language that my friend created. It looks a bit like C.
2023-06-13 18:52:40 +0200 <ijqq_> I also read a bit about parsing online and they say you can first tokenise the input and then convert the input into a syntax tree. My question is, does it make sense to tokenise before parsing when creating a parser for his language, as it isn't whitespace sensitive? So I could make a function to strip whitespace at the start or just make the parser functions ignore whitespace?
2023-06-13 18:53:08 +0200 <ijqq_> I'm a noob in regards to both parsing and haskell, so I'm a bit confused.
2023-06-13 18:59:18 +0200aliosablackchomwitt
2023-06-13 19:03:25 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 240 seconds)
2023-06-13 19:05:30 +0200titibandit(~titibandi@user/titibandit)
2023-06-13 19:07:09 +0200 <__monty__> ijqq_: Parsing in Haskell is usually done with parser combinators (I recommend Megaparsec). Usually there's no separate lexing/tokenizing step with that approach. Your separate parsers would just eat trailing whitespace or whatever.
2023-06-13 19:08:16 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-13 19:08:19 +0200cheater(~Username@user/cheater)
2023-06-13 19:08:41 +0200 <__monty__> I'm not sure how closely you want to follow Tsoding's example though, they may have used Alex/Happy, which is the lexing and parsing combination you're probably finding on the web.
2023-06-13 19:09:50 +0200 <ijqq_> They did it from scratch, I think the approach was parser combinators though. They defined a parser for chars, used that to parse words, etc. . And made the parser applicative and combined them together
2023-06-13 19:10:11 +0200 <ijqq_> The terminology I used might be wrong, I'm quite new, but I think that's what it was
2023-06-13 19:10:46 +0200 <[exa]> that sounds like a parser combinator yeah.
2023-06-13 19:11:09 +0200 <ijqq_> Okay, so I shouldn't bother with a separate tokenisation step then?
2023-06-13 19:11:29 +0200 <[exa]> depends on a language you parse but it's generally not required
2023-06-13 19:13:00 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-13 19:13:02 +0200 <[exa]> sometimes it really helps for disambiguating stuff around whitespace separators (some languages consider `a (` and `a(` to be different code), and in certain cases it limits unnecessary backtracking over all characters to a reasonable minimum
2023-06-13 19:14:24 +0200 <ijqq_> alright nice, thank you
2023-06-13 19:14:43 +0200 <EvanR> I got a lot of traction during advent of code by tokenizing first :sunglasses:
2023-06-13 19:14:45 +0200 <__monty__> Either way it wouldn't be all that separate a step, it's still binding parsers together.
2023-06-13 19:14:57 +0200 <EvanR> but I didn't use megaparsec which makes dropping space easy
2023-06-13 19:15:32 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-06-13 19:15:53 +0200 <__monty__> I think ijqq_ wants to do it without Megaparsec though, maybe they should take a look at your AoC repo. Unless you used Parsec or ReadP?
2023-06-13 19:16:07 +0200 <EvanR> I used raw haskell pattern matching xD
2023-06-13 19:16:22 +0200 <EvanR> and the simplifying assumption that the input was well formed
2023-06-13 19:16:29 +0200 <EvanR> so maybe not a great example
2023-06-13 19:17:29 +0200 <[exa]> ijqq_: one extra concern is error reporting; tokenization usually produces comprehensible errors and the subsequent parsing cannot hallucinate on "hey it might parse if we changed this character in the most weird way possible"
2023-06-13 19:17:58 +0200mei(~mei@user/mei)
2023-06-13 19:19:56 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 19:20:02 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net)
2023-06-13 19:24:29 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-13 19:25:21 +0200 <ijqq_> do you have any good resources to learn about this kind of stuff?
2023-06-13 19:25:26 +0200 <ijqq_> like how to write a programming language?
2023-06-13 19:28:45 +0200 <geekosaur> write yourself a scheme?
2023-06-13 19:29:57 +0200 <geekosaur> @where WYaS
2023-06-13 19:29:57 +0200 <lambdabot> I know nothing about wyas.
2023-06-13 19:30:00 +0200 <geekosaur> sad
2023-06-13 19:30:38 +0200 <geekosaur> https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
2023-06-13 19:31:12 +0200 <yushyin> the dragon book would be a classic
2023-06-13 19:32:58 +0200 <geekosaur> @where+ WYaS https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
2023-06-13 19:32:58 +0200 <lambdabot> Done.
2023-06-13 19:35:45 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 240 seconds)
2023-06-13 19:36:55 +0200 <yushyin> (but the dragon book is more about compiler/interpreter implementation and less about language design. nevertheless a good read)
2023-06-13 19:37:02 +0200 <pyrex> fwiw, I think tokenizing first is a good idea just because the humans reading your code very likely think of it as being written in words and sentences
2023-06-13 19:37:15 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-13 19:37:33 +0200 <pyrex> you are likely to produce confusing errors if your parser's definition of "a word" depends on the parser's state, because it is different from what humans assume
2023-06-13 19:37:52 +0200 <pyrex> i think this is similar to what [exa] is pointing out, I'm just giving a specific example of how not tokenizing can go weirdly
2023-06-13 19:38:43 +0200AlexNoo(~AlexNoo@178.34.163.88)
2023-06-13 19:40:00 +0200 <pyrex> i also think that for certain languages, it is really hard to show "this can be parsed without backtracking" if the code that recognizes an identifier looks like it can backtrack indefinitely
2023-06-13 19:40:14 +0200AlexZenon(~alzenon@178.34.163.88)
2023-06-13 19:40:23 +0200 <pyrex> when a language claims "don't worry, I'm in LL(1)" they almost always mean "... with a tokenizer!"
2023-06-13 19:41:56 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-13 19:42:10 +0200 <pyrex> (if you have not seen the term LL(1), it just means "if you write a naive 'backtrack and try again' parser, it only needs to backtrack one token" -- and that has the advantage that you can often write a parser for it the same way you would write a non-backtracking parser -- you just have an extra peek() operation that looks a single token ahead)
2023-06-13 19:42:38 +0200Alex_test(~al_test@178.34.163.88)
2023-06-13 19:43:39 +0200ripspin(~chatzilla@1.145.173.162) (Remote host closed the connection)
2023-06-13 19:46:40 +0200 <ijqq_> ah okay
2023-06-13 19:46:51 +0200 <ijqq_> thank you for the information and the recommendations :)
2023-06-13 19:47:00 +0200 <pyrex> i hope it helps!!! this kind of project is usually pretty fun
2023-06-13 19:47:06 +0200 <ijqq_> i have lots to learn
2023-06-13 19:47:28 +0200 <ijqq_> yes i hope so
2023-06-13 19:47:39 +0200 <pyrex> if you find the parser to be tricky, remember that many real parsers are just trying every rule, then giving up and trying the next rule if the previous one doesn't work
2023-06-13 19:48:13 +0200 <pyrex> also, arithmetic expressions are always a butt and it's ok to special case them!!!!!
2023-06-13 19:48:18 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b) (Remote host closed the connection)
2023-06-13 19:48:28 +0200Albina_Pavlovna(~Albina_Pa@2600:4040:9526:fe00:d428:e478:aa82:9afd)
2023-06-13 19:50:50 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-06-13 19:53:31 +0200oneeyedalien(~oneeyedal@125-63-26-213.ip4.superloop.au)
2023-06-13 19:58:26 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-06-13 19:58:36 +0200 <segfaultfizzbuzz> what? "It's also possible to abstract Lists and Trees into polynomials, as every polynomial looks like a sum of terms." - https://functionalcs.github.io/curriculum/
2023-06-13 19:59:00 +0200 <segfaultfizzbuzz> oh because sum and product type?
2023-06-13 19:59:09 +0200oneeyedalien(~oneeyedal@125-63-26-213.ip4.superloop.au) (Quit: Leaving)
2023-06-13 19:59:29 +0200 <dolio> List A = Σ_i A^i
2023-06-13 19:59:37 +0200 <dolio> Unless you're in Haskell.
2023-06-13 19:59:44 +0200 <segfaultfizzbuzz> A^i is what?
2023-06-13 20:00:09 +0200 <ddellacosta> is it a bad idea to use the websockets library along with http-client? It's not clear to me how to write websocket code with http-client, if it's even possible
2023-06-13 20:00:09 +0200 <dolio> The i-fold product of A.
2023-06-13 20:00:11 +0200Albina_Pavlovna(~Albina_Pa@2600:4040:9526:fe00:d428:e478:aa82:9afd) (Quit: bb)
2023-06-13 20:00:19 +0200 <dolio> Or functions from a finite set of size i to A.
2023-06-13 20:00:58 +0200gmg(~user@user/gehmehgeh)
2023-06-13 20:01:54 +0200 <segfaultfizzbuzz> does that translate to this? " the type of List A is [A] or [A, A], or [A, A, A], or [A, A, A, A], or etc..."
2023-06-13 20:02:10 +0200 <dolio> Yeah, although you missed the 0 case.
2023-06-13 20:02:27 +0200 <segfaultfizzbuzz> ...sounds like a java null disaster?
2023-06-13 20:03:12 +0200 <segfaultfizzbuzz> actually i have never considered whether it would make sense to forbid empty lists and whether to annotate that possibility in the type signature...
2023-06-13 20:03:28 +0200 <jade[m]> NonEmpty
2023-06-13 20:04:14 +0200 <ncf> x(1 + x + x² + x³ + ...) = x + x² + x³ + ...
2023-06-13 20:05:09 +0200 <dolio> Sometimes you want empty lists.
2023-06-13 20:05:11 +0200 <segfaultfizzbuzz> so why would i want to model things this way, is there a type galois theory or somtehing?
2023-06-13 20:07:04 +0200 <ncf> as a cute application of this, the type of one-hole contexts of a type constructor is its derivative
2023-06-13 20:07:16 +0200 <ncf> https://en.wikibooks.org/wiki/Haskell/Zippers#Zippers_via_Differentiation
2023-06-13 20:07:44 +0200 <ncf> er, #Differentiation_of_data_types
2023-06-13 20:10:11 +0200 <segfaultfizzbuzz> oh wow this seems like a great website thanks for the link
2023-06-13 20:11:56 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-06-13 20:13:35 +0200 <ijqq_> wow i found this website online, crafting interpreters
2023-06-13 20:13:42 +0200 <ijqq_> looks great
2023-06-13 20:18:09 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b)
2023-06-13 20:19:33 +0200santiagopim(~user@90.167.66.131)
2023-06-13 20:24:27 +0200 <tomsmeding> EvanR: Does that not happen in other textboxes in chrome?
2023-06-13 20:24:31 +0200 <tomsmeding> the -> replacement
2023-06-13 20:25:06 +0200 <tomsmeding> it's just a <textbox> :p
2023-06-13 20:25:12 +0200 <tomsmeding> er, <textarea>
2023-06-13 20:26:48 +0200 <EvanR> you would be a terrible president. Refusing to take credit for stuff you're not responsible for in any way!
2023-06-13 20:28:13 +0200 <geekosaur> it's not happening for me, fwiw (chrome, linux)
2023-06-13 20:28:24 +0200 <geekosaur> I would wonder if it's a locally installed extension
2023-06-13 20:28:57 +0200 <ijqq_> Hi guys, a big noob question here. http://sprunge.us/dPeQmx at the end of runPrompt I get an error that i'm trying to do run line runPrompt but I want to do run line, and then runPrompt. How can I do that?
2023-06-13 20:29:22 +0200 <dolio> segfaultfizzbuzz: Polynomial types are a common class of types of interest in type theory. They are a more semantic characterization of the class of types that can be defined via strictly positive Haskell-alike data declarations.
2023-06-13 20:30:12 +0200 <dolio> And they can be shown to exist in a lot of scenaraios. Like, sets can encode polynomial types.
2023-06-13 20:30:18 +0200 <segfaultfizzbuzz> are type declarations in haskell "terminating"? no, right?
2023-06-13 20:30:42 +0200 <dolio> I don't know what you mean by that.
2023-06-13 20:30:51 +0200 <segfaultfizzbuzz> that is to say, when haskell looks at my type declaration, does it need to chase the types all the way down so that they are known at compile time
2023-06-13 20:31:23 +0200 <ncf> as opposed to what?
2023-06-13 20:32:15 +0200 <geekosaur> ijqq_, `else do`
2023-06-13 20:32:24 +0200 <xerox> segfaultfizzbuzz: there exists this https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/defer_type_errors.html
2023-06-13 20:32:42 +0200 <segfaultfizzbuzz> i suppose at runtime you could define a type...?
2023-06-13 20:32:48 +0200 <ijqq_> thank you :)
2023-06-13 20:33:36 +0200 <geekosaur> otherwise it's just a continnued expression
2023-06-13 20:34:04 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b) (Remote host closed the connection)
2023-06-13 20:34:38 +0200 <segfaultfizzbuzz> another way of asking this is: if we define some essential atomic types such as Int, Char, String, List A, etc then all types constructed in haskell must reduce to the atomic types (e.g. be a polynomial of the atoms)?
2023-06-13 20:36:01 +0200 <dolio> Haskell allows definitions of types that don't correspond to polynomials (at least, excepting possibly cases where in a particular model the semantics coincide).
2023-06-13 20:36:13 +0200 <geekosaur> I have a feeling the answer is "there is more in heaven and earth, Horation, than is dreamt of in your philosophy"
2023-06-13 20:36:19 +0200 <geekosaur> *Horatio
2023-06-13 20:36:47 +0200 <dolio> Like: data Hyper a = H ((Hyper a -> a) -> a)
2023-06-13 20:37:12 +0200 <__monty__> Define a type at run-time?
2023-06-13 20:37:49 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-13 20:38:15 +0200 <segfaultfizzbuzz> what haha? a generic type which takes a generic function returning the genera and maps that function onto a genera? not sure what H does there
2023-06-13 20:38:17 +0200 <dolio> And yeah, conceptually, everything to do with types happens (or can happen) in a phase prior to runtime.
2023-06-13 20:38:44 +0200 <segfaultfizzbuzz> so typechecking is "strict" and "must terminate"
2023-06-13 20:38:55 +0200 <segfaultfizzbuzz> i mean unless you want to wait infinitely long for your program to compile lol
2023-06-13 20:39:33 +0200 <dolio> There are extensions that can allow type checking to diverge (undecidable instances). But it's normally supposed to complete.
2023-06-13 20:46:27 +0200ripspin(~chatzilla@1.145.185.178)
2023-06-13 20:47:46 +0200 <segfaultfizzbuzz> so a type is a polynomial, but... what would be the significance of a "polynomial coefficient"--it seems like there cannot be one...?
2023-06-13 20:48:05 +0200 <segfaultfizzbuzz> like what would 2*Int^3 be, as compared to Int^3 ?
2023-06-13 20:48:41 +0200 <ncf> a polynomial data type is a polynomial
2023-06-13 20:49:12 +0200 <ncf> we're talking about type constructors here, data types with an argument
2023-06-13 20:49:22 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net)
2023-06-13 20:49:25 +0200 <ncf> the argument plays the role of the indeterminate X in the polynomial
2023-06-13 20:49:47 +0200 <mauke> 2*Int^3 = (Bool, Ordering -> Int) -- if I remember my algebra
2023-06-13 20:49:57 +0200 <ncf> it doesn't make sense to call 2*Int^3 a polynomial, just like it doesn't make sense to call 42 a polynomial (unless you're considering it as the constant polynomial X ↦ 42)
2023-06-13 20:50:36 +0200 <segfaultfizzbuzz> then let my polynomial P = (-1)*(Int^2) + (5)*(Int^3)
2023-06-13 20:50:54 +0200 <ncf> but in types 2* would translate as (Bool,)
2023-06-13 20:51:07 +0200 <mauke> that still looks like a constant to me
2023-06-13 20:51:16 +0200 <segfaultfizzbuzz> ...so 2 refers to the cardinality of the type?
2023-06-13 20:51:24 +0200 <segfaultfizzbuzz> so types with equal cardinality are equivalent or something...?
2023-06-13 20:51:26 +0200cheater(~Username@user/cheater)
2023-06-13 20:51:34 +0200 <mauke> you can isomorph them
2023-06-13 20:52:32 +0200 <segfaultfizzbuzz> wow this is blowing my mind
2023-06-13 20:53:13 +0200 <segfaultfizzbuzz> so (2*) is Bool, but it also is like CheckersPlayer and ComputerPowerStatus, and so on?
2023-06-13 20:53:53 +0200 <segfaultfizzbuzz> "infinite" types like Int make this a bit difficult to think about,... especially sine then Int^2 would equal Int due to equal cardinality...?
2023-06-13 20:54:01 +0200 <segfaultfizzbuzz> *especially since'
2023-06-13 20:54:26 +0200 <geekosaur> exponentiation is a function
2023-06-13 20:54:35 +0200 <ncf> gotta be careful with equality, but they would at least be isomorphic
2023-06-13 20:54:36 +0200 <geekosaur> note what mauke said earlier
2023-06-13 20:54:39 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-13 20:54:53 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-06-13 20:55:06 +0200 <ncf> (but the isomorphism isn't quite as nice as the isomorphisms we usually want to think about)
2023-06-13 20:55:24 +0200 <mauke> > maxBound :: Int
2023-06-13 20:55:25 +0200 <lambdabot> 9223372036854775807
2023-06-13 20:55:36 +0200 <ncf> oh yeah, i'm thinking of Integer
2023-06-13 20:55:47 +0200 <ncf> Int is a finite type :p
2023-06-13 20:57:07 +0200 <segfaultfizzbuzz> oops that was my mistake, yeah i mean the lazy/infinite Integer type there
2023-06-13 20:57:09 +0200 <dolio> Yeah, Int^2 is not isomorphic to Int. You need Integer for that.
2023-06-13 20:57:16 +0200 <segfaultfizzbuzz> so Integer^2 = Integer
2023-06-13 20:57:44 +0200 <geekosaur> isn't it Bool -> Integer?
2023-06-13 20:57:49 +0200 <mauke> don't think Integer is lazy
2023-06-13 20:58:16 +0200 <ncf> geekosaur: yes, for example
2023-06-13 20:58:34 +0200laxask(~laxask@2a01:c22:8d40:6100:b471:50a5:1f09:a15)
2023-06-13 20:58:55 +0200 <ncf> we're using pseudocode here
2023-06-13 20:59:28 +0200 <segfaultfizzbuzz> Integer^2 = Bool -> Integer ?
2023-06-13 20:59:50 +0200 <dolio> Yeah.
2023-06-13 21:00:04 +0200 <mauke> (Integer, Integer) = Bool -> Integer
2023-06-13 21:00:27 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-06-13 21:00:28 +0200 <segfaultfizzbuzz> ...but then you aren't just using cardinality, since Bool -> Integer is countable, and so is Integer
2023-06-13 21:00:46 +0200 <segfaultfizzbuzz> so this is using something other than that to define equality/equivalence
2023-06-13 21:00:57 +0200 <ncf> we're defining it as isomorphism
2023-06-13 21:01:13 +0200 <ncf> A and B are isomorphic if there are functions to :: A → B, from :: B → A such that to . from = id and from . to = id
2023-06-13 21:01:33 +0200 <segfaultfizzbuzz> hmm unfortunately that applies here
2023-06-13 21:01:47 +0200 <segfaultfizzbuzz> there is an isomorphism from (Integer, Integer) to Integer
2023-06-13 21:01:55 +0200 <ncf> yes, which is why they are isomorphic
2023-06-13 21:02:06 +0200 <ncf> why is this unfortunate?
2023-06-13 21:02:38 +0200 <segfaultfizzbuzz> which seems like any time you touch an infinite type it is an Integer
2023-06-13 21:02:51 +0200 <geekosaur> it is isomorphic to
2023-06-13 21:02:52 +0200mei(~mei@user/mei)
2023-06-13 21:03:03 +0200 <ncf> Integer → Integer is larger than Integer
2023-06-13 21:03:06 +0200 <geekosaur> meaning you could assign an Integer value to any value in the type
2023-06-13 21:03:12 +0200 <segfaultfizzbuzz> unfortunate because it feels like a loss of information or pathology, like divide by zero
2023-06-13 21:03:12 +0200 <geekosaur> not that they're identical
2023-06-13 21:03:48 +0200 <jade[m]> any countable set is isomorphic to the set of integers right
2023-06-13 21:03:52 +0200 <mauke> everything in RAM is represented as a sequence of bits. a sequence of bits is an integer
2023-06-13 21:03:53 +0200 <chromoblob> ncf: computable stuff, though, isn't
2023-06-13 21:04:07 +0200 <jade[m]> more or less by definition
2023-06-13 21:05:15 +0200 <ncf> this is irrelevant to the matter at hand, which is that you couldn't define an isomorphism between Integer and Integer → Integer in haskell (without cheating and looking at the RAM, i guess)
2023-06-13 21:06:17 +0200 <segfaultfizzbuzz> but you could define one on paper mathematically...?
2023-06-13 21:06:32 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-06-13 21:06:33 +0200 <mauke> no, only in practice
2023-06-13 21:06:35 +0200 <dolio> Being represented by an integer isn't sufficient for such an isomorphism to exist.
2023-06-13 21:06:37 +0200 <ncf> in the effective topos, maybe
2023-06-13 21:06:53 +0200 <mauke> if you do it rigorously, it doesn't work
2023-06-13 21:07:24 +0200ripspin(~chatzilla@1.145.185.178) (Remote host closed the connection)
2023-06-13 21:07:31 +0200 <segfaultfizzbuzz> oh wow really?
2023-06-13 21:07:38 +0200 <dolio> For instance, equal functions can be represented by distinct integers, so if you just try to extract the bits of a particular function, it will fail to actually be a well defined function.
2023-06-13 21:07:46 +0200red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Server closed connection)
2023-06-13 21:08:05 +0200 <pyrex> i agree that regarding integer as finite is kind of cheaty
2023-06-13 21:09:04 +0200 <dolio> So, e.g. in the effective topos, Church's principle holds "for all functions, there is a number referring to a computation of that function." But that does not extend to a _function_ from functions to numbers.
2023-06-13 21:09:34 +0200red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-06-13 21:09:55 +0200 <ncf> right
2023-06-13 21:11:31 +0200 <ncf> can someone remind me why cantor's diagonal argument fails in the effective topos
2023-06-13 21:11:45 +0200 <segfaultfizzbuzz> so... do you move up in cardinality every time you add an Integer...? you are saying that Integer -> Integer -> Integer is higher cradinality than Integer -> Integer, which is higher than Integer...?
2023-06-13 21:11:46 +0200 <ncf> well, does it?
2023-06-13 21:11:56 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-13 21:11:57 +0200 <dolio> It works.
2023-06-13 21:11:59 +0200 <ncf> oh ok
2023-06-13 21:12:19 +0200 <dolio> It proves, "2^ℕ is computably uncountable."
2023-06-13 21:12:55 +0200 <ncf> segfaultfizzbuzz: no, because Integer → Integer → Integer is the same as (Integer, Integer) → Integer, and you can apply the isomorphism to the domain
2023-06-13 21:13:01 +0200 <dolio> Where 2^ℕ is the type of computable functions from ℕ to 2.
2023-06-13 21:13:06 +0200 <ncf> on the other hand, (Integer → Integer) → Integer is larger than Integer → Integer
2023-06-13 21:13:30 +0200fbytez(~uid@user/fbytez) (Ping timeout: 240 seconds)
2023-06-13 21:13:44 +0200 <dolio> Well, that last one is dubious.
2023-06-13 21:14:06 +0200 <ncf> is it?
2023-06-13 21:14:13 +0200 <dolio> Yeah.
2023-06-13 21:14:23 +0200 <chromoblob> why at all care about uncomputable stuff
2023-06-13 21:14:29 +0200 <ncf> doesn't cantor's theorem apply?
2023-06-13 21:14:43 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-06-13 21:14:58 +0200 <chromoblob> well, i care about true randomness
2023-06-13 21:15:01 +0200 <chromoblob> but other than that
2023-06-13 21:15:09 +0200 <EvanR> that the uncountable has an analog within the realm of "everything is computable" is interesting
2023-06-13 21:15:10 +0200jlwoodwa(~jlwoodwa@172.58.84.226)
2023-06-13 21:15:21 +0200 <dolio> No, because Cantor's theorem is about maps A -> B^A.
2023-06-13 21:15:43 +0200 <ncf> A := Integer → Integer, B := Integer
2023-06-13 21:16:09 +0200 <jade[m]> if you had foo x y | x == y = x; otherwise = 1 and foo' f = product . map f $ [1..] wouldn't that work
2023-06-13 21:16:24 +0200 <jade[m]> i mean not in haskell because infinite and shit
2023-06-13 21:16:53 +0200glider(~glider@user/glider) (Server closed connection)
2023-06-13 21:17:10 +0200glider(~glider@user/glider)
2023-06-13 21:17:20 +0200 <ncf> jade[m]: work?
2023-06-13 21:17:48 +0200 <jade[m]> i mean create a bijection between `Integer` and `Integer -> Integer`
2023-06-13 21:17:49 +0200 <ncf> which types are you trying to prove isomorphic?
2023-06-13 21:17:54 +0200 <jade[m]> might just be stupid
2023-06-13 21:17:59 +0200 <dolio> ncf: Cantor's theorem is, "maps A -> B^A are not surjections." But you're talking about ℤ^ℤ -> ℤ.
2023-06-13 21:18:27 +0200 <pyrex> i think you cannot create a bijection between Integer and (Integer -> Integer) and the diagonal argument shows it
2023-06-13 21:18:52 +0200 <pyrex> if you attempt to do so, i can generate a new Integer -> Integer that differs from every element in your map in at least one position
2023-06-13 21:18:54 +0200 <jade[m]> pyrex: the diagonal argument doesn't apply here
2023-06-13 21:19:05 +0200 <dolio> If you used your instantiation, it'd be about Z^Z -> Z^(Z^Z).
2023-06-13 21:19:06 +0200 <ncf> dolio: no, i'm saying that "maps ℤ^ℤ → ℤ^(ℤ^ℤ) are not surjections", in other words ℤ^(ℤ^ℤ) is larger than ℤ^ℤ
2023-06-13 21:19:10 +0200__monty__(~toonn@user/toonn)
2023-06-13 21:19:10 +0200 <jade[m]> or wait
2023-06-13 21:19:17 +0200 <pyrex> jade[m]: you sure? I may have missed something about the context
2023-06-13 21:19:23 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 3.6)
2023-06-13 21:19:30 +0200jlwoodwa(~jlwoodwa@172.58.84.226) (Ping timeout: 240 seconds)
2023-06-13 21:19:42 +0200 <probie> pyrex: like in general, or in Haskell land? There's definitely a bijection between values of type `Integer` and function in Haskell of type `Integer -> Integer`
2023-06-13 21:19:50 +0200 <jade[m]> isn't `(Integer -> Integer)` isomorphic to `(Integer, Integer)`?
2023-06-13 21:19:55 +0200 <ncf> jade[m]: how do you take the product of an infinite list of integers?
2023-06-13 21:19:57 +0200 <pyrex> my function looks like this: `f position = (yourMap !! position) + 1`
2023-06-13 21:20:00 +0200 <ncf> jade[m]: no
2023-06-13 21:20:13 +0200 <jade[m]> ncf: yeah it doesn't work in haskell
2023-06-13 21:20:19 +0200 <ncf> when does it work?
2023-06-13 21:20:23 +0200 <pyrex> probie: i think i have to be clear on how "in Haskell-land" we are
2023-06-13 21:20:40 +0200 <pyrex> like, there's numerous reasons we can't represent this on an actual computer
2023-06-13 21:20:42 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 21:20:44 +0200 <dolio> ncf: Oh, well, in that case, the problem is that, "there is no surjection," cannot reasonably be interpreted as "is smaller than."
2023-06-13 21:21:03 +0200 <pyrex> i would say that if you examine the function i just wrote and conclude that my function is unwritable in your world, then my argument doesn't apply
2023-06-13 21:21:08 +0200 <jade[m]> I was using haskell syntax but I meant to show a general pattern
2023-06-13 21:21:35 +0200 <ncf> dolio: classically, sure it can
2023-06-13 21:21:45 +0200 <dolio> We're not in a classical setting.
2023-06-13 21:21:51 +0200 <ncf> okay, fair
2023-06-13 21:21:59 +0200 <dolio> Also I'm not sure it's even reasonable there. :þ
2023-06-13 21:22:01 +0200laxask(~laxask@2a01:c22:8d40:6100:b471:50a5:1f09:a15) ()
2023-06-13 21:22:05 +0200 <pyrex> er, wait, my function is slightly garbled. i meant `f position = (yourMap !! position) position + 1`
2023-06-13 21:22:15 +0200 <ncf> i still think saying 2^A is larger than A makes sense in constructiveland
2023-06-13 21:22:17 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-13 21:22:20 +0200fbytez(~uid@2001:bc8:2117:100::)
2023-06-13 21:22:37 +0200 <ncf> you can define that as "there's no surjection" if you like
2023-06-13 21:22:41 +0200 <jade[m]> <jade[m]> "if you had foo x y | x == y = x..." <- but like, would this be an isomorphism if we had a notion of taking an infinite peoduct?
2023-06-13 21:22:50 +0200 <dolio> I think 2^2^ℕ ≅ ℕ in the effective topos.
2023-06-13 21:23:01 +0200 <ncf> ?????
2023-06-13 21:23:08 +0200 <ncf> ok i take it all back lol
2023-06-13 21:23:09 +0200 <dolio> If not there, then there are constructive settings where it works out.
2023-06-13 21:23:42 +0200 <dolio> Another setting is topological spaces. Because the maps involved are continuous.
2023-06-13 21:23:54 +0200 <dolio> (Which is also the case for computable maps.)
2023-06-13 21:23:55 +0200 <ncf> jade[m]: i'm struggling to assign meaning to this question
2023-06-13 21:24:18 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Client Quit)
2023-06-13 21:24:38 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-13 21:25:10 +0200 <jade[m]> yeah i don't really know either
2023-06-13 21:25:17 +0200 <jade[m]> forget it lmao
2023-06-13 21:25:24 +0200 <ncf> i guess you're thinking of some sort of "free"/"syntactic" product which keeps all of the integers you give it around? but it seems like in order to make this formal you'd have to define something that looks very much like Integer → Integer
2023-06-13 21:25:28 +0200 <probie> pyrex: I just meant that `Integer -> Integer` in Haskell doesn't represent `ℤ → ℤ` in maths, because all functions in Haskell must have a finite representation in the language, and the number of possible programs is simply ℕ
2023-06-13 21:25:42 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-06-13 21:25:50 +0200segfaultfizzbuzzbroke #haskell
2023-06-13 21:26:09 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Client Quit)
2023-06-13 21:26:31 +0200 <dolio> probie: All functions in the effective topos have finite presentations (in terms of whatever computation system you start with).
2023-06-13 21:26:33 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-13 21:30:59 +0200 <dolio> ncf: If you use the actual power set, you don't get into situations like that, BTW.
2023-06-13 21:31:19 +0200 <kritty> fun times in theory land
2023-06-13 21:31:21 +0200 <ncf> so Ω^ℤ ?
2023-06-13 21:31:35 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2023-06-13 21:31:41 +0200 <dolio> There's a slightly more involved proof that the double power set can't up being equivalent to what you started with.
2023-06-13 21:32:07 +0200cheater(~Username@user/cheater)
2023-06-13 21:32:38 +0200 <dolio> Yeah.
2023-06-13 21:33:46 +0200 <ncf> i am still not over the fact that "no surjections from A to T(A)" does not mean "no surjections from A to T(T(A))"
2023-06-13 21:33:50 +0200 <dolio> I think Ω being closed under things like quantifiers over your original set enters into it importantly.
2023-06-13 21:34:34 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b)
2023-06-13 21:35:13 +0200 <xerox> ncf: what is T in this context?
2023-06-13 21:35:25 +0200 <ncf> a type operator, in this case 2^
2023-06-13 21:35:33 +0200bionade24(~bionade24@2a03:4000:33:45b::1)
2023-06-13 21:35:45 +0200 <ncf> (a functor, i guess)
2023-06-13 21:38:14 +0200 <ncf> dolio: wait, are you saying that "no surjections from A to 2^A" is also false in the effective topos, until you replace 2 with Ω?
2023-06-13 21:38:17 +0200 <ncf> or at least unprovable
2023-06-13 21:38:23 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-13 21:38:35 +0200 <tomsmeding> EvanR: there are more things I would be terrible at :p
2023-06-13 21:38:38 +0200 <dolio> Well, in this specific case, it can also be read, "there is no surjection 2^ℕ -> ℕ." Which isn't necessarily surprising unless the only reason you believe a surjection can fail to exist is some kind of "bigness."
2023-06-13 21:38:59 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a031:36aa:a52b:1d5b) (Ping timeout: 240 seconds)
2023-06-13 21:39:20 +0200 <dolio> ncf: No, that one works with 2, too.
2023-06-13 21:39:25 +0200delYsid(~user@84-115-138-74.cable.dynamic.surfer.at)
2023-06-13 21:39:47 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving)
2023-06-13 21:40:01 +0200 <ncf> i should sit down and work through the details...
2023-06-13 21:40:34 +0200 <delYsid> Is there a package for processing JSON Schema other then aeson-schema{s} and json-schema? From skimming the docs, it looks like both are not sufficient for the OpenAI function_call API...
2023-06-13 21:40:39 +0200 <dolio> I'm not 100% sure the 2^2^ℕ ≅ ℕ thing holds in the effective topos. But there are constructively consistent axioms that do imply it.
2023-06-13 21:40:57 +0200 <ncf> which axioms are you thinking of?
2023-06-13 21:41:32 +0200fbytez(~uid@2001:bc8:2117:100::) (Ping timeout: 240 seconds)
2023-06-13 21:41:32 +0200 <dolio> The reason is that, in some sense, continuity of maps 2^ℕ -> ℕ is a strong limitation.
2023-06-13 21:41:39 +0200 <dolio> Er, 2^ℕ -> 2.
2023-06-13 21:42:27 +0200 <ncf> right
2023-06-13 21:43:08 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-13 21:43:55 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-13 21:43:57 +0200 <dolio> I forget which axiom. I guess probably a function continuity one.
2023-06-13 21:47:15 +0200 <dolio> https://math.andrej.com/2009/10/12/constructive-gem-double-exponentials/
2023-06-13 21:47:31 +0200oac_(~oac@72-50-214-210.fttp.usinternet.com)
2023-06-13 21:48:56 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-06-13 21:49:26 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-06-13 21:49:40 +0200 <dolio> "All functions 2^ℕ -> 2 are uniformly continuous."
2023-06-13 21:50:12 +0200 <dolio> I imagine it works in the effective topos, because he's using computer programs as an example.
2023-06-13 21:50:20 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-13 21:50:44 +0200 <dolio> But for instance, "the Cantor space is compact," isn't valid, I think.
2023-06-13 21:51:05 +0200 <dolio> So you can't derive it from the two other principles there, if it is true.
2023-06-13 21:52:48 +0200 <dolio> (But Brouwerian intuitionism would be another example setting, I guess.)
2023-06-13 21:55:34 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-13 21:55:39 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-13 22:00:48 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-06-13 22:07:29 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-06-13 22:13:29 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-06-13 22:13:39 +0200cheater_(~Username@user/cheater)
2023-06-13 22:13:39 +0200cheater_cheater
2023-06-13 22:20:18 +0200euandreh(~Thunderbi@189.6.18.7) (Remote host closed the connection)
2023-06-13 22:20:34 +0200oac_(~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac_)
2023-06-13 22:20:54 +0200oac(~oac@72-50-214-210.fttp.usinternet.com)
2023-06-13 22:23:11 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-13 22:23:40 +0200trev(~trev@user/trev) (Quit: trev)
2023-06-13 22:24:46 +0200Techcable(~Techcable@user/Techcable) (Remote host closed the connection)
2023-06-13 22:28:08 +0200Techcable(~Techcable@user/Techcable)
2023-06-13 22:28:24 +0200enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-06-13 22:30:20 +0200dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds)
2023-06-13 22:31:05 +0200Techcable(~Techcable@user/Techcable) (Remote host closed the connection)
2023-06-13 22:34:34 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-13 22:35:56 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-06-13 22:37:30 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds)
2023-06-13 22:37:42 +0200santiagopim(~user@90.167.66.131) (Ping timeout: 255 seconds)
2023-06-13 22:39:56 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2023-06-13 22:46:55 +0200chomwitt(~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-06-13 22:48:40 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-13 22:48:45 +0200dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-06-13 22:53:22 +0200Lycurgus(~juan@user/Lycurgus)
2023-06-13 22:56:30 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2023-06-13 22:59:11 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-06-13 23:01:53 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-13 23:10:40 +0200son0p(~ff@181.136.122.143)
2023-06-13 23:13:33 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-06-13 23:15:58 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-06-13 23:17:01 +0200oac(~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac)
2023-06-13 23:21:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-13 23:24:07 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-06-13 23:25:58 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-06-13 23:26:18 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-06-13 23:30:52 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
2023-06-13 23:35:37 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-13 23:37:21 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2023-06-13 23:40:32 +0200wns(~user@103.206.114.69) (Read error: No route to host)
2023-06-13 23:40:44 +0200wns(~user@103.206.114.90)
2023-06-13 23:41:36 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-06-13 23:49:23 +0200Guest47(~Guest47@u-of-rochester-128-151-150-9.wireless.rochester.edu)
2023-06-13 23:49:45 +0200Guest47(~Guest47@u-of-rochester-128-151-150-9.wireless.rochester.edu) (Client Quit)
2023-06-13 23:50:54 +0200elain4(~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-06-13 23:53:33 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-13 23:56:55 +0200foul_owl(~kerry@45.143.82.39) (Ping timeout: 260 seconds)
2023-06-13 23:57:42 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)