| 00:07:10 | * | Mister_Magister quit (Quit: bye) |
| 00:09:44 | * | Mister_Magister joined #nim |
| 01:11:56 | * | rockcavera quit (Read error: Connection reset by peer) |
| 01:12:15 | * | rockcavera joined #nim |
| 01:12:15 | * | rockcavera quit (Changing host) |
| 01:12:15 | * | rockcavera joined #nim |
| 02:48:26 | * | rockcavera quit (Remote host closed the connection) |
| 04:32:44 | * | skippy8 joined #nim |
| 04:45:12 | FromDiscord | <janakali> In reply to @11clock "Can someone explain why": https://github.com/nim-lang/Nim/issues/10817#issuecomment-489404166↵`makeOne` has the calling convention `nimcall`, but `()->int` type has calling convention `closure`.↵nimcalls can be promoted to closures e.g. on add, but it won't work if you just put it inside a `@[]`. |
| 05:32:14 | * | skippy8 quit (Quit: WeeChat 4.8.1) |
| 05:36:54 | FromDiscord | <tempestro> In reply to @11clock "oh nvm, that wasn't": I'm sure you've explained that somewhere, but why do you not rename the variable to `age`? |
| 06:56:55 | FromDiscord | <capocasa> Does anyone have a Kimi sub and could (1) test K3 it with 3code (2) add to known good and PR? |
| 08:43:06 | * | termer quit (Quit: Ping timeout (120 seconds)) |
| 08:43:21 | * | termer joined #nim |
| 11:24:20 | * | jjido joined #nim |
| 11:24:45 | * | jjido quit (Client Quit) |
| 11:27:29 | * | jjido joined #nim |
| 11:54:01 | FromDiscord | <bung8954> In reply to @capocasa "Does anyone have a": i just subscribed today, year plan, today, am afraid it will raise price soon |
| 11:54:42 | FromDiscord | <bung8954> In reply to @capocasa "Does anyone have a": give me the task, i can try it with kimi k3 |
| 13:12:56 | FromDiscord | <0ffh> In reply to @bung8954 "i just subscribed today,": What, how? I thought they had closed subscriptions because demand was greater than they could deliver? |
| 13:13:44 | FromDiscord | <bung8954> In reply to @0ffh "What, how? I thought": i dont know, i subscribe after saw new that they close personal sub |
| 13:13:52 | FromDiscord | <bung8954> (edit) "new" => "news" |
| 13:14:11 | FromDiscord | <bung8954> (edit) "sub" => "sub, or maybe because am old user" |
| 13:14:22 | * | jjido quit (Ping timeout: 245 seconds) |
| 13:14:33 | FromDiscord | <0ffh> In reply to @bung8954 "i dont know, i": Huh! 🤷♂️ Well, good for you! 👍 |
| 13:15:39 | FromDiscord | <bung8954> In reply to @0ffh "Huh! 🤷♂️ Well,": yeah, am using it currently on desktop client, seems not consume my usage limit |
| 13:29:22 | FromDiscord | <capocasa> sent a long message, see https://pasty.ee/gBHAhKcL |
| 13:30:10 | FromDiscord | <capocasa> (edit) "https://pasty.ee/xTEYJRKK" => "https://pasty.ee/CKjAEFmn" |
| 13:35:02 | FromDiscord | <11clock> In reply to @tempestro "I'm sure you've explained": The goal is a read-only field outside the module. You can do this in C#:↵↵public decimal Balance { get; private set; } |
| 13:37:21 | FromDiscord | <11clock> Nim doesn't let you name a getter and a field the same name, which results in awkward naming for the backing field. |
| 13:37:31 | FromDiscord | <11clock> A private setter helps with that. |
| 14:20:04 | * | joast quit (Quit: Leaving.) |
| 14:51:56 | FromDiscord | <gesee37> sent a long message, see https://pasty.ee/dgUqZWaf |
| 14:52:31 | FromDiscord | <gesee37> This IMO just gives more credit to @N |
| 14:54:20 | FromDiscord | <gesee37> (edit) "@N" => "@nervecenter presentation at the NimConf↵Borrow checking is really similar to value semantics.↵And trying to make borrow checking for `ref` objects was just giving them highly restricted value semantics (which is redundant with `object`)" |
| 15:02:36 | FromDiscord | <asviest> In reply to @gesee37 "I think I have": Cool if it can actually speed up programs |
| 15:03:39 | FromDiscord | <gesee37> In reply to @asviest "Cool if it can": it should as it lift some work for the ARC |
| 15:04:34 | FromDiscord | <tapeda> My favorite current GC is Perceus, and the whole Functional-but-in-place stuff that is afforded by it in Koka-lang the best of both values and reference semantics afaict (and the first lang to make effects first-class imo) |
| 15:06:42 | FromDiscord | <asviest> In reply to @tapeda "My favorite current GC": It differs from ARC, Swift, smart pointers, rust etc? |
| 15:07:40 | FromDiscord | <asviest> I.e adds refference counters at compile time |
| 15:08:07 | FromDiscord | <asviest> (edit) "refference" => "reference" |
| 15:08:26 | FromDiscord | <gesee37> In reply to @tapeda "My favorite current GC": I have seen a lot about koka lang (in the positive way) |
| 15:08:46 | FromDiscord | <gesee37> But haven't seen it through myself |
| 15:11:29 | FromDiscord | <tapeda> In reply to @asviest "I.e adds reference counters": Yes in this way it's similar. But beyond this the reuse lets u deal with data as-if it had value semantics, yet it proves it safe and just mutates in place. It can even prove at runtime dynamically, and there's a keyword 'fip' that guarantees it at comptime |
| 15:12:38 | FromDiscord | <tapeda> In reply to @gesee37 "I have seen a": It's my muse rn apparently koka means effect in Japanese even so it's very explicit about the priorities |
| 15:19:39 | * | joast joined #nim |
| 15:25:36 | FromDiscord | <asviest> In reply to @tapeda "Yes in this way": Am I correct that it means that a + 42 will use a slot if it last usage of a? And Perseus makes this working for any type because it knows last usage at compile time. If so, it very cool |
| 15:30:21 | FromDiscord | <tapeda> Right, and then there's some stuff way over my head about how it uses this to do wild tail recursion expansions into nice iterative loops (it compiles to c) |
| 15:36:43 | FromDiscord | <asviest> In reply to @tapeda "Right, and then there's": I had done some quick research on TRMC before and there are article from Koka lang how it works:↵https://dl.acm.org/doi/10.1145/3571233↵But I didn't really try to get into this. |
| 15:38:28 | FromDiscord | <tapeda> Or rather it takes non tail positioned recursion and optimizes as-if it were normal TCO or smth |
| 15:38:34 | FromDiscord | <tapeda> In reply to @asviest "I had done some": yeah same the other parts of the language have kept me busy |
| 15:43:05 | FromDiscord | <_maqix_> is nim inspired by pascal? |
| 15:44:13 | FromDiscord | <gesee37> In reply to @gesee37 "I think I have": A pleasue to torture Gemini 😄 |
| 15:48:12 | FromDiscord | <asviest> In reply to @_maqix_ "is nim inspired by": I pretty sure that var/let/const, type blocks was inspired by pascal |
| 15:49:12 | FromDiscord | <muddmaker> The original Nim compiler was written in Pascal |
| 15:49:18 | FromDiscord | <tapeda> In reply to @gesee37 "A pleasue to torture": Did u(or gemini) like the plugin & nifcursor stuff? It does seem pretty pithy, and ur implementation too.. |
| 15:50:34 | FromDiscord | <gesee37> In reply to @tapeda "Did u(or gemini) like": Well nifcursor were kind of hard to use.↵It took me time just to figure how it works.↵Then going through all the obscure errors.↵And making everything fits together |
| 15:51:31 | FromDiscord | <gesee37> In reply to @tapeda "Did u(or gemini) like": I find them cool and powerful if you really know what your are doing.↵THe borrow checker is not perfect also (my first time doing anything outside gamedev :p) |
| 15:51:39 | FromDiscord | <gesee37> (edit) "doing.↵THe" => "doing.↵The" |
| 15:53:05 | FromDiscord | <gesee37> In reply to @tapeda "Did u(or gemini) like": But yeah the heavy lifting is done by nif, even through you can only do analysis on module and you can't get informations from other modules so it's kind of limiting |
| 15:56:03 | FromDiscord | <tapeda> Yeah classic untyped macros have a nice simplicity to them even if they scale/compose poorly. But that u got so far in this early version of nimony makes me hopeful |
| 15:57:22 | FromDiscord | <gesee37> In reply to @tapeda "Yeah classic untyped macros": You should, I really expect much from nimony as plugins can let you add compiler pass to your program.↵So for optimization (or constraints) it's really useful and unique IMO |
| 16:11:37 | FromDiscord | <_maqix_> In reply to @muddmaker "The original Nim compiler": is its code public? |
| 16:19:28 | FromDiscord | <muddmaker> I don't know. I'm going off of the note in the repo that says that it is a translation from the Pascal bootstrap compiler |
| 16:26:32 | FromDiscord | <Laylie> it's in the git history |
| 17:05:42 | * | emery quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:05:59 | * | emery joined #nim |
| 17:48:02 | * | Mister_Magister_ joined #nim |
| 17:48:59 | * | Mister_Magister quit (Ping timeout: 255 seconds) |
| 17:54:31 | * | Mister_Magister joined #nim |
| 17:55:19 | * | Mister_Magister_ quit (Ping timeout: 245 seconds) |
| 18:02:25 | * | Mister_Magister_ joined #nim |
| 18:03:52 | * | Mister_Magister quit (Ping timeout: 276 seconds) |
| 18:05:40 | * | Mister_Magister_ is now known as Mister_Magister |
| 18:30:24 | * | zgasma joined #nim |
| 19:24:07 | * | mahlon quit (Quit: PotatoTech) |