<egg|zzz|egg> GreeningGalaxy: try fighting that chip again?
<egg|zzz|egg> the one with servile clock
<GreeningGalaxy> Noooo
<GreeningGalaxy> It's still at school anyway. I just want to sleep
<GreeningGalaxy> but I have to wait for my bedding to come out of the dryer
<GreeningGalaxy> I think all I need to do to make that chip work is look back at my previous prototypes and remind myself how it's wired up. I must've just forgot something trivial.
<egg|zzz|egg> GreeningGalaxy: anyway if you need C++ help feel free to ask here, you'll hear about all sort of horrors, but possibly also get answers :D
<GreeningGalaxy> heh
<UmbralRaptor> Are you saying that shoggoths are written in C++?
<GreeningGalaxy> C, I think.
<egg|zzz|egg> UmbralRaptor: shoggoths are a perfectly good way to implement strict aliasing violations
<UmbralRaptor> Just don't overflow their buffers.
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a proactinium ſtabber
<UmbralRaptor> Stabbity!
<SnoopJeDi> aliasing violations hehe
<soundnfury> !wpn
* Qboid gives soundnfury a thallium cotter pin which strongly resembles a kmath
<SnoopJeDi> egg|zzz|egg, yea, the thing that bothered me the most about that "realization" is that I had a sneaking suspicion I'd overlooked something with the particular vector spaces involved. That and the perspective that diff eq's is just implicitly specifying a vector space (I guess I'd never thought about it quite that way)
<SnoopJeDi> Usually thought about it as ad-hoc linear algebraic constructions that happen to satisfy something
<SnoopJeDi> Bad brain.
* UmbralRaptor suspects that thallium is too soft for a good cotter pin.
<egg|zzz|egg> SnoopJeDi: if you haven't seen this thread it's fun https://twitter.com/oshepherd/status/843167670346366981
<kmath> <oshepherd> @whitequark @mcclure111 all memory is type tagged. strict aliasing violations cause music to be played.
<UmbralRaptor> The derivative thing makes me feel really bad at math. >_>
<egg|zzz|egg> UmbralRaptor: should I eggsplain things?
* soundnfury recompiles egg|zzz|egg with -fno-strict-aliasing
<soundnfury> Better.
<SnoopJeDi> It's much ado about nothing actually UmbralRaptor
<UmbralRaptor> You forgot -no-undefined-behavior!
<SnoopJeDi> I happened to answer a calculus question asked by the lady I'm currently seeing and it for some reason got me thinking about projections
<UmbralRaptor> hrm
<SnoopJeDi> Well, that plus a John Carmack tweet just asking for the name of a projection of a hemisphere onto a plane where you drop the Z coordinate
<SnoopJeDi> roughly concurrent events
* egg|zzz|egg accesses soundnfury via a pointer to egg
<soundnfury> egg|zzz|egg: ah, but optimisations won't have assumed that won't happen, so it's entirely safe!
* soundnfury issues an lfence
<SnoopJeDi> ooh, nilpotence with n=2 is a fresh perspective on repeated exterior differentiation (d^2 = 0)
<SnoopJeDi> at least I learned *something* today >:|
ferram4 has quit [Read error: Connection reset by peer]
<GreeningGalaxy> aw don't rub it in
<egg|zzz|egg> SnoopJeDi: yup
<egg|zzz|egg> GreeningGalaxy: ?
<GreeningGalaxy> <@GreeningGalaxy> christ, I got absolutely nothing done today
ferram4 has joined #kspacademia
<GreeningGalaxy> I know it wasn't directed at me of course, but still
<SnoopJeDi> GreeningGalaxy, the >:| was because the *only* thing I got done today was that trite little realization just there
<egg|zzz|egg> GreeningGalaxy: clearly you need to have something eggsplained to you to resolve that
<UmbralRaptor> Bleah. Still need to get a proper draft of a paper done
<GreeningGalaxy> all I got done today was flopping around my apartment, forgetting to eat, hurting in a vague but broad-spectrum way, and failing to encrypt my computer
<UmbralRaptor> … in ~18 hours
<egg|zzz|egg> UmbralRaptor: ow
<GreeningGalaxy> good luck
<egg|zzz|egg> SnoopJeDi: uh, it's nilpotent on any space of polynomials with bounded degree, right?
<SnoopJeDi> Yea, which I consider fairly dull
<SnoopJeDi> which is wildly unfair to said polynomials
<egg|zzz|egg> SnoopJeDi: well, they are higher-dimensional spaces than just the c exp(x) :-p
<SnoopJeDi> Wouldn't be much to think about in terms of projection if *some* higher-dimension spaces weren't involved, heh
<SnoopJeDi> I guess projection is the wrong tree to bark up though, nilpotence is closer to that mental-itch spot
<SnoopJeDi> (and not a subject I recall studying)
<egg|zzz|egg> SnoopJeDi: well it's a projection only on a 2d space :-p
<egg|zzz|egg> (onto a 1d space)
<egg|zzz|egg> "on" is confusing there
<egg|zzz|egg> of a 2d space, onto a 1d space
<SnoopJeDi> yea that's actually the property I was referring to in the correction tweet
<egg|zzz|egg> SnoopJeDi: being an involution of the 2d space of sums of exponentials going both ways is vaguely neat too :-p
<egg|zzz|egg> but probably the more interesting thing is nilpotence on polynomials of bounded degree
<egg|zzz|egg> but not on the whole of polynomials... does it have any nice properties on some infinite-dimensional subspace
<SnoopJeDi> Yea and even the bounded degree property isn't really that neato
<kmath> <scanlime> All is well with this tiny world https://t.co/uTgFHmacJl
<egg|zzz|egg> now I want to pet a cat again
* egg|zzz|egg needs to build a telepetting arm to pet ANBOcat from zurich
<UmbralRaptor> Departmental cat?
GreeningGalaxy has quit [Ping timeout: 200 seconds]
ferram4 has quit [Read error: Connection reset by peer]
ferram4 has joined #kspacademia
<egg|zzz|egg> UmbralRaptor: departmental?
<UmbralRaptor> A cat for the ETHZ math department!
<egg|zzz|egg> hah
<egg|zzz|egg> UmbralRaptor: but now I'm going to be at google, and they're a dog company
<SnoopJeDi> considering the things they build, maybe they're a catdog company?
<UmbralRaptor> Careful, those are military dogs.
<egg|zzz|egg> UmbralRaptor: nah, but people are welcome to bring their dogs to the office
<egg|zzz|egg> (in part this is because Urs had a dog)
<egg|zzz|egg> UmbralRaptor: so putting cats there might yield interesting results
<UmbralRaptor> =/
<egg|zzz|egg> UmbralRaptor: but then dogs are cats
<UmbralRaptor> Bring spiders? >_>;;
e_14159 has quit [Ping timeout: 206 seconds]
<egg|zzz|egg> blarg why am I not sleeping
* egg|zzz|egg slaps egg
<egg|zzz|egg> !wpn
* Qboid gives egg|zzz|egg a nefarious maser
<egg|zzz|egg> Qboid: you should give it to whitequark instead
e_14159 has joined #kspacademia
<UmbralRaptor> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a memoised sphere
<UmbralRaptor> !wpn e_14159
* Qboid gives e_14159 a histomorphism with an involution attachment
<soundnfury> !wpn UmbralRaptor
* Qboid gives UmbralRaptor an IDE
<soundnfury> (... how useless.)
* UmbralRaptor ? the IDE with vim.
<UmbralRaptor> (assuming it doesn't eat all my CPU/RAM)
<soundnfury> egg|zzz|egg: if you think C is terribad, you'll just *love* zak: https://github.com/ec429/zak-lang
<UmbralRaptor> Note to self: tomorrow is Wednesday, not Thursday.
* UmbralRaptor feels slightly less anxious about a paper.
icefire has quit [Read error: Connection reset by peer]
* UmbralRaptor stabs sleep.
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a skew stabbity capacitor
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark an IEEE 754 ship/inexplicable popup that didn't used to be there and doesn't do what it used to hybrid
<egg|zzz|egg> O_o
<egg|zzz|egg> UmbralRaptor: phonology! https://twitter.com/Norgg/status/844308190795845632
<kmath> <Norgg> Aaaaaaaioioooa*click* https://t.co/pem9fSE3cJ
<egg|zzz|egg> !tell SnoopJeDi hmm, perhaps with the eggsterior derivative you can get a long eggsact sequence, which is neat
<Qboid> egg|zzz|egg: I'll redirect this as soon as they are around.
egg|zzz|egg is now known as egg|coffee|egg
<egg|coffee|egg> !wpn
* Qboid gives egg|coffee|egg a [DATA EXPUNGED] ham radio
* egg|coffee|egg makes a ham radio sandwich
* egg|coffee|egg cuts it using the ham sandwich theorem
icefire has joined #kspacademia
egg|coffee|egg is now known as egg
ferram4 has quit [Ping timeout: 200 seconds]
<egg> !wpn Iskierka
* Qboid gives Iskierka a prompt-critical vertical (with ground plane)
<UmbralRaptor> !wpn egg
* Qboid gives egg a boron modem
<egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a pi monoid
<UmbralRaptor> AAAAA!!!! http://www.gṃail.com/
<egg> !u gṃail
<Qboid> U+0067 LATIN SMALL LETTER G (g)
<Qboid> U+0061 LATIN SMALL LETTER A (a)
<Qboid> U+0069 LATIN SMALL LETTER I (i)
<Qboid> U+1E43 LATIN SMALL LETTER M WITH DOT BELOW (ṃ)
<Qboid> U+006C LATIN SMALL LETTER L (l)
<egg> copying the whole URL in chrome yields http://www.xn--gail-qd5a.com/ in the clipboard though
<egg> punicode is weird
<egg> punycode?
* UmbralRaptor wonders if there's a place to post Gabor Fekete emails.
<egg> UmbralRaptor: the toilet paper holder?
<kmath> YouTube - the fourth hardest thing to say
<Norgg> <3 this thing
<Norgg> !wpn
* Qboid gives Norgg a californium Shenzhen spear
<egg> !wpn Norgg
* Qboid gives Norgg a krypton fish
<Norgg> !wpn egg
* Qboid gives egg a POSIX transistor/algebra hybrid
<Norgg> !wpn -add:wpn trombone
<Qboid> Norgg: Weapon added!
<Norgg> !wpn -add:adj pink
<Qboid> Norgg: Adjective added!
<SnoopJeDi> UmbralRaptor, emails plural? ;P
<Qboid> SnoopJeDi: egg|zzz|egg left a message for you in #kspacademia [22.03.2017 08:51:14]: "hmm, perhaps with the eggsterior derivative you can get a long eggsact sequence, which is neat"
<SnoopJeDi> Beyond my abstract-fu I'm afraid, egg
<UmbralRaptor> SnoopJeDi: well, only 1 at a time. But still…
<UmbralRaptor> egg: I was thinking something more like timecube or Francis E Dec.
<egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a nickel snakehead
<SnoopJeDi> UmbralRaptor, I was just poking fun at the fact that he only sends one email
<UmbralRaptor> Hey, I thought there were at least 3? (no higgs, higgs is xenon atom, graphene is fake?)
<SnoopJeDi> I lump the first two together, never gotten the 3rd
<SnoopJeDi> I have a gmail label called "crazy people"
<UmbralRaptor> He's complaining about graphene not leaving the lab after a decade or so.
<UmbralRaptor> … not everything can be blue LEDs.
<SnoopJeDi> Jeez, this Vagrant container's clock drifts a lot
<egg> !wpn Norgg
* Qboid gives Norgg a capacitor
<bofh> !wpn SnoopJeDi
* Qboid gives SnoopJeDi a thallium theory of everything
* SnoopJeDi squints at Qboid's theory
Thomas|AWAY is now known as Thomas
<egg> !wpn Thomas
* Qboid gives Thomas an expander helicoid
<UmbralRaptor> !wpn egg
* Qboid gives egg an analytic progressive FORTH
* UmbralRaptor pokes jobs with a stick https://nearby-galaxies.github.io/postdoc-wanted/
GreeningGalaxy has joined #kspacademia
<egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a zonal galaxy with a trapezohedron attachment
<GreeningGalaxy> !wpn egg
* Qboid gives egg a terbium 1N4148 which vaguely resembles a 1N4148
<GreeningGalaxy> only vaguely?
<UmbralRaptor> Terbium vs Silicon?
Qboid was kicked from #kspacademia by *status [You have been disconnected from the IRC server]
Qboid_ has joined #kspacademia
<Thomas> ...
* egg pets Qboid_
<Thomas> No
<UmbralRaptor> make tea && make coffee
GreeningGalaxy has quit [Ping timeout: 201 seconds]
Qboid_ is now known as Qboid
Qboid is now known as Qboid_
Qboid_ is now known as Qboid
regex has joined #kspacademia
<egg> o/ regex
<egg> !wpn regex
* Qboid gives regex a fluorinated knife
GreeningGalaxy has joined #kspacademia
<regex> \o egg
<egg> regex: did I show you the calendar of planned releases? I forget
<regex> I think I saw it, yeah
<egg> Thomas: btw, I think ModularVesselPrecalculate is borked?
<egg> does anyone actually use the thing? I think only the MFI itself gets any use
<egg> (understandably if the other doesn't get loaded half the time)
<egg> but anyway it also breaks principia :D
<egg> (principia breaks easily :-p)
<egg> anyway I'll poke sarbian about it when he's around
<egg> also, in principia news, principia#1279 is the 1001th pull request
<Qboid> [#1279] title: Don't spam vessel creations and deletions | Most of the commits here are traces to investigate the (unrelated) docking bug, which I think I understand now. | https://github.com/mockingbirdnest/principia/issues/1279
GreeningGalaxy has quit [Ping timeout: 190 seconds]
<egg> !wpn e_14159
* Qboid gives e_14159 a transitive thermometer
<egg> !wpn whitequark
* Qboid gives whitequark a Bravais glider
<e_14159> o/
technicalfool has joined #kspacademia
<e_14159> Iskierka: Cthulhu for US president.
oeuf has joined #kspacademia
egg has quit [Killed (NickServ (GHOST command used by oeuf))]
oeuf is now known as egg
ferram4 has joined #kspacademia
<SnoopJeDi> I don't think he's eligible, not a citizen :/
<e_14159> Would you care to argue the point, SnoopJeDi?
<e_14159> That is, directly with them?
<SnoopJeDi> Oh, hrm, Lovecraft doesn't use gendered pronouns for Cthulhu. Makes sense.
<SnoopJeDi> e_14159, I'd rather do that than what I'm currently up to
<SnoopJeDi> Discussing with the mailing list sounds decidedly more unpleasant than disagreeing with an Elder One
<e_14159> Which mailing list?
<UmbralRaptor> Cthulhu gets a -8 for save vs boat, though.
<egg> the mailing list of the great old ones
<SnoopJeDi> e_14159, the one for this software I've been beating my head against for the majority of 2017 so far
<SnoopJeDi> It's developed at PSI and the cultural differences (both national and philosophical) are just grating
<e_14159> My condolences.
<SnoopJeDi> I'm just whining
<egg> PSI?
<Qboid> egg: [PSI] => Paul Scherrer Institute
<egg> SnoopJeDi: do they mail in swiss german? :-p
<SnoopJeDi> No
GreeningGalaxy has joined #kspacademia
<egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a faithful hydra
<egg> !wpn SnoopJeDi
* Qboid gives SnoopJeDi a ██████████████ Principia-like pyramid
<GreeningGalaxy> SnoopJeDi: I realized last night that my brain makes no meaningful distinction between you and Phil Plait.
<SnoopJeDi> That is very high praise!
<GreeningGalaxy> something about your personalities as they appear in the form of text is similar I guess
<SnoopJeDi> He was a pretty easy to chat with when he visited our Festival
<SnoopJeDi> s/easy/easy guy/
<Qboid> SnoopJeDi meant to say: He was a pretty easy guy to chat with when he visited our Festival
<e_14159> Well, time to turn on the music and bravely grapple with bureaucrazy (sic!).
<egg> Thomas: Qboid thinks it's in kspmodding but it's not
<egg> and it doesn't log as a result
<Thomas> !join #kspmodding
<Qboid> Thomas: I am already active in #kspmodding.
<Thomas> !leave #kspmodding
<Qboid> Thomas: I will leave the channel #kspmodding now.
<Thomas> !join #kspmodding
<Qboid> Thomas: I have joined #kspmodding!
egg is now known as egg|nomz|egg
<e_14159> Is "I collided orthogonally with the car" a good description?
GreeningGalaxy has quit [Ping timeout: 206 seconds]
GreeningGalaxy has joined #kspacademia
egg|nomz|egg is now known as egg
<SnoopJeDi> so uh
<SnoopJeDi> if I specify a float in scientific notation with "too many" decimal places
<SnoopJeDi> it doesn't bother with the exponent >_>
<e_14159> Isn't that the most important thing?
<SnoopJeDi> One would hope, but abandon all hope ye who use OPAL
<e_14159> SnoopJeDi: Wait, which OPAL is that?
<SnoopJeDi> The library is really pretty good at doing the actual simulation, it's just most of the end-user interfaces are really fragile duct-tape dealios that break in really unexpected (and generally silent) ways
<egg> !wpn SnoopJeDi
* Qboid gives SnoopJeDi a post-order infinity
<egg> !wpn e_14159
* Qboid gives e_14159 a tau ꙮ/cone hybrid
<egg> !pwn whitequark
<egg> uh
<egg> !wpn whitequark
* Qboid gives whitequark a wyvern-like paywall
<SnoopJeDi> too late, Qboid is already pwning the b0xen
<egg> ... hopefully the bot doesn't have a pwn command
<e_14159> SnoopJeDi: Thanks. Did you know wikipedia lists four other programs called OPAL, none of them yours?
<SnoopJeDi> I did not!
<Thomas> !alias -create:pwn !say What do you want from me?
<Qboid> Thomas: Aliased "!say What do you want from me?" to "!pwn"
<Thomas> !pwn
<Qboid> What do you want from me?
UmbralRaptor is now known as NomalRaptor
<Thomas> egg: Now it has one
<egg> Thomas: hah
<Thomas> !a.k
<Thomas> am
<Thomas> *ak
* Thomas cannot type
<Thomas> !alias -remove:pwn
<Qboid> Thomas: Removed the alias "pwn"
<GreeningGalaxy> !u ꙮ/
<Qboid> U+A66E CYRILLIC LETTER MULTIOCULAR O (ꙮ)
<Qboid> U+002F SOLIDUS (/)
<whitequark> it's so awesome
<egg> whitequark: it is :D
<egg> also, more principia bugs getting squashed! (and more getting uncovered >_>)
<egg> but hey, principia#1274, principia#1275, principia#1277, principia#1278, principia#1280 were all hard work to track down
<Qboid> [#1274] title: Try to fix the non-deterministic replay by making the ordering of maps and sets deterministic | The theory is that the computations (e.g., of barycentres) that are done in map/set order yield different results when the order changes due to vessels/parts landing at different addresses. To confir... | https://github.com/mockingbirdnest/principia/issues/1274
<Qboid> [#1275] title: Dämmerungsgötterdämmerung | Fix #1272, and probably our handling of airless worlds too. | https://github.com/mockingbirdnest/principia/issues/1275
<Qboid> [#1277] title: Asteroid workaround | | https://github.com/mockingbirdnest/principia/issues/1277
<Qboid> [#1278] title: Fix a bug regarding old unloaded vessels | Such vessels can exist, and their parts are not part of a `PileUp` so they don't have a tail, which breaks one of our invariants. The fix is to make sure that *all* parts are put in a singleton by `P... | https://github.com/mockingbirdnest/principia/issues/1278
<Qboid> [#1280] title: Fix an issue with ModularVesselPrecalculate | Together with @sarbian's commits on ModularFlightIntegrator, see https://github.com/sarbian/ModularFlightIntegrator/compare/89c79c0fa26b95989e49e4c37e72835693228aff...448a324efa30c4f47f9198c68982e0df5... | https://github.com/mockingbirdnest/principia/issues/1280
<egg> whitequark: so I was wondering about that twitter thread on 13-bit chars and type-tagged memory, and quickly looking at a C standard draft; apparently if you copy a value using memmove, memcpy, or as a character array into something that has no declared type, then it gets the effective type of the value that was copied; the "as a character array" part sounds hard to implement
<egg> afk helping phl stare at principia logs
<egg> fuck exceptions
<egg> NomalRaptor: why the nomaling?
GreeningGalaxy has quit [Ping timeout: 201 seconds]
Snoozee has quit [Ping timeout: 201 seconds]
<egg> !wpn NomalRaptor
* Qboid gives NomalRaptor a Teller-Ulam Bolzano-Weierstraß ?
GreeningGalaxy has joined #kspacademia
<egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a threaded iridium git which vaguely resembles a loop space
<egg> !wpn whitequark
* Qboid gives whitequark a transuranic ion channel
regex has quit [Remote host closed the connection]
Snoozee has joined #kspacademia
Snoozee is now known as Majiir
<egg> !wpn
* Qboid gives egg a completely harmless spinlock
<egg> cat! * ChanServ gives channel operator status to Supernovy
<egg> uuuh
* egg stabs clipboard
<kmath> <scanlime> https://t.co/GshQKSwlhU
<GreeningGalaxy> bleh, I just remembered that "ringdown" is that thing black holes do right after colliding, and may or may not actually make sense in the context of oscillator circuits (which is what I just spent like two days of my notes doing)
<egg> GreeningGalaxy: it does sound fancy though, so if it doesn't make sense, define it! \o/
<egg> that's how it works in mathematics at least
<GreeningGalaxy> sure, the definition is explicitly provided, and even if you miss that part, guessing is probably quite straightforward (parasitic oscillation is often referred to as 'ringing' by EE/physics people, and I've also got photos of the oscilloscope screen showing each event with captions that say "this is ringdown/ringup"
<SnoopJeDi> yea ringdown/up was inspired by it's use in EE, I think
<SnoopJeDi> since LIGO is pretty heavy on that sort of thing heh
<egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a meccano directed equation
<egg> !wpn SnoopJeDi
* Qboid gives SnoopJeDi a transitive dragon
<soundnfury> !wpn egg
* Qboid gives egg a shattered McBoatFace
<egg> what have you done to that poor submarine
<egg> !wpn NomalRaptor
* Qboid gives NomalRaptor a ruby ███████
<egg> ferram4: I helped sarbian fix a bug in MFI! \o/
<egg> (principia finds the weirdest bugs)
<ferram4> \o/
<Qboid> [#1280] title: Fix an issue with ModularVesselPrecalculate | Together with @sarbian's commits on ModularFlightIntegrator, see https://github.com/sarbian/ModularFlightIntegrator/compare/89c79c0fa26b95989e49e4c37e72835693228aff...448a324efa30c4f47f9198c68982e0df5... | https://github.com/mockingbirdnest/Principia/issues/1280