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