raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Gateaux. We currently target 1.8.1, 1.9.1, and 1.10.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly… | <egg> also 4e16 m * 2^-52 is uncomfortably large
bees has quit [Ping timeout: 189 seconds]
bees has joined #principia
egg|cell|egg has quit [Ping timeout: 204 seconds]
egg|cell|egg has joined #principia
egg|laptop|egg has joined #principia
<discord-> [​experimentalshells?]. — *aged for 4.5 billion years*
<discord-> [​experimentalshells?]. — *aged for 4.5 billion years.* (edited)
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has joined #principia
Mike` has quit [Ping timeout: 204 seconds]
Mike` has joined #principia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #principia
Mike` has quit [Ping timeout: 189 seconds]
Mike` has joined #principia
raptop has quit [Ping timeout: 189 seconds]
Mike` has quit [Ping timeout: 204 seconds]
Mike` has joined #principia
egg|laptop|egg has joined #principia
<discord-> e​gg. — An anecdote involving Гельфанд https://twitter.com/gro_tsen/status/1328694101475254274
armed_troop has quit [Ping timeout: 198 seconds]
armed_troop has joined #principia
<discord-> P​teropodidae. — That C snippet a few Tweets up is quite something to my inexperienced eyes
<discord-> P​teropodidae. — What does `p = &(int){0}` do, anyways?
<discord-> e​gg. — I think it creates a temporary integer, takes its address, assigns it to p, and when that full-expression is done p dangles
<discord-> e​gg. — but I don’t know C
<discord-> P​teropodidae. — Ah
<discord-> P​teropodidae. — That makes a grotesque kind of sense now that you spelled it out
<discord-> P​teropodidae. — Thanks!
<discord-> P​teropodidae. — Actually, one more question
<discord-> P​teropodidae. — Would you happen to know whether the author's assessment of when it's UB is correct?
<discord-> P​teropodidae. — Not sure I'm understanding why it'd only be defined if `c` were 0
<discord-> e​gg. — void friend probably knows what is going on
<discord-> e​gg. — I definitely do not
<discord-> e​gg. — the explanation is here: https://twitter.com/rep_stosq_void/status/1328668778251612161
<discord-> P​teropodidae. — Ah, neglected to look elsewhere
<discord-> P​teropodidae. — Thanks!
<discord-> S​tandecco. — isn't `(int)` a cast?
<discord-> P​teropodidae. — Huh
<discord-> P​teropodidae. — Didn't expect the lifetimes to work out that way
<discord-> e​gg. — @Standecco here it is part of a compound literal https://en.cppreference.com/w/c/language/compound_literal
<discord-> P​teropodidae. — Suppose that's one way "`for` is syntactic sugar for `while`" breaks down
<discord-> e​gg. — (C-only thing, no such thing in C++)
<discord-> P​teropodidae. — .....This is breaking my brain
<discord-> S​tandecco. — mh, not knowledgeable enough to understand why you'd use it against a regular array
<discord-> e​gg. — ~~I think it creates a temporary integer, takes its address, assigns it to p, and when that full-expression is done p dangles~~ (no, it is a compound literal, block scope) (edited)
<discord-> e​gg. — @Pteropodidae I think this is partly the goal :-p
<discord-> e​gg. — also as described there (int){0} is not a temporary, its lifetime is determined by the surrounding block
<discord-> e​gg. — also as described there (int){0} is not a temporary, its lifetime is determined by the surrounding block rather than being that of the full-expression (edited)
<discord-> P​teropodidae. — Well it's worked entirely too well
<discord-> P​teropodidae. — Yeah, it's the lifetime bit that's throwing me off the most
sdrodge has quit [Ping timeout: 198 seconds]
raptop has joined #principia
egg|cell|egg has quit [Ping timeout: 204 seconds]
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has joined #principia
sdrodge has joined #principia
raptop has quit [Ping timeout: 189 seconds]
raptop has joined #principia
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia