09:27:18 <Guest61> 大家好
09:27:27 <Guest61> 有人吗
09:27:51 <Guest61> ？
13:57:42 <gingeropolous> all right. so im takin these online programming classes. some of the questions are of the type "here's some code. what would happen on line 9?". ... how important is it to actually construct and run the program in your head vs... you know... having the computer do it
13:58:40 <gingeropolous> i personally find it difficult to imagine a case where it would be impossible to actually test something to see if its doing what i think it should do
14:01:15 <sech1> sometimes it takes 10 minutes just to compile the code in question, if it's a big project
14:03:04 <gingeropolous> roight roight
14:04:18 <gingeropolous> and i guess the mental construction is what y'all do when u review code changes etc
14:36:31 <moneromooo> It's not always easy to get into a state where you can test that particular code repeatedly, and you can't always copy/paste some code to be run separately.
14:37:15 <moneromooo> Even if you can run the code easily repeatedly, running it tells you what it does with a particular input state (or the input states you chose).
14:37:21 <moneromooo> This is what something like coverity does.
14:37:51 <moneromooo> This is a brute force way of doing things, and will be unlikely to give you good results in general, though it can be useful too.
14:38:18 <hyc> coverity would work a lot better if it only manipulatd input states. that's not what it does though.
14:38:28 <moneromooo> If you do that, you're basically doing "poke and hope". Or maybe, if you want to feel fancy, genetic algorithms :D
14:39:07 <hyc> it tests conditional statements, and checks both conditions of a test. even if an earlier line of code has already established that only one condition is true
14:39:19 <hyc> that's why it gives so many false positives...
14:39:34 <moneromooo> Kinda does, but yes, more like tools like automated fluffy rabbit forgot-its-name.
14:39:41 <moneromooo> afl
14:40:21 <moneromooo> Though that's more like "trying to change the input to that bit of code".
16:22:02 <rbrunner> Nicolas van Saberhagen is listed as a sponsor on the homepage of Monero Konferenco 2022 at https://monerokon.com/. Wtf?
16:24:55 <moneromooo> Maybe he rich now :D
16:26:32 <plowsof[m]> Never mind N.v.s, who is 'Cyberpunk Hero'! (even gets big letters)  
16:28:32 <moneromooo> And Zooko ?
16:30:41 <plowsof[m]> ill ask ajs to confirm ^^
16:31:43 * moneromooo ponders whether to lookup ajs
16:32:34 <plowsof[m]> Ajs is in charge of xmr .radio / streaming audio visual / event planning 
16:33:05 <moneromooo> Ah. Thanks :D
16:33:23 <moneromooo> I was feeling lke "I been here since 2014 and yet that's not enough to get that reference" :D
16:33:42 <plowsof[m]> ok "They are just nick names for the different tier levels" ~ ajs , so 'N.v.s' is a 'tier' , and so it cyberpunk hero
16:34:45 <plowsof[m]> "Heros are the largest donors to the conference, followed by nick, and then the contributor level"
16:36:54 <moneromooo> So we definitely need to get CZ to pitch in at the van Saberhagen level then...
16:38:08 <plowsof[m]> moneromooo: Add the new pokemon card to the collection, im trying to collect em all 
16:38:59 <plowsof[m]> i don't have anything pre-6 months ago in my collection :( 
16:40:37 <moneromooo> OK, *now* I am baffled :D
16:41:10 <plowsof[m]> lolol
16:41:57 <moneromooo> Crpto news tomorrow: "Pokemon NFT coming to monero".
16:43:49 <rbrunner> Thanks plowsof[m]. That explains all, but is also kind of ... anticlimactic :)
16:44:04 <plowsof[m]> i've got a rare moneromoo on shiny , near mint condition. attributes: 'hulk mode' ~ if someone complains about 'wasting 1 day on a problem' - i can combine this with the 'tech support wildcard' for ++ damage 
18:00:15 <revuoxmr> Revuo Monero. Issue 120: May 5-12, 2022. http://revuo-xmr.com/issue-120.html