Logs on 2024-01-20 (liberachat/#haskell)
| 00:01:15 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 00:10:59 | × | acidjnk quits (~acidjnk@p200300d6e737e774399fbf5a7771cd09.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 00:11:56 | → | tr_ev joins (~trev@user/trev) |
| 00:12:24 | tr_ev | is now known as trev |
| 00:15:04 | × | trev quits (~trev@user/trev) (Client Quit) |
| 00:16:16 | → | mud joins (~mud@user/kadoban) |
| 00:18:58 | → | rosco joins (~rosco@175.136.156.77) |
| 00:19:02 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 00:19:35 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 00:25:40 | × | Tuplanolla quits (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:33:25 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 00:39:54 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 00:42:44 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 00:47:18 | → | tr_ev joins (~trev@user/trev) |
| 00:47:34 | tr_ev | is now known as trev |
| 00:49:30 | × | trev quits (~trev@user/trev) (Client Quit) |
| 00:50:23 | → | trev joins (~trev@user/trev) |
| 00:52:28 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 00:56:02 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 01:10:47 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 01:13:33 | → | igemnace joins (~ian@user/igemnace) |
| 01:14:36 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 01:15:27 | → | trev__ joins (~trev@109-252-35-136.nat.spd-mgts.ru) |
| 01:16:15 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 01:16:58 | → | tr_ev joins (~trev@user/trev) |
| 01:17:37 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 01:18:07 | tr_ev | is now known as trev |
| 01:25:07 | × | Square quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 01:26:55 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 01:31:24 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 01:31:47 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 01:32:46 | Lord_of_Life_ | is now known as Lord_of_Life |
| 01:33:39 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 01:34:20 | → | tr_ev joins (~trev@user/trev) |
| 01:38:15 | × | tr_ev quits (~trev@user/trev) (Client Quit) |
| 01:39:40 | → | tr_ev joins (~trev@user/trev) |
| 01:40:33 | × | tr_ev quits (~trev@user/trev) (Client Quit) |
| 01:40:50 | → | tr_ev joins (~trev@user/trev) |
| 01:41:10 | tr_ev | is now known as trev |
| 01:44:15 | × | trev quits (~trev@user/trev) (Client Quit) |
| 01:44:42 | → | tr_ev joins (~trev@user/trev) |
| 01:44:58 | × | tr_ev quits (~trev@user/trev) (Client Quit) |
| 01:46:09 | → | tr_ev joins (~trev@user/trev) |
| 01:46:54 | × | trev__ quits (~trev@109-252-35-136.nat.spd-mgts.ru) (Remote host closed the connection) |
| 01:47:12 | tr_ev | is now known as trev |
| 01:56:33 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 02:05:29 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 02:14:31 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
| 02:17:59 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 02:19:47 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 02:26:23 | × | ph88 quits (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 02:26:24 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 02:32:07 | × | remmie quits (ianremsen@tilde.team) (Ping timeout: 276 seconds) |
| 02:33:41 | × | ulvarrefr quits (~user@188.124.56.153) (Ping timeout: 240 seconds) |
| 02:35:50 | → | yogansh joins (~yogansh@203.110.242.41) |
| 02:38:14 | <yogansh> | Are summer of haskell and google summer of code diffrent programs? |
| 02:39:03 | <geekosaur> | yes |
| 02:39:16 | × | ridcully quits (~ridcully@p57b52ac5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 02:39:26 | <geekosaur> | summer of haskell started when we failed to get any GSoC projects accepted one year |
| 02:40:30 | <yogansh> | I very new to learning haskell. I was thinking of enhancing my skills by applying to one of these programs. Which one should I aim for? |
| 02:41:53 | <geekosaur> | I'd say look at both, it's less which program than which project |
| 02:45:27 | <yogansh> | thanks, I will try my best |
| 02:46:39 | → | Guest59 joins (~Guest59@2409:4081:188:72e:8834:aaf0:c8c5:bfee) |
| 02:47:47 | × | Guest59 quits (~Guest59@2409:4081:188:72e:8834:aaf0:c8c5:bfee) (Client Quit) |
| 02:50:55 | → | aforemny joins (~aforemny@2001:9e8:6cf3:7e00:67eb:3ae1:6a27:9514) |
| 03:00:57 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 03:01:01 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 03:08:11 | × | zeta_ quits (~zeta@176.254.244.83) (Ping timeout: 252 seconds) |
| 03:14:43 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 03:15:19 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 03:17:56 | × | yogansh quits (~yogansh@203.110.242.41) (Quit: Lost terminal) |
| 03:20:55 | → | remmie joins (ianremsen@tilde.team) |
| 03:22:53 | × | xff0x quits (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 03:24:53 | → | xff0x joins (~xff0x@178.255.149.135) |
| 03:33:20 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 256 seconds) |
| 03:33:31 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) (Remote host closed the connection) |
| 03:34:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) |
| 03:35:11 | → | xff0x joins (~xff0x@ai085147.d.east.v6connect.net) |
| 03:43:23 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 03:44:20 | → | discuss9128 joins (~discuss91@bb119-74-93-26.singnet.com.sg) |
| 03:46:11 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 03:55:19 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 03:57:43 | × | td_ quits (~td@i53870934.versanet.de) (Ping timeout: 246 seconds) |
| 03:59:50 | → | td_ joins (~td@i5387090D.versanet.de) |
| 04:09:40 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 04:13:31 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 04:27:38 | → | aforemny_ joins (~aforemny@2001:9e8:6cfd:6000:b7a9:b367:3893:4304) |
| 04:28:09 | × | aforemny quits (~aforemny@2001:9e8:6cf3:7e00:67eb:3ae1:6a27:9514) (Ping timeout: 260 seconds) |
| 04:56:51 | × | rosco quits (~rosco@175.136.156.77) (Remote host closed the connection) |
| 05:00:16 | → | rosco joins (~rosco@175.136.156.77) |
| 05:05:13 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 05:15:17 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 256 seconds) |
| 05:16:40 | → | fansly joins (~fansly@103.3.221.236) |
| 05:23:00 | → | danza joins (~danza@151.37.178.40) |
| 05:37:59 | × | fansly quits (~fansly@103.3.221.236) (Ping timeout: 260 seconds) |
| 05:38:08 | → | fansly joins (~fansly@182.0.245.143) |
| 05:46:01 | × | fansly quits (~fansly@182.0.245.143) (Read error: Connection reset by peer) |
| 05:46:47 | → | fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 05:52:01 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 06:00:26 | → | pavonia joins (~user@user/siracusa) |
| 06:06:27 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:13:37 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 06:15:48 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 06:16:13 | → | tr_ev joins (~trev@user/trev) |
| 06:21:49 | × | tr_ev quits (~trev@user/trev) (Quit: tr_ev) |
| 06:22:07 | → | tr_ev joins (~trev@user/trev) |
| 06:23:40 | → | harveypwca joins (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 06:23:59 | × | tr_ev quits (~trev@user/trev) (Client Quit) |
| 06:49:04 | → | ridcully joins (~ridcully@p508ac914.dip0.t-ipconnect.de) |
| 06:56:52 | × | Buliarous quits (~gypsydang@46.232.210.139) (Read error: Connection reset by peer) |
| 06:59:20 | → | tr_ev joins (~trev@user/trev) |
| 07:00:23 | × | tr_ev quits (~trev@user/trev) (Client Quit) |
| 07:02:31 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 07:10:41 | → | trev_ joins (~trev@109-252-35-136.nat.spd-mgts.ru) |
| 07:14:30 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:15:23 | → | berberman joins (~berberman@user/berberman) |
| 07:18:43 | × | trev_ quits (~trev@109-252-35-136.nat.spd-mgts.ru) (Remote host closed the connection) |
| 07:19:06 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 07:23:55 | × | danza quits (~danza@151.37.178.40) (Ping timeout: 259 seconds) |
| 07:30:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:33:19 | × | anderson- quits (~anderson@user/anderson) (Quit: bye) |
| 07:50:23 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 07:55:00 | → | Vajb joins (~Vajb@n7kymlrhl8zspe1o45k-1.v6.elisa-mobile.fi) |
| 07:57:56 | → | bilegeek joins (~bilegeek@2600:1008:b016:5381:5363:db32:3516:d956) |
| 08:00:50 | → | fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 08:03:19 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 08:05:09 | → | trev joins (~trev@user/trev) |
| 08:10:46 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 08:14:18 | × | harveypwca quits (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
| 08:14:47 | → | acidjnk joins (~acidjnk@p200300d6e737e748399fbf5a7771cd09.dip0.t-ipconnect.de) |
| 08:15:55 | → | fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 08:16:00 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 08:16:12 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 08:17:54 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 08:18:14 | → | jrm joins (~jrm@user/jrm) |
| 08:19:06 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:34:15 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 08:42:33 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:44:44 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:46:46 | → | danza joins (~danza@151.37.197.51) |
| 08:59:58 | → | fansly joins (~fansly@103.3.221.236) |
| 09:06:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:08:59 | × | fansly quits (~fansly@103.3.221.236) (Ping timeout: 252 seconds) |
| 09:11:02 | → | fansly joins (~fansly@103.3.221.236) |
| 09:17:49 | × | fansly quits (~fansly@103.3.221.236) (Ping timeout: 264 seconds) |
| 09:18:04 | → | fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 09:21:13 | → | lewisje joins (~lewisje@74.215.19.22) |
| 09:25:11 | → | Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 09:26:49 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 09:27:21 | → | Silver_X joins (~Silver_X@182.178.183.212) |
| 09:27:33 | <Silver_X> | anyone there? |
| 09:28:00 | <Franciman> | yep |
| 09:28:02 | <Franciman> | hi Silver_X |
| 09:28:21 | <Silver_X> | hey guys Im a beginner and just starting out so I need some guidance |
| 09:28:57 | <Silver_X> | Ive recently downloaded some PDFs and don't know where to begin |
| 09:29:03 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) (Remote host closed the connection) |
| 09:30:21 | <Silver_X> | Real World haskell and LYAHFG , beacause that was suggested on a course I saw called cis1940. Would that be a good place to begin ?? |
| 09:32:24 | <Silver_X> | apologise its CIS194 |
| 09:35:48 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 09:38:47 | × | Silver_X quits (~Silver_X@182.178.183.212) (Read error: Connection reset by peer) |
| 09:39:10 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 09:46:52 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:46:55 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 09:48:35 | → | p3n joins (~p3n@217.198.124.246) |
| 09:53:25 | × | acidjnk quits (~acidjnk@p200300d6e737e748399fbf5a7771cd09.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 09:57:25 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 264 seconds) |
| 09:58:13 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 10:09:18 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 10:14:53 | → | fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 10:18:10 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 276 seconds) |
| 10:19:43 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:30:44 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 10:46:40 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 10:46:54 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 11:05:16 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 11:11:19 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 11:12:12 | × | billchenchina quits (~billchenc@103.152.35.21) (Max SendQ exceeded) |
| 11:12:22 | → | mima joins (~mmh@aftr-62-216-211-216.dynamic.mnet-online.de) |
| 11:13:01 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 11:13:55 | × | billchenchina quits (~billchenc@103.152.35.21) (Max SendQ exceeded) |
| 11:14:59 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 11:14:59 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 11:15:07 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:15:53 | × | billchenchina quits (~billchenc@103.152.35.21) (Max SendQ exceeded) |
| 11:16:54 | × | rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 11:17:29 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 11:18:19 | × | billchenchina quits (~billchenc@103.152.35.21) (Max SendQ exceeded) |
| 11:18:21 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 11:19:59 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 11:20:49 | × | billchenchina quits (~billchenc@103.152.35.21) (Max SendQ exceeded) |
| 11:22:32 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 11:22:40 | × | bilegeek quits (~bilegeek@2600:1008:b016:5381:5363:db32:3516:d956) (Quit: Leaving) |
| 11:23:23 | × | billchenchina quits (~billchenc@103.152.35.21) (Max SendQ exceeded) |
| 11:24:58 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 11:26:56 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 268 seconds) |
| 11:27:05 | → | fansly joins (~fansly@103.3.221.236) |
| 11:31:38 | → | target_i joins (~target_i@217.175.14.39) |
| 11:42:16 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 11:44:04 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:45:08 | → | HikariNee joins (~HikariNee@49.43.5.189) |
| 11:48:24 | → | Sciencentistguy5 joins (~sciencent@hacksoc/ordinary-member) |
| 11:49:10 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 276 seconds) |
| 11:49:10 | Sciencentistguy5 | is now known as Sciencentistguy |
| 11:52:00 | → | ph88 joins (~ph88@91.64.63.48) |
| 11:52:00 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 11:52:30 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 11:53:36 | → | gmg joins (~user@user/gehmehgeh) |
| 11:55:47 | × | danza quits (~danza@151.37.197.51) (Quit: Leaving) |
| 12:00:25 | → | yeahitsme joins (~yeah@user/yeahitsme) |
| 12:02:10 | × | Tisoxin quits (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 12:02:24 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 12:02:39 | → | Tisoxin joins (~Ikosit@user/ikosit) |
| 12:02:53 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:02:56 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 12:03:41 | → | gmg joins (~user@user/gehmehgeh) |
| 12:05:02 | × | fansly quits (~fansly@103.3.221.236) (Ping timeout: 256 seconds) |
| 12:05:56 | → | fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 12:14:33 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 12:25:06 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:29:45 | × | kimiamania464 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 12:30:32 | → | kimiamania464 joins (~65804703@user/kimiamania) |
| 12:43:46 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 276 seconds) |
| 12:44:11 | → | fansly joins (~fansly@103.3.221.236) |
| 12:48:59 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 12:49:57 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 12:57:43 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 12:58:20 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 13:06:30 | → | lex_ joins (~alex@188.25.143.13) |
| 13:06:43 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 13:07:51 | × | fansly quits (~fansly@103.3.221.236) (Read error: Connection reset by peer) |
| 13:08:03 | → | fansly joins (~fansly@103.3.221.236) |
| 13:08:17 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 13:08:41 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 13:10:55 | ← | lex_ parts (~alex@188.25.143.13) () |
| 13:18:18 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 13:19:47 | × | fansly quits (~fansly@103.3.221.236) (Ping timeout: 252 seconds) |
| 13:20:08 | → | fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 13:28:26 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 13:34:00 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:35:37 | → | califax joins (~califax@user/califx) |
| 13:39:05 | → | Ashkan joins (~Ashkan@147.161.173.72) |
| 13:45:14 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:46:30 | → | califax joins (~califax@user/califx) |
| 13:51:34 | → | Zmzi joins (~rscastilh@user/Zmzi) |
| 13:53:45 | × | Zmzi quits (~rscastilh@user/Zmzi) (Remote host closed the connection) |
| 13:57:21 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:57:39 | → | califax joins (~califax@user/califx) |
| 14:00:10 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 14:04:31 | × | califax quits (~califax@user/califx) (Ping timeout: 240 seconds) |
| 14:17:46 | → | califax joins (~califax@user/califx) |
| 14:20:01 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:20:20 | → | califax joins (~califax@user/califx) |
| 14:22:16 | × | phma quits (~phma@host-67-44-208-60.hnremote.net) (Read error: Connection reset by peer) |
| 14:22:31 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 260 seconds) |
| 14:23:12 | → | phma joins (phma@2001:5b0:211f:a328:2768:48c:6526:135d) |
| 14:24:12 | → | vgtw joins (~vgtw@user/vgtw) |
| 14:38:46 | × | causal quits (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 14:40:45 | <duncan> | LYAHFG doesn't have exercises, RWH is good but I wouldn't say it's a beginner's textbook |
| 14:41:05 | <duncan> | The one the University of Edinburgh recommended, which has exercises, is called "The Craft of Functional Programming" |
| 14:42:03 | → | __monty__ joins (~toonn@user/toonn) |
| 14:44:12 | <tinjamin> | gm haskellers |
| 14:44:21 | → | sprout joins (~quassel@2a02-a448-3a80-0-c82d-ac36-f811-1f58.fixed6.kpn.net) |
| 14:44:54 | <tinjamin> | dang Silver_x left |
| 14:45:25 | <tinjamin> | thought i found a study companion 🤧 |
| 14:47:49 | × | sproutX quits (~quassel@2a02-a448-3a80-0-3c40-3825-377c-ece4.fixed6.kpn.net) (Ping timeout: 264 seconds) |
| 14:50:58 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 14:51:05 | → | euleritian joins (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) |
| 14:59:58 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Quit: leaving) |
| 15:00:50 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 15:15:33 | → | Square joins (~Square@user/square) |
| 15:20:28 | × | euleritian quits (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:20:47 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:36:43 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 15:36:56 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:37:57 | → | _xor0 joins (~xor@72.49.195.41) |
| 15:39:38 | × | _xor quits (~xor@72.49.195.41) (Ping timeout: 260 seconds) |
| 15:39:38 | _xor0 | is now known as _xor |
| 15:47:31 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 15:48:11 | → | euleritian joins (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) |
| 15:51:50 | × | euleritian quits (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:52:07 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:58:49 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 15:59:51 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:06:32 | → | waleee joins (~waleee@h-176-10-136-155.NA.cust.bahnhof.se) |
| 16:12:46 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 16:13:19 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:14:55 | × | hamster quits (~ham@user/ham) (Quit: WeeChat 3.5) |
| 16:15:13 | → | ham joins (~ham@user/ham) |
| 16:17:04 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 16:17:25 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:24:47 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 16:25:35 | × | shapr quits (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 16:31:55 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 16:32:40 | → | euleritian joins (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) |
| 16:36:11 | × | euleritian quits (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:36:28 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:37:10 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 16:54:02 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:55:15 | → | euleritian joins (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) |
| 16:55:38 | × | euleritian quits (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:56:12 | → | euleritian joins (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) |
| 16:56:34 | × | euleritian quits (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:56:52 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:58:20 | → | igemnace joins (~ian@user/igemnace) |
| 17:03:50 | → | harveypwca joins (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 17:06:03 | → | shapr joins (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 17:06:04 | → | aljazmc joins (~aljazmc@user/aljazmc) |
| 17:08:17 | → | acidjnk joins (~acidjnk@p200300d6e737e7804cd7e92112d90a4b.dip0.t-ipconnect.de) |
| 17:13:03 | <shapr> | oh, this place again? |
| 17:13:07 | <shapr> | Did I miss anything exciting? |
| 17:13:15 | <shapr> | everyone busy reducing graphs in their sleep? |
| 17:13:48 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 17:14:04 | <shapr> | I'm still interested in efficient graph reduction on commodity hardware. |
| 17:14:15 | <shapr> | I don't think the Reduceron will suddenly gain a bunch of developer support. |
| 17:14:34 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:14:55 | <shapr> | I wonder if the surge in matrix multiplication hardware for AI training could be used for graph reduction somehow? |
| 17:18:47 | ← | blackfield parts (~aenima@85.255.4.218) (Leaving) |
| 17:20:13 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:20:37 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4c22:68cc:e2cd:e95f) |
| 17:20:46 | × | aljazmc quits (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 17:20:53 | <Franciman> | shapr: working on fully lazy sharing |
| 17:20:54 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds) |
| 17:20:57 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:21:25 | <shapr> | Franciman: how's that going? |
| 17:21:51 | <Franciman> | i'm trying to prove some complexity bounds |
| 17:21:55 | <Franciman> | no idea |
| 17:21:58 | <Franciman> | how to do that lol |
| 17:22:12 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 17:22:17 | <Franciman> | but the idea is to prove that fully lazy sharing is not so hard and almost comes for free, with a new technique my professor developed |
| 17:22:40 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 17:22:45 | <Franciman> | almost comes for free when you are implementing call by need, that is |
| 17:22:52 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 17:23:19 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 17:24:34 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 17:25:25 | → | euleritian joins (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) |
| 17:25:26 | <shapr> | Franciman: you have my interest, is there a paper published by your professor? |
| 17:25:57 | <Franciman> | not yet, we are working on it. But it is very simple |
| 17:26:50 | × | euleritian quits (~euleritia@dynamic-176-006-191-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:27:02 | <Franciman> | usually computing the skeleton of a term is done using quadratic algorithms in the size of the term, he used a technique from graphs to lower it to linear time |
| 17:27:09 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:27:18 | <Franciman> | and told me: check that this technique makes the asymptotic complexity of the new abstract machine unchanged |
| 17:27:40 | <Franciman> | i mean, this is nothing fancy |
| 17:27:47 | <Franciman> | just a longer exercise |
| 17:28:33 | <shapr> | I am very interested, where do I subscribe to updates? :-D |
| 17:29:00 | <Franciman> | ah i think there is a paper using a different technique by kesner |
| 17:29:16 | <Franciman> | https://www.irif.fr/~kesner//papers/Node-Replication.pdf |
| 17:29:42 | → | chomwitt joins (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) |
| 17:31:30 | <shapr> | thanks! |
| 17:33:16 | <shapr> | I've discussed optimal lambda calculus reduction with aheller several times, too bad he's not here at the moment. |
| 17:36:07 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 17:39:28 | <Franciman> | shapr: are you familiar with beniamino accattoli's work? |
| 17:49:22 | × | HikariNee quits (~HikariNee@49.43.5.189) (Ping timeout: 260 seconds) |
| 17:49:49 | <shapr> | Franciman: I am not |
| 17:50:04 | <Franciman> | my work is on that line |
| 17:50:11 | <Franciman> | i mean the thing i'm working on now |
| 17:50:13 | → | HikariNee joins (~HikariNee@49.43.5.189) |
| 17:50:31 | <Franciman> | they developed a pretty cool framework for analysing abstract machines for various lambda calculi |
| 17:50:43 | <Franciman> | actually the framework connects the high level definition with the abstract machines implementing them |
| 17:50:59 | <shapr> | oh interesting |
| 17:51:12 | <Franciman> | i suggest distilling abstract machines |
| 17:51:27 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:51:27 | <Franciman> | https://arxiv.org/abs/1406.2370 |
| 17:51:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:53:35 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 17:53:35 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:54:12 | <shapr> | Franciman: thanks, I got distracted in that person's google scholar page |
| 17:54:26 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:54:36 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 17:55:35 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 17:57:05 | → | peterg joins (~peterg@2800:2131:5400:883:982d:e46a:36a8:a2e1) |
| 17:57:19 | × | hentai quits (~hentai@user/hentai) (Quit: SIGTERM) |
| 17:58:01 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 18:01:09 | × | HikariNee quits (~HikariNee@49.43.5.189) (Read error: Connection reset by peer) |
| 18:01:39 | → | HikariNee joins (~HikariNee@49.43.5.189) |
| 18:04:08 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:05:12 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:05:27 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 18:05:40 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 18:09:13 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 18:09:24 | → | fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 18:20:10 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 18:20:24 | × | remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 268 seconds) |
| 18:21:29 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 18:25:06 | → | remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 18:25:56 | → | Silver_X joins (~Silver_X@182.178.153.127) |
| 18:26:32 | × | tt1231 quits (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 18:27:30 | → | qqq joins (~qqq@92.43.167.61) |
| 18:27:30 | → | tt1231 joins (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 18:28:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:30:53 | × | mima quits (~mmh@aftr-62-216-211-216.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 18:35:49 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 18:36:22 | → | euleritian joins (~euleritia@dynamic-046-114-182-142.46.114.pool.telefonica.de) |
| 18:40:43 | × | euleritian quits (~euleritia@dynamic-046-114-182-142.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:40:59 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:41:23 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 18:43:13 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:44:17 | → | igemnace joins (~ian@user/igemnace) |
| 18:54:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:54:28 | × | Silver_X quits (~Silver_X@182.178.153.127) (Quit: Leaving) |
| 18:55:50 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 18:57:04 | × | HikariNee quits (~HikariNee@49.43.5.189) (Remote host closed the connection) |
| 19:00:44 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:01:29 | → | zetef joins (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 19:04:01 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 19:05:01 | × | zetef quits (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Remote host closed the connection) |
| 19:05:42 | → | zetef joins (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 19:06:25 | × | zetef quits (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Remote host closed the connection) |
| 19:07:18 | → | zetef joins (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 19:43:01 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:43:27 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:52:33 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 19:59:25 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 20:00:13 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:05:16 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 20:05:55 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:26:21 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 20:31:33 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 20:40:36 | × | chomwitt quits (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 20:47:40 | → | yeahitsmee joins (~yeah@2a01:799:15e2:1800:5d9a:6369:c4cd:e220) |
| 20:51:15 | × | yeahitsme quits (~yeah@user/yeahitsme) (Ping timeout: 260 seconds) |
| 20:53:02 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 20:54:50 | × | yeahitsmee quits (~yeah@2a01:799:15e2:1800:5d9a:6369:c4cd:e220) (Quit: Leaving) |
| 21:08:23 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 21:09:06 | → | tengu1 joins (~tengu1@2603-80a0-1600-004c-985c-f075-dc72-0370.res6.spectrum.com) |
| 21:12:14 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:22:41 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 21:24:57 | × | sprout quits (~quassel@2a02-a448-3a80-0-c82d-ac36-f811-1f58.fixed6.kpn.net) (Read error: No route to host) |
| 21:25:10 | → | sprout joins (~quassel@2a02-a448-3a80-0-c82d-ac36-f811-1f58.fixed6.kpn.net) |
| 21:27:52 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 21:34:13 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 255 seconds) |
| 21:36:51 | → | TMA joins (tma@twin.jikos.cz) |
| 21:37:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:37:34 | × | fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds) |
| 21:38:22 | → | fansly joins (~fansly@2404:c0:5c10::65e7:3ee2) |
| 21:44:19 | → | mima joins (~mmh@aftr-62-216-211-12.dynamic.mnet-online.de) |
| 21:49:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:57:54 | × | target_i quits (~target_i@217.175.14.39) (Quit: leaving) |
| 22:00:09 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:03:00 | × | fansly quits (~fansly@2404:c0:5c10::65e7:3ee2) (Remote host closed the connection) |
| 22:03:17 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 22:10:09 | × | peterg quits (~peterg@2800:2131:5400:883:982d:e46a:36a8:a2e1) (Quit: Quit) |
| 22:25:14 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 22:25:38 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:38:25 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 22:47:01 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 22:50:51 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 22:53:57 | × | beogrif quits (~beogrif@066-065-097-119.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:55:17 | → | beogrif joins (~beogrif@066-065-097-119.res.spectrum.com) |
| 23:04:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:04:46 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 23:07:18 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 23:12:24 | × | acidjnk quits (~acidjnk@p200300d6e737e7804cd7e92112d90a4b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:23:52 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 23:32:38 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 23:34:20 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 23:40:17 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 23:44:13 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 23:44:13 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 23:51:25 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 23:56:54 | × | discuss9128 quits (~discuss91@bb119-74-93-26.singnet.com.sg) (Quit: Client closed) |
All times are in UTC on 2024-01-20.