<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.
<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
* 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
* 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]
<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"
<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>
[#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
<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
<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/