| 2023-09-02 00:01:09 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 00:01:10 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Remote host closed the connection) |
| 2023-09-02 00:01:26 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-02 00:01:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-02 00:01:35 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-02 00:01:46 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-02 00:03:51 +0200 | tv | (~tv@user/tv) |
| 2023-09-02 00:05:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-02 00:05:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-02 00:06:08 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 246 seconds) |
| 2023-09-02 00:08:31 +0200 | nadja | (~dequbed@2a01:4f8:201:34c7::1) (Server closed connection) |
| 2023-09-02 00:08:41 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2023-09-02 00:09:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) |
| 2023-09-02 00:09:45 +0200 | lena64t | (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 246 seconds) |
| 2023-09-02 00:10:33 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 00:15:05 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-09-02 00:19:51 +0200 | dy | (sid3438@user/dy) (Server closed connection) |
| 2023-09-02 00:19:59 +0200 | dy | (sid3438@user/dy) |
| 2023-09-02 00:22:33 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) (Remote host closed the connection) |
| 2023-09-02 00:22:38 +0200 | tom__ | (~tom@host86-132-186-152.range86-132.btcentralplus.com) |
| 2023-09-02 00:23:38 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 246 seconds) |
| 2023-09-02 00:25:05 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 00:27:23 +0200 | ft | (~ft@p508db658.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-09-02 00:28:23 +0200 | ft | (~ft@p508db658.dip0.t-ipconnect.de) |
| 2023-09-02 00:28:32 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-09-02 00:29:35 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-02 00:30:01 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-02 00:33:48 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-02 00:37:03 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
| 2023-09-02 00:37:39 +0200 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-09-02 00:38:16 +0200 | conjunctive | (sid433686@2a03:5180:f:1::6:9e16) (Server closed connection) |
| 2023-09-02 00:38:25 +0200 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) |
| 2023-09-02 00:39:07 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 250 seconds) |
| 2023-09-02 00:41:28 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 00:42:48 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-02 00:43:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-02 00:45:15 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-02 00:51:34 +0200 | tuxillo | (~tuxillo@89.238.178.134) |
| 2023-09-02 00:52:15 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-09-02 01:03:17 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-02 01:03:22 +0200 | kjak_ | kjak |
| 2023-09-02 01:09:01 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2023-09-02 01:15:06 +0200 | astra | (sid289983@user/amish) (Server closed connection) |
| 2023-09-02 01:15:27 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2023-09-02 01:15:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-02 01:19:22 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-09-02 01:27:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-02 01:27:41 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-02 01:30:35 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-02 01:30:45 +0200 | OscarZ | (~oscarz@85.194.207.108) |
| 2023-09-02 01:31:01 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-02 01:31:48 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-02 01:33:28 +0200 | Me-me | (~Me-me@146.102.215.218.dyn.iprimus.net.au) (Changing host) |
| 2023-09-02 01:33:28 +0200 | Me-me | (~Me-me@user/me-me) |
| 2023-09-02 01:33:56 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 260 seconds) |
| 2023-09-02 01:38:52 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-09-02 01:44:25 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-02 01:45:02 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) (Server closed connection) |
| 2023-09-02 01:45:22 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2023-09-02 01:47:09 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
| 2023-09-02 01:48:27 +0200 | danza_ | (~francesco@151.57.124.123) (Remote host closed the connection) |
| 2023-09-02 01:49:03 +0200 | danza | (~francesco@151.57.124.123) |
| 2023-09-02 01:49:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-09-02 01:49:27 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-02 01:50:48 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-09-02 01:56:41 +0200 | OscarZ | (~oscarz@85.194.207.108) (Quit: Leaving) |
| 2023-09-02 01:57:10 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-09-02 01:57:11 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-02 01:57:27 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-02 01:58:10 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 02:00:20 +0200 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) |
| 2023-09-02 02:02:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-02 02:02:43 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-02 02:04:24 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Remote host closed the connection) |
| 2023-09-02 02:04:48 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-02 02:07:39 +0200 | scholabl` | (~user@160.176.37.140) (Remote host closed the connection) |
| 2023-09-02 02:07:39 +0200 | scholablade | (~user@160.176.37.140) (Remote host closed the connection) |
| 2023-09-02 02:11:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-02 02:11:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-02 02:11:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-02 02:14:46 +0200 | califax | (~califax@user/califx) |
| 2023-09-02 02:19:08 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 246 seconds) |
| 2023-09-02 02:22:53 +0200 | drewjose5 | (~drewjose@223.178.83.128) |
| 2023-09-02 02:24:08 +0200 | drewjose | (~drewjose@223.178.81.49) (Ping timeout: 246 seconds) |
| 2023-09-02 02:24:08 +0200 | drewjose5 | drewjose |
| 2023-09-02 02:29:15 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2023-09-02 02:31:48 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-02 02:41:41 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 245 seconds) |
| 2023-09-02 02:42:36 +0200 | danza_ | (~francesco@151.37.110.243) |
| 2023-09-02 02:42:42 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:8b40:1e1c:2812:6b15) (Quit: Leaving) |
| 2023-09-02 02:42:52 +0200 | danza | (~francesco@151.57.124.123) (Read error: Connection reset by peer) |
| 2023-09-02 02:43:15 +0200 | bratwurst | (~blaadsfa@S010610561191f5d6.lb.shawcable.net) |
| 2023-09-02 02:43:38 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-09-02 02:50:01 +0200 | Adeon | (sid418992@2a03:5180:f:2::6:64b0) (Server closed connection) |
| 2023-09-02 02:50:10 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) |
| 2023-09-02 02:55:21 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 244 seconds) |
| 2023-09-02 02:58:41 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 246 seconds) |
| 2023-09-02 03:01:51 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-02 03:05:11 +0200 | ulysses4ever | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 2023-09-02 03:05:17 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-09-02 03:08:08 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-02 03:11:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-09-02 03:17:12 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-09-02 03:24:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-02 03:28:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-09-02 03:34:00 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 246 seconds) |
| 2023-09-02 03:34:41 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-02 03:48:06 +0200 | parseval | (sid239098@2a03:5180:f:1::3:a5fa) (Server closed connection) |
| 2023-09-02 03:48:14 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) |
| 2023-09-02 03:52:12 +0200 | otto_s | (~user@p5b044a56.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-09-02 03:53:53 +0200 | otto_s | (~user@p4ff27f1b.dip0.t-ipconnect.de) |
| 2023-09-02 03:55:48 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 03:57:43 +0200 | talismanick | (~user@2601:204:ef80:2980::c39) |
| 2023-09-02 04:00:12 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-09-02 04:02:23 +0200 | bratwurst | (~blaadsfa@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 246 seconds) |
| 2023-09-02 04:09:32 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-09-02 04:10:12 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 246 seconds) |
| 2023-09-02 04:17:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-02 04:19:19 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-02 04:19:51 +0200 | td_ | (~td@i5387091C.versanet.de) (Ping timeout: 246 seconds) |
| 2023-09-02 04:20:59 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 250 seconds) |
| 2023-09-02 04:21:49 +0200 | td_ | (~td@i53870920.versanet.de) |
| 2023-09-02 04:25:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f9db:5513:e0b6:cbdd) (Ping timeout: 240 seconds) |
| 2023-09-02 04:28:07 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-09-02 04:30:22 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 04:30:44 +0200 | shapr | (~user@2600:1700:c640:3100:aa8c:7c0f:a0b4:ce7c) (Ping timeout: 246 seconds) |
| 2023-09-02 04:32:17 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-02 04:32:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-02 04:32:17 +0200 | finn_elija | FinnElija |
| 2023-09-02 04:35:26 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 245 seconds) |
| 2023-09-02 04:37:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f9db:5513:e0b6:cbdd) |
| 2023-09-02 04:40:51 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-09-02 04:41:44 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 246 seconds) |
| 2023-09-02 04:49:32 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-09-02 04:50:26 +0200 | winny | (~weechat@user/winny) (Server closed connection) |
| 2023-09-02 04:50:53 +0200 | winny | (~weechat@user/winny) |
| 2023-09-02 04:53:13 +0200 | markasoftware | (~quassel@107.161.26.124) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-09-02 04:54:09 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2023-09-02 05:09:02 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Server closed connection) |
| 2023-09-02 05:09:17 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2023-09-02 05:13:05 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-02 05:14:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-09-02 05:18:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-02 05:22:36 +0200 | danza_ | (~francesco@151.37.110.243) (Read error: Connection reset by peer) |
| 2023-09-02 05:22:36 +0200 | danza__ | (~francesco@151.47.99.251) |
| 2023-09-02 05:23:05 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 05:23:39 +0200 | aforemny_ | (~aforemny@i59F516FF.versanet.de) |
| 2023-09-02 05:24:56 +0200 | aforemny | (~aforemny@i59F516DB.versanet.de) (Ping timeout: 260 seconds) |
| 2023-09-02 05:29:43 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-02 05:34:09 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 05:38:25 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-02 05:43:13 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-02 05:58:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-02 06:01:44 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-09-02 06:02:31 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2023-09-02 06:02:54 +0200 | califax | (~califax@user/califx) (Ping timeout: 246 seconds) |
| 2023-09-02 06:03:45 +0200 | califax | (~califax@user/califx) |
| 2023-09-02 06:04:23 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 06:08:44 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-02 06:12:24 +0200 | razetime | (~quassel@49.207.192.55) |
| 2023-09-02 06:19:41 +0200 | darkling | (~darkling@2001:ba8:1f1:f0e6::2) (Server closed connection) |
| 2023-09-02 06:19:55 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2023-09-02 06:20:34 +0200 | drewjose | (~drewjose@223.178.83.128) (Ping timeout: 255 seconds) |
| 2023-09-02 06:20:34 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-09-02 06:22:20 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-09-02 06:22:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-02 06:23:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 06:25:34 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-09-02 06:26:57 +0200 | carbolymer | (~carbolyme@dropacid.net) (Server closed connection) |
| 2023-09-02 06:27:08 +0200 | carbolymer | (~carbolyme@dropacid.net) |
| 2023-09-02 06:27:49 +0200 | Jackneill_ | (~Jackneill@20014C4E1E04F90056EBFDAD1D836CED.dsl.pool.telekom.hu) |
| 2023-09-02 06:30:26 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-02 06:34:56 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-09-02 06:43:44 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) (Ping timeout: 246 seconds) |
| 2023-09-02 06:45:29 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2023-09-02 06:47:39 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-02 06:55:12 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-09-02 06:55:12 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2023-09-02 06:58:07 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-02 07:02:22 +0200 | byorgey | (~byorgey@155.138.238.211) (Server closed connection) |
| 2023-09-02 07:02:29 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2023-09-02 07:04:23 +0200 | _________ | (~nobody@user/noodly) |
| 2023-09-02 07:07:42 +0200 | phma_ | (~phma@host-67-44-208-43.hnremote.net) |
| 2023-09-02 07:07:51 +0200 | davean | (~davean@67.205.182.208) (Server closed connection) |
| 2023-09-02 07:08:09 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2023-09-02 07:08:50 +0200 | phma | (~phma@2001:5b0:211f:6e78:7432:d3ee:7ec9:c3b) (Read error: Connection reset by peer) |
| 2023-09-02 07:15:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-02 07:19:11 +0200 | Rembane | (~Rembane@178.79.177.36) (Server closed connection) |
| 2023-09-02 07:19:19 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2023-09-02 07:19:53 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 244 seconds) |
| 2023-09-02 07:20:47 +0200 | lav | (~pi@wikipedia/maddy-from-celeste) (Server closed connection) |
| 2023-09-02 07:20:49 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 07:20:50 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-02 07:21:09 +0200 | lav | (~pi@wikipedia/maddy-from-celeste) |
| 2023-09-02 07:22:23 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-02 07:24:17 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-09-02 07:26:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-09-02 07:29:22 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-02 07:31:50 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-09-02 07:33:10 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-02 07:33:32 +0200 | yin | (~z@user/zero) (Server closed connection) |
| 2023-09-02 07:33:53 +0200 | zero | (~z@user/zero) |
| 2023-09-02 07:39:49 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6991178ea6bf0ed110.dip0.t-ipconnect.de) |
| 2023-09-02 07:41:23 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-02 07:42:06 +0200 | hrberg_ | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-09-02 07:45:44 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-09-02 07:50:38 +0200 | phma_ | phma |
| 2023-09-02 07:57:46 +0200 | Jackneill_ | (~Jackneill@20014C4E1E04F90056EBFDAD1D836CED.dsl.pool.telekom.hu) (Ping timeout: 246 seconds) |
| 2023-09-02 08:05:59 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-02 08:15:25 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-02 08:26:32 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-02 08:29:11 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-02 08:29:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-09-02 08:29:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) (Remote host closed the connection) |
| 2023-09-02 08:31:32 +0200 | Square2 | (~Square4@user/square) |
| 2023-09-02 08:31:59 +0200 | Qudit | (~user@user/Qudit) |
| 2023-09-02 08:33:02 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Server closed connection) |
| 2023-09-02 08:33:34 +0200 | cross | (~cross@spitfire.i.gajendra.net) |
| 2023-09-02 08:34:20 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2023-09-02 08:40:07 +0200 | haveo | (~haveo@sl35.iuwt.fr) (Server closed connection) |
| 2023-09-02 08:40:17 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
| 2023-09-02 08:48:26 +0200 | xerox | (~edi@user/edi) (Server closed connection) |
| 2023-09-02 08:48:36 +0200 | xerox | (~edi@user/edi) |
| 2023-09-02 08:49:28 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Remote host closed the connection) |
| 2023-09-02 09:02:20 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-09-02 09:03:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) |
| 2023-09-02 09:07:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-02 09:07:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) (Ping timeout: 246 seconds) |
| 2023-09-02 09:08:27 +0200 | marienz | (~marienz@libera/staff/marienz) (Server closed connection) |
| 2023-09-02 09:08:38 +0200 | marienz | (~marienz@libera/staff/marienz) |
| 2023-09-02 09:17:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-02 09:21:13 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-02 09:21:39 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-09-02 09:22:07 +0200 | danza__ | (~francesco@151.47.99.251) (Read error: Connection reset by peer) |
| 2023-09-02 09:22:09 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-09-02 09:22:52 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-09-02 09:23:05 +0200 | danza__ | (~francesco@151.43.111.15) |
| 2023-09-02 09:25:31 +0200 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) |
| 2023-09-02 09:26:57 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-09-02 09:30:39 +0200 | andreas808 | (andreas303@is.drunk.and.ready-to.party) (Ping timeout: 246 seconds) |
| 2023-09-02 09:31:41 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-09-02 09:33:46 +0200 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) (Server closed connection) |
| 2023-09-02 09:34:08 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-02 09:34:11 +0200 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) |
| 2023-09-02 09:37:35 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-02 09:39:00 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-02 09:49:59 +0200 | hdggxin_ | (~hdggxin@122.175.41.19) |
| 2023-09-02 09:50:21 +0200 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 260 seconds) |
| 2023-09-02 09:53:12 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-09-02 09:55:26 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-02 09:59:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) |
| 2023-09-02 10:07:46 +0200 | edm | (sid147314@2a03:5180:f:4::2:3f72) (Server closed connection) |
| 2023-09-02 10:08:08 +0200 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2023-09-02 10:09:11 +0200 | snek | (sid280155@2a03:5180:f:2::4:465b) (Server closed connection) |
| 2023-09-02 10:09:21 +0200 | snek | (sid280155@id-280155.lymington.irccloud.com) |
| 2023-09-02 10:10:36 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (Server closed connection) |
| 2023-09-02 10:10:45 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2023-09-02 10:11:22 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-02 10:21:59 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 10:26:11 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) (Server closed connection) |
| 2023-09-02 10:26:21 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-09-02 10:26:29 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) |
| 2023-09-02 10:37:15 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 10:39:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-02 10:40:23 +0200 | michalz | (~michalz@185.246.207.200) |
| 2023-09-02 10:42:27 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-09-02 10:43:02 +0200 | mmhat | (~mmh@p200300f1c7041989ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-02 10:45:50 +0200 | mmhat | (~mmh@p200300f1c7041989ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-02 10:56:30 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-09-02 11:00:21 +0200 | <Franciman> | hi, is there any connection between temporal logics and functional reactive programming? |
| 2023-09-02 11:00:40 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-02 11:06:08 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) (Quit: Ping timeout (120 seconds)) |
| 2023-09-02 11:08:14 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-02 11:17:35 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 258 seconds) |
| 2023-09-02 11:18:03 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-09-02 11:18:17 +0200 | danza__ | (~francesco@151.43.111.15) (Ping timeout: 250 seconds) |
| 2023-09-02 11:21:22 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-02 11:23:12 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-02 11:26:41 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-02 11:27:52 +0200 | danza__ | (~francesco@151.43.111.15) |
| 2023-09-02 11:30:06 +0200 | Alex_test | (~al_test@178.34.160.172) (Quit: ;-) |
| 2023-09-02 11:30:28 +0200 | AlexZenon | (~alzenon@178.34.160.172) (Quit: ;-) |
| 2023-09-02 11:30:53 +0200 | AlexNoo | (~AlexNoo@178.34.160.172) (Quit: Leaving) |
| 2023-09-02 11:32:23 +0200 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) (Remote host closed the connection) |
| 2023-09-02 11:32:43 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) |
| 2023-09-02 11:37:24 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 11:37:38 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-02 11:42:41 +0200 | bjs | (sid190364@user/bjs) (Server closed connection) |
| 2023-09-02 11:42:53 +0200 | bjs | (sid190364@user/bjs) |
| 2023-09-02 11:47:03 +0200 | AlexNoo | (~AlexNoo@178.34.160.172) |
| 2023-09-02 11:47:07 +0200 | AlexZenon | (~alzenon@178.34.160.172) |
| 2023-09-02 11:49:30 +0200 | Alex_test | (~al_test@178.34.160.172) |
| 2023-09-02 11:52:12 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-02 12:02:52 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-09-02 12:06:05 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-09-02 12:08:35 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-02 12:12:44 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds) |
| 2023-09-02 12:13:03 +0200 | susul | (~susul@user/susul) |
| 2023-09-02 12:13:33 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-02 12:21:01 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-09-02 12:21:22 +0200 | pie__ | (~pie_bnc@user/pie/x-2818909) () |
| 2023-09-02 12:21:39 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-09-02 12:24:44 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-09-02 12:25:22 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 12:26:41 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-09-02 12:27:21 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 12:30:53 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-09-02 12:33:07 +0200 | haskl | (~haskl@user/haskl) |
| 2023-09-02 12:34:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-02 12:38:49 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-02 12:43:36 +0200 | jonrh | (sid5185@2a03:5180:f:3::1441) (Server closed connection) |
| 2023-09-02 12:43:44 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2023-09-02 12:46:53 +0200 | taupiqueur | (~taupiqueu@104.151.22.93.rev.sfr.net) |
| 2023-09-02 12:47:03 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-09-02 12:51:14 +0200 | taupiqueur | (~taupiqueu@104.151.22.93.rev.sfr.net) (Client Quit) |
| 2023-09-02 12:53:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-02 12:55:07 +0200 | lyxia | (~lyxia@poisson.chat) (Server closed connection) |
| 2023-09-02 12:55:24 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2023-09-02 13:00:44 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-02 13:01:02 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 2023-09-02 13:01:58 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-09-02 13:18:36 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-02 13:22:57 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-02 13:23:12 +0200 | danza_ | (~francesco@151.43.126.136) |
| 2023-09-02 13:23:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-02 13:25:20 +0200 | danza__ | (~francesco@151.43.111.15) (Ping timeout: 246 seconds) |
| 2023-09-02 13:25:57 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2023-09-02 13:26:03 +0200 | artem | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) |
| 2023-09-02 13:26:05 +0200 | kuribas | (~user@ptr-17d51emq5kc00r2yfp1.18120a2.ip6.access.telenet.be) |
| 2023-09-02 13:29:34 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) () |
| 2023-09-02 13:30:52 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 248 seconds) |
| 2023-09-02 13:34:45 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-09-02 13:36:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f9db:5513:e0b6:cbdd) (Ping timeout: 246 seconds) |
| 2023-09-02 13:37:23 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Ping timeout: 250 seconds) |
| 2023-09-02 13:38:52 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-09-02 13:41:55 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-02 13:44:12 +0200 | razetime | (~quassel@49.207.192.55) (Ping timeout: 248 seconds) |
| 2023-09-02 13:47:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-09-02 13:47:47 +0200 | danza_ | (~francesco@151.43.126.136) (Ping timeout: 250 seconds) |
| 2023-09-02 13:49:44 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-09-02 13:50:18 +0200 | razetime | (~quassel@49.207.192.55) |
| 2023-09-02 13:52:59 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 2023-09-02 13:57:16 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) (Server closed connection) |
| 2023-09-02 13:57:25 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2023-09-02 13:58:25 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-02 13:59:58 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 14:00:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-02 14:01:22 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 14:06:46 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 255 seconds) |
| 2023-09-02 14:08:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f9db:5513:e0b6:cbdd) |
| 2023-09-02 14:10:01 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-09-02 14:10:41 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-09-02 14:14:32 +0200 | Inst | (~liamzy@120.244.192.250) |
| 2023-09-02 14:14:52 +0200 | <Inst> | Out in China for medical care, ugh, all the commercial VPNs are blocked and I'll have to set up a Linode with obfsproxy again. |
| 2023-09-02 14:15:03 +0200 | <Inst> | The Chinese Haskell Wechat seems to be dead, as well, 3 days without a message. :( |
| 2023-09-02 14:15:22 +0200 | <Inst> | I asked, I know EMQ ditched Haskell Foundation, but they still have an on-going Haskell project, should be hstreamdb? |
| 2023-09-02 14:18:12 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-02 14:26:05 +0200 | shapr | (~user@2600:1700:c640:3100:4da3:c612:34c4:c6d4) |
| 2023-09-02 14:27:01 +0200 | <Inst> | Hoogle, Hackage, HF website, Haskell website all work, though. I'm surprised, Github is still working. |
| 2023-09-02 14:28:22 +0200 | acidjnk | (~acidjnk@p200300d6e7072f6991178ea6bf0ed110.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-09-02 14:28:40 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-09-02 14:30:01 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 258 seconds) |
| 2023-09-02 14:37:32 +0200 | fserucas__ | (~fserucas@89.214.152.95) (Ping timeout: 240 seconds) |
| 2023-09-02 14:37:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-02 14:43:56 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-02 14:46:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-02 14:47:09 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) |
| 2023-09-02 14:49:14 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-09-02 14:52:42 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Server closed connection) |
| 2023-09-02 14:52:56 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2023-09-02 14:54:11 +0200 | razetime | (~quassel@49.207.192.55) (Ping timeout: 245 seconds) |
| 2023-09-02 14:54:26 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 246 seconds) |
| 2023-09-02 14:54:28 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2023-09-02 14:59:59 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-02 15:02:37 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (Server closed connection) |
| 2023-09-02 15:02:37 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) |
| 2023-09-02 15:02:49 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-02 15:02:50 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
| 2023-09-02 15:05:38 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 246 seconds) |
| 2023-09-02 15:05:49 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-02 15:07:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-02 15:09:42 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2023-09-02 15:09:49 +0200 | Alleria | (~JohnGalt@user/alleria) |
| 2023-09-02 15:10:01 +0200 | kuribas | (~user@ptr-17d51emq5kc00r2yfp1.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-09-02 15:15:24 +0200 | zer0bitz_ | zer0bitz |
| 2023-09-02 15:16:11 +0200 | Inst | (~liamzy@120.244.192.250) (Ping timeout: 250 seconds) |
| 2023-09-02 15:16:47 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Server closed connection) |
| 2023-09-02 15:16:56 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-09-02 15:27:46 +0200 | shelby | (~thomas_sh@115.96.218.80) |
| 2023-09-02 15:28:45 +0200 | <shelby> | Hi .. I have a question regarding extraction of unique letters from two words.. question is in more detail here ..https://www.reddit.com/r/haskell/comments/1682ibc/compare_two_words_and_extract_uncommon_letters_o… |
| 2023-09-02 15:29:10 +0200 | <L29Ah> | [removed] |
| 2023-09-02 15:34:13 +0200 | tuxillo | (~tuxillo@89.238.178.134) (Quit: Client closed) |
| 2023-09-02 15:39:37 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-02 15:42:18 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-02 15:46:00 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-09-02 15:46:18 +0200 | <shelby> | Inputs words are "rectification" and "transactional" |
| 2023-09-02 15:46:19 +0200 | <shelby> | Desired output is "eificansal" |
| 2023-09-02 15:46:19 +0200 | <shelby> | I have written the following code |
| 2023-09-02 15:46:19 +0200 | <shelby> | extractUnique xs ys = filter (\x -> not (x \elem` ys)) xs` |
| 2023-09-02 15:46:19 +0200 | <shelby> | The current output is "ef" |
| 2023-09-02 15:46:19 +0200 | <shelby> | what is happening here is that each letter of the first word is being compared to all other letters of the second word instead of the dropping the letter in both words at the first equal instance.. |
| 2023-09-02 15:46:22 +0200 | <shelby> | How do i ensure that each letter is matched against matching character once and if found equal then dropped from both words.. |
| 2023-09-02 15:46:25 +0200 | <shelby> | Also note the order of input of words is immaterial.. regardless of which word is entered first the desired output would be the same. |
| 2023-09-02 15:46:32 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) (Server closed connection) |
| 2023-09-02 15:46:55 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) |
| 2023-09-02 15:48:55 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-02 15:49:48 +0200 | <ncf> | can you describe in english what the function should do? |
| 2023-09-02 15:50:05 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2023-09-02 15:50:50 +0200 | <ncf> | it sounds like you want `zip` but... i have no idea where "eificansal" comes from |
| 2023-09-02 15:50:55 +0200 | <probie> | Is this just the disjoint union, but with duplicates? |
| 2023-09-02 15:53:04 +0200 | <ncf> | or a symmetric difference of multisets, maybe |
| 2023-09-02 15:54:30 +0200 | <ncf> | > sort <$> ["rectification", "transactional"] |
| 2023-09-02 15:54:31 +0200 | <lambdabot> | ["accefiiinortt","aaacilnnorstt"] |
| 2023-09-02 15:54:39 +0200 | <probie> | Yes, I think you're right, we're working with multisets |
| 2023-09-02 15:54:52 +0200 | <ncf> | aacefiilns |
| 2023-09-02 15:55:18 +0200 | <ncf> | shelby: do you actually need to preserve the order, or would "aacefiilns" be an acceptable output? |
| 2023-09-02 15:58:47 +0200 | <probie> | > > let f a b = foldr delete a b ++ foldr delete b a in f "rectification" "transactional" |
| 2023-09-02 15:58:48 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘>’ |
| 2023-09-02 15:58:51 +0200 | <probie> | > let f a b = foldr delete a b ++ foldr delete b a in f "rectification" "transactional" |
| 2023-09-02 15:58:53 +0200 | <lambdabot> | "eficisanal" |
| 2023-09-02 15:59:13 +0200 | <hammond> | https://mmhaskell.com/testing/test-driven-development <--anyone uses this? |
| 2023-09-02 15:59:44 +0200 | <hammond> | coding in haskell kinda implies that you don't need TDD :P. |
| 2023-09-02 16:00:20 +0200 | <ncf> | probie: hah, almost |
| 2023-09-02 16:00:28 +0200 | <probie> | It has all the right letters :p |
| 2023-09-02 16:01:49 +0200 | <ncf> | i don't see a way to define the order-preserving operation in a way that also doesn't depend on the order of arguments |
| 2023-09-02 16:02:21 +0200 | <ncf> | i mean, extractUnique "a" "b" has to be either "ab" or "ba" |
| 2023-09-02 16:03:52 +0200 | <ncf> | ...so i will assume the order is not important, and direct shelby to the nearest multiset library |
| 2023-09-02 16:03:56 +0200 | Guest|15 | (~Guest|15@181.84.95.178) |
| 2023-09-02 16:05:08 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-09-02 16:07:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-02 16:07:24 +0200 | <Guest|15> | Hi! I have trouble installing ghcup on MacOS (13.5.1 ) |
| 2023-09-02 16:08:10 +0200 | <probie> | Guest|15: Trouble installing ghcup, or trouble installing GHC with ghcup? |
| 2023-09-02 16:08:34 +0200 | <Guest|15> | troblue installing ghcup |
| 2023-09-02 16:09:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-02 16:09:04 +0200 | <Guest|15> | with this command: curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 2023-09-02 16:09:42 +0200 | <Guest|15> | it fails: "ghcup --metadata-fetching-mode=Strict --cache install ghc recommended" failed! |
| 2023-09-02 16:12:28 +0200 | razetime | (~quassel@49.207.192.55) |
| 2023-09-02 16:17:33 +0200 | Alleria | (~JohnGalt@user/alleria) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-09-02 16:19:57 +0200 | <shelby> | @ncf.. no.. order is not important |
| 2023-09-02 16:19:57 +0200 | <lambdabot> | Unknown command, try @list |
| 2023-09-02 16:20:44 +0200 | <shelby> | I will try and explain how it is done manually |
| 2023-09-02 16:21:22 +0200 | <shelby> | the first letter of rectification is r and i cross that and cross out the second letter of transactional which is again r |
| 2023-09-02 16:21:33 +0200 | foul_owl_ | (~kerry@185.219.141.160) (Ping timeout: 246 seconds) |
| 2023-09-02 16:21:57 +0200 | <shelby> | so i remove r out of both words |
| 2023-09-02 16:22:37 +0200 | <shelby> | next comes e in the first input word.. It does not exist in the second word.. |
| 2023-09-02 16:22:41 +0200 | <shelby> | so i retain it |
| 2023-09-02 16:22:57 +0200 | <shelby> | if i continue this process i get "eficisanal" |
| 2023-09-02 16:26:17 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2023-09-02 16:27:32 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-09-02 16:27:45 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-02 16:32:03 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-02 16:32:20 +0200 | <shelby> | ncf: Can you elaborate on multiset library ?? |
| 2023-09-02 16:33:01 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-09-02 16:33:35 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-02 16:33:45 +0200 | <ncf> | just use probie's thing |
| 2023-09-02 16:36:04 +0200 | g | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2023-09-02 16:36:06 +0200 | g | (g@libera/staff/glguy) |
| 2023-09-02 16:36:08 +0200 | foul_owl_ | (~kerry@185.219.141.161) |
| 2023-09-02 16:36:46 +0200 | <shelby> | ncf / probie :thanks . .will try this out |
| 2023-09-02 16:37:29 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 16:38:33 +0200 | <probie> | To save you 30 seconds of searching - the `delete` used in my `foldr delete a b ++ foldr delete b a` solution comes from `Data.List` |
| 2023-09-02 16:40:22 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (Server closed connection) |
| 2023-09-02 16:40:33 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2023-09-02 16:41:31 +0200 | <ncf> | `time hoogle delete`... real 0m0.015s |
| 2023-09-02 16:41:39 +0200 | <shelby> | thanks probie.. i got that |
| 2023-09-02 16:42:11 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-09-02 16:44:32 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) |
| 2023-09-02 16:55:59 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-02 16:59:07 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2023-09-02 17:07:06 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) (Server closed connection) |
| 2023-09-02 17:07:13 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) |
| 2023-09-02 17:08:13 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) |
| 2023-09-02 17:13:02 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 246 seconds) |
| 2023-09-02 17:13:07 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-02 17:15:03 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-02 17:15:48 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-09-02 17:19:11 +0200 | todi | (~todi@p4fd1a580.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-02 17:20:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-02 17:21:50 +0200 | todi | (~todi@5.255.88.7) |
| 2023-09-02 17:22:52 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Server closed connection) |
| 2023-09-02 17:23:09 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2023-09-02 17:25:12 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 258 seconds) |
| 2023-09-02 17:25:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-09-02 17:31:22 +0200 | swistak | (~swistak@185.21.216.141) (Server closed connection) |
| 2023-09-02 17:31:39 +0200 | swistak | (~swistak@185.21.216.141) |
| 2023-09-02 17:34:08 +0200 | shelby | (~thomas_sh@115.96.218.80) (Quit: Leaving) |
| 2023-09-02 17:39:46 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-02 17:44:45 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 258 seconds) |
| 2023-09-02 17:44:55 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-02 17:50:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) (Remote host closed the connection) |
| 2023-09-02 17:51:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) |
| 2023-09-02 17:53:58 +0200 | Jackneill_ | (~Jackneill@20014C4E1E04F900B2C6E55426FBA7FC.dsl.pool.telekom.hu) |
| 2023-09-02 17:55:17 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 246 seconds) |
| 2023-09-02 17:56:31 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-09-02 17:56:33 +0200 | ripspin | (~chatzilla@1.145.144.251) |
| 2023-09-02 17:56:55 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-02 17:58:58 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-02 17:59:39 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-02 18:00:45 +0200 | mysl_ | (~mysl@user/mysl) |
| 2023-09-02 18:00:55 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 245 seconds) |
| 2023-09-02 18:01:34 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) (Remote host closed the connection) |
| 2023-09-02 18:03:33 +0200 | <Inst> | Not sure if this is interesting, but |
| 2023-09-02 18:03:34 +0200 | <Inst> | https://paste.tomsmeding.com/IPXw4nGs |
| 2023-09-02 18:03:47 +0200 | <Inst> | I can't get this down to same runtime as C |
| 2023-09-02 18:03:55 +0200 | <Inst> | I tried with direct Ints |
| 2023-09-02 18:07:20 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-02 18:07:34 +0200 | razetime | (~quassel@49.207.192.55) (Remote host closed the connection) |
| 2023-09-02 18:07:55 +0200 | acidjnk | (~acidjnk@p200300d6e7072f69394156b098f09540.dip0.t-ipconnect.de) |
| 2023-09-02 18:08:01 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Server closed connection) |
| 2023-09-02 18:08:09 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2023-09-02 18:08:11 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-09-02 18:10:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-02 18:11:52 +0200 | <int-e> | Inst: Well, can you even measure any speed difference compared to just `main = print 0`? |
| 2023-09-02 18:12:16 +0200 | <Inst> | apparently, no! |
| 2023-09-02 18:12:25 +0200 | <int-e> | So it's not interesting. |
| 2023-09-02 18:12:39 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-09-02 18:13:45 +0200 | <Inst> | so it's an issue with the benchmarking harness |
| 2023-09-02 18:13:49 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 255 seconds) |
| 2023-09-02 18:13:54 +0200 | <[exa]> | Inst: try criterion |
| 2023-09-02 18:14:10 +0200 | <[exa]> | they have nice machinery for measuring nanosecond-scale stuff |
| 2023-09-02 18:14:11 +0200 | <Inst> | tasty will do in a pinch? |
| 2023-09-02 18:14:43 +0200 | <[exa]> | ? |
| 2023-09-02 18:14:58 +0200 | <Inst> | tasty-bench |
| 2023-09-02 18:15:01 +0200 | <Inst> | https://hackage.haskell.org/package/tasty-bench |
| 2023-09-02 18:15:07 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:99bc:c1db:f913:fbcd) |
| 2023-09-02 18:15:13 +0200 | <Inst> | although I've seen it behave badly when I generated the testing benchmarks via lists, probably something to do with laziness optimization |
| 2023-09-02 18:15:33 +0200 | <[exa]> | ah ok that might work too |
| 2023-09-02 18:15:55 +0200 | <[exa]> | you have to be pretty careful about what you actually measure |
| 2023-09-02 18:16:12 +0200 | <[exa]> | half of the criterion tutorial is precisely about that; in short: care about deepseq |
| 2023-09-02 18:19:35 +0200 | <int-e> | The naive thing would be to bump the number of iterations up to 10^8 instead of 100 (and using unsigned longs in C to avoid undefined behavior) |
| 2023-09-02 18:20:26 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2023-09-02 18:21:19 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-02 18:22:24 +0200 | <Inst> | well, it's on int, and shouldn't integer overflow here as well? |
| 2023-09-02 18:23:29 +0200 | <int-e> | So you'll get an answer modulo 2^64. |
| 2023-09-02 18:23:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-09-02 18:24:24 +0200 | tuxillo | (~tuxillo@217.138.218.107) |
| 2023-09-02 18:25:07 +0200 | tuxillo | (~tuxillo@217.138.218.107) () |
| 2023-09-02 18:25:45 +0200 | <int-e> | Integer wouldn't overflow but it would be painfully slow. (There are way better ways to compute Fibonacci numbers, of course.) |
| 2023-09-02 18:26:25 +0200 | <Inst> | i know, matrix |
| 2023-09-02 18:26:35 +0200 | <Inst> | this is more like, i want to know how reliable accumulating parameter is to get a for loop |
| 2023-09-02 18:26:59 +0200 | tomsmeding | . o O ( fix $ \fibo -> 0 : 1 : zipWith (+) fibo (tail fibo) ) |
| 2023-09-02 18:27:14 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-02 18:27:19 +0200 | <Inst> | iirc matrix should be more performant |
| 2023-09-02 18:27:25 +0200 | <int-e> | note that your code overflows already |
| 2023-09-02 18:27:28 +0200 | <Inst> | i know |
| 2023-09-02 18:27:52 +0200 | <tomsmeding> | the matrix approach does more redundant computation, but I'm just interjecting without following the conversation, please carry on, people are saying useful stuff I see :p |
| 2023-09-02 18:29:01 +0200 | <int-e> | printing the 10^8-th fibonacci number takes way longer than computing it |
| 2023-09-02 18:29:15 +0200 | <Inst> | unfortunately, not necessarily |
| 2023-09-02 18:29:28 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2023-09-02 18:29:45 +0200 | <Inst> | the C counterpart just got adjusted to 100 000 000, gets 32 seconds |
| 2023-09-02 18:29:46 +0200 | <Inst> | erm, 32 ms |
| 2023-09-02 18:30:13 +0200 | <[exa]> | how do you store the fib there? |
| 2023-09-02 18:30:34 +0200 | <int-e> | I meant computing the full 20898764 (decimal) digit number |
| 2023-09-02 18:30:38 +0200 | <Inst> | in fib, 3 variables are set, + counter |
| 2023-09-02 18:30:45 +0200 | <Inst> | ah yes, |
| 2023-09-02 18:30:55 +0200 | <Inst> | on c, on haskell, 3 variables as well |
| 2023-09-02 18:31:03 +0200 | <Inst> | but i'm in business, at least |
| 2023-09-02 18:31:06 +0200 | <Inst> | it got shifted to word64 |
| 2023-09-02 18:31:50 +0200 | <[exa]> | ok so it's not the actual fib, just a fib `mod` 1<<64 |
| 2023-09-02 18:32:06 +0200 | <int-e> | it's another silly microbenchmark |
| 2023-09-02 18:32:20 +0200 | <int-e> | Meanwhilst I finally found the pun in "nofib". |
| 2023-09-02 18:32:29 +0200 | <Inst> | it's not really worthit, tbh, i can't read the godbolt assembly output, and i'm probably better off just working on not being a fraud (i.e, getting the cabal GUI wrapper up) than on this silly little project |
| 2023-09-02 18:32:42 +0200 | <Inst> | int-e: I don't get it |
| 2023-09-02 18:33:02 +0200 | <Inst> | i guess, from what I've read, Haskell's performance can't be generated as a composition of base cases |
| 2023-09-02 18:33:22 +0200 | <Inst> | so trying an approach of "start from minimal cases, then work up to more complicated cases" doesn't work |
| 2023-09-02 18:33:23 +0200 | <int-e> | Inst: That wasn't directed at you, do you even know what nofib is? |
| 2023-09-02 18:34:20 +0200 | <Inst> | nope :( |
| 2023-09-02 18:34:47 +0200 | <Inst> | Haskell benchmark suite |
| 2023-09-02 18:35:00 +0200 | <[exa]> | int-e: hold on right there, it's a pun? |
| 2023-09-02 18:35:07 +0200 | <int-e> | (It's a benchmark suite, designed to have meaningful benchmarks rather than just testing evaluation of the Fibonacci sequence. So that's what "fib" stands for, officially. But it's also a word.) |
| 2023-09-02 18:35:24 +0200 | <[exa]> | [eyeballing_the_site_very_hard.gif] |
| 2023-09-02 18:35:42 +0200 | <[exa]> | ah ok |
| 2023-09-02 18:35:59 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-02 18:36:58 +0200 | <Inst> | is it still workable from your end? last update in 2019 |
| 2023-09-02 18:37:33 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.237) |
| 2023-09-02 18:38:16 +0200 | <int-e> | It's one of the ghc repos... there are patches from 2022. |
| 2023-09-02 18:40:22 +0200 | <int-e> | tomsmeding: I don't think that avoiding redundant computations is the end of the story here :-P |
| 2023-09-02 18:40:31 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-02 18:40:59 +0200 | <int-e> | (O(log(n)) operations with some redundancy will still beat O(n) operations without redundancy if n is big.) |
| 2023-09-02 18:41:08 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) |
| 2023-09-02 18:43:14 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-02 18:45:23 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-02 18:45:23 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-02 18:45:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-02 18:45:35 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::5235) |
| 2023-09-02 18:47:00 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 18:47:44 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-09-02 18:47:57 +0200 | <Inst> | it's probably not worth investigating further, but why is ghc outputting messy assembly in the haskell code? |
| 2023-09-02 18:47:58 +0200 | <Inst> | https://godbolt.org/z/3zGrqdM7j |
| 2023-09-02 18:48:07 +0200 | <Inst> | with strictness annotations, this comes down to about twice that of the C |
| 2023-09-02 18:48:47 +0200 | <Inst> | whoops, well, that version will loop |
| 2023-09-02 18:48:48 +0200 | <Inst> | https://godbolt.org/z/hjorsed4G |
| 2023-09-02 18:50:14 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-09-02 18:50:56 +0200 | monochrom | takes it to the extreme and thinks that absolutely avoiding all redundant computations is as hard as the busy beaver problem. :) (This may be too extreme.) |
| 2023-09-02 18:51:16 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-09-02 18:51:36 +0200 | <stefan-_> | I am currently trying to modify xml with hexpat-lens (adding an attribute to a subset of all elements) |
| 2023-09-02 18:51:47 +0200 | <stefan-_> | this is what I have: https://gist.github.com/dozed/4b596c09d743a4d5a52b5e391c910e71 |
| 2023-09-02 18:52:02 +0200 | <stefan-_> | any idea for an alternative way to achieve this? |
| 2023-09-02 18:52:17 +0200 | <int-e> | Inst: "messy"... for ghc's standards you should be happy with this code. It's a straight loop, it doesn't allocate; the only unfortunate thing is that it spills a register to the stack. |
| 2023-09-02 18:52:17 +0200 | <stefan-_> | my guess would be that `allNodes` looses too much context |
| 2023-09-02 18:54:09 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-02 18:54:21 +0200 | <Inst> | yeah, tbh, i don't think pure performance is a GHC priority, nor should it be, except for specific applications where Haskell needs to do well, but isn't |
| 2023-09-02 18:54:38 +0200 | <int-e> | the llvm backend could probably make a difference for this particular case |
| 2023-09-02 18:55:00 +0200 | <Inst> | was just trying to break accumulating parameter, since a simple, 1 parameter loop gets you to match C more or less |
| 2023-09-02 18:55:15 +0200 | <EvanR> | Speak for yourself. GHC, I'm really going to need more performance by the end of the week |
| 2023-09-02 18:55:38 +0200 | <EvanR> | please get on that |
| 2023-09-02 18:55:40 +0200 | <int-e> | EvanR: So get cracking then, improve the native code generator. |
| 2023-09-02 18:55:51 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-02 18:55:58 +0200 | <int-e> | The compile may be self-hosting but it's not self-modifying. |
| 2023-09-02 18:56:08 +0200 | <EvanR> | I almost got my x86-64 codegenerator working. Twice |
| 2023-09-02 18:56:54 +0200 | <EvanR> | the result was a greater appreciation of C |
| 2023-09-02 18:56:56 +0200 | mysl_ | (~mysl@user/mysl) (Ping timeout: 260 seconds) |
| 2023-09-02 18:57:28 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-02 18:57:50 +0200 | todi | (~todi@5.255.88.7) (Read error: Connection reset by peer) |
| 2023-09-02 18:58:19 +0200 | <monochrom> | I think EvanR's joke is about anthropomorphizing GHC. :) |
| 2023-09-02 18:58:40 +0200 | <monochrom> | Hey GHC, why aren't you answering my WhatsApp messages! |
| 2023-09-02 18:58:53 +0200 | <EvanR> | my joke was about having an armchair opinion on what GHCs priorities are |
| 2023-09-02 18:59:08 +0200 | todi | (~todi@p4fd1a580.dip0.t-ipconnect.de) |
| 2023-09-02 18:59:13 +0200 | <monochrom> | OK I can get on board of that too. |
| 2023-09-02 19:00:21 +0200 | <int-e> | . o O ( Haskell: The worst C dialect. ) |
| 2023-09-02 19:00:34 +0200 | <mauke> | ghc -Oplease |
| 2023-09-02 19:01:53 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 246 seconds) |
| 2023-09-02 19:02:34 +0200 | <int-e> | Inst: The reports of getting C-like performance out of Haskell have almost all been about memory-bound code where a few extra instructions in a loop don't hurt because the CPU is waiting on memory reads anyway. |
| 2023-09-02 19:03:21 +0200 | mima | (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 2023-09-02 19:04:11 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-09-02 19:09:04 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-02 19:13:11 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Server closed connection) |
| 2023-09-02 19:13:20 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) |
| 2023-09-02 19:13:48 +0200 | Inst | (~Inst@120.244.192.250) (Remote host closed the connection) |
| 2023-09-02 19:14:01 +0200 | <tomsmeding> | int-e: _oh_ right, the exponentiation by squaring trick. I'd forgotten that one! |
| 2023-09-02 19:14:13 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-02 19:15:09 +0200 | <monochrom> | Also similarly for fibonacci. |
| 2023-09-02 19:15:46 +0200 | <monochrom> | (exponentiating the companion matrix by squaring) |
| 2023-09-02 19:16:08 +0200 | <int-e> | yes, that was the context |
| 2023-09-02 19:16:15 +0200 | <monochrom> | Ah nice. |
| 2023-09-02 19:16:42 +0200 | <monochrom> | But this summer I learned that we can call it "companion matrix". Didn't know of that name. https://en.wikipedia.org/wiki/Companion_matrix#Linear_recursive_sequences |
| 2023-09-02 19:17:09 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-02 19:18:52 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:99bc:c1db:f913:fbcd) (Remote host closed the connection) |
| 2023-09-02 19:19:06 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-09-02 19:19:17 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:99bc:c1db:f913:fbcd) |
| 2023-09-02 19:20:48 +0200 | <Inst> | well, thanks for putting up with me, I almost couldn't leave home on time because of prior procrastination, now I'm procrastinating with dumb microbenchmarks instead |
| 2023-09-02 19:21:07 +0200 | <Inst> | going to focus on working with rarely used libraries now |
| 2023-09-02 19:21:13 +0200 | Inst | (~Inst@120.244.192.250) (Leaving) |
| 2023-09-02 19:22:49 +0200 | mud | (~mud@user/kadoban) |
| 2023-09-02 19:24:56 +0200 | mud | (~mud@user/kadoban) (Client Quit) |
| 2023-09-02 19:25:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-02 19:27:16 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2023-09-02 19:30:07 +0200 | <tomsmeding> | monochrom: huh, TIL |
| 2023-09-02 19:31:17 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-02 19:33:08 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-02 19:33:43 +0200 | <monochrom> | :) |
| 2023-09-02 19:35:24 +0200 | fserucas__ | (~fserucas@89.214.152.246) |
| 2023-09-02 19:36:41 +0200 | ripspin | (~chatzilla@1.145.144.251) (Remote host closed the connection) |
| 2023-09-02 19:41:05 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-02 19:43:49 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 2023-09-02 19:44:21 +0200 | tureba | (~tureba@tureba.org) (Server closed connection) |
| 2023-09-02 19:44:37 +0200 | tureba | (~tureba@tureba.org) |
| 2023-09-02 19:46:36 +0200 | <tomsmeding> | I always had trouble remembering what exactly the fibo matrix was -- not anymore, I think |
| 2023-09-02 19:47:13 +0200 | <dolio> | Oh yeah? How do you remember it? |
| 2023-09-02 19:48:56 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Remote host closed the connection) |
| 2023-09-02 19:50:39 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::5235) (Quit: Going elsewhere) |
| 2023-09-02 19:51:27 +0200 | Guest|15 | (~Guest|15@181.84.95.178) (Quit: Connection closed) |
| 2023-09-02 19:52:22 +0200 | <dolio> | Is it [0, 1; -1, -1]? |
| 2023-09-02 19:52:57 +0200 | <dolio> | Nope. |
| 2023-09-02 19:53:02 +0200 | <int-e> | dolio: [0,1,1,1] actually |
| 2023-09-02 19:54:19 +0200 | <dolio> | Oh I see. I got confused because it has a bunch of negative signs, but so does the matrix. |
| 2023-09-02 19:55:14 +0200 | <EvanR> | unfortunately one cannot be told what the fibo matrix is |
| 2023-09-02 19:55:41 +0200 | <EvanR> | they have to see it for themselves |
| 2023-09-02 19:56:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-09-02 19:57:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-02 19:59:46 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-02 20:00:22 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 245 seconds) |
| 2023-09-02 20:01:24 +0200 | <wroathe> | Hey guys, still tinkering with that types to sql code generator idea... question about the use of arrays with datakinds: https://gist.github.com/JustinChristensen/645f7f45d4b3dd1b32c935428d4c2a77 |
| 2023-09-02 20:02:20 +0200 | <wroathe> | Seems kind of weird I have to define an overlapping instance to get this to work. Am I missing something that would let me define the [] case? |
| 2023-09-02 20:02:37 +0200 | <int-e> | . o O ( did you know that you don't need the semicolon on the last line ) |
| 2023-09-02 20:02:52 +0200 | <wroathe> | Yeah I did |
| 2023-09-02 20:03:02 +0200 | <wroathe> | It's an old habit that I sometimes forget to skip |
| 2023-09-02 20:03:05 +0200 | <wroathe> | And I copied this from ghci |
| 2023-09-02 20:03:12 +0200 | int-e | is truly focussing on what's relevant. :-P |
| 2023-09-02 20:03:24 +0200 | <wroathe> | updated :P |
| 2023-09-02 20:03:57 +0200 | <int-e> | still triggering though, why 3 spaces instead of the usual 4. (sorry) |
| 2023-09-02 20:04:07 +0200 | <wroathe> | Again, sloppy copying from ghci |
| 2023-09-02 20:04:28 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-02 20:04:52 +0200 | <wroathe> | Where do you see 3 spaces? |
| 2023-09-02 20:05:16 +0200 | <int-e> | oh, it's actually a space in front of `instance` on the previous line |
| 2023-09-02 20:05:37 +0200 | <int-e> | which might actually be a syntax error? not sure. |
| 2023-09-02 20:05:49 +0200 | <wroathe> | int-e: stay focused :P |
| 2023-09-02 20:05:56 +0200 | wroathe | splashes cold water on int-e |
| 2023-09-02 20:06:20 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-09-02 20:06:37 +0200 | <wroathe> | There, better? :P |
| 2023-09-02 20:07:05 +0200 | <int-e> | wroathe: isn't it just a matter of using '[] instead of []? |
| 2023-09-02 20:07:21 +0200 | <wroathe> | lmfao |
| 2023-09-02 20:07:25 +0200 | <wroathe> | yes, yes it is |
| 2023-09-02 20:07:26 +0200 | <int-e> | to disambiguate between value and type |
| 2023-09-02 20:07:43 +0200 | <int-e> | but I'm glad we sorted out the indentation too |
| 2023-09-02 20:07:47 +0200 | <wroathe> | Haskell should refuse to let me do [Foo] without the ' |
| 2023-09-02 20:07:52 +0200 | <wroathe> | err, ghc I mean |
| 2023-09-02 20:07:59 +0200 | <wroathe> | To account for stupid people like me |
| 2023-09-02 20:08:00 +0200 | <int-e> | it used to |
| 2023-09-02 20:11:13 +0200 | <wroathe> | int-e: Thanks |
| 2023-09-02 20:15:41 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 20:18:14 +0200 | <EvanR> | the more stuff that works, the less nonsense the compiler can call you out on |
| 2023-09-02 20:18:15 +0200 | <int-e> | wroathe: Oh, maybe the ' was always optional except where required to disambiguate... but it used to be a warning with -Wall: https://gitlab.haskell.org/ghc/ghc/-/issues/20531 |
| 2023-09-02 20:19:06 +0200 | <wroathe> | I demand that GHC protect me from myself |
| 2023-09-02 20:19:10 +0200 | <wroathe> | I'm a mere mortal |
| 2023-09-02 20:19:43 +0200 | <EvanR> | power armor requires power safety |
| 2023-09-02 20:20:53 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-09-02 20:21:10 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-09-02 20:22:30 +0200 | ursa-major | (~ursa-majo@37.19.210.23) |
| 2023-09-02 20:22:33 +0200 | ursa-major | (~ursa-majo@37.19.210.23) (Max SendQ exceeded) |
| 2023-09-02 20:23:22 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 2023-09-02 20:25:30 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-02 20:27:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-09-02 20:27:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-09-02 20:28:50 +0200 | ursa-major | (~ursa-majo@37.19.210.23) |
| 2023-09-02 20:29:02 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) |
| 2023-09-02 20:32:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-02 20:32:12 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 248 seconds) |
| 2023-09-02 20:32:45 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-02 20:35:07 +0200 | leah2 | (~leah@vuxu.org) |
| 2023-09-02 20:37:31 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-02 20:38:00 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-09-02 20:38:59 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 20:42:26 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (Server closed connection) |
| 2023-09-02 20:42:34 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2023-09-02 20:49:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-02 20:52:20 +0200 | <cheater> | with great armor comes great need for oil cans |
| 2023-09-02 20:55:01 +0200 | migas | (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 2023-09-02 20:55:20 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-09-02 20:56:56 +0200 | <int-e> | life in plastic is fantastic (no rust!) |
| 2023-09-02 20:57:24 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 2023-09-02 20:57:28 +0200 | Simikando | (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Remote host closed the connection) |
| 2023-09-02 20:59:41 +0200 | billchenchina- | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-02 21:00:14 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Read error: Connection reset by peer) |
| 2023-09-02 21:03:27 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-02 21:03:52 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-02 21:10:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-09-02 21:14:33 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.237) (Ping timeout: 250 seconds) |
| 2023-09-02 21:14:53 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-02 21:15:20 +0200 | todi | (~todi@p4fd1a580.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-09-02 21:16:04 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-02 21:16:11 +0200 | Vajb | (~Vajb@2001:999:60c:faff:dfbb:4d75:ed38:18d2) (Ping timeout: 246 seconds) |
| 2023-09-02 21:16:26 +0200 | Qudit | (~user@user/Qudit) (Read error: Connection reset by peer) |
| 2023-09-02 21:16:41 +0200 | todi | (~todi@p4fd1a580.dip0.t-ipconnect.de) |
| 2023-09-02 21:17:47 +0200 | Vajb | (~Vajb@85-76-5-175-nat.elisa-mobile.fi) |
| 2023-09-02 21:19:15 +0200 | Qudit | (~user@user/Qudit) |
| 2023-09-02 21:19:27 +0200 | sympt | (~sympt@user/sympt) (Server closed connection) |
| 2023-09-02 21:19:35 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-09-02 21:20:21 +0200 | sympt | (~sympt@user/sympt) |
| 2023-09-02 21:20:52 +0200 | SoF | (~skius@user/skius) (Server closed connection) |
| 2023-09-02 21:21:26 +0200 | SoF | (~skius@user/skius) |
| 2023-09-02 21:22:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-02 21:25:09 +0200 | mjt128 | (~user@2604:3d09:3e79:f200:d96:cc3f:e5f6:21af) |
| 2023-09-02 21:26:24 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-02 21:26:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-02 21:27:35 +0200 | todi | (~todi@p4fd1a580.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-02 21:29:34 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-09-02 21:29:34 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-02 21:42:20 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-02 21:47:04 +0200 | todi | (~todi@85.239.52.173) |
| 2023-09-02 21:49:22 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-09-02 21:55:18 +0200 | CiaoSen | (~Jura@2a05:5800:2ae:e700:664b:f0ff:fe37:9ef) |
| 2023-09-02 22:00:21 +0200 | Jackneill_ | (~Jackneill@20014C4E1E04F900B2C6E55426FBA7FC.dsl.pool.telekom.hu) (Ping timeout: 246 seconds) |
| 2023-09-02 22:01:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-02 22:03:22 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-02 22:04:56 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-09-02 22:06:53 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-02 22:07:16 +0200 | billchenchina- | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-09-02 22:07:26 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (Server closed connection) |
| 2023-09-02 22:07:43 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
| 2023-09-02 22:09:50 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds) |
| 2023-09-02 22:10:19 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-09-02 22:10:43 +0200 | anselmschueler | (~anselmsch@user/schuelermine) () |
| 2023-09-02 22:11:57 +0200 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2023-09-02 22:13:17 +0200 | dfg | (~dfg@dfg.rocks) |
| 2023-09-02 22:13:17 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2023-09-02 22:13:17 +0200 | dfg | (~dfg@user/dfg) |
| 2023-09-02 22:14:09 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-02 22:25:50 +0200 | Fischmiep863 | (~Fischmiep@user/Fischmiep) (Quit: Fischmiep863) |
| 2023-09-02 22:28:52 +0200 | xelxebar | (~xelxebar@wilsonb.com) (Server closed connection) |
| 2023-09-02 22:29:13 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
| 2023-09-02 22:29:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-02 22:31:33 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-02 22:34:20 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-02 22:37:38 +0200 | acidjnk | (~acidjnk@p200300d6e7072f69394156b098f09540.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-09-02 22:46:55 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-02 22:49:35 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) |
| 2023-09-02 22:52:02 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-02 22:55:21 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-02 22:55:36 +0200 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 2023-09-02 22:55:55 +0200 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-09-02 22:57:27 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 22:57:55 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-02 22:58:44 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-02 23:05:55 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-02 23:06:21 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 2023-09-02 23:06:30 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-02 23:09:47 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-02 23:09:48 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-02 23:09:48 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-02 23:11:32 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-02 23:12:20 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) (Remote host closed the connection) |
| 2023-09-02 23:24:46 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 2023-09-02 23:26:49 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-02 23:29:07 +0200 | thelounge7935 | (~thelounge@95.179.128.119) |
| 2023-09-02 23:30:54 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Ping timeout: 258 seconds) |
| 2023-09-02 23:30:54 +0200 | thelounge7935 | thelounge793 |
| 2023-09-02 23:39:18 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
| 2023-09-02 23:39:42 +0200 | raoul | (~raoul@95.179.203.88) (Server closed connection) |
| 2023-09-02 23:40:04 +0200 | raoul | (~raoul@95.179.203.88) |
| 2023-09-02 23:41:12 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-02 23:44:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-09-02 23:49:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-02 23:52:57 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2023-09-02 23:53:44 +0200 | talismanick | (~user@2601:204:ef80:2980::c39) (Remote host closed the connection) |
| 2023-09-02 23:53:58 +0200 | talismanick | (~user@2601:204:ef80:2980::c39) |
| 2023-09-02 23:55:57 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2023-09-02 23:58:58 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Remote host closed the connection) |
| 2023-09-02 23:59:23 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |