egg changed the topic of #kspacademia to: https://git.io/JqLs2 | Dogs are cats. Spiders are cat interferometers. | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer. | We can haz pdf | Logs: https://esper.irclog.whitequark.org/kspacademia
<raptop> From silliness elsewhere: https://hastebin.com/yulabawupe.properties
<galois> title: hastebin
e_14159 has quit [Ping timeout: 189 seconds]
e_14159 has joined #kspacademia
_whitelogger has joined #kspacademia
armed_troop has joined #kspacademia
<raptop> ...lava fire? river fire?
<SnoopJ> !how loudly
<galois> SnoopJ: 653 loudlies
<SnoopJ> ^ egg|anbo|egg
<SnoopJ> (it's gonna break but the level of humor in that should be approximately the same as it already was)
queqiao- has joined #kspacademia
queqiao-_ has quit [Ping timeout: 204 seconds]
<re_irc> <@w​hitequark:m​atrix.org> egg|anbo|egg: suppose i have a struct value { int32_t data; }
<re_irc> <@w​hitequark:m​atrix.org> if i have a pointer int32_t *data that i know for a fact was made from a struct value, can i go back?
<re_irc> <@w​hitequark:m​atrix.org> and if yes, which cast would be idiomatic?
<re_irc> <@w​hitequark:m​atrix.org> seems like reinterpret_cast and i can go between pointer to subobject and pointer to object?
egg|anbo|egg_ has joined #kspacademia
<egg|anbo|egg_> whitequark: my understanding is you cannot go back
<re_irc> <@w​hitequark:m​atrix.org> oh, i can use memcpy, i guess
<egg|anbo|egg_> yup, that works
<egg|anbo|egg_> or bit_cast in ultramodern C++
<egg|anbo|egg_> dumb question unrelated: how do you say GFCI/RCD in ru
<egg|anbo|egg_> conteggst being me noticing that there is a split in the terms used in various languages in europe https://twitter.com/eggleroy/status/1416638220717203457
<egg|anbo|egg_> looks like Romance languages tend to go for differential, and germanic ones for earth leak/earth fault
<egg|anbo|egg_> ah дифференциального
<egg|anbo|egg_> !wpn whitequark
* galois gives whitequark a platinum aquatic projectile
<re_irc> <@w​hitequark:m​atrix.org> https://github.com/YosysHQ/yosys/pull/2880 LGTY?
<galois> title: cxxrtl: add debug_item::{get,set} by whitequark · Pull Request #2880 · YosysHQ/yosys · GitHub
<re_irc> <@w​hitequark:m​atrix.org> egg|anbo|egg_: "УЗО"
<re_irc> <@w​hitequark:m​atrix.org> устройство защитного отключения
<re_irc> <@w​hitequark:m​atrix.org> "диффавтомат" refers to a distinct device, actually
<galois> [WIKIPEDIA] Устройство дифференциального тока | "Устройство дифференциального тока (УДТ), (англ. residual current device, RCD) - контактное коммутационное устройство, предназначено для того, чтобы включать, проводить и отключать электрические токи при нормальны
<re_irc> <@w​hitequark:m​atrix.org> "УЗО" is a pure RCD, "диффавтомат" is an RCD combined with an overcurrent breaker
<egg|anbo|egg_> ah
<re_irc> <@w​hitequark:m​atrix.org> never heard "УДТ" used in real life
<egg|anbo|egg_> :D
<re_irc> <@w​hitequark:m​atrix.org> but it might be different if you're doing it formally
<re_irc> <@w​hitequark:m​atrix.org> yes, it seems like УДТ is how the ГОСТ calls it
<re_irc> <@w​hitequark:m​atrix.org> but go to a supermarket and: https://leroymerlin.ru/product/uzo-abb-2-polyusa-25-a-10065457/
<galois> title: УЗО Abb 2 полюса 25 А, 2CSF202004R1250 в Москве – купить по низкой цене в интернет-магазине Леруа Мерлен
<egg|anbo|egg_> oh lol you have leroy merlin in RU
<re_irc> <@w​hitequark:m​atrix.org> everything you see is УЗО or дифференциальный автомат
<re_irc> <@w​hitequark:m​atrix.org> yes, it's great
<re_irc> <@w​hitequark:m​atrix.org> really useful
<egg|anbo|egg_> is there even a difference between FR and RU https://mobile.twitter.com/whitequark/status/1168607019021897728
<egg|anbo|egg_> re. your PR 2880 I am missing conteggst I think
<galois> title: cxxrtl: add debug_item::{get,set}. · YosysHQ/yosys@948fc10 · GitHub
<re_irc> <@w​hitequark:m​atrix.org> i understand that the former is undefined and the latter is ok
<egg|anbo|egg_> I am confused as to what the types of things are here
<egg|anbo|egg_> curr is a value<Bits>?
<egg|anbo|egg_> but then that reinterpret_cast shouldn’t even compile if curr isn’t a pointer, also it would really be a const_cast??!
<egg|anbo|egg_> s/really/really just/
<galois> egg|anbo|egg_ meant to say: but then that reinterpret_cast shouldn’t even compile if curr isn’t a pointer, also it would really just be a const_cast??!
<egg|anbo|egg_> whitequark I don’t understand how to map that to your original question about going back from a member to the structrue
<re_irc> <@w​hitequark:m​atrix.org> egg|anbo|egg_: curr is a chunk_t
<re_irc> <@w​hitequark:m​atrix.org> and it's originally retrieved from a value<Bits>
<re_irc> <@w​hitequark:m​atrix.org> it's for C interop
<galois> title: yosys/cxxrtl_capi.h at 0ccc7229c02449618209a20d66b9fa07e3ea79f2 · YosysHQ/yosys · GitHub
<egg|anbo|egg_> I thought it was the other curr, the one that is a value<Bits>
<egg|anbo|egg_> OK now that I have the types let me try to understand what is going on :-p
<egg|anbo|egg_> yeah the old thing was very UB and the new thing is fine (assuming the various pointers are into arrays of appropriate sizes ofc)
* egg|anbo|egg_ pets whitequark with a cat
<egg|anbo|egg_> so it looks like to do puppeting on matrix I need to run my own server
<re_irc> <@w​hitequark:m​atrix.org> yes
<re_irc> <@w​hitequark:m​atrix.org> egg|anbo|egg_: thank you!
<re_irc> <@w​hitequark:m​atrix.org> the assert makes sure the sizes match
* egg|anbo|egg_ pets whitequark with an irrational method https://twitter.com/eggleroy/status/1416412683088367618
<egg|anbo|egg_> tired: computing cube roots with additions and multiplications; wired: using divisions; inspired: using square roots
<egg|anbo|egg_> !wpn whitequark’s cats
* galois gives whitequark’s cats a woman-in-the-middle angle
<raptop> man in the middle, woman in the middle, cat in the middle
<egg|anbo|egg_> cat!
<egg|anbo|egg_> *scritch*
<queqiao-> ⟨w​hitequark⟩ !wpn egg
* galois gives egg a machine
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #kspacademia
<egg|anbo|egg_> whitequark: the Challenger 2 thing reminded me of https://www.polygon.com/2019/5/15/18623545/eagle-dynamics-f-16-manual-conspiracy-smuggling-russia
<galois> title: Flight sim employee arrested for attempting to smuggle jet fighter manuals - Polygon
<raptop> priorities!
<egg|anbo|egg_> apparently on the FR side they went with a different approach, razbam (the makers of the Mirage 2000C plugin) have a contract with the french air force
<egg|anbo|egg_> I wonder how they do it for the RU planes, since the developers are from there
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #kspacademia
<egg|anbo|egg_> whitequark: raptop: also it appears that the arrested DCS developer was released and went back to work, so just like publishing classified documents is not bannable, smuggling F-16 docs is not fireable https://fr.wikipedia.org/wiki/Eagle_Dynamics#Arrestation_d'un_d%C3%A9veloppeur
<galois> [WIKIPEDIA] Eagle Dynamics#Arrestation d'un développeur | "Eagle Dynamics est un studio de développement de jeux vidéo et de logiciels professionnels spécialisé dans la simulation de vol militaire. Ses employés travaillent en étroite collaboration avec les membres de la Fighter Collection. Bien que la société soit domiciliée en Suisse, ses équipes de développement..."
<egg|anbo|egg_> (the english wikipedia article on Eagle Dynamics is oddly short)
<re_irc> <@w​hitequark:m​atrix.org> egg|anbo|egg_: also https://www.bbc.com/news/technology-21028105
<galois> title: Game makers released from Greek jail - BBC News
<egg|anbo|egg_> hah
<egg|anbo|egg_> whitequark: I wonder why the razbam « just make a deal with the army » approach doesn’t happen more often
<egg|anbo|egg_> (https://moovely.fr/larmee-de-lair-francaise-sequipe-de-dsc-world-mirage-2000/, aside from the fact that this outlet cannot spell DCS)
<galois> title: L'Armée de l'Air Française s'équipe de DSC World - Mirage 2000
<egg|anbo|egg_> ah longer and english-language article about that https://stormbirds.blog/2018/05/04/razbam-details-unprecedented-with-armee-de-lair/
<galois> title: RAZBAM details unprecedented access to the Armée de l’Air – Stormbirds
mofh has joined #kspacademia
egg|anbo|egg__ has joined #kspacademia
egg|anbo|egg_ has quit [Ping timeout: 192 seconds]
<egg|anbo|egg__> !wpn whitequark
* galois gives whitequark a NaN thermonyaacular station
<queqiao-> ⟨w​hitequark⟩ !wpn egg
* galois gives egg a lynx with a fact attachment
<egg|anbo|egg__> factual kitty!
<egg|anbo|egg__> cat
<galois> You are now subscribed to Cat Facts.
<galois> To unsubscribe, pray the strongest lament you know; there is no unsubscription from Cat Facts.
* raptop meows at galois?
<raptop> This is reasonable, right? https://photos.app.goo.gl/69G3SeZa4DdWF8Hs9
<galois> title: Shared album - Patrick N - Google Photos
<SnoopJ> !meow
<galois> 喵
egg|anbo|egg__ has quit [Remote host closed the connection]
<egg|anbo|egg> hedge-pigge
<raptop> Are the hedge-pigges loud enough to scare ANBOcat?
<raptop> (compare with cicadas I guess)
<egg|anbo|egg> whitequark: ooooh C++20 has an std::chrono::tai_clock
<re_irc> <@w​hitequark:m​atrix.org> sweeeet
egg|anbo|egg_ has joined #kspacademia
egg|anbo|egg__ has joined #kspacademia
egg|anbo|egg_ has quit [Ping timeout: 192 seconds]
egg|anbo|egg__ has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #kspacademia
<egg|anbo|egg_> whitequark: what is G￮￮w￮￮e
<egg|anbo|egg_> !u ￮
<galois> ￮: U+ffee HALFWIDTH WHITE CIRCLE
<re_irc> <@w​hitequark:m​atrix.org> gtkwave
<re_irc> <@w​hitequark:m​atrix.org> look at this https://github.com/gtkwave/gtkwave/blob/master/gtkwave3/src/vcd.c#L455-L608
<galois> title: gtkwave/vcd.c at master · gtkwave/gtkwave · GitHub
<egg|anbo|egg_> whitequark: can I unlook at it instead
* re_irc @w​hitequark:m​atrix.org offers egg a shot of ethanol
<re_irc> <@w​hitequark:m​atrix.org> you're welcome
<egg|anbo|egg_> well I do have a nice choice of ethanol solutions here
<egg|anbo|egg_> whitequark: including the previously-mentioned fae https://esper.irclog.whitequark.org/kspacademia/2021-06-30#3213333
<galois> title: #kspacademia on 2021-06-30 — irc logs at whitequark.org
<re_irc> <@w​hitequark:m​atrix.org> mmm, a FAE preserved in ethanol
<egg|anbo|egg_> :D
<egg|anbo|egg_> cat is very soft
<egg|anbo|egg_> also has its tongue stuck out
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #kspacademia
* egg|anbo|egg_ pets whitequark with a cat
* egg|anbo|egg_ pets a cat
* raptop pets a cat with whiteqark
* egg|anbo|egg_ sniffs the cat
<egg|anbo|egg_> the cat smells like cat
<egg|anbo|egg_> cat
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #kspacademia
* SnoopJ blinks at vcd.c
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #kspacademia
e_14159 has quit [Quit: No Ping reply in 180 seconds.]
e_14159 has joined #kspacademia