2024-05-18 00:11:08 +0200 | AlexNoo_ | (~AlexNoo@5.139.232.131) |
2024-05-18 00:13:08 +0200 | kadir | (~kadir@88.251.51.100) (Quit: WeeChat 4.2.2) |
2024-05-18 00:14:28 +0200 | AlexZenon | (~alzenon@178.34.162.221) (Ping timeout: 268 seconds) |
2024-05-18 00:14:49 +0200 | AlexNoo | (~AlexNoo@178.34.162.221) (Ping timeout: 256 seconds) |
2024-05-18 00:15:19 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) |
2024-05-18 00:21:11 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
2024-05-18 00:22:47 +0200 | AlexZenon | (~alzenon@5.139.232.131) |
2024-05-18 00:26:10 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-18 00:26:25 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
2024-05-18 00:31:07 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
2024-05-18 00:46:03 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-05-18 00:47:23 +0200 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) |
2024-05-18 00:48:29 +0200 | <talismanick> | typeclass laws let us make intuitive assumptions about the behavior of any instance satisfying them, but you do have to prove it |
2024-05-18 00:48:31 +0200 | <talismanick> | but, in math, figuring out how to prove something is a big part of understanding it |
2024-05-18 00:49:03 +0200 | <talismanick> | just writing out the proofs for Reader, Writer, and State, I don't feel like I understand anything more for doing so |
2024-05-18 00:58:08 +0200 | yin | (~yin@user/zero) (Remote host closed the connection) |
2024-05-18 01:01:01 +0200 | <monochrom> | I would not take "prove implies understanding" religiously. When it works, it works. When it doesn't, it doesn't, or at most maybe look for another proof approach that brings understanding. |
2024-05-18 01:02:36 +0200 | <monochrom> | Hell, in fact, we know in math of a lot of elementary proofs that only achieve being elementary, not furthering understanding, precisely because they avoid "advanced" structures that bring understanding. |
2024-05-18 01:07:07 +0200 | <talismanick> | what are some instances with nontrivial proofs? |
2024-05-18 01:08:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-18 01:09:52 +0200 | ski | . o O ( "Mathematics, morally" by Eugenia Cheng in 2004-01 at <https://eugeniacheng.com/wp-content/uploads/2017/02/cheng-morality.pdf> ) |
2024-05-18 01:15:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc64113083a2457f0359.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-05-18 01:17:08 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Remote host closed the connection) |
2024-05-18 01:17:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-18 01:18:54 +0200 | <dolio> | I've been reading a book with some people, and it seems like most of the proofs are less believable than the facts they state. |
2024-05-18 01:21:31 +0200 | Lycurgus | (~georg@user/Lycurgus) |
2024-05-18 01:21:47 +0200 | <Lycurgus> | 'understanding' - that's a feel innit? |
2024-05-18 01:22:41 +0200 | <Lycurgus> | a feel of cognition |
2024-05-18 01:24:24 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
2024-05-18 01:24:37 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-18 01:25:08 +0200 | <Lycurgus> | feel, qualia, obscure thing |
2024-05-18 01:26:05 +0200 | <Lycurgus> | without qualification that is; demonstrated understanding brings you back |
2024-05-18 01:27:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-18 01:40:05 +0200 | <Hecate> | tomsmeding: eyo, do you want a PR to enable linear-base for GHC 9.10 on the playground? |
2024-05-18 01:40:31 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2024-05-18 01:42:17 +0200 | <ski> | presumably understanding is objective insofar as it allows someone to better predict, diagnose, design |
2024-05-18 01:54:55 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.2.2) |
2024-05-18 01:55:43 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-18 02:00:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-05-18 02:13:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-18 02:14:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-18 02:49:47 +0200 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) (Ping timeout: 252 seconds) |
2024-05-18 02:58:35 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
2024-05-18 03:06:34 +0200 | otto_s | (~user@p5b0448c7.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-05-18 03:08:24 +0200 | otto_s | (~user@p5b044b71.dip0.t-ipconnect.de) |
2024-05-18 03:14:35 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
2024-05-18 03:14:37 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
2024-05-18 03:15:40 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:cfe3:13e2:96f6:9d2c) (Quit: Leaving) |
2024-05-18 03:35:59 +0200 | addfb3 | (~dante@user/addfb3) (Ping timeout: 256 seconds) |
2024-05-18 03:40:46 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
2024-05-18 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-18 04:00:50 +0200 | fliife | (~fliife@user/fliife) |
2024-05-18 04:05:43 +0200 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) |
2024-05-18 04:05:57 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.1.1) |
2024-05-18 04:09:34 +0200 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 246 seconds) |
2024-05-18 04:11:28 +0200 | td_ | (~td@i53870939.versanet.de) |
2024-05-18 04:12:28 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2024-05-18 04:14:16 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-05-18 04:18:03 +0200 | cjb | (~cjb@user/cjb) |
2024-05-18 04:21:45 +0200 | ringo___ | (~ringo@157.230.117.128) (Ping timeout: 268 seconds) |
2024-05-18 04:22:22 +0200 | Athas | (athas@sigkill.dk) (Ping timeout: 268 seconds) |
2024-05-18 04:22:34 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3ae1:f43a:30e:d1d8) |
2024-05-18 04:23:32 +0200 | ringo___ | (~ringo@157.230.117.128) |
2024-05-18 04:24:08 +0200 | kimiamania | (~76637481@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
2024-05-18 04:24:31 +0200 | kimiamania | (~76637481@user/kimiamania) |
2024-05-18 04:28:32 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 268 seconds) |
2024-05-18 04:28:32 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Ping timeout: 268 seconds) |
2024-05-18 04:28:40 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
2024-05-18 04:40:52 +0200 | <talismanick> | if types are propositions and programs are proofs, then mechanically the Monad instance for State is certainly an excersive in understanding through proof - it's basically dataflow through let-binding, as I see it |
2024-05-18 04:41:03 +0200 | <talismanick> | exercise* |
2024-05-18 04:44:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
2024-05-18 04:49:33 +0200 | <talismanick> | I guess it's natural for typeclass law proofs to be impervious to intuition because metaproofs are apt to be like that? |
2024-05-18 04:50:35 +0200 | cheater_ | (~Username@user/cheater) |
2024-05-18 04:51:52 +0200 | ridcully_ | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
2024-05-18 04:52:53 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 268 seconds) |
2024-05-18 04:52:56 +0200 | hexeme_ | (~hexeme@user/hexeme) |
2024-05-18 04:53:05 +0200 | fiddlerw- | (~fiddlerwo@user/fiddlerwoaroof) |
2024-05-18 04:53:59 +0200 | lbseale_ | (~quassel@user/ep1ctetus) |
2024-05-18 04:54:08 +0200 | swistak- | (~swistak@185.21.216.141) |
2024-05-18 04:54:11 +0200 | gawen_ | (~gawen@user/gawen) |
2024-05-18 04:54:17 +0200 | johnw_ | (~johnw@69.62.242.138) |
2024-05-18 04:54:39 +0200 | ocra8_ | (ocra8@user/ocra8) |
2024-05-18 04:54:57 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
2024-05-18 04:55:15 +0200 | kmein_ | (~weechat@user/kmein) |
2024-05-18 04:55:20 +0200 | defanor_ | (~defanor@tart.uberspace.net) |
2024-05-18 04:55:20 +0200 | weechat | (~weechat@user/dminuoso) |
2024-05-18 04:55:43 +0200 | tolt_ | (~weechat-h@li219-154.members.linode.com) |
2024-05-18 04:56:24 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-18 04:56:30 +0200 | Eoco | (~ian@128.101.131.218) |
2024-05-18 04:56:33 +0200 | deriamis_ | (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) |
2024-05-18 04:56:39 +0200 | zlqrvx_ | (~zlqrvx@101.175.150.247) |
2024-05-18 04:57:28 +0200 | CodeKiwi | (~kiwi@137.184.156.191) |
2024-05-18 04:58:43 +0200 | flounders_ | (~flounders@24.246.176.178) |
2024-05-18 04:59:00 +0200 | teqwve- | (teqwve@static.141.38.201.195.clients.your-server.de) |
2024-05-18 04:59:08 +0200 | sand-witch_ | (~m-mzmz6l@vmi833741.contaboserver.net) |
2024-05-18 05:00:45 +0200 | johnw | (~johnw@69.62.242.138) (*.net *.split) |
2024-05-18 05:00:45 +0200 | ocra8 | (ocra8@user/ocra8) (*.net *.split) |
2024-05-18 05:00:45 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split) |
2024-05-18 05:00:45 +0200 | deriamis | (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) (*.net *.split) |
2024-05-18 05:00:45 +0200 | gawen | (~gawen@user/gawen) (*.net *.split) |
2024-05-18 05:00:45 +0200 | foul_owl | (~kerry@185.219.141.164) (*.net *.split) |
2024-05-18 05:00:46 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) (*.net *.split) |
2024-05-18 05:00:46 +0200 | cheater | (~Username@user/cheater) (*.net *.split) |
2024-05-18 05:00:46 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (*.net *.split) |
2024-05-18 05:00:46 +0200 | tessier_ | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
2024-05-18 05:00:46 +0200 | Eoco_ | (~ian@128.101.131.218) (*.net *.split) |
2024-05-18 05:00:46 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
2024-05-18 05:00:46 +0200 | flounders | (~flounders@24.246.176.178) (*.net *.split) |
2024-05-18 05:00:46 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
2024-05-18 05:00:46 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
2024-05-18 05:00:46 +0200 | kmein | (~weechat@user/kmein) (*.net *.split) |
2024-05-18 05:00:46 +0200 | teqwve | (teqwve@static.141.38.201.195.clients.your-server.de) (*.net *.split) |
2024-05-18 05:00:46 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) (*.net *.split) |
2024-05-18 05:00:46 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (*.net *.split) |
2024-05-18 05:00:46 +0200 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
2024-05-18 05:00:46 +0200 | df | (~ben@justworks.xyz) (*.net *.split) |
2024-05-18 05:00:46 +0200 | lbseale | (~quassel@user/ep1ctetus) (*.net *.split) |
2024-05-18 05:00:46 +0200 | defanor- | (~defanor@tart.uberspace.net) (*.net *.split) |
2024-05-18 05:00:46 +0200 | dminuoso | (~weechat@user/dminuoso) (*.net *.split) |
2024-05-18 05:00:46 +0200 | hexeme | (~hexeme@user/hexeme) (*.net *.split) |
2024-05-18 05:00:54 +0200 | cheater_ | cheater |
2024-05-18 05:03:59 +0200 | <dolio> | No, propositions are types. |
2024-05-18 05:04:01 +0200 | sand-witch_ | sand-witch |
2024-05-18 05:04:13 +0200 | <dolio> | It's better if you don't read it the opposite way. |
2024-05-18 05:04:45 +0200 | df | (~ben@justworks.xyz) |
2024-05-18 05:10:02 +0200 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) (Ping timeout: 252 seconds) |
2024-05-18 05:10:19 +0200 | foul_owl | (~kerry@71.212.149.206) |
2024-05-18 05:10:49 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
2024-05-18 05:23:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-18 05:27:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-18 05:38:06 +0200 | Pixi__ | (~Pixi@user/pixi) |
2024-05-18 05:39:03 +0200 | cpli_ | (77fc530071@2a03:6000:1812:100::252) |
2024-05-18 05:39:13 +0200 | bw______ | (sid2730@id-2730.ilkley.irccloud.com) |
2024-05-18 05:40:06 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 240 seconds) |
2024-05-18 05:40:06 +0200 | bw_____ | (sid2730@id-2730.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
2024-05-18 05:40:12 +0200 | lukec_ | (9dfd4d094e@2a03:6000:1812:100::10e) |
2024-05-18 05:40:18 +0200 | cpli_ | cpli |
2024-05-18 05:40:18 +0200 | dy_ | (sid3438@user/dy) |
2024-05-18 05:40:42 +0200 | davetapley_ | (sid666@id-666.uxbridge.irccloud.com) |
2024-05-18 05:41:31 +0200 | Goodbye_Vincent1 | (cyvahl@freakshells.net) |
2024-05-18 05:41:46 +0200 | fluffyballoon_ | (45ce440a48@2a03:6000:1812:100::e2) |
2024-05-18 05:41:51 +0200 | shreyasminocha_ | (51fdc93eda@user/shreyasminocha) |
2024-05-18 05:41:53 +0200 | sgarcia | (sgarcia@swarm.znchost.com) |
2024-05-18 05:42:08 +0200 | integral_ | (sid296274@user/integral) |
2024-05-18 05:42:13 +0200 | systemfault_ | (sid267009@about/typescript/member/systemfault) |
2024-05-18 05:42:25 +0200 | ell6 | (~ellie@user/ellie) |
2024-05-18 05:42:56 +0200 | coldtom4 | (~coldtom@coldrick.cc) |
2024-05-18 05:43:09 +0200 | filwisher_ | (2e6936c793@2a03:6000:1812:100::170) |
2024-05-18 05:43:21 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
2024-05-18 05:43:28 +0200 | aspen_ | (sid449115@id-449115.helmsley.irccloud.com) |
2024-05-18 05:43:46 +0200 | chessai_ | (sid225296@id-225296.lymington.irccloud.com) |
2024-05-18 05:44:02 +0200 | amir_ | (sid22336@user/amir) |
2024-05-18 05:44:10 +0200 | scav_ | (sid309693@user/scav) |
2024-05-18 05:44:17 +0200 | piele_ | (~piele@tbonesteak.creativeserver.net) |
2024-05-18 05:44:27 +0200 | kuruczgy_ | (55b66dd3ae@2a03:6000:1812:100::127f) |
2024-05-18 05:44:30 +0200 | dy | (sid3438@user/dy) (Ping timeout: 240 seconds) |
2024-05-18 05:44:30 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 240 seconds) |
2024-05-18 05:44:30 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 240 seconds) |
2024-05-18 05:44:30 +0200 | davetapley | (sid666@id-666.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
2024-05-18 05:44:30 +0200 | dy_ | dy |
2024-05-18 05:44:30 +0200 | lukec_ | lukec |
2024-05-18 05:44:30 +0200 | fluffyballoon_ | fluffyballoon |
2024-05-18 05:44:31 +0200 | davetapley_ | davetapley |
2024-05-18 05:44:40 +0200 | jleightcap_ | (7bc4014b62@user/jleightcap) |
2024-05-18 05:44:51 +0200 | Ankhers_ | (e99e97ef8e@2a03:6000:1812:100::2a2) |
2024-05-18 05:44:56 +0200 | jmcantrell_ | (644f1bed9a@user/jmcantrell) |
2024-05-18 05:44:57 +0200 | remexre_ | (~remexre@user/remexre) |
2024-05-18 05:45:01 +0200 | Vq_ | (~vq@81-231-76-8-no600.tbcn.telia.com) |
2024-05-18 05:45:03 +0200 | pounce_ | (~pounce@user/cute/pounce) |
2024-05-18 05:45:04 +0200 | fgaz__ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
2024-05-18 05:45:18 +0200 | constxqt | (~constxd@user/constxd) |
2024-05-18 05:45:22 +0200 | Taneb0 | (~Taneb@runciman.hacksoc.org) |
2024-05-18 05:45:22 +0200 | alanz_ | (sid110616@id-110616.uxbridge.irccloud.com) |
2024-05-18 05:45:28 +0200 | chaitlatte0_ | (ea29c0bb16@2a03:6000:1812:100::1124) |
2024-05-18 05:45:43 +0200 | arcadewise_ | (52968ed80d@2a03:6000:1812:100::3df) |
2024-05-18 05:45:56 +0200 | eso_ | (a0662dfd5e@2a03:6000:1812:100::1266) |
2024-05-18 05:45:57 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) |
2024-05-18 05:46:18 +0200 | fn_lumi_ | (3d621153a5@2a03:6000:1812:100::df7) |
2024-05-18 05:46:30 +0200 | bsima1_ | (9d7e39c8ad@2a03:6000:1812:100::dd) |
2024-05-18 05:46:41 +0200 | ncf_ | (~n@monade.li) |
2024-05-18 05:46:43 +0200 | ursa-major_ | (114efe6c39@2a03:6000:1812:100::11f3) |
2024-05-18 05:46:48 +0200 | aniketd_ | (32aa4844cd@2a03:6000:1812:100::dcb) |
2024-05-18 05:46:52 +0200 | poscat0x04 | (~poscat@user/poscat) |
2024-05-18 05:47:10 +0200 | whereiseveryone_ | (206ba86c98@2a03:6000:1812:100::2e4) |
2024-05-18 05:47:16 +0200 | pikajude- | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) |
2024-05-18 05:47:16 +0200 | darrik | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2024-05-18 05:47:17 +0200 | beaky_ | (~beaky@2a03:b0c0:0:1010::1e:a001) |
2024-05-18 05:47:19 +0200 | brettgilio_ | (a35ba67324@2a03:6000:1812:100::260) |
2024-05-18 05:47:24 +0200 | jjhoo_ | (jahakala@user/jjhoo) |
2024-05-18 05:47:28 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 268 seconds) |
2024-05-18 05:47:28 +0200 | probie_ | (cc0b34050a@user/probie) |
2024-05-18 05:47:37 +0200 | rselim_ | (ce261f06ff@user/milesrout) |
2024-05-18 05:47:42 +0200 | shachaf_ | (~shachaf@li227-219.members.linode.com) |
2024-05-18 05:48:21 +0200 | henrytill_ | (e0180937c3@2a03:6000:1812:100::e8c) |
2024-05-18 05:48:31 +0200 | markasoftware_ | (~quassel@107.161.26.124) |
2024-05-18 05:48:45 +0200 | caubert_ | (~caubert@user/caubert) |
2024-05-18 05:49:00 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-18 05:49:05 +0200 | Boarders_____ | (sid425905@id-425905.lymington.irccloud.com) |
2024-05-18 05:49:22 +0200 | nefercheprure | (tma@twin.jikos.cz) |
2024-05-18 05:49:39 +0200 | h2t | (~h2t@user/h2t) |
2024-05-18 05:49:41 +0200 | Hobbyboy|BNC | (Hobbyboy@hobbyboy.co.uk) |
2024-05-18 05:49:58 +0200 | mustafa_ | (sid502723@rockylinux/releng/mustafa) |
2024-05-18 05:50:07 +0200 | xigua_ | (~xigua@user/xigua) |
2024-05-18 05:50:15 +0200 | davean1 | (~davean@davean.sciesnet.net) |
2024-05-18 05:50:27 +0200 | hueso_ | (~root@user/hueso) |
2024-05-18 05:50:35 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
2024-05-18 05:50:35 +0200 | constxd | (~constxd@user/constxd) (Ping timeout: 260 seconds) |
2024-05-18 05:51:14 +0200 | mht- | (~mht@2a03:b0c0:3:e0::1e2:c001) |
2024-05-18 05:51:17 +0200 | WzC | (~Frank@77-162-168-71.fixed.kpn.net) |
2024-05-18 05:51:27 +0200 | quintasan_ | (~quassel@quintasan.pl) |
2024-05-18 05:51:35 +0200 | Buggys- | (Buggys@shelltalk.net) |
2024-05-18 05:51:37 +0200 | aforemny | (~aforemny@2001:9e8:6cdc:cf00:2044:2ce0:424e:adbd) |
2024-05-18 05:51:46 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfa:400:979c:514d:c315:798d) (Ping timeout: 246 seconds) |
2024-05-18 05:52:09 +0200 | yandere__ | (sid467876@id-467876.ilkley.irccloud.com) |
2024-05-18 05:53:00 +0200 | mal1 | (~mal@ns2.wyrd.be) |
2024-05-18 05:53:02 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (*.net *.split) |
2024-05-18 05:53:02 +0200 | foul_owl | (~kerry@71.212.149.206) (*.net *.split) |
2024-05-18 05:53:02 +0200 | df | (~ben@justworks.xyz) (*.net *.split) |
2024-05-18 05:53:02 +0200 | hueso | (~root@user/hueso) (*.net *.split) |
2024-05-18 05:53:02 +0200 | causal | (~eric@50.35.88.207) (*.net *.split) |
2024-05-18 05:53:02 +0200 | xdminsy | (~xdminsy@117.147.70.240) (*.net *.split) |
2024-05-18 05:53:02 +0200 | echoreply | (~echoreply@45.32.163.16) (*.net *.split) |
2024-05-18 05:53:02 +0200 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
2024-05-18 05:53:02 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (*.net *.split) |
2024-05-18 05:53:02 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (*.net *.split) |
2024-05-18 05:53:02 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
2024-05-18 05:53:02 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (*.net *.split) |
2024-05-18 05:53:02 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
2024-05-18 05:53:02 +0200 | esph | (~weechat@user/esph) (*.net *.split) |
2024-05-18 05:53:02 +0200 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
2024-05-18 05:53:02 +0200 | TMA | (tma@twin.jikos.cz) (*.net *.split) |
2024-05-18 05:53:02 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
2024-05-18 05:53:02 +0200 | ncf | (~n@monade.li) (*.net *.split) |
2024-05-18 05:53:02 +0200 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
2024-05-18 05:53:02 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
2024-05-18 05:53:02 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-170.dsl.bell.ca) (*.net *.split) |
2024-05-18 05:53:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (*.net *.split) |
2024-05-18 05:53:02 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (*.net *.split) |
2024-05-18 05:53:02 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
2024-05-18 05:53:02 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
2024-05-18 05:53:02 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
2024-05-18 05:53:02 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split) |
2024-05-18 05:53:02 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
2024-05-18 05:53:02 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
2024-05-18 05:53:02 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
2024-05-18 05:53:02 +0200 | tamer | (~tamer@user/tamer) (*.net *.split) |
2024-05-18 05:53:02 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
2024-05-18 05:53:02 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
2024-05-18 05:53:02 +0200 | evertedsphere | (sid434122@id-434122.hampstead.irccloud.com) (*.net *.split) |
2024-05-18 05:53:18 +0200 | nurupo_ | (~nurupo.ga@user/nurupo) |
2024-05-18 05:53:33 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-18 05:53:38 +0200 | APic | (apic@apic.name) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split) |
2024-05-18 05:53:38 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
2024-05-18 05:53:38 +0200 | probie | (cc0b34050a@user/probie) (*.net *.split) |
2024-05-18 05:53:38 +0200 | caubert | (~caubert@user/caubert) (*.net *.split) |
2024-05-18 05:53:38 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (*.net *.split) |
2024-05-18 05:53:38 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (*.net *.split) |
2024-05-18 05:53:38 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (*.net *.split) |
2024-05-18 05:53:38 +0200 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
2024-05-18 05:53:38 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
2024-05-18 05:53:38 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
2024-05-18 05:53:38 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
2024-05-18 05:53:38 +0200 | scav | (sid309693@user/scav) (*.net *.split) |
2024-05-18 05:53:38 +0200 | mht-wtf | (~mht@mht.wtf) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (*.net *.split) |
2024-05-18 05:53:38 +0200 | coldtom | (~coldtom@coldrick.cc) (*.net *.split) |
2024-05-18 05:53:38 +0200 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
2024-05-18 05:53:38 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
2024-05-18 05:53:38 +0200 | yandere_ | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
2024-05-18 05:53:38 +0200 | h2t_ | (~h2t@user/h2t) (*.net *.split) |
2024-05-18 05:53:38 +0200 | amir | (sid22336@user/amir) (*.net *.split) |
2024-05-18 05:53:38 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
2024-05-18 05:53:38 +0200 | haritz | (~hrtz@user/haritz) (*.net *.split) |
2024-05-18 05:53:38 +0200 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Boarders____ | (sid425905@id-425905.lymington.irccloud.com) (*.net *.split) |
2024-05-18 05:53:38 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) (*.net *.split) |
2024-05-18 05:53:38 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) (*.net *.split) |
2024-05-18 05:53:38 +0200 | xigua | (~xigua@user/xigua) (*.net *.split) |
2024-05-18 05:53:38 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (*.net *.split) |
2024-05-18 05:53:38 +0200 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (*.net *.split) |
2024-05-18 05:53:38 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
2024-05-18 05:53:38 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
2024-05-18 05:53:38 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
2024-05-18 05:53:38 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split) |
2024-05-18 05:53:38 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split) |
2024-05-18 05:53:38 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (*.net *.split) |
2024-05-18 05:53:38 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split) |
2024-05-18 05:53:38 +0200 | remexre | (~remexre@user/remexre) (*.net *.split) |
2024-05-18 05:53:38 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Riviera | (Riviera@user/riviera) (*.net *.split) |
2024-05-18 05:53:38 +0200 | poscat | (~poscat@user/poscat) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Pixi` | (~Pixi@user/pixi) (*.net *.split) |
2024-05-18 05:53:38 +0200 | tv | (~tv@user/tv) (*.net *.split) |
2024-05-18 05:53:38 +0200 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
2024-05-18 05:53:38 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (*.net *.split) |
2024-05-18 05:53:38 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:e654:e8ff:fee1:ca92) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) (*.net *.split) |
2024-05-18 05:53:38 +0200 | sgarcia_ | (sgarcia@swarm.znchost.com) (*.net *.split) |
2024-05-18 05:53:38 +0200 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
2024-05-18 05:53:38 +0200 | Buggys | (Buggys@shelltalk.net) (*.net *.split) |
2024-05-18 05:53:39 +0200 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
2024-05-18 05:53:39 +0200 | ell | (~ellie@user/ellie) (*.net *.split) |
2024-05-18 05:53:39 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
2024-05-18 05:53:39 +0200 | bcksl | (~bcksl@user/bcksl) (*.net *.split) |
2024-05-18 05:53:39 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split) |
2024-05-18 05:53:39 +0200 | quintasan | (~quassel@quintasan.pl) (*.net *.split) |
2024-05-18 05:53:39 +0200 | noctux | (~noctux@user/noctux) (*.net *.split) |
2024-05-18 05:53:39 +0200 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
2024-05-18 05:53:39 +0200 | pounce | (~pounce@user/cute/pounce) (*.net *.split) |
2024-05-18 05:53:39 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
2024-05-18 05:53:39 +0200 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
2024-05-18 05:53:39 +0200 | spider | (spider@tilde.cafe) (*.net *.split) |
2024-05-18 05:53:39 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
2024-05-18 05:53:39 +0200 | pikajude | (~jude@149.28.207.64) (*.net *.split) |
2024-05-18 05:53:39 +0200 | dragestil | (~znc@user/dragestil) (*.net *.split) |
2024-05-18 05:53:39 +0200 | tstat_ | (~tstat@user/tstat) (*.net *.split) |
2024-05-18 05:53:39 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
2024-05-18 05:53:39 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
2024-05-18 05:53:40 +0200 | Ankhers_ | Ankhers |
2024-05-18 05:53:40 +0200 | kuruczgy_ | kuruczgy |
2024-05-18 05:53:40 +0200 | alanz_ | alanz |
2024-05-18 05:53:40 +0200 | systemfault_ | systemfault |
2024-05-18 05:53:40 +0200 | ell6 | ell |
2024-05-18 05:53:40 +0200 | pounce_ | pounce |
2024-05-18 05:53:43 +0200 | yandere__ | yandere_ |
2024-05-18 05:53:43 +0200 | aniketd_ | aniketd |
2024-05-18 05:53:44 +0200 | henrytill_ | henrytill |
2024-05-18 05:53:44 +0200 | mustafa_ | mustafa |
2024-05-18 05:53:44 +0200 | rselim_ | rselim |
2024-05-18 05:53:45 +0200 | Goodbye_Vincent1 | Goodbye_Vincent |
2024-05-18 05:53:45 +0200 | scav_ | scav |
2024-05-18 05:53:45 +0200 | gaze___ | gaze__ |
2024-05-18 05:53:45 +0200 | amir_ | amir |
2024-05-18 05:53:45 +0200 | remexre_ | remexre |
2024-05-18 05:53:45 +0200 | bsima1_ | bsima1 |
2024-05-18 05:53:45 +0200 | probie_ | probie |
2024-05-18 05:53:45 +0200 | arcadewise_ | arcadewise |
2024-05-18 05:53:45 +0200 | xigua_ | xigua |
2024-05-18 05:53:45 +0200 | eso_ | eso |
2024-05-18 05:53:46 +0200 | chaitlatte0_ | chaitlatte0 |
2024-05-18 05:53:46 +0200 | jmcantrell_ | jmcantrell |
2024-05-18 05:53:46 +0200 | coldtom4 | coldtom |
2024-05-18 05:53:46 +0200 | integral_ | integral |
2024-05-18 05:53:46 +0200 | chessai_ | chessai |
2024-05-18 05:53:46 +0200 | aspen_ | aspen |
2024-05-18 05:53:47 +0200 | fgaz__ | fgaz_ |
2024-05-18 05:53:47 +0200 | shreyasminocha_ | shreyasminocha |
2024-05-18 05:53:47 +0200 | fn_lumi_ | fn_lumi |
2024-05-18 05:53:47 +0200 | brettgilio_ | brettgilio |
2024-05-18 05:53:47 +0200 | jleightcap_ | jleightcap |
2024-05-18 05:53:48 +0200 | ursa-major_ | ursa-major |
2024-05-18 05:53:48 +0200 | whereiseveryone_ | whereiseveryone |
2024-05-18 05:53:59 +0200 | yandere_ | tapas |
2024-05-18 05:54:00 +0200 | Hobbyboy|BNC | Hobbyboy |
2024-05-18 05:54:05 +0200 | tv | (~tv@user/tv) |
2024-05-18 05:54:12 +0200 | tstat | (~tstat@user/tstat) |
2024-05-18 05:54:14 +0200 | noctux | (~noctux@user/noctux) |
2024-05-18 05:54:15 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
2024-05-18 05:54:48 +0200 | AlexNoo_ | (~AlexNoo@5.139.232.131) (Read error: Connection reset by peer) |
2024-05-18 05:55:15 +0200 | UNREAALuo-ed | (~UNREAALao@163.180.213.155) |
2024-05-18 05:55:21 +0200 | AlexNoo_ | (~AlexNoo@5.139.232.131) |
2024-05-18 05:55:32 +0200 | UNREAALuo-ed | (~UNREAALao@163.180.213.155) () |
2024-05-18 05:55:37 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2024-05-18 05:55:41 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
2024-05-18 05:55:41 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
2024-05-18 05:55:41 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2024-05-18 05:55:41 +0200 | ChanServ | +v lambdabot |
2024-05-18 05:55:59 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
2024-05-18 05:55:59 +0200 | df | (~ben@justworks.xyz) |
2024-05-18 05:55:59 +0200 | causal | (~eric@50.35.88.207) |
2024-05-18 05:55:59 +0200 | echoreply | (~echoreply@45.32.163.16) |
2024-05-18 05:55:59 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
2024-05-18 05:55:59 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
2024-05-18 05:55:59 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-05-18 05:55:59 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
2024-05-18 05:55:59 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
2024-05-18 05:55:59 +0200 | vgtw | (~vgtw@user/vgtw) |
2024-05-18 05:55:59 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
2024-05-18 05:55:59 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-170.dsl.bell.ca) |
2024-05-18 05:55:59 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
2024-05-18 05:55:59 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
2024-05-18 05:55:59 +0200 | tamer | (~tamer@user/tamer) |
2024-05-18 05:55:59 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
2024-05-18 05:55:59 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
2024-05-18 05:55:59 +0200 | evertedsphere | (sid434122@id-434122.hampstead.irccloud.com) |
2024-05-18 05:56:11 +0200 | Pegazusuo`_ | (~Syzzopiu_@fixed-187-189-91-62.totalplay.net) |
2024-05-18 05:56:12 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
2024-05-18 05:56:18 +0200 | <Pegazusuo`_> | shachaf_ rselim probie jjhoo_ brettgilio beaky_ darrik pikajude- whereiseveryone poscat0x04 aniketd ursa-major ncf_ bsima1 fn_lumi hiredman_ eso arcadewise chaitlatte0 alanz Taneb0 constxqt fgaz_ pounce Vq_ remexre jmcantrell Ankhers jleightcap kuruczgy piele_ scav amir chessai aspen gaze__ filwisher_ coldtom ell systemfault integral sgarcia shreyasminocha fluffyballoon Goodbye_Vincent d |
2024-05-18 05:56:19 +0200 | <Pegazusuo`_> | avetapley dy lukec bw______ cpli Pixi__ euleritian peterbecich sand-witch teqwve- flounders_ CodeKiwi zlqrvx_ deriamis_ Eoco todi1 tolt_ weechat defanor_ kmein_ tessier ocra8_ johnw_ gawen_ swistak- lbseale_ fiddlerw- hexeme_ ridcully_ cheater bwe kimiamania ringo___ Athas cjb tcard td_ fliife Ranhir otto_s bitdex talismanick AlexZenon califax visilii_ pavonia emmanuelux euphores raym JimL n |
2024-05-18 05:56:20 +0200 | <Pegazusuo`_> | ullie mei tzh _xor billchenchina sp1ff EvanR Sgeo FinnElija patrl zer0bitz igemnace qqq xff0x ft rvalue Lord_of_Life L29Ah ChaiTRex driib3 mikko xal tinjamin doyougnu oo_miguel philopsos bollu B-J immae sudden bsima remmie landonf Dykam pierrot evanrelf cln_ JoelMcCracken mhatta samhh_ TheCoffeMaker joeyh akspecs riatre mauke _0xa fr33domlover lambdap2371 xstill_ Pozyomka xsarnik carter_ |
2024-05-18 05:56:21 +0200 | <Pegazusuo`_> | PotatoGim_ dmj` Pent nek0 Fangs edwardk darkling hugo sprout puke dagi85299 jinsun MironZ xnyhps jcarpenter2 tomboy64 jrm destituion Maxdamantus koz famubu chexum pie_ ec m1dnight terrorjack aku SteelBlueSilk erisco phma Luj bliminse demon-cat p3n CrunchyFlakes JamesMowery hgolden laker monochrom michalz biberu pointlessslippe1 Moyst cayley5 ent infinity0 dtman34 img lockna rdcdr son0p Rodney_ |
2024-05-18 05:56:22 +0200 | <Pegazusuo`_> | iteratee paddymahoney gentauro urdh drdo m5zs7k stefan-__ ames Raito_Bezarius [exa] Ram-Z mrmr1553343 tt1231097 _d0t mima benjaminl GoldsteinQ jle` arahael dolio szkl Hafydd inedia pja pandeyan motherfsck mulk sam113101 vulpine eugenrh forell chiselfuse mjrosenb andrea_r Me-me bionade24 zmt01 adium glguy nschoe tabemann ircbrowse_tom tomsmeding amjoseph nitrix bgamari orcus dispater mxs Angelz |
2024-05-18 05:56:23 +0200 | <Pegazusuo`_> | tomku masterbuilder fryguybob myxos sympt Rembane itaipu whatsupdoc endojelly rembo10 Teacup_ xelxebar_ kaskal- kritzefitz welterde leah2 migas97 Batzy malte arkeet paotsaq Xe juri_ thaumavorio byte ski Yumemi krei-se ACuriousMoose finsternis canta cjay kosmikus A_Dragon picnoir stefan-_ gabriel_sevecek kronicmage robobub opqdonut auri rncwnd emergence jocke-l hook54321 robertm tired statusbot |
2024-05-18 05:56:24 +0200 | <Pegazusuo`_> | wryish siers koala_man adamCS incertia lockywolf end meejah ario sweater aws seeg123456 leeb nshepperd2 carbolymer bryanv Typedfern enikar mzg haveo_ mqlnv down200 zfnmxt flukiluke She berberman danso hughjfchen Patternmaster _________ catties FragByte dunj3 tertek anon8697 hc sukbeom V peutri lyxia Arsen bairyn Fijxu tdammers int-e it_ s4msung sshine Philonous CATS RMSBach gabiruh Vajb delyan_ |
2024-05-18 05:56:25 +0200 | <Pegazusuo`_> | Flow Franciman cross yaroot samhh jkoshy jakzale fvr sus sm2n ymherklotz duncan b0o pmk raghavgururajan ggb lane wagle sajith nonzen hamishmack flocks andjjj23 mniip_ barrucadu abrar MelMalik conjunctive sefidel myme earthy diagprov snek tritlo_ hololeap yahb2 hovsater Sciencentistguy sm sa jackdk T_S_____ Kamuela byorgey red-snail nisstyre turlando jakesyl_____ buhman Tisoxin liskin mrvdb pdw |
2024-05-18 05:56:26 +0200 | <Pegazusuo`_> | Fischmiep TimWolla heartbur1 ian_ Clint andreas808 smalltalkman geekosaur edmundnoble_ edwtjo tinwood SethTisue PHO`_ lally alinab mjacob lisq nadja hadronized tureba mcfrdy nshepperd lexi-lambda SanchayanMaity idnar bjs degraafk CalimeroTeknik Putonlalla dumptruckman [_________] polux dfg edm NemesisD sa1 rune_ taktoa[c] jonrh c_wraith tomjaguarpaw nckx xerox farn_ exarkun eL_Bart0- energizer |
2024-05-18 05:56:27 +0200 | <Pegazusuo`_> | gmc astra shawwwn mankyKitty caasih bah ouroboros disconnect3d acro davl litharge NiKaN apache Techcable sclv iphy ProofTechnique_ rubin55 natto aristid JSharp drlkf SoF hexology shane Hecate Jon loonycyborg noteness- laman1 xnbya2 SrPx acidsys rachelambda krasjet institor mira mmaruseacph2 yushyin cbarrett S11001001 dsal xacktm stilgart nrr_______ meooow chymera haasn Logio totbwf ChanServ |
2024-05-18 05:56:28 +0200 | Pegazusuo`_ | (~Syzzopiu_@fixed-187-189-91-62.totalplay.net) () |
2024-05-18 05:56:42 +0200 | zmt01 | (~zmt00@user/zmt00) (Quit: Leaving) |
2024-05-18 05:56:47 +0200 | dibblego | (~dibblego@116.255.1.119) |
2024-05-18 05:56:47 +0200 | dibblego | (~dibblego@116.255.1.119) (Changing host) |
2024-05-18 05:56:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2024-05-18 05:56:57 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-05-18 05:57:15 +0200 | nurupo_ | nurupo |
2024-05-18 05:57:19 +0200 | Riviera | (Riviera@user/riviera) |
2024-05-18 05:57:21 +0200 | df | (~ben@justworks.xyz) (Remote host closed the connection) |
2024-05-18 05:57:24 +0200 | causal | (~eric@50.35.88.207) (Ping timeout: 260 seconds) |
2024-05-18 05:57:24 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Ping timeout: 260 seconds) |
2024-05-18 05:57:32 +0200 | df | (~ben@justworks.xyz) |
2024-05-18 05:57:33 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 260 seconds) |
2024-05-18 05:57:33 +0200 | tamer | (~tamer@user/tamer) (Quit: "") |
2024-05-18 05:57:35 +0200 | kaol_ | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
2024-05-18 05:57:48 +0200 | tmr | (~tamer@5.2.74.82) |
2024-05-18 05:58:20 +0200 | causal | (~eric@50.35.88.207) |
2024-05-18 05:58:22 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
2024-05-18 05:58:47 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
2024-05-18 05:58:48 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
2024-05-18 05:58:49 +0200 | ChanServ | +o glguy |
2024-05-18 05:59:00 +0200 | glguy | +R |
2024-05-18 05:59:01 +0200 | haritz | (~hrtz@user/haritz) |
2024-05-18 05:59:01 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:e654:e8ff:fee1:ca92) |
2024-05-18 05:59:01 +0200 | dragestil | (~znc@user/dragestil) |
2024-05-18 05:59:01 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
2024-05-18 05:59:46 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
2024-05-18 06:01:53 +0200 | Ekho | (~Ekho@user/ekho) |
2024-05-18 06:02:02 +0200 | APic | (apic@apic.name) |
2024-05-18 06:02:11 +0200 | bcksl | (~bcksl@user/bcksl) |
2024-05-18 06:02:55 +0200 | y-koj_ | (~yk@2404:7a81:c840:5e00:e654:e8ff:fee1:ca92) |
2024-05-18 06:04:09 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:e654:e8ff:fee1:ca92) (Ping timeout: 240 seconds) |
2024-05-18 06:04:16 +0200 | esph | (~weechat@user/esph) |
2024-05-18 06:04:49 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
2024-05-18 06:06:49 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-18 06:07:29 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2024-05-18 06:08:04 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-170.dsl.bell.ca) (Max SendQ exceeded) |
2024-05-18 06:08:04 +0200 | vgtw | (~vgtw@user/vgtw) (Max SendQ exceeded) |
2024-05-18 06:08:51 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
2024-05-18 06:08:52 +0200 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-101-170.dsl.bell.ca) |
2024-05-18 06:09:56 +0200 | vgtw | (~vgtw@user/vgtw) |
2024-05-18 06:10:23 +0200 | foul_owl | (~kerry@71.212.149.206) |
2024-05-18 06:12:36 +0200 | hea_ed | (~LRHio`y@80.69.63.28) |
2024-05-18 06:12:36 +0200 | hea_ed | (~LRHio`y@80.69.63.28) (K-Lined) |
2024-05-18 06:28:28 +0200 | spider | (spider@tilde.cafe) |
2024-05-18 06:32:00 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-18 06:36:47 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
2024-05-18 06:51:40 +0200 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.1.1) |
2024-05-18 06:54:15 +0200 | Eoco | (~ian@128.101.131.218) |
2024-05-18 06:55:38 +0200 | Eoco | (~ian@128.101.131.218) (Client Quit) |
2024-05-18 06:55:41 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
2024-05-18 06:56:50 +0200 | Eoco | (~ian@128.101.131.218) |
2024-05-18 06:57:07 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-18 06:57:55 +0200 | Eoco | (~ian@128.101.131.218) (Client Quit) |
2024-05-18 06:58:15 +0200 | Eoco | (~ian@128.101.131.218) |
2024-05-18 06:58:43 +0200 | Eoco | (~ian@128.101.131.218) (Client Quit) |
2024-05-18 06:59:02 +0200 | Eoco | (~ian@128.101.131.218) |
2024-05-18 07:00:08 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-18 07:03:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-05-18 07:08:24 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) |
2024-05-18 07:17:04 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-18 07:28:22 +0200 | connrs | (~connrs@user/connrs) |
2024-05-18 07:36:35 +0200 | foul_owl | (~kerry@71.212.149.206) (Ping timeout: 264 seconds) |
2024-05-18 07:44:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-05-18 07:47:19 +0200 | Vq_ | Vq |
2024-05-18 07:48:29 +0200 | foul_owl | (~kerry@157.97.134.168) |
2024-05-18 07:54:09 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-18 07:58:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-18 08:00:06 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-18 08:02:45 +0200 | cjb | (~cjb@user/cjb) (Quit: leaving) |
2024-05-18 08:07:32 +0200 | cjb | (813b6d8c75@user/cjb) |
2024-05-18 08:08:18 +0200 | kadir | (~kadir@88.251.51.100) |
2024-05-18 08:18:33 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
2024-05-18 08:22:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc996547f0aaefed2014.dip0.t-ipconnect.de) |
2024-05-18 08:22:32 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
2024-05-18 08:23:58 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-18 08:25:46 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-18 08:26:20 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-18 08:30:34 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-05-18 08:32:13 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-18 08:34:52 +0200 | AlexZenon | (~alzenon@5.139.232.131) (Ping timeout: 246 seconds) |
2024-05-18 08:41:53 +0200 | connrs | (~connrs@user/connrs) |
2024-05-18 08:45:20 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.2.2) |
2024-05-18 08:47:20 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
2024-05-18 08:49:32 +0200 | AlexNoo_ | AlexNoo |
2024-05-18 08:54:56 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:6e37:aef9:1702:5bd0) (Ping timeout: 268 seconds) |
2024-05-18 08:55:27 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:f1eb:615d:e4c3:d09c) |
2024-05-18 08:56:05 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
2024-05-18 08:56:18 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-18 08:58:02 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-18 08:59:11 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-18 09:08:40 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-05-18 09:09:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-18 09:10:59 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-18 09:17:51 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds) |
2024-05-18 09:18:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-05-18 09:22:05 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
2024-05-18 09:27:17 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Ping timeout: 240 seconds) |
2024-05-18 09:27:36 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-05-18 09:28:59 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-18 09:33:22 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-18 09:34:05 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-18 09:37:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-18 09:38:16 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2024-05-18 09:46:01 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
2024-05-18 09:48:45 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) |
2024-05-18 09:54:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-05-18 09:55:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-18 10:08:13 +0200 | shachaf_ | shachaf |
2024-05-18 10:08:36 +0200 | shachaf | (~shachaf@li227-219.members.linode.com) (Changing host) |
2024-05-18 10:08:36 +0200 | shachaf | (~shachaf@user/shachaf) |
2024-05-18 10:11:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-05-18 10:13:12 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving) |
2024-05-18 10:16:38 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2024-05-18 10:18:39 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
2024-05-18 10:26:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-05-18 10:27:11 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-05-18 10:29:35 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-18 10:33:05 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-05-18 10:36:02 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-05-18 10:38:21 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-18 10:43:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |