| 2024-02-24 00:03:17 +0100 | CiaoSen | (~Jura@2a05:5800:2c4:5400:e6b9:7aff:fe80:3d03) |
| 2024-02-24 00:12:30 +0100 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-02-24 00:14:02 +0100 | megaTherion | (~therion@unix.io) |
| 2024-02-24 00:18:02 +0100 | <EvanR> | functions are conjuctions |
| 2024-02-24 00:18:48 +0100 | <geekosaur> | "conjunction junction, what's your function?" |
| 2024-02-24 00:18:53 +0100 | <EvanR> | lol |
| 2024-02-24 00:20:23 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 264 seconds) |
| 2024-02-24 00:32:19 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Remote host closed the connection) |
| 2024-02-24 00:32:34 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
| 2024-02-24 00:33:17 +0100 | kuribas | (~user@ptr-17d51eo71p4zihsvf0x.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-02-24 00:35:49 +0100 | mulk | (~mulk@p5b112441.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-24 00:36:37 +0100 | acidjnk | (~acidjnk@p200300d6e737e78269014d40f6ae7dec.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-02-24 00:41:42 +0100 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-02-24 00:44:16 +0100 | mulk | (~mulk@pd9514214.dip0.t-ipconnect.de) |
| 2024-02-24 00:45:01 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-24 00:46:44 +0100 | megaTherion | (~therion@unix.io) |
| 2024-02-24 00:47:29 +0100 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-02-24 00:48:57 +0100 | megaTherion | (~therion@unix.io) |
| 2024-02-24 00:57:27 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-24 01:00:48 +0100 | son0p | (~ff@181.237.199.182) |
| 2024-02-24 01:05:49 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-02-24 01:09:43 +0100 | mulk | (~mulk@pd9514214.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-02-24 01:10:31 +0100 | mulk | (~mulk@pd95147ec.dip0.t-ipconnect.de) |
| 2024-02-24 01:17:08 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-24 01:31:43 +0100 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
| 2024-02-24 01:34:30 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-24 01:36:04 +0100 | ystael | (~ystael@user/ystael) |
| 2024-02-24 01:37:47 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-24 01:38:05 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-24 01:39:36 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2024-02-24 01:44:33 +0100 | mulk | (~mulk@pd95147ec.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-24 01:45:42 +0100 | bilegeek | (~bilegeek@2600:1008:b0a6:9554:9355:ce0f:c245:5ea2) |
| 2024-02-24 01:51:20 +0100 | mulk | (~mulk@pd951432d.dip0.t-ipconnect.de) |
| 2024-02-24 01:51:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2024-02-24 02:07:42 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-24 02:26:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-24 02:40:24 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 2024-02-24 02:43:34 +0100 | megaTherion | (~therion@unix.io) (Read error: Connection reset by peer) |
| 2024-02-24 02:44:24 +0100 | megaTherion | (~therion@unix.io) |
| 2024-02-24 02:45:13 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-02-24 02:46:31 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-24 02:47:45 +0100 | megaTherion | (~therion@unix.io) (Read error: Connection reset by peer) |
| 2024-02-24 02:48:34 +0100 | megaTherion | (~therion@unix.io) |
| 2024-02-24 02:49:35 +0100 | bilegeek | (~bilegeek@2600:1008:b0a6:9554:9355:ce0f:c245:5ea2) (Quit: Leaving) |
| 2024-02-24 02:51:26 +0100 | CiaoSen | (~Jura@2a05:5800:2c4:5400:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-02-24 02:52:11 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-02-24 02:53:47 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-24 03:01:55 +0100 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Quit: brb/bbiab) |
| 2024-02-24 03:09:19 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2024-02-24 03:21:28 +0100 | atrayee | (~saman@157.40.67.149) |
| 2024-02-24 03:21:30 +0100 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-02-24 03:22:29 +0100 | atrayee | (~saman@157.40.67.149) (Client Quit) |
| 2024-02-24 03:47:10 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos) |
| 2024-02-24 03:50:56 +0100 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-24 03:51:31 +0100 | jargon | (~jargon@53.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-02-24 03:52:50 +0100 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2024-02-24 03:58:49 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 272 seconds) |
| 2024-02-24 04:00:35 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-02-24 04:01:11 +0100 | otto_s | (~user@p5de2fe7a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-24 04:01:53 +0100 | pavonia | (~user@user/siracusa) |
| 2024-02-24 04:02:04 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-24 04:02:31 +0100 | otto_s | (~user@p5de2ff2d.dip0.t-ipconnect.de) |
| 2024-02-24 04:03:36 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
| 2024-02-24 04:08:59 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-02-24 04:18:12 +0100 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 260 seconds) |
| 2024-02-24 04:19:34 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 2024-02-24 04:20:03 +0100 | td_ | (~td@i53870933.versanet.de) |
| 2024-02-24 04:20:06 +0100 | bilegeek | (~bilegeek@2600:1008:b0a6:9554:9355:ce0f:c245:5ea2) |
| 2024-02-24 04:21:43 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2024-02-24 04:29:23 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 264 seconds) |
| 2024-02-24 04:29:39 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-24 04:30:59 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-02-24 04:32:16 +0100 | Guest23 | (~Guest23@2603-9001-620a-2e31-5e24-1ad0-ab49-1e25.inf6.spectrum.com) |
| 2024-02-24 04:34:59 +0100 | Guest23 | (~Guest23@2603-9001-620a-2e31-5e24-1ad0-ab49-1e25.inf6.spectrum.com) (Client Quit) |
| 2024-02-24 04:36:06 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-02-24 04:42:12 +0100 | hays | (rootvegeta@fsf/member/hays) () |
| 2024-02-24 04:49:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-24 05:10:37 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-02-24 05:11:09 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2024-02-24 05:33:45 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc2:9000:e4e7:200e:bd59:b73a) |
| 2024-02-24 05:34:45 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-02-24 05:34:57 +0100 | aforemny | (~aforemny@2001:9e8:6cdc:3e00:1b98:25c3:6ee8:f0cc) (Ping timeout: 256 seconds) |
| 2024-02-24 05:36:06 +0100 | gawen | (~gawen@user/gawen) |
| 2024-02-24 05:39:38 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-02-24 05:40:48 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-02-24 05:44:47 +0100 | sroso | (~sroso@user/SrOso) (Ping timeout: 252 seconds) |
| 2024-02-24 05:45:54 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-24 06:08:34 +0100 | yoo | (~yo0O0o@104.28.194.105) |
| 2024-02-24 06:10:13 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-24 06:40:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-24 06:43:08 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-24 06:50:26 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-02-24 06:50:51 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-02-24 06:56:12 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-02-24 06:56:38 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-24 07:00:55 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-02-24 07:27:05 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-02-24 07:28:35 +0100 | harveypwca | (~harveypwc@2601:246:c201:d680:59a0:7761:1557:ead5) |
| 2024-02-24 07:37:59 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-02-24 07:38:23 +0100 | monochrom | (trebla@216.138.220.146) |
| 2024-02-24 07:44:55 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-24 07:46:27 +0100 | bliminse | (~bliminse@user/bliminse) |
| 2024-02-24 07:51:12 +0100 | Square | (~Square@user/square) |
| 2024-02-24 07:51:13 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-24 07:52:14 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-24 08:20:35 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2024-02-24 08:22:52 +0100 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2024-02-24 08:26:30 +0100 | <fraznel> | Hey all, I'm just finishing up reading chris okasaki's paper on purely functional data structures which uses ML. after reading about it I went to look up a Haskell version of real time queues and found this https://www.well-typed.com/blog/2016/01/efficient-queues/ |
| 2024-02-24 08:27:12 +0100 | <fraznel> | in the paper the real time queue keeps a "schedule" of thunks that happens to start at the same thunk as the start of the queue and forces that schedule when it needs to but this implementation uses a lazy st monad with io refs |
| 2024-02-24 08:27:45 +0100 | <fraznel> | is there a good reason in general to prefer monadic versions in haskell or.. why go for a monadic version here. Does haskell amortize thunks differently |
| 2024-02-24 08:28:18 +0100 | <fraznel> | for example, if i put the same list thunk in a data in two places then force one of them, is the other now memoized up to where the second was |
| 2024-02-24 08:28:51 +0100 | <fraznel> | i'm trying to reason about why they would go with a monadic implementation when it's not needed. The way the schedule works I suppose is monadic, but it seems like an extra restriction that is kinda clunky to work with |
| 2024-02-24 08:29:41 +0100 | <fraznel> | s/io refs/stref + unsafeInterleaveST |
| 2024-02-24 08:33:06 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-02-24 08:40:57 +0100 | puke | (~puke@user/puke) (Quit: puke) |
| 2024-02-24 08:43:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-24 08:46:22 +0100 | <c_wraith> | fraznel: I remember that article. a key phrase from it is "This is where we diverge from Okasaki" |
| 2024-02-24 08:52:10 +0100 | harveypwca | (~harveypwc@2601:246:c201:d680:59a0:7761:1557:ead5) (Quit: Leaving) |
| 2024-02-24 08:52:42 +0100 | <fraznel> | aye, i'm trying to play around with ghci to better understand how haskell amortizes thunks but I'm not having much luck with :print, :force or seq. There's something i don't follow in the docs about forcing a viewing thunks there but i'm trying to figure out what this means https://play.haskell.org/saved/VZDMWWOR |
| 2024-02-24 08:53:28 +0100 | <fraznel> | I would expect a to be [1,2]:3:[] but I cant find any docs that say that is the case and I'm still fumbling figuring out a way to check in ghci |
| 2024-02-24 08:53:55 +0100 | <fraznel> | er, a to be a [1,2]:3:[] after the end of the program |
| 2024-02-24 08:54:34 +0100 | <mauke> | [1,2]:3 looks a lot like a type error |
| 2024-02-24 08:54:37 +0100 | <fraznel> | oh, seq will force everything i think if i'm understanding it right so i would expect a at the end to be fully evaluated [1,2,3] |
| 2024-02-24 08:54:50 +0100 | <c_wraith> | yeah, that's a type error. |
| 2024-02-24 08:55:01 +0100 | <mauke> | 1:2:3:[] is fully evaluated |
| 2024-02-24 08:55:13 +0100 | <mauke> | seq only forces the top-level structure, not deeply |
| 2024-02-24 08:55:31 +0100 | <c_wraith> | running main also won't cause seq to be evaluated there |
| 2024-02-24 08:55:45 +0100 | <mauke> | your code never reaches seq |
| 2024-02-24 08:55:49 +0100 | <mauke> | yeah :-) |
| 2024-02-24 08:56:09 +0100 | <mauke> | in fact, b is unused and so is a |
| 2024-02-24 08:56:37 +0100 | <fraznel> | haha |
| 2024-02-24 08:56:46 +0100 | <mauke> | I'd expect ghc to compile this to no code at all :-) |
| 2024-02-24 08:56:58 +0100 | <fraznel> | aye, its a artificial example and your right, that is a compile error i need ::[Integer] |
| 2024-02-24 08:57:17 +0100 | <mauke> | > [1,2]:3:[] :: [Integer] |
| 2024-02-24 08:57:18 +0100 | <lambdabot> | error: |
| 2024-02-24 08:57:18 +0100 | <lambdabot> | • Couldn't match type ‘[a0]’ with ‘Integer’ |
| 2024-02-24 08:57:18 +0100 | <lambdabot> | Expected type: [Integer] |
| 2024-02-24 08:57:35 +0100 | <fraznel> | but assuming a is used later on and b is only ever used to seq... and a is typed well to [Integer] |
| 2024-02-24 08:57:42 +0100 | <fraznel> | hmm. i guess i don't know how to ask the question right |
| 2024-02-24 08:58:13 +0100 | <fraznel> | will forcing another bound thunk to evaluate force other names bound to that thunk to evaluate as well in haskell? |
| 2024-02-24 08:58:13 +0100 | <mauke> | you seem to think a:b:[] can be "evaluated" to [a,b] |
| 2024-02-24 08:58:18 +0100 | <mauke> | that is not the case |
| 2024-02-24 08:58:37 +0100 | <mauke> | [a,b] is pretty syntax for the structure that is a:b:[] |
| 2024-02-24 08:58:41 +0100 | <fraznel> | right |
| 2024-02-24 08:58:56 +0100 | <fraznel> | how about with + then |
| 2024-02-24 08:59:06 +0100 | <fraznel> | uh.. i'll rewrite it and check for compilation errors |
| 2024-02-24 08:59:28 +0100 | <mauke> | let a = sqrt 2; b = a in print b |
| 2024-02-24 08:59:43 +0100 | <mauke> | "does this evaluate a?" <- is that what you're asking? |
| 2024-02-24 09:00:45 +0100 | <fraznel> | yes |
| 2024-02-24 09:01:02 +0100 | <fraznel> | does that make a amortized and now a seq of a won't force any new thunks |
| 2024-02-24 09:01:41 +0100 | <fraznel> | let a = sqrt 2; b = a in print b; seq a () |
| 2024-02-24 09:01:45 +0100 | <c_wraith> | I think you've skipped a few steps, and that's really biting you. |
| 2024-02-24 09:01:47 +0100 | <fraznel> | does that seq then no longer do any "work" |
| 2024-02-24 09:02:11 +0100 | <mauke> | don't know about amortized but the answer is yes: a and b are just names for the same thunk, and forcing a thunk makes it replace itself by the result |
| 2024-02-24 09:02:11 +0100 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2024-02-24 09:02:56 +0100 | <c_wraith> | amortization is an issue to address once you understand what laziness is doing. |
| 2024-02-24 09:04:33 +0100 | <fraznel> | bah, my brains mush with being specific tonight. but I think you guys helped things click with haskell and thunk evaluation. I don't know why that word came out of my fingers. :P Scheduling is a way to change amortized complexity into worst case complexity provided you can prove it by something like the bankers method in a proof |
| 2024-02-24 09:05:35 +0100 | <c_wraith> | yeah, but if you want to know why unsafeInterleaveST is involved, it gets really deep into the weeds. |
| 2024-02-24 09:05:52 +0100 | <fraznel> | i'm going to keep fiddling with ghci to see if i can get good feedback about thunk evaluation the sqrt example is super helpful. Is there a better way to get a graph of thunks or evaluated vs unevaluated and what thunk references which other than :print, :force / sec |
| 2024-02-24 09:06:00 +0100 | <c_wraith> | in particular, it has to do with preventing duplicated work when sharing is involved |
| 2024-02-24 09:06:24 +0100 | <c_wraith> | if you track down the reddit thread for that blog post, it goes into more details |
| 2024-02-24 09:06:44 +0100 | <fraznel> | why would that prevent duplicated work more so than having more of a schedule list you are forcing with seq? |
| 2024-02-24 09:06:48 +0100 | <c_wraith> | I remember this because I asked why it was so complicated. :) |
| 2024-02-24 09:06:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-24 09:07:08 +0100 | <fraznel> | oh... does it prevent persistant old copies from duplicating? wait, no the persistant old copies should reference the same thunks still... :| |
| 2024-02-24 09:07:24 +0100 | <c_wraith> | yes. they reference a chain of pointers. |
| 2024-02-24 09:07:43 +0100 | <c_wraith> | it lets the implementation skip the chain of pointers with persistent access |
| 2024-02-24 09:08:22 +0100 | <fraznel> | oh, so it doesn't have to iterate through some representation of thunks to progress the schedule then? |
| 2024-02-24 09:08:28 +0100 | <mauke> | there was a graphical tool somewhere to visualize data structures and thunks |
| 2024-02-24 09:08:31 +0100 | <c_wraith> | yes |
| 2024-02-24 09:08:40 +0100 | <mauke> | anyone remember what I'm talking about? |
| 2024-02-24 09:09:27 +0100 | <c_wraith> | vacuum? or... it got a successor, didn't it? |
| 2024-02-24 09:11:59 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-24 09:12:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-24 09:13:04 +0100 | <fraznel> | c_wraith, glad you saw that then, it seemed super complicated of an implementation to me too. I'll try to find the reddit thread. I don't get it and want to for sure. |
| 2024-02-24 09:13:50 +0100 | <fraznel> | vacuum looks great! |
| 2024-02-24 09:15:11 +0100 | <c_wraith> | hmm. there was ghc-heap-view, but it also looks unmaintained at this point |
| 2024-02-24 09:20:35 +0100 | <fraznel> | c_wraith, mauke thanks for the tips! I'm gonna chase some of the tools down and play around with them |
| 2024-02-24 09:21:38 +0100 | krei-se | (~krei-se@p5085d2ec.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-24 09:27:25 +0100 | danza | (~francesco@151.19.225.172) |
| 2024-02-24 09:27:38 +0100 | <haskellbridge> | <irregularsphere> fraznel: "[1,2]:3:[]" are you looking for "[1,2] ++ [3]"? |
| 2024-02-24 09:28:21 +0100 | acidjnk | (~acidjnk@p200300d6e737e74169014d40f6ae7dec.dip0.t-ipconnect.de) |
| 2024-02-24 09:29:05 +0100 | krei-se | (~krei-se@p5085d2ec.dip0.t-ipconnect.de) |
| 2024-02-24 09:30:38 +0100 | <fraznel> | rereading what i said i was mixing up terms left and right. I should have used ++ not : and I kept using amortize instead of memoize :X, watching a video of someone who has ghc-viz compiling and is poking around with it in ghci |
| 2024-02-24 09:33:53 +0100 | <fraznel> | just for general library availability, this video is really good at showing the memory model of sharing / laziness in ghc so far https://www.youtube.com/watch?v=I4lnCG18TaY |
| 2024-02-24 09:34:08 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-24 09:34:13 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-24 09:36:01 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-24 09:37:25 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-24 09:44:20 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-24 09:50:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-24 09:54:40 +0100 | michalz | (~michalz@185.246.207.200) |
| 2024-02-24 09:55:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-24 10:00:00 +0100 | <kaol> | I'm reading about MLIR (an LLVM thing for interfacing with it). I've ran into the phrase "generated automatically" several times now and if this was in Haskell it would just be a Functor or something else and you'd know it'd have certain properties right away without ever encountering those words. |
| 2024-02-24 10:03:50 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-24 10:04:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-24 10:08:40 +0100 | target_i | (~target_i@217.175.14.39) (Ping timeout: 260 seconds) |
| 2024-02-24 10:08:54 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-24 10:08:56 +0100 | danza | (~francesco@151.19.225.172) (Read error: Connection reset by peer) |
| 2024-02-24 10:09:15 +0100 | danza | (~francesco@151.19.252.220) |
| 2024-02-24 10:16:34 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-24 10:18:07 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-24 10:19:58 +0100 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-24 10:20:08 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-24 10:20:46 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-02-24 10:20:51 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-24 10:21:08 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-02-24 10:22:16 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-24 10:26:57 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-02-24 10:33:37 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-02-24 10:48:58 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-24 11:05:03 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 2024-02-24 11:17:59 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-24 11:18:03 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-02-24 11:20:47 +0100 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2024-02-24 11:32:33 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-24 11:35:25 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-02-24 11:41:38 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-02-24 11:42:26 +0100 | average | (uid473595@user/average) |
| 2024-02-24 11:43:30 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-02-24 11:50:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-24 11:57:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-24 12:01:09 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-02-24 12:01:42 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-02-24 12:03:20 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2024-02-24 12:11:22 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2024-02-24 12:16:05 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-02-24 12:16:37 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-02-24 12:17:37 +0100 | bilegeek | (~bilegeek@2600:1008:b0a6:9554:9355:ce0f:c245:5ea2) (Quit: Leaving) |
| 2024-02-24 12:19:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2024-02-24 12:24:53 +0100 | danza | (~francesco@151.19.252.220) (Ping timeout: 240 seconds) |
| 2024-02-24 12:28:37 +0100 | AlexZenon | (~alzenon@178.34.161.13) (Ping timeout: 264 seconds) |
| 2024-02-24 12:33:19 +0100 | mmhat | (~mmh@p200300f1c70b4403ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-24 12:33:27 +0100 | mmhat | (~mmh@p200300f1c70b4403ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2024-02-24 12:34:30 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-24 12:39:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-24 12:41:20 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-24 12:45:23 +0100 | euleritian | (~euleritia@dynamic-176-006-192-152.176.6.pool.telefonica.de) |
| 2024-02-24 12:45:58 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-02-24 12:49:56 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-02-24 12:52:04 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2024-02-24 13:01:38 +0100 | mulk | (~mulk@pd951432d.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-02-24 13:04:31 +0100 | mulk | (~mulk@p5b2dc742.dip0.t-ipconnect.de) |
| 2024-02-24 13:12:11 +0100 | dhil | (~dhil@2001:8e0:2014:3100:6509:6df0:226d:3e8d) |
| 2024-02-24 13:28:38 +0100 | sprout_ | (~quassel@2a02:a448:3a80:0:2037:c061:c130:8cc3) |
| 2024-02-24 13:28:45 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-02-24 13:32:08 +0100 | sprout | (~quassel@2a02-a448-3a80-0-143f-499d-9e68-1311.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 2024-02-24 13:48:46 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-24 13:53:04 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-02-24 13:53:25 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-02-24 14:01:25 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-24 14:09:29 +0100 | yoo | (~yo0O0o@104.28.194.105) (Changing host) |
| 2024-02-24 14:09:29 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-24 14:11:19 +0100 | sprout_ | sprout |
| 2024-02-24 14:11:48 +0100 | billchenchina | (~billchenc@103.152.35.21) (Ping timeout: 256 seconds) |
| 2024-02-24 14:14:16 +0100 | yoo | (~yo0O0o@user/mobivme) (Max SendQ exceeded) |
| 2024-02-24 14:14:51 +0100 | yoo | (~yo0O0o@104.28.194.105) |
| 2024-02-24 14:18:25 +0100 | dhil | (~dhil@2001:8e0:2014:3100:6509:6df0:226d:3e8d) (Ping timeout: 246 seconds) |
| 2024-02-24 14:19:29 +0100 | arahael | (~arahael@119.18.0.146) (Remote host closed the connection) |
| 2024-02-24 14:21:45 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-02-24 14:33:31 +0100 | AlexZenon | (~alzenon@178.34.161.13) (Ping timeout: 260 seconds) |
| 2024-02-24 14:34:14 +0100 | puke | (~puke@user/puke) |
| 2024-02-24 14:34:34 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-24 14:35:13 +0100 | acidjnk | (~acidjnk@p200300d6e737e74169014d40f6ae7dec.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-24 14:36:00 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-24 14:39:16 +0100 | yoo | (~yo0O0o@104.28.194.105) (Changing host) |
| 2024-02-24 14:39:16 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-24 14:41:23 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-02-24 14:42:10 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-02-24 14:42:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-24 14:43:23 +0100 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-02-24 14:43:36 +0100 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-02-24 14:53:01 +0100 | Achylles | (~Achylles_@45.182.57.0) |
| 2024-02-24 15:02:43 +0100 | dhil | (~dhil@2001:8e0:2014:3100:8e01:90f7:b52c:4c7f) |
| 2024-02-24 15:04:21 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-24 15:37:05 +0100 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2024-02-24 15:37:20 +0100 | ell | (~ellie@user/ellie) |
| 2024-02-24 15:57:41 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 240 seconds) |
| 2024-02-24 15:59:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-24 16:11:25 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-24 16:14:32 +0100 | mulk | (~mulk@p5b2dc742.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-02-24 16:15:48 +0100 | mulk | (~mulk@p5b112290.dip0.t-ipconnect.de) |
| 2024-02-24 16:23:53 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-24 16:23:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-24 16:24:56 +0100 | yoo | (~yo0O0o@104.28.226.106) |
| 2024-02-24 16:37:49 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-24 16:39:16 +0100 | img | (~img@user/img) |
| 2024-02-24 16:39:37 +0100 | urdh | (~urdh@user/urdh) (Ping timeout: 255 seconds) |
| 2024-02-24 16:39:46 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) |
| 2024-02-24 16:39:46 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) (Changing host) |
| 2024-02-24 16:39:46 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-24 16:48:47 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-02-24 16:49:40 +0100 | acidjnk | (~acidjnk@p200300d6e737e756e0799c90b43bb6d6.dip0.t-ipconnect.de) |
| 2024-02-24 17:11:07 +0100 | yoo | (~yo0O0o@104.28.226.106) (Ping timeout: 272 seconds) |
| 2024-02-24 17:14:48 +0100 | euleritian | (~euleritia@dynamic-176-006-192-152.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-24 17:15:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-24 17:18:05 +0100 | urdh | (~urdh@user/urdh) |
| 2024-02-24 17:18:19 +0100 | cods | (~fred@tuxee.net) (Ping timeout: 246 seconds) |
| 2024-02-24 17:22:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-24 17:25:04 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-02-24 17:30:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-24 17:32:10 +0100 | jargon | (~jargon@53.sub-174-205-227.myvzw.com) |
| 2024-02-24 17:32:18 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2024-02-24 17:33:15 +0100 | Guest97 | (~Guest97@2001:818:e72f:a300:14c7:2cf4:9277:504c) |
| 2024-02-24 17:33:56 +0100 | Guest97 | (~Guest97@2001:818:e72f:a300:14c7:2cf4:9277:504c) (Client Quit) |
| 2024-02-24 17:40:53 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-24 17:42:58 +0100 | <hololeap> | kaol: what about a Functor is generated automatically? a functor allows you to modify some inner value |
| 2024-02-24 17:44:39 +0100 | <hololeap> | maybe you're thinking of a monoid? |
| 2024-02-24 17:49:49 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-24 17:54:06 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-24 17:55:44 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-02-24 17:57:16 +0100 | <kaol> | I know very well what a functor is, thank you. |
| 2024-02-24 17:58:18 +0100 | <kaol> | I'm just missing the clarity of having documentation say that this is abstraction X right away. |
| 2024-02-24 17:59:06 +0100 | <kaol> | This is C++ so I have to wade through a swamp to finally glean that any single thing is after all something very simple when you find the right way to look at it. |
| 2024-02-24 17:59:24 +0100 | <kaol> | I've been spoiled. |
| 2024-02-24 18:02:04 +0100 | dhil | (~dhil@2001:8e0:2014:3100:8e01:90f7:b52c:4c7f) (Ping timeout: 246 seconds) |
| 2024-02-24 18:05:01 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-24 18:08:07 +0100 | mulk | (~mulk@p5b112290.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-02-24 18:08:32 +0100 | mulk | (~mulk@91.17.36.199) |
| 2024-02-24 18:14:12 +0100 | dhil | (~dhil@2001:8e0:2014:3100:8e01:90f7:b52c:4c7f) |
| 2024-02-24 18:17:13 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-02-24 18:17:57 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Remote host closed the connection) |
| 2024-02-24 18:22:16 +0100 | Achylles | (~Achylles_@45.182.57.0) (Ping timeout: 256 seconds) |
| 2024-02-24 18:26:28 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-24 18:34:10 +0100 | dhil | (~dhil@2001:8e0:2014:3100:8e01:90f7:b52c:4c7f) (Ping timeout: 256 seconds) |
| 2024-02-24 18:54:25 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-02-24 18:55:53 +0100 | elkcl | (~elkcl@37.204.159.17) |
| 2024-02-24 19:00:11 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-02-24 19:00:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-24 19:04:34 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-24 19:21:16 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-02-24 19:23:49 +0100 | iteratee_ | (~kyle@162.218.222.207) |
| 2024-02-24 19:24:52 +0100 | sam113101 | (~sam@modemcable146.137-200-24.mc.videotron.ca) (Quit: WeeChat 4.1.2) |
| 2024-02-24 19:25:16 +0100 | sam113101 | (~sam@modemcable146.137-200-24.mc.videotron.ca) |
| 2024-02-24 19:26:59 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 264 seconds) |
| 2024-02-24 19:28:40 +0100 | iteratee_ | (~kyle@162.218.222.207) (Ping timeout: 260 seconds) |
| 2024-02-24 19:28:45 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-02-24 19:34:59 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-02-24 19:35:41 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-02-24 19:36:14 +0100 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2024-02-24 19:36:53 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-02-24 19:41:55 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-24 19:42:02 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-24 19:43:54 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-24 19:47:16 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-24 19:47:30 +0100 | phma | (~phma@2001:5b0:210b:91a8:ea0b:f2a2:e3e7:60e3) (Read error: Connection reset by peer) |
| 2024-02-24 19:48:15 +0100 | phma | (~phma@host-67-44-208-33.hnremote.net) |
| 2024-02-24 19:49:51 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-5448-f63b-d10b-2672.fixed6.kpn.net) |
| 2024-02-24 19:52:43 +0100 | sprout | (~quassel@2a02:a448:3a80:0:2037:c061:c130:8cc3) (Ping timeout: 260 seconds) |
| 2024-02-24 20:00:05 +0100 | kvgrai | (~kvgrai@p200300f91711f4000c1e8d1adb8ecaa4.dip0.t-ipconnect.de) |
| 2024-02-24 20:00:16 +0100 | kvgrai | (~kvgrai@p200300f91711f4000c1e8d1adb8ecaa4.dip0.t-ipconnect.de) (Client Quit) |
| 2024-02-24 20:00:34 +0100 | kvgrai | (~kvgrai@p200300f91711f4000c1e8d1adb8ecaa4.dip0.t-ipconnect.de) |
| 2024-02-24 20:01:40 +0100 | yoo | (~yo0O0o@104.28.226.106) |
| 2024-02-24 20:03:25 +0100 | <kvgrai> | hey |
| 2024-02-24 20:03:58 +0100 | sprout_ | sprout |
| 2024-02-24 20:07:38 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-02-24 20:09:59 +0100 | Achylles | (~Achylles_@45.182.57.0) |
| 2024-02-24 20:10:38 +0100 | Achylles | (~Achylles_@45.182.57.0) (Read error: Connection reset by peer) |
| 2024-02-24 20:10:55 +0100 | CiaoSen | (~Jura@2a05:5800:2ce:9400:e6b9:7aff:fe80:3d03) |
| 2024-02-24 20:11:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-24 20:12:01 +0100 | sprout | (~quassel@2a02-a448-3a80-0-5448-f63b-d10b-2672.fixed6.kpn.net) (Ping timeout: 255 seconds) |
| 2024-02-24 20:12:28 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-24 20:13:35 +0100 | sprout | (~quassel@2a02-a448-3a80-0-a83b-8754-fdb3-8d27.fixed6.kpn.net) |
| 2024-02-24 20:19:39 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-02-24 20:50:15 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 272 seconds) |
| 2024-02-24 20:51:35 +0100 | yoo | (~yo0O0o@104.28.226.106) (Ping timeout: 264 seconds) |
| 2024-02-24 20:52:13 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-02-24 20:55:48 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-24 20:56:34 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-02-24 20:57:38 +0100 | Square | (~Square@user/square) |
| 2024-02-24 20:59:01 +0100 | petrichor | (~znc-user@user/petrichor) |
| 2024-02-24 21:01:36 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-24 21:01:37 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 264 seconds) |
| 2024-02-24 21:02:23 +0100 | AlexZenon | (~alzenon@178.34.161.13) (Ping timeout: 264 seconds) |
| 2024-02-24 21:03:33 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-02-24 21:07:26 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-24 21:12:38 +0100 | AlexZenon | (~alzenon@178.34.161.13) (Ping timeout: 252 seconds) |
| 2024-02-24 21:16:14 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-24 21:25:02 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-02-24 21:31:30 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) () |
| 2024-02-24 21:33:19 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 272 seconds) |
| 2024-02-24 21:33:31 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) |
| 2024-02-24 21:34:54 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-24 21:35:06 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-02-24 21:36:53 +0100 | michalz | (~michalz@185.246.207.200) |
| 2024-02-24 21:45:37 +0100 | gateway | (~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) |
| 2024-02-24 21:47:20 +0100 | gateway | (~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2024-02-24 21:47:48 +0100 | gateway | (~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) |
| 2024-02-24 21:53:46 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-24 21:54:25 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 264 seconds) |
| 2024-02-24 21:56:36 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-02-24 21:59:08 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2024-02-24 22:00:53 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-b140-8bd0-1a5f-1944.fixed6.kpn.net) |
| 2024-02-24 22:01:35 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 2024-02-24 22:02:47 +0100 | sprout__ | (~quassel@2a02-a448-3a80-0-252b-984d-420d-e98d.fixed6.kpn.net) |
| 2024-02-24 22:04:04 +0100 | sprout | (~quassel@2a02-a448-3a80-0-a83b-8754-fdb3-8d27.fixed6.kpn.net) (Ping timeout: 255 seconds) |
| 2024-02-24 22:05:15 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2024-02-24 22:05:59 +0100 | zetef_ | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 2024-02-24 22:06:06 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-b140-8bd0-1a5f-1944.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 2024-02-24 22:07:48 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Ping timeout: 256 seconds) |
| 2024-02-24 22:10:57 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-24 22:13:03 +0100 | iteratee_ | (~kyle@162.218.222.207) |
| 2024-02-24 22:15:44 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 256 seconds) |
| 2024-02-24 22:15:46 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-24 22:18:27 +0100 | sprout__ | sprout |
| 2024-02-24 22:24:17 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-24 22:24:21 +0100 | gateway | (~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2024-02-24 22:24:45 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-24 22:25:19 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-24 22:26:17 +0100 | rekahsoft | (~rekahsoft@70.51.99.248) |
| 2024-02-24 22:27:33 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.1) |
| 2024-02-24 22:28:00 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Client Quit) |
| 2024-02-24 22:29:49 +0100 | zetef_ | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Remote host closed the connection) |
| 2024-02-24 22:29:52 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-24 22:30:27 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-02-24 22:33:46 +0100 | mulk | (~mulk@91.17.36.199) (Ping timeout: 255 seconds) |
| 2024-02-24 22:33:54 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-24 22:34:08 +0100 | iteratee_ | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-02-24 22:34:26 +0100 | mulk | (~mulk@pd9514bb2.dip0.t-ipconnect.de) |
| 2024-02-24 22:34:32 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-02-24 22:37:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-24 22:37:23 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-02-24 22:39:17 +0100 | FragByte | (~christian@user/fragbyte) |
| 2024-02-24 22:43:57 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-24 22:47:09 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 2024-02-24 22:47:14 +0100 | AlexZenon | (~alzenon@178.34.161.13) (Ping timeout: 252 seconds) |
| 2024-02-24 22:47:56 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) |
| 2024-02-24 22:48:22 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) (Remote host closed the connection) |
| 2024-02-24 22:52:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-24 22:55:50 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-24 23:00:40 +0100 | [exa] | (~exa@user/exa/x-3587197) (Quit: WeeChat 4.1.2) |
| 2024-02-24 23:06:23 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-24 23:13:05 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-02-24 23:17:04 +0100 | zetef | (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Quit: No Ping reply in 180 seconds.) |
| 2024-02-24 23:18:18 +0100 | zetef | (~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) |
| 2024-02-24 23:19:55 +0100 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-24 23:21:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-24 23:22:53 +0100 | CiaoSen | (~Jura@2a05:5800:2ce:9400:e6b9:7aff:fe80:3d03) (Ping timeout: 240 seconds) |
| 2024-02-24 23:25:35 +0100 | zetef | (~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) (Remote host closed the connection) |
| 2024-02-24 23:26:14 +0100 | zetef | (~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) |
| 2024-02-24 23:27:24 +0100 | ystael | (~ystael@user/ystael) |
| 2024-02-24 23:30:55 +0100 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Remote host closed the connection) |
| 2024-02-24 23:31:53 +0100 | bilegeek | (~bilegeek@2600:1008:b086:477d:7583:8839:720f:c01b) |
| 2024-02-24 23:46:05 +0100 | AlexZenon | (~alzenon@178.34.161.13) (Ping timeout: 252 seconds) |
| 2024-02-24 23:50:51 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-24 23:52:27 +0100 | AlexZenon | (~alzenon@178.34.161.13) |
| 2024-02-24 23:58:00 +0100 | jargon | (~jargon@53.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-02-24 23:59:34 +0100 | jargon | (~jargon@53.sub-174-205-227.myvzw.com) |