<soundnfury> !wpn
* Qboid gives soundnfury an acyclic oscilloscope
<soundnfury> this will be great for measuring all my aperiodic processes
* soundnfury wonders, can you have a nonzero f:ℝ→ℝ with an all zero Fourier transform? and how 'continuous' can it be?
TentacularGalaxy has quit [Quit: SIGNAL LOST]
GreeningGalaxy has joined #kspacademia
regex has quit [Remote host closed the connection]
icefire has joined #kspacademia
<soundnfury> egg|zzz|egg: so I'm assuming that by now you've seen the latest acapellascience?
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
GreeningGalaxy has quit [Ping timeout: 180 seconds]
GreeningGalaxy has joined #kspacademia
GreeningGalaxy has quit [Quit: SIGNAL LOST]
icefire has quit [Read error: Connection reset by peer]
GreeningGalaxy has joined #kspacademia
Qboid was kicked from #kspacademia by *status [You have been disconnected from the IRC server]
Qboid has joined #kspacademia
<egg|zzz|egg> !acr -add:GTOC Global Trajectory Optimisation Competition
<egg|zzz|egg> !wpn
* egg|zzz|egg pokes Qboid
<Thomas> Hmm
<Thomas> !roll
<Thomas> !roll
<Qboid> Thomas: 2
<Thomas> Logs say he disconnected from the ZNC o.O
<egg|zzz|egg> !acr -add:GTOC Global Trajectory Optimisation Competition
<Qboid> egg|zzz|egg: I added the explanation for this acronym.
<egg|zzz|egg> GTOC?
<Qboid> egg|zzz|egg: [GTOC] => Global Trajectory Optimisation Competition
<egg|zzz|egg> KZM?
<Qboid> egg|zzz|egg: [KZM] => Кабель-Заправочная Мачта
<UmbralRaptor> !acr -list
<Qboid> UmbralRaptor: I will send you a list of my acronyms!
<Qboid> UmbralRaptor: Default constructor not found for type System.String
* UmbralRaptor pokes Thomas?
<Thomas> I am trying to fix this atm
<UmbralRaptor> ah, sorry.
GreeningGalaxy has joined #kspacademia
<SnoopJeDi> Qboid is a javabot? :O
<Thomas> No?
<Thomas> C#
<Thomas> (aka Java-done-right :P)
<SnoopJeDi> oh, whoops
<egg|zzz|egg> UmbralRaptor: co-authored memes!
<GreeningGalaxy> my uni just sent out an email that's like "well, Firefox just stopped supporting Java, so you'll have to use $UNSPECIFIED_BROWSER to access our website"
<GreeningGalaxy> like, have you considered that maybe your website is the problem?
<GreeningGalaxy> I think they want us to use an outdated version of firefox or something
<egg|zzz|egg> aaaaa
<GreeningGalaxy> or internet explorer
<UmbralRaptor> AAAAAAAAAAAAAAAAAAAAAAAA
<UmbralRaptor> egg|zzz|egg: There's a lot of fun to be had with that format.
<kmath_> <eggleroy> *voit un couple* Laquelle d'entre vous est le singleton et laquelle est la paire?
<kmath_> <eggleroy> (this joke was co-authored with @whitequark, both authors contributed equally to this work)
<egg|zzz|egg> (further context: in french couple means both couple as in married couple and ordered pair---and also torque but that's not relevant here)
<soundnfury> UmbralRaptor: lim_{n→∞} Aⁿ?
<UmbralRaptor> Which of you is the position, and which of you is the force?
<egg|zzz|egg> UmbralRaptor: hmm, nah, doesn't really work
<UmbralRaptor> soundnfury: Nah, given the finite number of browsers, it most definitely does not go to infinity.
<egg|zzz|egg> UmbralRaptor: see, the thing is it's a couple of forces really
<soundnfury> iunno, I think for IE4 any bounded string of AAAAAA...A is insufficient
<UmbralRaptor> If we're talking IE4 era, you'll run out of RAM after less than 100 million As.
<soundnfury> egg|zzz|egg: torque-vector and (up to displacement parallel to said vector) location of axis?
<soundnfury> UmbralRaptor: ah, but we can compress very efficiently, because the string has very low entropy
<SnoopJeDi> finite automata are neat and I don't understand them
GreeningGalaxy has quit [Quit: SIGNAL LOST]
GreeningGalaxy has joined #kspacademia
egg|zzz|egg is now known as egg|nomz|egg
<soundnfury> to eat, to sleep, perchance to egg
GreeningGalaxy has quit [Ping timeout: 201 seconds]
egg|nomz|egg is now known as egg
whitequark has joined #kspacademia
<egg> o/ whitequark
<whitequark> \o
<UmbralRaptor> o/
<whitequark> what are those flags
<whitequark> +AOfiorstv ?!
<egg> I have no idea, they're the preset SOP
<Iskierka> it looks like a really obscure twitter @
<UmbralRaptor> Uh, auto op, can use chanserv to op, founder,…
<whitequark> oh, anarchy
<whitequark> I like it
<egg> not quite anarchic, I'm the founder
<egg> everyone renders justice^W kickbans in the name of the egg :-p
<whitequark> yeah but you +f'd me no?
<egg> yes
<egg> whitequark: also, meet the bots, Qboid is an all-purpose bot, does acronym expansion, !tells, wolfram alpha, etc., kmath_ does tweet expansion and various other things, Parenthesie is a lispbot
<egg> not sure why kmath_ is op, must be signed in like icefire or somesuch
<whitequark> Qboid: hi
<egg> !wpn whitequark
* Qboid gives whitequark a clopen pulse generator
<egg> it has a weapon generator, where we feed adjectives and weapons
<egg> and it expands acronyms:
<egg> KZM?
<Qboid> egg: [KZM] => Кабель-Заправочная Мачта
<egg> EAP?
<Qboid> egg: [EAP] => Étage d'Accélération à Poudre
<egg> IRFNA?
<Qboid> egg: [IRFNA] => Inhibited Red Fuming Nitric Acid
<egg> see https://hastebin.com/xaropalovi for the current list
<egg> some silly people added silly things >_>
<UmbralRaptor> <_<
<egg> (also some silly people invented silly acronyms, but that's fine)
<whitequark> >[lncRNA] => long non-coding RNA
<egg> whitequark: !acr -add:ACRONYM Expansion
<egg> oh, you mean it's actually in already
<egg> no idea whence
<egg> maybe Sigma88
<egg> oh, there's also GitHub expansion, so e.g. whitequark/irclogger#1
<Qboid> [#1] title: Search output grouping by date | The search output would probably look better when grouped by date rather than each line prefixed with date.... | https://github.com/whitequark/irclogger/issues/1
<egg> oh hey a confused user principia#1237
<Qboid> [#1237] title: Principia doesn't start, solution isn't in FAQ. | Like the title says Principia doesn't start. I've got the 64 bit version of ksp 1.2.2.1622. I've got the principia dll in the right place, I've got the visual c++ redistributable packages and I've got the permissions of the ksp folder set to full control for everyone.... | https://github.com/mockingbirdnest/principia/issues/123
<Qboid> 7
<Iskierka> might be better to not truncate the link
<egg> true
<egg> so it turns out that the docs didn't mention the target version.
<egg> The docs are old and full of errors.
<Thomas> o/ whitequark
<whitequark> \o
<Thomas> !wpn
* Qboid gives Thomas a lead endomorphism
<egg> shitty identifier of the day: GeometricAccelerationInBodyCentredNonRotatingFrame
<egg> the interface code is weird :-p
<Thomas> At least it is descriptive
<Thomas> :P
<Thomas> Imagine GAIBCNRF as the identifier :P
* whitequark . o O ( are identifiers fundamentally prescriptive or descriptive )
GreeningGalaxy has joined #kspacademia
<egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy an icy samarium immersion
<egg> (yes, !wpn has become a bit of a greeting around here)
* Thomas adds o/ as an identifier for wpn
<egg> hah
<egg> whitequark: also... I guess you know what the thing should do when you name it? You don't get an identifier with the task to implement what's behind it
<whitequark> oh, I once had an idea for a language where a function name is a serialized formal proof of its correctness
<egg> okay, you beat me at nutty language ideas
<whitequark> (or the description of its contract? something along these lines)
<egg> I had the idea of a language where you have a "for some" like you have a for each :D
<whitequark> *scribbles down* unit tests
<egg> it must take a nonempty collection, and runs on some nonempty implementation-defined subset :D
<whitequark> or did you not mean it in the type system sense
<whitequark> oh
<SnoopJeDi> egg, Python comprehensions support that by bolting on a condition
<whitequark> so just an INTERCAL extension idea
<whitequark> egg: did you know there are actually CPUs with hardware support for COMEFROM?
<GreeningGalaxy> :0 whitequark? THE whitequark?
<whitequark> GreeningGalaxy: what
<SnoopJeDi> e.g. [foo(thing) for thing in d if thing.bar == 'baz']
<GreeningGalaxy> whitequark: I'm @diodelass on twitter. hi!
<Iskierka> twitter gets quoted a lot around here
<whitequark> GreeningGalaxy: oh hi
<egg> whitequark: mind you, I actually wrote a for some :-p https://github.com/mockingbirdnest/Principia/blob/Cardano/ksp_plugin/vessel.hpp#L90-L93
<egg> Cardano has a union-find, because it sounded fun :-p
<whitequark> >Extends the psychohistory of this vessel
<whitequark> I am familiar with the term but not its usage in this context
<egg> ah yes, this identifier is that for ~meaningful historical reasons~
<egg> basically we were implementing the new thing and it was convenient to keep the old one around, the old one had a history_
<egg> and the psychohistory actually has the history, plus a little bit that's not authoritative, and recomputed at the next frame
<egg> we might change that particular identifier
<egg> PileUp otoh is here to stay, I like that name
<SnoopJeDi> Principia ¯\_(ツ)_/¯
<egg> quite :-p
<egg> but at least it has a type system for reference frames in classical mechanics :D
<e_14159> whitequark: o/
<e_14159> SnoopJeDi: [x for x in l if random.random() > 0.5] <-- For some.
<whitequark> \o
<egg> hmm, in Ada 2012 they added "some" as a keyword, for predicates
<egg> clearly they should have the for some loop
<SnoopJeDi> hehe e_14159
<egg> raises Constraint_Error if the collection is empty, otherwise executes its body on an implementation defined element :D
<e_14159> SnoopJeDi: I wonder how you'd implement that (still in one line) with an also-random percentage of elements.
<SnoopJeDi> a fixed random percentage, you mean?
<egg> !tell majiir what happened to Soozee?
<Qboid> egg: I'll redirect this as soon as they are around.
<e_14159> SnoopJeDi: A random random percentage.
<egg> (we're missing a Haskellbot here)
<SnoopJeDi> right but random only once, for the entire comprehension, right?
<e_14159> Eggsactly
<SnoopJeDi> `[x for rand in [random.random()] for x in l if random.random() > rand]` works (and is gross)
<SnoopJeDi> I had cause to write `header_end = next(i for i, line in enumerate(lines) if not line.startswith('%'))` yesterday
<SnoopJeDi> and I'm annoyed because I think that really is the best way to do it with Python builtins
<e_14159> That's actually... I'm not sure whether to call it elegant or badly-readable.
<SnoopJeDi> even worse, the two aren't mutually exclusive
<e_14159> True. Still, if you want to do it in-line, I'd call it elegant.
<SnoopJeDi> yea, it does have that as an advantage
<SnoopJeDi> references are cheap, though!
* e_14159 nods
<e_14159> But if you're concerned about efficiency in header-file reading...
<SnoopJeDi> well, with Python there's not really a difference, because a reference to the result of that random.random() has to be created either way
<e_14159> Ah. I was talking about the header_end stuff :D
<SnoopJeDi> might even be imperceptibly less efficient to do it that way because of the need to build a list?
<SnoopJeDi> I'm trying not to think about speed when I'm writing Python, anymore
<SnoopJeDi> Unless I feel the temptation to do something truly awful like iterate a numpy array or somesuch
GreeningGalaxy has quit [Ping timeout: 190 seconds]
Thomas is now known as Thomas|AWAY
<e_14159> Don't optimize code, optimize algorithms.
<SnoopJeDi> Even then
<SnoopJeDi> I try to do it sensibly if it's part of a class, but since so much of what I write is one-and-done anyway...I'll just profile it when it gets slow enough to matter
<e_14159> Agreed. I was thinking of a traffic simulation I recently wrote, where speed actually did matter (at least for the update step)
<SnoopJeDi> There's one grad student in our department who just...refuses to profile his goddamned code
<SnoopJeDi> He's constantly asking me about parallelizing his code, GPGPU, etc., and my response is always "okay, did you profile your code? where is it slow?"
<e_14159> Arglsblargl
* e_14159 hands SnoopJeDi a profiler to pass on
<SnoopJeDi> I learned about Numba's CUDA support because of him though, so...that's something
<e_14159> And did you use it?
<SnoopJeDi> I haven't had a need to
<e_14159> Since you don't think about speed?
<SnoopJeDi> I think about speed when I need to go faster
<SnoopJeDi> or to avoid a particularly slow way
<SnoopJeDi> if I'm touching code that will run every tick in my PIC simulation, I worry about each op
<SnoopJeDi> If I'm thinking about the best way to access an HDF5 file, eh.
<e_14159> But what if you build an HDF5-indexer at google scale? ;-)
<SnoopJeDi> what if, indeed
<Iskierka> maybe egg will need to
<egg> moo?
<SnoopJeDi> worrying about things prematurely is one of my Achilles heels when it comes to programming
<SnoopJeDi> better to fail early than to waste time imo
<Iskierka> egg: google
<egg> wait, isn't worrying about things prematurely the general subject of this channel?
<SnoopJeDi> I'm just here for the free weapons, man
<egg> !wpn SnoopJeDi
* Qboid gives SnoopJeDi an upsilon 古在 protractor
<whitequark> !vpn
* whitequark is disappointed
<egg> whitequark: btw, the explanation for the russian in the /topic is this (Kountdown was a bot by a russian, they're gone now) https://hastebin.com/igufucodow.xml
e_14159- has joined #kspacademia
<whitequark> ookay
<e_14159-> Strange. Did I just disconnect?
<Iskierka> not yet
e_14159 has quit [Ping timeout: 190 seconds]
e_14159- is now known as e_14159
<SnoopJeDi> TIL Cactus is Russian
technicalfool has quit [Quit: brb]
icefire has joined #kspacademia
<egg> arglarglarbl so it turns out I don't actually understand why the vessel constantly thinks it's under acceleration
<egg> this is a bit of a critical issue too, because I think KSP without timewarp is a tad more boring
<e_14159> egg: s/boring/realistic
<Qboid> e_14159 thinks egg meant to say: this is a bit of a critical issue too, because I think KSP without timewarp is a tad more realistic
<egg> I mean with principia at least you're not going to get drift because it's not just Eulering away
<egg> so it would *work*, contrary to stock
<egg> but...
* egg stabs things
<whitequark> hmm, ksp without timewarp
<whitequark> so if *I* was running that I'd just run it under Xen and then hack the domU clock source to run as fast as I want
<whitequark> naturally that stresses the graphics part, so I'd use INTEL_NO_HW=1 or something to disable that
<egg> haha
<whitequark> did someone make humpty dumpty jokes in here already
<egg> well, I can probably stomp enough of KSP that it agrees to timewarping, but if it's measuring the wrong acceleration there's probably something really fishy going on here, so I'd like to know it
<egg> whitequark: hm... I'm not sure? I think that was mentioned once, but possibly by me
<egg> lemme grep my logs
<egg> (that's pre-Qboid logs)
<egg> whitequark: welp, you're apparently the only match for umpty in my logs for this channel
<Iskierka> I seem to recall discussions of humpty dumpty before but that may be another channel
<egg> aaah, there was something in #kspmodding: "<soundnfury> *I* don't have anything. *One* may have the second derivative, but that's another matter entirely! * egg|zzz|egg thinks soundnfury is channelling Humpty Dumpty <soundnfury> ... says the egg."
GreeningGalaxy has joined #kspacademia
<egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a light-emitting domain
<whitequark> who gave the bot a CRISPR-Cas9 kit
<egg> !acr -add:CRISPR Clustered Regularly Interspaced Short Palindromic Repeats
<Qboid> egg: I already know an explanation for CRISPR! (Update it with !acr -update:CRISPR Clustered Regularly Interspaced Short Palindromic Repeats)
<egg> oh, it knew it
<whitequark> !acr GFP
<Qboid> whitequark: This key is not registered!
<whitequark> !acr -add:GFP Green Fluorescent Protein
<Qboid> whitequark: I added the explanation for this acronym.
<egg> huh, somehow one of the new pile ups got the same address as the old one https://hastebin.com/weteriguho
<egg> oh hey there's a new what-if
<egg> whitequark: I see that twitter thread about keyword reuse and loop etc. and I raise you Ada
<kmath_> <ManishEarth> @jckarter @Gankro @eevee Rust uses `for` for THREE *completely* different things :)
<egg> I think I understand why KSP might measure the wrong acceleration, except now I don't get why it's not measuring 0
<egg> also why does KSP modding involve so much staring at decompiled crap^W^W erm I mean tea leaves, definitely tea leaves
<Iskierka> huh, python for...else is interesting
<Iskierka> will have no make note
<egg> I like those cute ad hoc syntactic things
<egg> also sometimes they have a reason to exist
<egg> Ada 2005 introduced an extended return statement, where you declared the object that you returned and then poked at it, it has a rationale http://www.ada-auth.org/standards/12rat/html/Rat12-4-6.html
<Iskierka> I might actually see if there's a way to use for...else in distributed systems just to see if the TAs have a clue
<Iskierka> I think there might be applications
<GreeningGalaxy> oh yeah, for-else is cool