GreeningGalaxy has quit [Ping timeout: 201 seconds]
Wetmelon has joined #kspacademia
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
GreeningGalaxy has joined #kspacademia
Wetmelon has quit [Ping timeout: 194 seconds]
GreeningGalaxy has quit [Ping timeout: 201 seconds]
icefire has quit [Read error: Connection reset by peer]
GreeningGalaxy has joined #kspacademia
GreeningGalaxy has quit [Ping timeout: 190 seconds]
GreeningGalaxy has joined #kspacademia
GreeningGalaxy has quit [Ping timeout: 206 seconds]
<egg|zzz|egg> returning an stl-iterator-like struct is always a mess, so I just made a Vessel::ForAllParts(std::function<void(Part&)>) function
<egg|zzz|egg> and then I made a Vessel::ForSomeParts(std::function<void(Part&)>) :D
<egg|zzz|egg> clearly we need a language with a "for some" statement, like there are "for all", "foreach" etc.
<e_14159> egg|zzz|egg: But does "for some" imply not "for all"?
<egg|zzz|egg> e_14159: were this predicates, this would be or, rather than and; here it's imperative, so it picks one element (collection must not be empty) and runs on that
<e_14159> Plans for C++20?
<egg|zzz|egg> (which element is implementation-defined; users shall not rely on how it is picked)
<egg|zzz|egg> e_14159: Ada 2012 introduced for all loops (their syntax for foreach), and also added the keyword some for predicates
<egg|zzz|egg> e_14159: sadly they didn't make a for some loop :D
<egg|zzz|egg> well it's not really a loop I guess
<egg|zzz|egg> so maybe it should be "for some X of A do ..." contrasting with "for all X of A loop", similar to the "return X : T do ..." statement
<egg|zzz|egg> but then what would the end be? can't be end loop
<e_14159> But do we also need a "for None X of A loop"?
<egg|zzz|egg> oh wait the loop is just for X of A loop
<egg|zzz|egg> no all
<egg|zzz|egg> the all is in the predicates only
<egg|zzz|egg> e_14159: or maybe it should be implementation-defined whether it picks one or several elements :D
<egg|zzz|egg> and then it's a loop :D
<egg|zzz|egg> e_14159: but anyway I now have this :D https://hastebin.com/tiriyipice
<egg|zzz|egg> e_14159: which hastebin wants to syntax highlight as lisp?
<egg|zzz|egg> hastebin can smell the hints of functionality I guess
<Thomas> :D
icefire has joined #kspacademia
Hydragyrum has quit [Ping timeout: 206 seconds]
Hydragyrum has joined #kspacademia
<egg|zzz|egg> now https://github.com/johnturner has a face, but he still isn't https://github.com/Norgg
<egg|zzz|egg> also norgg.org continues to be a great domain name
<Thomas> org.norgg
<egg|zzz|egg> Thomas: Norgg should get that TLD registered :-p
<Thomas> norgg.norgg
<Iskierka> no.rgg
icefire has quit [Read error: Connection reset by peer]
GreeningGalaxy has joined #kspacademia
<egg|zzz|egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy an isochoric nephroid
egg|zzz|egg is now known as egg
icefire has joined #kspacademia
egg is now known as egg|nomz|egg
<egg|nomz|egg> (phl saw that in Nature)
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
<egg|nomz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a Hittite ?
egg|nomz|egg is now known as egg
<pizzaoverhead> o/ egg
<egg> !wpn pizzaoverhead
* Qboid gives pizzaoverhead a magic buzzard
<pizzaoverhead> \o/
<pizzaoverhead> That is my favourite kind of buzzard :D
<pizzaoverhead> !wpn egg
* Qboid gives egg an ones-complement explosion
<egg> UmbralRaptor: planets!
<UmbralRaptor> So research stuff?
<egg> UmbralRaptor: ?
<UmbralRaptor> eggsoplanets!
<egg> UmbralRaptor: well likely he wants to make a proposal to the IAU?
<egg> that way we can have moar IAU resolutions redefining things
* egg pokes UmbralRaptor with time
<UmbralRaptor> aaaaaaaaa
<UmbralRaptor> !g IAU definition brown dwarf
<Qboid> UmbralRaptor: http://cs.astronomy.com/asy/b/astronomy/archive/2015/08/08/iau-day-2-what-makes-a-brown-dwarf.aspx [IAU day 2: What makes a brown dwarf? - Astronomy Magazine ...] (14000 results found, took 0.69s)
<egg> UmbralRaptor: I like that definition tbh
<egg> admittedly it produces a lot of planets
<egg> UmbralRaptor: but it gives us back the planet Ceres
<egg> which is nice
<egg> also Titan, which is cool, becomes one
<UmbralRaptor> That should placate the ice weasels.
<egg> that too
<egg> Are there Titatic ice weasels
<egg> s/tic/nic
<Qboid> egg meant to say: Are there Titanic ice weasels
<UmbralRaptor> Not sure.
GreeningGalaxy has quit [Quit: SIGNAL LOST]
GreeningGalaxy has joined #kspacademia
<Norgg> egg: Heh, github/johnturner is the account I use for work things but I'm constantly forgetting to set git settings and commit under the wrong one...
<egg> Norgg: yeah, you did a couple of commits using that one on principia
<egg> Norgg: UmbralRaptor: also I set some keywords using the new keyword thing, any thoughts? https://github.com/mockingbirdnest/Principia
<Norgg> #celestial-mechanics
<egg> wait no
<egg> that's restricted
TonyC1 has quit [Read error: Connection reset by peer]
TonyC has joined #kspacademia
TonyC has quit [Read error: Connection reset by peer]
GreeningGalaxy has quit [Ping timeout: 194 seconds]
GreeningGalaxy has joined #kspacademia
<egg> UmbralRaptor: should I play some dwarven centre for scientific research
<egg> or sleep
<egg> or fly silly supersonic aircraft
<egg> or sleep
<egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a harmfully-considered ram which vaguely resembles a pommel