egg|nomz|egg changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer.
<bofh>
I mean the algorithm is getting a *bit* better at understanding me, but mostly it seems to rec me the same things I watched.
<SnoopJeDi>
oh same, particularly for short walks
<bofh>
either that or it's like "you watched *one* John Oliver piece let me spam you with all of them" despite 97% of what I watch being obscure touhou remixes or folk metal or what have you and I'd *love* recs based off that.
<bofh>
but I never do.
<SnoopJeDi>
you know, that'd be an interesting premise for a site
<SnoopJeDi>
blend your own recommendation engine
<bofh>
which is weird since the set of bands doing actual *metal* with lyrics in Old Norse or Gaulish or Mycaenean Greek is shockingly small.
<SnoopJeDi>
"no no dammit I want more of *this* one"
<bofh>
YES.
<bofh>
I mean this sounds a bit like the concept behind Pandora in a way.
<SnoopJeDi>
which I guess is what Pandora is, but I mean one that has an explicit "basis equalizer"
<bofh>
heh
<bofh>
Indeed.
<SnoopJeDi>
yea, Pandora is a weighted walk in O(30)-dimensional space
<bofh>
(like I should just scrape the entirety of darklyrics and then feed it into a linguistic classifier)
<SnoopJeDi>
I wanna say it was 26 dimensions because of genome memes
<egg>
(max embark size *might* have been a mistake)
<SnoopJeDi>
really simple article in terms of what exists in distance metrics but a really great introduction to all of the mathematical foundations
<bofh>
Never seen it before, I'll give it a skim.
<SnoopJeDi>
They're kinda fun to write. I wrote one for a hackathon once that tacks a "this repo is similar to the one you're looking at" suggestion box to the bottom of repo main-pages (IIRC?)
<SnoopJeDi>
which seems like a really obvious feature for GitHub, but maybe they just don't want to fuss with it. or they're developing something with the GraphQL API, which is what we'd originally wanted to do (but hackathon)
<egg>
ytibbats
<SnoopJeDi>
egg, thought that was some kind of pun on "yttrium bats" or something for way too long
<egg>
ytib bats
<egg>
oh hey it unfroze
<bofh>
SnoopJeDi: I now kinda want to sinter a bat-shaped piece of Yttria.
<bofh>
...actually I REALLY want to do that now and put it on a necklace and wear it.
e14159 has quit [Killed (NickServ (GHOST command used by e_14159!~kreios@dslb-094-216-212-238.094.216.pools.vodafone-ip.de))]
e_14159 has joined #kspacademia
e_14159 is now known as e14159
awang has joined #kspacademia
egg is now known as egg|zzz|egg
<SnoopJeDi>
bofh, would be a good pokemon, too
awang has quit [Ping timeout: 198 seconds]
<egg|phone|egg>
Why am I not sleeping
awang has joined #kspacademia
<SnoopJeDi>
egg|phone|egg, the boundary conditions of the universe?
<UmbralRaptop>
… and most of them are closed access? 𒄈
<APlayer>
" and most of them are closed access?" Why is there a question mark in that sentence? Did you expect anything else? Like, did you seriously think it is reasonable to expect that scientific data will be open access?
* APlayer
lolsobs
<APlayer>
But more seriously, why is there still no legislation on that matter?
<UmbralRaptop>
There is for some things.
<egg|work|egg>
!wpn UmbralRaptop
* Qboid
gives UmbralRaptop a revolving hadron
<egg|work|egg>
!wpn whitequark
* Qboid
gives whitequark a buffered falconet
<whitequark>
!wpn egg
* Qboid
gives egg a cyclic nucleotide-gated good botfly
<whitequark>
good botfly?
<SnoopJeDi>
APlayer, $
<APlayer>
$$$, yes
egg|phone|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|phone|egg has joined #kspacademia
egg|mobile|egg has quit [Ping timeout: 194 seconds]
UmbralRaptop is now known as NomalRaptor
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
<egg|zzz|egg>
!wpn коте, whitequark, and the котяchrome kitten
* Qboid
gives коте, whitequark, and the котяchrome kitten a leaky egg|zzz|egg
<egg|zzz|egg>
whitequark: eggsplaining declension-induced translation issues to people who don't speak languages with declension is nontrivial >_>
* egg|zzz|egg
might be writing a work email in Latin
<SnoopJeDi>
nooooo
<SnoopJeDi>
egg|zzz|egg, I ended up down an etymological rabbit hole last night starting from the words "community," "communicate," and "colony." I rather like the route the latter took from 'colere'
<SnoopJeDi>
(The ideas around "community" have been rattling around my head since Fall 2016 for shattered-community reasons)
<egg|zzz|egg>
SnoopJeDi: well it's the only language which declines names and which I know well enough to write a couple of sentences in, obviously russian would be a better eggsample
<SnoopJeDi>
oh, is the structure of language part of the actual email content?
<SnoopJeDi>
oh, crap, that pubmed doesn't link to the proper paper which is probably pay-walled anyway bc Nature: https://www.nature.com/articles/44348
<SnoopJeDi>
it's totally blasé by now, nearly 20 year old result
<SnoopJeDi>
but one people generally haven't heard of IME
<egg|zzz|egg>
whitequark: could learn it with rqou here i guess?
<APlayer>
SnoopJeDi: Woah
<APlayer>
So where's the limit between what /can/ be diffracted and what can't?
<whitequark>
there isn't
<whitequark>
not in theory anyway
<whitequark>
it just becomes increasingly hard to actually do
<SnoopJeDi>
yea the notions of e.g. de Broglie would tell us there's no limit
<SnoopJeDi>
in practice, C60 is pushing it
<APlayer>
Well, jokes aside, I'm pretty sure a cat would not show interference
<SnoopJeDi>
IIRC there are some people who *claim* to have diffracted viruses but it was mostly horseshit?
<SnoopJeDi>
very quantum-woo consciousness-of-water type stuff
<SnoopJeDi>
Very interesting to read things from the turn of the century when people were freshly toying with the ideas, though. Before writing "Think and Grow Rich," Napoleon Hill wrote "The Law of Success" and there is a delightful amount of "you are a telepathic quantum radio" hand-waving in it
<SnoopJeDi>
People are extremely eager to attribute to quantum mechanics things that can be pretty simply expressed as "you are an empathic resonator"
<e14159>
SnoopJeDi: QUANTUM
<APlayer>
I have this feeling like people are extremely eager to reduce all things science to "Synchrophasotron blah-blah" and prefer to do other things rather than trying to comprehend the ones at hand
<SnoopJeDi>
who would win? emergent phenomena born from fractal reality or one entangled boye?
<SnoopJeDi>
relatedly: I'm reading Mandelbrot for the first time atm and *wow* it is fantastic so far
<NomalRaptor>
<ψ|emotions|ψ>
<SnoopJeDi>
APlayer, absolutely. The worst of it is that scientists are actually the *most* susceptible to reductionist philosophies
<SnoopJeDi>
Bohr's interest in the Tao being a notable counterexample
<APlayer>
Susceptible, as in "tend to do the same", or "tend to take offense"?
<APlayer>
Well, there is a point where you simply screw up if you don't do that
<SnoopJeDi>
maybe.
<SnoopJeDi>
I don't think I agree with the sentiment that science is inherently reductionist, and I think we're paying the price in literal pounds of flesh with what that perspective has done in medicine.
<SnoopJeDi>
i.e. magic-pill medicine vs. systems-based intervention (read as: eat some goddamned spinach and go for a walk ffs)
<APlayer>
Ah, you mean talking about things you have no idea about
<SnoopJeDi>
no, not really
<APlayer>
Well, yes. Can confirm.
<SnoopJeDi>
I mean reductionism
<SnoopJeDi>
when all you have is superposition, everything looks like a nail
<SnoopJeDi>
APlayer, so I think the seeds of this epistemological doubt were sown in my "modern" physics course (Thornton & Rex, nothing fancy) when we discussed the UV catastrophe
<SnoopJeDi>
So many people were so very sure that Maxwell had tied a neat bow on things and all that remained was to fill in the details (as someone told a young Planck to dissuade him from pursuing physics IIRC)
<SnoopJeDi>
Completely blind to the one-two punch of Einstein's Annus Mirabilis (and friends), which I contend we are still very much punch-drunk from
<SnoopJeDi>
But even before then. See: Galileo's incredible snark towards the Aristotelian predictions for the cannon-drop experiment at Pisa, for example.
<SnoopJeDi>
I guess I would sum it up concisely as "there is a kind of scientist who is sort of a dick about how unwilling they are to confess uncertainty, and it can spoil the entire scientific endeavor for centuries at a time"
<rqou>
egg: ping?
<rqou>
that formula you gave me is too slow to compute naively :P
<bofh>
rqou: what formula?
<rqou>
what is the total number of ways to put N identical objects into X labeled bins, where the bins all have a maximum size S?
<rqou>
and egg gave " rqou(N, X, S) = sum for k ranging from 0 to S of rqou(N-k, X-1, S), and then we need to figure out what happens at the edges rqou(N, X, S) = sum for k ranging from 0 to S of rqou(N-k, X-1, S), and then we need to figure out what happens at the edges"
<rqou>
i "just" need the answer for N = 512, X = 32, S = 16, and at worst i only need its order of magnitude, not the exact number
<SnoopJeDi>
that sounds suspiciously knapsack at a glance?
<SnoopJeDi>
I mean I know it's not knapsack but
<rqou>
unlike the "traditional" question, there is an extra constraint of "maximum size of S"
<SnoopJeDi>
oh I didn't see the last bit about only needing an estimate
<SnoopJeDi>
rqou, insertion order in bins doesn't matter?
<rqou>
no
<egg|zzz|egg>
rqou: it's trivially memoizable
<egg|zzz|egg>
rqou: also maybe I can find you a closed-form, but give me a bit
<egg|zzz|egg>
rqou: dinner now, will get back to you after that
<egg|zzz|egg>
(also Principia release because new moon!)
<SnoopJeDi>
!
<rqou>
hmm i must have a problem with the base case too
<egg|zzz|egg>
bofh: yes but if I wanted MXCSR I'd use the intel intrinsics, not the standard lib >_>
<egg|zzz|egg>
you'd think fetestexcept(FE_ALL_EXCEPT) would be more portable than _MM_GET_EXCEPTION_STATE rather than the reverse :-p
<bofh>
I mean it's Apple, the hardware it runs on is very constrained so they can pull that stuff.
<egg|zzz|egg>
bofh: nah that's not really the point
<egg|zzz|egg>
bofh: admittedly microsoft has an sNaN which is actually quiet so this just means anything related to FP edge cases you have to reimplement yourself
<egg|zzz|egg>
bofh: but getting the FE_DIVBYZERO | FE_INEXACT | FE_INVALID | FE_OVERFLOW | FE_UNDERFLOW bitor wrong seems infinitely daft (it's a #define from other macros, it's portable)
<egg|zzz|egg>
rqou: hah I already have two Mathematica notebooks called rqou something
awang has quit [Ping timeout: 198 seconds]
awang has joined #kspacademia
<egg|zzz|egg>
bofh: we haz a memory leak #1797
<Qboid>
[#1797] title: Principa uses up 8GB of RAM in under 30 min | In the map view, when Principa's flight planner is being used, RAM usage constantly increases until maxed out. KSP did not crash, but had to be closed due to the fact that the ram usage was making Ubuntu unusable.... | https://github.com/mockingbirdnest/principia/issues/1797
<bofh>
uhm. oops.
<egg|zzz|egg>
(the C++ is clean and uses owership everywhere, but when you go through the interface to the C# you get an IntPtr and it's the C#'s job to call Interface.WhateverDelete)
<egg|zzz|egg>
and we missed a delete :-p
<egg|zzz|egg>
maybe we should return IDisposables when we do that >_>
<egg|zzz|egg>
rqou: I'll take a look at your function now
<egg|zzz|egg>
rqou: btw, what are you using this for?
<egg|zzz|egg>
bofh: should I call them the rqou numbers
<rqou>
this is for calculating "how bad is the brute force algorithm?"
<rqou>
for a box-packing-ish thing
<egg|zzz|egg>
rqou: is ou 區 or 歐
<rqou>
lol
<rqou>
it's the first one
<egg|zzz|egg>
clearly 區(n, x, s) is a sane notation
<egg|zzz|egg>
bofh: yeah those numbers don't seem to have a name, some lines appear as individual sequences http://oeis.org/A166322
<egg|zzz|egg>
the triangles for s=1 and s=2 are binomial and trinomial but it seems to stop there
<SnoopJeDi>
!u 區
<Qboid>
U+5340 CJK IDEOGRAPH-5340 (區)
<SnoopJeDi>
that is not helpful, Qboid.
<SnoopJeDi>
a delightfully chosen symbol though egg|zzz|egg
<SnoopJeDi>
or rqou I guess?
<egg|zzz|egg>
SnoopJeDi: I just named those numbers after rqou
<egg|zzz|egg>
bofh: rqou: by the way (1 + x + x ** 2 + ... + x ** q) ** l = sum of 區(k, l, q) x ** k for k = 0 .. q
<SnoopJeDi>
egg|zzz|egg, yea I half-caught onto that as I dug into the construction of the character. I don't grok Chinese and co. very much, heh.
<bofh>
egg|zzz|egg: I mean "rqou numbers" is as good as any other name
<SnoopJeDi>
seconded
<egg|zzz|egg>
rqou: this stuff is right up my alley, silly number triangles are basically my whole MSc thesis
<SnoopJeDi>
tfw this kind of sophisticated wordplay is completely unsupported by the English alphabet
<egg|zzz|egg>
although those I did find in pre-existinc literature
<SnoopJeDi>
or I guess English/[predecessors of choice]
<egg|zzz|egg>
SnoopJeDi: I mean you can do funny ideogrammic things with our hieroglyphic ancestors :-p
<SnoopJeDi>
true enough, and I ought to pay rather more attention to your familiarity with these things and get a taste for it
<SnoopJeDi>
I've been very slow on the uptake to the possibilities in more ideogrammic languages. I think BB机 is the one that made me realize how rich the possibilities are in Chinese
<egg|zzz|egg>
rqou: so, 區(n, x, s) = (x choose n) (s) from that paper
APlayer has quit [Ping timeout: 182 seconds]
<egg|zzz|egg>
bofh: oh great that articles cites Nova Acta Academiae Scientarum Imperialis Petropolitinae
<egg|zzz|egg>
I cited that in my MSc. thesis
<egg|zzz|egg>
wait no it was the novi commentarii
<bofh>
rofl
<NomalRaptor>
o_O
<egg|zzz|egg>
bofh: found tome 1 of that, I like how after the title page there is a blurb in french about Sa Majesté Sa très gracieuse Protectrice, then 272 pages of historical overview of the years covered by that volume in science, and then finally back to latin for the articles
<egg|zzz|egg>
bofh: languages of Санкт-Петербург!
<egg|zzz|egg>
bofh: found an article by L EVLERO but it's not this one (it also mentions "Illustris de la Grange ")
<egg|zzz|egg>
(novae demonstrationes circa divisores numerorum formae xx+nyy, auctore L. Eulero, in nov. act. acad. sci. imp. petropolitanae I, p. 47 of the mathematics section)
<egg|zzz|egg>
rqou: the rqou numbers are there in Latin by Euler
<egg|zzz|egg>
rqou: see it's much better to call them rqou, generalized binomial is silly because they can be generalized in so many ways, and you can't call them Euler's because otherwise every sequence is Euler's
<egg|zzz|egg>
(same for the Catalan numbers)
<egg|zzz|egg>
you could call the Catalan number Segner numbers though, Segner doesn't have much to his name
<egg|zzz|egg>
bofh: oh funny, in 1783 petropolitan french, "nonobstant" (morphologically & semantically "notwithstanding") is written "non obstant"
<egg|zzz|egg>
if you're doing linear mappings of the floating point representation to get a couple-percent-error first guess of a root that's not even root finding and that's far removed from optimization
<SnoopJeDi>
egg|zzz|egg, I'd argue that's optimization with a really forgiving tolerance but I also readily admit your point
<SnoopJeDi>
it's certainly a different beast
<egg|zzz|egg>
it's not even remotely iterative at that point :-p
<SnoopJeDi>
yea, that's a big part of the flavor ;P
<egg|zzz|egg>
SnoopJeDi: and the cbrt I wrote is technically done by combining two iterative methods, except you use only one iteration of each and you do bit trickery before and after the first
<egg|zzz|egg>
bofh: nevermind it's standard compliant to have other things in FE_ALL_EXCEPT
<egg|zzz|egg>
(aka the C standard is useless)
<egg|zzz|egg>
7.6(6) "Additional implementation-defined floating-point exceptions, with macro definitions beginning with FE_ and an uppercase letter, may also be specified by the implementation."
<egg|zzz|egg>
7.6(7) "The macro FE_ALL_EXCEPT is simply the bitwise OR of all floating-point exception macros defined by the implementation."
<egg|zzz|egg>
bofh: btw what kind of a shitty international standard puts a useless adverb "simply" in a normative section
<egg|zzz|egg>
or do they define a macro being "simply" something somewhere?
<kmath>
<eggleroy> 🌑 Darboux, the new release of Principia, is out, with faster and smaller saves, and a fairly well-rounded* cube roo… https://t.co/0HJ2P0p5jB
<egg|zzz|egg>
UmbralRaptor: mooooon
<egg|zzz|egg>
UmbralRaptor: should I make a new world and a less stupidly large embark
<egg|zzz|egg>
16x16 is permanently hanging >_>
<egg|zzz|egg>
https://forum.kerbalspaceprogram.com/index.php?/topic/162200-wip131-143-principia%E2%80%94version-darboux-released-2018-05-15%E2%80%94n-body-and-extended-body-gravitation-axial-tilt/&page=41&tab=comments#comment-3378809 wat
<UmbralRaptor>
egg|zzz|egg: predawn crescent?
<UmbralRaptor>
Also, hey. D-names!
<egg|zzz|egg>
UmbralRaptor: no I mean moooon as in release, I'm not observing
<egg|zzz|egg>
I think there are clouds
<egg|zzz|egg>
also my naglers are in ANBO
<egg|zzz|egg>
I do have the reticle eyepiece tho
<UmbralRaptor>
Hm
<UmbralRaptor>
Currently raining at GMU. Also lightning.