| 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) |
| 2024-05-18 10:54:17 +0200 | danza | (~francesco@151.47.77.65) |
| 2024-05-18 10:54:25 +0200 | danse-nr3 | (~danse-nr3@151.47.77.65) |
| 2024-05-18 10:54:48 +0200 | danse-nr3 | (~danse-nr3@151.47.77.65) (Remote host closed the connection) |
| 2024-05-18 10:55:12 +0200 | danse-nr3 | (~danse-nr3@151.47.77.65) |
| 2024-05-18 10:55:18 +0200 | danse-nr3 | (~danse-nr3@151.47.77.65) (Client Quit) |
| 2024-05-18 11:08:22 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-05-18 11:08:40 +0200 | danza | (~francesco@151.47.77.65) (Ping timeout: 260 seconds) |
| 2024-05-18 11:09:20 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 2024-05-18 11:09:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-18 11:11:17 +0200 | ncf_ | ncf |
| 2024-05-18 11:21:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-18 11:24:15 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-18 11:28:39 +0200 | danza | (~francesco@151.47.77.65) |
| 2024-05-18 11:30:41 +0200 | todi1 | todi |
| 2024-05-18 11:42:29 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-18 11:43:34 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-05-18 11:44:52 +0200 | califax | (~califax@user/califx) |
| 2024-05-18 11:49:39 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
| 2024-05-18 11:50:18 +0200 | sukbeom | (~sukbeom@121.172.255.83) (The Lounge - https://thelounge.chat) |
| 2024-05-18 12:01:11 +0200 | danza | (~francesco@151.47.77.65) (Ping timeout: 264 seconds) |
| 2024-05-18 12:01:18 +0200 | ChanServ | +o ski |
| 2024-05-18 12:01:21 +0200 | ski | -Ro ski |
| 2024-05-18 12:04:05 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
| 2024-05-18 12:06:03 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-18 12:08:04 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-18 12:12:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-18 12:13:33 +0200 | califax | (~califax@user/califx) |
| 2024-05-18 12:25:59 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-18 13:02:35 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-18 13:02:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-05-18 13:03:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-18 13:08:55 +0200 | nefercheprure | TMA |
| 2024-05-18 13:14:00 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-05-18 13:15:50 +0200 | patrl | (~patrl@user/patrl) |
| 2024-05-18 13:22:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-18 13:24:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-18 13:29:59 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-05-18 13:30:54 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3ae1:f43a:30e:d1d8) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-18 13:32:28 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3ae1:f43a:30e:d1d8) |
| 2024-05-18 13:43:00 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-05-18 13:59:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-05-18 14:02:44 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) |
| 2024-05-18 14:05:04 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2024-05-18 14:06:30 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-18 14:06:45 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-18 14:07:47 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-05-18 14:18:36 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2024-05-18 14:19:31 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-18 14:20:21 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-18 14:26:37 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-05-18 14:38:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-18 14:40:05 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
| 2024-05-18 14:42:09 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-18 14:43:12 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-18 14:45:16 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-05-18 14:47:09 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 265 seconds) |
| 2024-05-18 14:47:56 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-18 15:00:33 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-05-18 15:11:33 +0200 | danza | (~francesco@rm-19-59-215.service.infuturo.it) |
| 2024-05-18 15:15:14 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-05-18 15:21:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-18 15:30:41 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-18 15:49:23 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:b273:9497:4ffe:5456) |
| 2024-05-18 15:51:35 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-05-18 15:51:41 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-05-18 15:52:18 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) |
| 2024-05-18 15:59:54 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-18 16:00:11 +0200 | euleritian | (~euleritia@p200300d40f4af8000124b0e3dde43af2.dip0.t-ipconnect.de) |
| 2024-05-18 16:01:07 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-05-18 16:02:00 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2024-05-18 16:09:02 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-18 16:18:44 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-18 16:20:50 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-18 16:21:15 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-18 16:21:41 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-18 16:21:47 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3ae1:f43a:30e:d1d8) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-18 16:21:57 +0200 | Athas | (athas@sigkill.dk) |
| 2024-05-18 16:33:41 +0200 | euleritian | (~euleritia@p200300d40f4af8000124b0e3dde43af2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-18 16:34:25 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) |
| 2024-05-18 16:46:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-18 16:51:31 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2024-05-18 16:53:15 +0200 | danza | (~francesco@rm-19-59-215.service.infuturo.it) (Quit: Leaving) |
| 2024-05-18 16:59:55 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-18 17:00:10 +0200 | euleritian | (~euleritia@p200300d40f4af800405d8730c55eda43.dip0.t-ipconnect.de) |
| 2024-05-18 17:04:05 +0200 | euleritian | (~euleritia@p200300d40f4af800405d8730c55eda43.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-18 17:08:57 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) |
| 2024-05-18 17:18:32 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-18 17:18:43 +0200 | euleritian | (~euleritia@p200300d40f4af80011ef9d47c01a966a.dip0.t-ipconnect.de) |
| 2024-05-18 17:25:50 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-18 17:27:23 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-05-18 17:27:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-18 17:34:45 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-18 17:35:13 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2024-05-18 17:36:07 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-18 17:49:41 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-05-18 18:00:16 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2024-05-18 18:00:25 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-18 18:04:22 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-18 18:05:56 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Read error: Connection reset by peer) |
| 2024-05-18 18:21:30 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-05-18 18:24:02 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-18 18:24:05 +0200 | bollu | (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
| 2024-05-18 18:25:33 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-18 18:27:37 +0200 | bollu | (~bollu@159.65.151.13) |
| 2024-05-18 18:29:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-18 18:33:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-18 18:42:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-05-18 18:42:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-18 18:46:15 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-05-18 18:53:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-18 18:53:09 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:6411:ca4c:6107:b01c) |
| 2024-05-18 19:01:39 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
| 2024-05-18 19:02:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-18 19:11:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-18 19:19:26 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:b273:9497:4ffe:5456) (Quit: Leaving) |
| 2024-05-18 19:20:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-18 19:21:17 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:6411:ca4c:6107:b01c) (Ping timeout: 240 seconds) |
| 2024-05-18 19:26:30 +0200 | Square | (~Square@user/square) |
| 2024-05-18 19:26:53 +0200 | euleritian | (~euleritia@p200300d40f4af80011ef9d47c01a966a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-18 19:31:06 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) |
| 2024-05-18 19:35:29 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-18 19:37:47 +0200 | mikess | (~mikess@user/mikess) |
| 2024-05-18 19:42:15 +0200 | visilii_ | visilii |
| 2024-05-18 19:45:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-18 19:50:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-18 19:50:58 +0200 | <justsomeguy> | How do I use the Data.Array.IArray.ixmap function? I don't see any examples in the documentation. |
| 2024-05-18 19:52:19 +0200 | <justsomeguy> | I have an array a = array (0,2) [(0,'a'),(1,'b'),(2,'c')] :: Array Int Char and am trying to map (+1) to each index in the array. |
| 2024-05-18 19:52:37 +0200 | <glguy> | ixmap (0,2) (+1) a |
| 2024-05-18 19:52:50 +0200 | <glguy> | oh, I guess you'd want: |
| 2024-05-18 19:52:53 +0200 | aryah | (~aryah@52-123.dsl.iskon.hr) |
| 2024-05-18 19:52:55 +0200 | <glguy> | ixmap (1,3) (+1) a |
| 2024-05-18 19:53:05 +0200 | <glguy> | that is tricky |
| 2024-05-18 19:53:14 +0200 | <ncf> | nope |
| 2024-05-18 19:53:17 +0200 | <glguy> | otherway |
| 2024-05-18 19:53:18 +0200 | <glguy> | subtrace 1 |
| 2024-05-18 19:53:20 +0200 | <glguy> | subtract 1 |
| 2024-05-18 19:53:22 +0200 | <ncf> | ixmap (1, 3) (subtract 1) a |
| 2024-05-18 19:53:52 +0200 | <ncf> | :t ixmap |
| 2024-05-18 19:53:53 +0200 | <lambdabot> | (Ix i, Ix j) => (i, i) -> (i -> j) -> Array j e -> Array i e |
| 2024-05-18 19:54:09 +0200 | <ncf> | "what bounds do you want", "how do you get back to the old indices" |
| 2024-05-18 19:54:18 +0200 | <mauke> | justsomeguy: what do you mean by "map (+1) to each index"? |
| 2024-05-18 19:54:20 +0200 | y04nn | (~username@45.129.56.202) |
| 2024-05-18 19:55:49 +0200 | <ncf> | surprised there isn't a lens combinator that takes an Iso |
| 2024-05-18 19:55:56 +0200 | <aryah> | there's a contradiction in the 'extensions lifecycle' proposal (601). explaining experimental, it says "an Experimental extension must be Deprecated prior to removal", but then they recently expanded the section "transitions that are possible but left at the discretion of implementers..." with Experimental -> (does not exist) |
| 2024-05-18 19:56:09 +0200 | <ncf> | apply it backwards to the bounds to determine the new bounds, then forwards to get the elements |
| 2024-05-18 19:56:36 +0200 | <justsomeguy> | I was expecting to use ixmap (0,2) (+1) a to create a new Array like array (1,3) [(1,'a'),(2,'b'),(3,'c')]. But honestly I'm not sure what ixmap does and I'm just trying to go through each function in IArray and try them out on sample inputs. |
| 2024-05-18 19:56:37 +0200 | <ncf> | well i guess your Iso would need to be well-behaved |
| 2024-05-18 19:56:50 +0200 | <aryah> | soo, which is it? I guess the latter, but the text should surely be consistent before acceptence. |
| 2024-05-18 19:57:00 +0200 | <ncf> | justsomeguy: read the type carefully |
| 2024-05-18 19:57:02 +0200 | <geekosaur> | aryah, that might best be posted to the proposal issue? |
| 2024-05-18 19:57:18 +0200 | <mauke> | justsomeguy: ah, then what ncf said |
| 2024-05-18 19:57:39 +0200 | <aryah> | yeah, prob, I didn't want to need to dig up my github acc... |
| 2024-05-18 19:58:05 +0200 | <geekosaur> | I use a password manager to keep track of such things 🙂 |
| 2024-05-18 19:58:34 +0200 | <ncf> | the function creates an array with the given bounds, then applies the function to each *new* index to get the element corresponding to that index from the old array |
| 2024-05-18 19:59:01 +0200 | <aryah> | hahah, yeah, well it was a bad accident with my credentials overall tbh. |
| 2024-05-18 19:59:12 +0200 | <ncf> | so if you want to apply some transformation f to the indices, you need to apply f to the bounds and give f⁻¹ as the mapping |
| 2024-05-18 20:03:20 +0200 | <justsomeguy> | I'm 100% lost. |
| 2024-05-18 20:04:08 +0200 | <justsomeguy> | So, the first argument is a range of indices supplied as a tulpe, right? |
| 2024-05-18 20:04:24 +0200 | <justsomeguy> | And they you provide a unary function to manipulate each index. |
| 2024-05-18 20:04:34 +0200 | <justsomeguy> | and the last argument is an Array. |
| 2024-05-18 20:04:43 +0200 | <justsomeguy> | (an IArray, sorry) |
| 2024-05-18 20:05:00 +0200 | <justsomeguy> | What is a bounds? |
| 2024-05-18 20:05:12 +0200 | <ncf> | first and last index |
| 2024-05-18 20:05:26 +0200 | <ncf> | (0, 2) in your `a` |
| 2024-05-18 20:11:15 +0200 | <justsomeguy> | So when I run b = ixmap (1,1) (+1) a I get array (1,1) [(1,'c')]. Now I have a = array (0,2) [(0,'a'),(1,'b'),(2,'c')] and b = array (1,1) [(1,'c')]. |