<GreeningGalaxy> ah, thanks for the warning
<GreeningGalaxy> what's bad about it?
<UmbralRaptor> !choose Bow to advisor's wishes|Your unicode variables are on the BMP!
<Qboid> UmbralRaptor: Your options are: Bow to advisor's wishes, Your unicode variables are on the BMP!. My choice: Bow to advisor's wishes
<UmbralRaptor> Δλ is a prefectly reasonable variable name, right?
<bofh> 23:59 <@whitequark> uhhh you do not want to use 8051.
<bofh> 23:59 <@whitequark> it's a minor nightmare to program
<bofh> that's putting it mildly.
<bofh> did 8051 programming *exactly once* and I'm working hard to keep it that way.
<whitequark> well it's not as bad as 8-bit PIC.
<bofh> okay look I still say my high point of programming 8-bit PICs was when, uhh, so there was this 18 series PIC where via the right combo of accidental bias voltage and a race condition you could cause latchup
<bofh> anyway the first 3 I cratered were accidental. I may have free-sampled another 5 for, erm, therapeutic reasons later that day.
<bofh> (and to think 8-bit PIC was my first exposure to writing asm by hand...)
<bofh> I kinda almost still have a soft spot for the 16F84A/16F88 to this day
GreeningGalaxy has quit [Ping timeout: 190 seconds]
<SnoopJeDi> I know some of these words
<UmbralRaptor> SnoopJeDi: Obviously you need to invite a second accelerator person into here.
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
egg|zzz|egg has quit [Read error: Connection reset by peer]
GreeningGalaxy has joined #kspacademia
<GreeningGalaxy> bofh: oops, I was just about to make 8-bit PIC my first exposure to writing asm by hand.
<whitequark> GreeningGalaxy: DO NOT DO THIS
egg has joined #kspacademia
<whitequark> there is literally a short (not that short) story (in russian) about a programmer who slowly went insane writing PIC-8 assembly
<whitequark> it never mentioned PICs but i KNOW
<whitequark> that WAS my first exposure to embedded
egg is now known as egg|zzz|egg
<egg|zzz|egg> https://twitter.com/whitequark/status/841842915156488192 << I accidentally muted you that way
<kmath_> <whitequark> @mcclure111 I just pressed SOMETHING and twitter blocked you O_O
<bofh> seconding the DEAR $ELDER_DEITY, do not
<egg|zzz|egg> also my computer rebooted and woke me at 3:50ish
<egg|zzz|egg> should I sleep again
<egg|zzz|egg> hi Majiir
<GreeningGalaxy> bofh: whitequark: okay, okay, fine.
<GreeningGalaxy> I'll start with 16-bit PIC.
<bofh> no
<GreeningGalaxy> (somewhat joking. I would really like to be able to program tiny microcontrollers, but I don't really know where to get started.)
<bofh> AVR
<whitequark> AVR and AT91SAM / STM32 are all fine choices
<whitequark> AVR is generally very easy to pick up
<GreeningGalaxy> what is AVR? All I know is that it has some particular relation to arduinos.
Majiir is now known as Snoozee
<GreeningGalaxy> and I've started with programming my STM32 L432KC Nucleos in mbed. Should I try to program those in asm?
<egg|zzz|egg> AVR?
<GreeningGalaxy> the only things I know about arduino are the things my fellow robotics club members know about arduino, which means next to nothing. :P
<egg|zzz|egg> moo
<whitequark> AVR is a 8-bit microcontroller architecture
<whitequark> it's not an acronym
<egg|zzz|egg> ack
<whitequark> anyway, AVR has a very regular and easy to learn CPU ISA
<whitequark> I think it's like two pages in overview
<whitequark> and the peripherals are generally very well designed and easy to understand too
<whitequark> for most AVR chips you can read the datasheet in a few evenings from cover to cover
<GreeningGalaxy> that sounds nice
<whitequark> the downside is they aren't very fast and they don't have very fancy capabilities
<GreeningGalaxy> as compared to what, PICs?
<whitequark> no
<whitequark> PICs have a far worse peripherals than AVRs, even discounting all the other insanity
<whitequark> and the ISA is made by aliens on meth
<GreeningGalaxy> oh.
<GreeningGalaxy> anyway, "less fast, more simple" sounds like what I was after all along.
<whitequark> so about STM32
<whitequark> STM32 generally has *reasonably* well designed peripheraps, the Thumb-2 ISA and Cortex-M3 core are good
<whitequark> and if you stick to STM32F then it doesn't have that many silicon bugs
<whitequark> but... STM32 is much larger.
<whitequark> the datasheets are sprawling, and generally you have many moving parts to, er, move, before you can do anything
<whitequark> like you can't toggle pins without first getting the GPIO bank out of reset and enabling clocking for it
<whitequark> AVR has no such nonsense, it's simple as a brick.
<whitequark> so you could do either.
<whitequark> but if you aren't like, very patient, you may grow frustrated with stm32. I had on more than one occasion
<whitequark> (I didn't program them in assembly, but I did wrote a board support package, more than once...)
<whitequark> HA
<whitequark> GreeningGalaxy: so turns out AVR was developed by Nordic.
<whitequark> the same Nordic that did nRF
<GreeningGalaxy> really?
<GreeningGalaxy> so why does googling AVR give me the wikipedia page titled "Atmel AVR?" are Atmel a subsidiary of Nordic or something?
<whitequark> no
<whitequark> atmel got spun off ages ago
<GreeningGalaxy> oh, okay.
<GreeningGalaxy> subsidiary was the wrong word. what's a word for the general case of "company which is or was closely involved with another company, now or sometime in the past?"
<GreeningGalaxy> erm, affiliate? no, too much of a connotation of being current.
<GreeningGalaxy> anyway, STM32 sounds like fun to learn, but who knows how much time I'll have for it with my coursework and research.
<whitequark> they're both fine choices imo, depending on constraints.
<whitequark> PIC... isn't.
<whitequark> in general just avoid anything made by microchip
<GreeningGalaxy> duly noted
<whitequark> microchip is basically an ASIC consulting shop
<whitequark> someone needs shit, microchip makes shit that does the shit, offloads most of the cost to the original customer, and sells the resulting garbage to everyone else
<whitequark> they have a bunch of odd parts that are sometimes perfect for your job, but outrageously expensive, often buggy, and impossible to obtain in quantity
<whitequark> erm
<whitequark> sorry
<whitequark> brain barf
<whitequark> *maxim is basically an ASIC shop.
<GreeningGalaxy> no no, that's fine
<GreeningGalaxy> oh
<whitequark> not microchip.
<GreeningGalaxy> maxim. I think I've heard of them
<GreeningGalaxy> should I still avoid microchip?
<whitequark> their PIC series, yes.
<whitequark> 8-bit that is
<whitequark> dsPIC isn't all that bad
<whitequark> the rest I know nothing about.
<GreeningGalaxy> okay.
<egg|zzz|egg> GreeningGalaxy: btw, I was telling you earlier/yesterday that my x isn't two crossed lines: see the entropy function here http://i.imgur.com/jb6pVxJ.jpg
<GreeningGalaxy> ...two crossed curved lines
<egg|zzz|egg> GreeningGalaxy: they don't necessarily cross
<SnoopJeDi> this is heckin neat as heck http://www.nature.com/articles/ncomms14668
<egg|zzz|egg> GreeningGalaxy: in the x in H(x) they don't; what typically happens is that you have )/( in a way
<egg|zzz|egg> GreeningGalaxy: so if you stretch it too much, it might look like an и or something
<egg|zzz|egg> not sure how it would look like an n though.
<GreeningGalaxy> it took me like 30 seconds to even *find* an x in that mess, and I'm not entirely convinced it's not a χ
<egg|zzz|egg> no, my χ *are* two lines crossing :-p
<GreeningGalaxy> my prof draws them like )\( which often resembles N
<egg|zzz|egg> GreeningGalaxy: wait are you looking at the χ
<GreeningGalaxy> I'm not wearing my glasses and I have my brightness low because I'm going to sleep soon.
<egg|zzz|egg> the xs are on the line that says H(x) = -x lg x - (1-x) lg (1-x)
<SnoopJeDi> ah now you've gone and reminded me that sleep is a thing and it's necessary
<SnoopJeDi> THANKS I GUESS
<GreeningGalaxy> wait that's an x???
<GreeningGalaxy> what to heck
<GreeningGalaxy> I thought THAT was a χ
<GreeningGalaxy> or maybe an n
<egg|zzz|egg> GreeningGalaxy: well I guess I could be your prof :-p
<whitequark> define necessary
<whitequark> i beg to differ
<egg|zzz|egg> whitequark: like food
<whitequark> egg|zzz|egg: oh yeah sure
<whitequark> "necessary"
<whitequark> you could call it that
* egg|zzz|egg starts to wonder whether whitequark is actually a robot pretending to be a cat
<GreeningGalaxy> I discovered this last week that my sleep requirements vary significantly depending on if I'm taking my depression meds. I went off them for a couple days because my pharmacy is stupid and terrible, and suddenly felt awake after a 6-hour night when usually I need 9 or 10 hours to be human the next day.
<whitequark> SSRIs?
<GreeningGalaxy> yeah.
<whitequark> SSRIs are awful, yeah
<whitequark> honestly I'm always surprised when they do in fact help someone
<GreeningGalaxy> well they've made me stop feeling horrifyingly terrible all the time so they do seem to work for me
<egg|zzz|egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy an irregular 555 timer
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark an IEEE 488 python
<whitequark> the hell is ieee 488
<whitequark> oh god GPIB.
<whitequark> I hate GPIB.
<GreeningGalaxy> we have alllll the GPIB at my uni >_<
<GreeningGalaxy> stupid awful GPIB
<egg|zzz|egg> !acr -add:GPIB General Purpose Interface Bus
<Qboid> egg|zzz|egg: I added the explanation for this acronym.
<GreeningGalaxy> and the only computers we have that can actually take the PCI cards for it are fossilized Dell towers with windows XP and IT Department Official Bullshit on them.
<egg|zzz|egg> !wpn
* Qboid gives egg|zzz|egg a submersible knife
* egg|zzz|egg puts the knife in water
<egg|zzz|egg> the knife continues to be a knife
<GreeningGalaxy> University Policy is that no person but an employee of the IT department, not even a chair of another department, can have any kind of administrative access over a University-owned Windows machine. That doesn't apply to macs for whatever reason, so our department has those for all of our computers.
<GreeningGalaxy> except for a few. Most of those few are operated under the radar.
<SnoopJeDi> University IT is insane
* UmbralRaptor trieds the knife for a water cutter.
<whitequark> GreeningGalaxy: just use a local privesc exploit.
<UmbralRaptor> s/trieds/trades/
* Qboid trades the knife for a water cutter.
<whitequark> I think you can use the NTVDM one for WXP
<SnoopJeDi> I can practically spit on my lab's cluster from my desk, but I can't access it if the central campus has network problems
<SnoopJeDi> Because we're not allowed to operate a subnet: my connection to that machine goes all the way to campus and back
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a cardioid/fish hybrid
<GreeningGalaxy> one of the reasons my prof and I use RPi for everything is that it makes a decent computer for many research purposes, but isn't regulated in any way since it counts as fiddling small research equipment and not a Computer that needs to be tracked and controlled.
<SnoopJeDi> We just went through our yearly hazing by the dept's inventory people
<egg|zzz|egg> !wpn SnoopJeDi
* Qboid gives SnoopJeDi a chi sabot
<whitequark> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a flaming wyvern
<GreeningGalaxy> !wpn whitequark
* Qboid gives whitequark a tin turbine
<whitequark> LLVM is on fire lately
<egg|zzz|egg> hey that's Iskierka
<UmbralRaptor> It seems like a lot of academic work gets done on semi-personal boxen that sneak around admin rules.
<egg|zzz|egg> [context: Iskierka is a dragon and sets things on fire]
<GreeningGalaxy> I just emailed my prof to ask if I could install Scientific on one of the GPIB computers, because there's no way I'm using a windows XP machine in my lab.
<egg|zzz|egg> UmbralRaptor: boxides? :-p
<UmbralRaptor> Relatedly, it's nice to know that my spectra simulation code runs on Keldysh. >_>
<GreeningGalaxy> In fact, I might go so far as to say that Windows XP is not allowed in my lab. My name's on the door, I can make the rules! until I get overridden by anyone higher on the chain than me, e.g. literally anyone besides another undergrad
<UmbralRaptor> egg|zzz|egg: Only if they contain octopodes.
<egg|zzz|egg> makes sense
<UmbralRaptor> GreeningGalaxy: if nothing else, Python 3.something (and lots of libraries) will run on XP. >_>
<egg|zzz|egg> snek
<GreeningGalaxy> whitequark: I mentioned I have lvm (unrelated to llvm, I know) on my laptop, but I still can't figure out what it's for. What improvements over a regular partitioning scheme does it offer in exchange for how much more complicated it makes things?
<UmbralRaptor> Hey, at least it doesn't involve bouncing back and forth between Perl and IRAF.
<SnoopJeDi> 3.6 is the new hotness as of Dec
<UmbralRaptor> Hrm. Only have 3.4.2 on this box.
<GreeningGalaxy> oh hey, I have 3.6. thanks Manjaro
<SnoopJeDi> I don't really have any desire for some of the new 3.6 features, I've been using 3.5 for a bunch of stuff
<SnoopJeDi> f-strings seem like...a bad idea to me?
<GreeningGalaxy> f-strings?
<SnoopJeDi> f"my variable is {foo.bar}"
<SnoopJeDi> will pull `foo` from the local namespace and access the `bar` attribute
<SnoopJeDi> and allegedly you can run code in them too? it seems like it's intentionally as leaky as possible compared to str.format()
<GreeningGalaxy> wat?
<UmbralRaptor> Wait, wait. Executing strings?
<GreeningGalaxy> why not just make all your programs call eval() on string variables?
<SnoopJeDi> I'd much rather have "my variable is {var}".format(var=foo.bar)
<SnoopJeDi> It's not clear to me how much actual *execution* you can get away with, but yea, basically that's my objection
<SnoopJeDi> since dot notation is just syntactic sugar for getattr() anyway
<UmbralRaptor> If there's an exploit for this, I hope it gets called "snekshock"
<SnoopJeDi> Well, it's for string literals, so I don't think you can run into quite the nasty things you'd get with eval()
<SnoopJeDi> But still...
<whitequark> what
<whitequark> what's the problem with f-strings
<whitequark> it's just string interpolation, stuff that other languages had since forever
<whitequark> say, lisp, ruby and es6, off the top of my head
<SnoopJeDi> sure, I'm not suggesting it's a new thing
* GreeningGalaxy starts writing all her code like this: a = 'def funct(): return "output"'; eval(a); b = 'funct()'; eval(b);
<SnoopJeDi> I just don't like it because it seems too implicit/magical for a pythonic philosophy
<whitequark> pythonic philosophy is bullshit
<SnoopJeDi> Opinion aside, it surprises me that the two come from the same group
<whitequark> GreeningGalaxy: lvm gives you several things
<SnoopJeDi> "Explicit is better than implicit" and string interpolation ¯\_(ツ)_/¯
<SnoopJeDi> I assume it means enough people wanted it that they shoved it in there
<whitequark> it lets you spread a filesystem along several drives
<whitequark> it lets you resize a filesystem even if there's another partition immediately afterwards
<whitequark> it lets you move a filesystem from drive to drive without even impacting downstream workloads
<SnoopJeDi> anyway, more of the hubbub about 3.6 is the async features it adds, I think? I don't web-snek so I don't really know
<GreeningGalaxy> ehhh I take it back I actually like f-strings
<whitequark> most of those went in 3.5 no?
<SnoopJeDi> oh and **kwargs order is now guaranteed, which isn't super important to me
<whitequark> we're using them in artiq
<SnoopJeDi> yea whitequark 3.5 was a much bigger deal for that AFAIK
<bofh> **kwargs?
<SnoopJeDi> dict unpacking, specifically for functions
<GreeningGalaxy> also how are f-strings against pythonic philosophy? isn't pythonic philosophy all about readability?
<SnoopJeDi> `def foo_method(bar, baz, *args, **kwargs): ...` can accept any number of unnamed and named args bofh
<SnoopJeDi> GreeningGalaxy, the bit from PEP20 that I quoted seems to run contrary to them
<GreeningGalaxy> I used to go around like 'This is a string containing the values of the variable '+str(foo)+' and the variable '+str(bar)+'.'
<SnoopJeDi> well, you can use str.format() to get the same effect
<SnoopJeDi> explicitly
<SnoopJeDi> "foo={foo}, bar={bar}".format(foo=foo, bar=bar)
<SnoopJeDi> it's probably just my preference though, I'm nowhere near familiar enough with interpolation to actually have an opinion that matters on it
<GreeningGalaxy> me either
<whitequark> look at any codebase that's a heavy user of string.format
<SnoopJeDi> whitequark, you're referring to the amount of boilerplate overhead it adds?
<whitequark> yes. and bugs.
<SnoopJeDi> I suppose it does violate DRY in a way
<whitequark> especially if people resort to using **locals()
<SnoopJeDi> yea locals() looks evil as fuck and is a very good objection
<SnoopJeDi> if people actually do that, then I see the motive for f-strings even more
<SnoopJeDi> I certainly don't begrudge their addition to the language
<SnoopJeDi> and I'm sure Guido and the rest of that lot know a hell of a lot better than I do
<whitequark> I'm not very convinced they know what they're doing, as a Python implementer
<whitequark> the language has so many awful weird corners
<whitequark> like the way try..except works, or nonlocal, 
<whitequark> or the way imports work
<SnoopJeDi> well, it's a language, heh
<SnoopJeDi> so far as I gather, it's a Dark Knight problem
<SnoopJeDi> you either become obscure too early in the lifecycle to matter, or live long enough to develop weird cruft
<whitequark> I don't really agree
<whitequark> they had a good chance with 3.0 and mostly squandered it
<whitequark> and many of those things weren't considered problems in the first place
<whitequark> I think the one notable fix is the scoping in list comprehensions
<SnoopJeDi> I certainly wouldn't say 3.0 went well
<whitequark> that's not even touching the stdlib, which is just full of crap
<whitequark> it doesn't even have consistent naming!
* SnoopJeDi looks at namedtuple
<whitequark> ugh, namedtuple.
<SnoopJeDi> so useful, so awful ;_;
<whitequark> there isn't a functional test runner
<whitequark> unittest's interface is an atrocity, its replacements either don't work or aren't much better
<whitequark> like/
<GreeningGalaxy> I started with python when 3.1 was current, IIRC. I started with 2.7 anyway, but eventually switched to 3 before I got too deeply rooted.
<whitequark> why can't I run: all tests from a package, all tests from a module,, all tests from a class and a single test (function)
<whitequark> with a uniform interface
<whitequark> I need THREE DIFFERENT INVOCATIONS for that
<whitequark> and some other test runner people were fond of is breaking on our codebase in some exceedingly bizarre thing it's doing internally, like badly parsing python code with regexps or something to that extent
<whitequark> ... and it'd still require me to do three different invocations, as it turned out after I worked around that
<SnoopJeDi> computers are hard
<GreeningGalaxy> whitequark: You mentioned using Debian, right? Is that the same system as you have Plasma 5 on?
<whitequark> SnoopJeDi: no
<whitequark> this is an extremely basic UI problem that would take a bad programmer a whole half-hour to resolve
<whitequark> they just don't give a fuck
<SnoopJeDi> I don't mean that as a defense of Python whitequark
<whitequark> like, fixing the Python language is a "computers are hard" problem
<GreeningGalaxy> sorry to come out of the blue like this, I've just been trying to reconcile my desires to return to Debian and stay with Plasma 5
<whitequark> GreeningGalaxy: um sure
<SnoopJeDi> it's just my exasperation with how I can't throw a goddamned rock in this madhouse without snagging on some deep problem that's been around since 1970
<whitequark> I've been on debian for almost a decade I think
<GreeningGalaxy> how did you manage that? are you using testing?
<whitequark> except for a brief six-month period on gentoo that I shall never talk about again
<SnoopJeDi> the notion of deliberately entering the field professionally gives me pause at times
<whitequark> GreeningGalaxy: yup
<whitequark> stable only on serevrs
<GreeningGalaxy> would you recommend testing? is it stable enough for typical use?
<whitequark> absolutely
<GreeningGalaxy> cool.
<whitequark> I generally update regularly and had barely if ever any time lost due to that
<SnoopJeDi> anyway thanks for sharing your thoughts on f-strings whitequark, valuable to hear
<GreeningGalaxy> I've loved Debian's dependability every time I've used it, but often been frustrated by the absence of packages from stable that I want and other distros have in their mainline releases
<GreeningGalaxy> and I've also never successfully pulled off a distribution release upgrade lol
GreeningGalaxy is now known as diode|zzz|lass
<kmath_> <astrotweeps> This is how those three cones line up against the big pie slices from the SDSS. I wonder when we’ll fill up the who… https://t.co/fNSM9sdfAr
<UmbralRaptor> Surveys are getting amazingly deep/wide
<egg|zzz|egg> !u 
<Qboid> U+007F ()
<Qboid> U+007F ()
<egg|zzz|egg> whitequark: uh why do you have two DELs in your message
<egg|zzz|egg> do you send your IRC messages via punchcards
<egg|zzz|egg> !acr -add:GAMA Galaxy And Mass Assembly
<Qboid> egg|zzz|egg: I added the explanation for this acronym.
<whitequark> egg|zzz|egg: that's some sort of bug in mosh, tmux, irssi, or interaction thereof
<egg|zzz|egg> hah, I have contaminated diode|zzz|lass
<egg|zzz|egg> infected I guess?
* egg|zzz|egg not good at the englishes :-p
<egg|zzz|egg> 00:13 <UmbralRaptor> Δλ is a prefectly reasonable variable name, right?
<egg|zzz|egg> <<< yes
egg|zzz|egg is now known as egg
<egg> !wpn whitequark
* Qboid gives whitequark an isenthalpic asm.js
<egg> who added that
<soundnfury> !wpn egg
* Qboid gives egg a dye solenoid
<egg> !wpn
* Qboid gives egg a Newtonian cocycle
* egg goes back to the principia mines armed with a solenoid and a cocycle
<egg> (or as stratochief puts it, the principia wells)
<egg> oh hey I should pay my 24 CHF of taxes
<egg> (which is a woeful underestimate of what I'll have to pay if I do manage to get a job, but whatever)
<soundnfury> CHF looks like a pretty reactive compound
<egg> it also looks like it's missing some signs
<soundnfury> could be missing dots — free radical?
<soundnfury> (would that be :CHF ?)
<soundnfury> presumably if you have it in bulk it'll quickly convert itself to 1,2-difluoroethene
<soundnfury> I imagine you'd get more trans- than cis-, because that H vs. F electronegativity is gonna be rather polar
ferram4 has quit [Ping timeout: 206 seconds]
* Iskierka sets anaconda on fire
<whitequark> ugh, anaconda
<whitequark> fuck anaconda *so hard*
<whitequark> it's been NOTHING but problems ever since I started using it
* Iskierka can't figure out how to start using it. has installed it, added to path, restarted, installed packages, tried to use them ... nothing, and nothing on the internet mentions anything about how to get python to use the anaconda packages
<Iskierka> since pypy3 isn't a well-maintained thing, wanted to try numba, import numba -> no package 'numba'
<egg> speaking of snakes, http://i.imgur.com/O41VyDY.gifv
<Iskierka> that seems to be very much the experience of trying to get anaconda packages to work
<Iskierka> appears to fail due to some path silliness that was not made clear. only now the stuff doesn't work anyway so yay
<Iskierka> yep, works poorly, so rather than carry on with software whitequark says is nothing but problems let's immediately nuke it and just stick with pypy2. it's nice and fast anyway
<egg> whitequark: I read the openfpga backlog and now I feel mildly bad about principia being in C++
<egg> (I'm definitely not reimplementing it in something else though >_>)
<egg> whitequark: does rust have a Turing-complete type system?
<egg> googling yields "yes"
<egg> so I guess I could have used that and made my unit madness there
<whitequark> egg: you could have just written a compiler plugin
<whitequark> as for principia... eh I dunno
<whitequark> when you started, rust wasn't usable
<egg> whitequark: a compiler plugin? for what?
<whitequark> for units
<whitequark> to not have horrible error messagees
<egg> ah
<whitequark> just expand literals as a preprocessor stage
<egg> it's not about literals tbh, we don't have unit literals
<egg> it's about dimensional analysis
<whitequark> why do you need turing completeness there
<egg> maybe not quite that much, but I do need arithmetic on the types
<egg> (the typechecker needs to know that Product<Quotient<Length, Time>, Frequency> is the same type as Speed, which means it's doing some integer sums; the lib also supports powers (so multiplication) and roots (division with an integer result))
<egg> whitequark: so I think Peano arithmetic gives you Turing completeness somehow, though perhaps not in a very interesting way? I'm not fluent enough in theoretical compsci
<whitequark> mmm
<whitequark> does it?
<egg> whitequark: well the wiki page on Peano arithmetic says it does, but then I don't know what exactly is the statement here
<egg> whitequark: actually that seems to require multiplication, and while powers of quantities yield multiplications, they're only multiplications by compile-time constants, so morally they're additions
<egg> so not quite Turing complete
<egg> but still requires additions to typecheck
<egg> and since it's at the typechecking stage of things, I don't really see how I could do it by preprocessing
<egg> whitequark: otoh, speaking of compiler messages, is there a way to help clang giving better error messages for template porn?
<egg> e.g. which name we'd prefer seeing for a type or whatever
<egg> hmm, rust has no genericity over values? that makes dimensional analysis tedious
<egg> (you have to do integers in the peano way)
<egg> welp the KSP menu text didn't load somehow
<egg> but then if I click in the right place the next menu shows up so it's fine I guess? O_o
Thomas|AWAY is now known as Thomas
<egg> !wpn TheKosmonaut
* Qboid gives TheKosmonaut an indium triangle
<egg> !wpn Thomas
* Qboid gives Thomas a Schwarz hexahexaflexagon
<egg> stabbity
<Thomas> !wpn egg
* Qboid gives egg a Norman magma
<bofh> 11:08 <@whitequark> fuck anaconda *so hard*
<egg> bofh: your timestamps are UTC?
<bofh> days since someone in my department was bitching about conda within earshot: 1 (b/c I haven't got to my office yet)
<bofh> egg: yes
<bofh> egg: I'm lazy :P
<egg> bofh: why lazy?
<egg> UTC is good
<bofh> (plus this makes it easier to cross-reference Voyager SFOS documents)
<egg> hah
<bofh> egg: lazy b/c having local == UTC makes things easier
<bofh> in like, syslogs and whatnot
<egg> (I mean, I'm not going to ask you for TT or TCB timestamps)
<bofh> oh by lazy I meant as opposed to setting my VPS time to my actual correct local timezone
<bofh> (which does tend to vary, but is usually CST)
<egg> huh, you're in murka?
<bofh> unfortunately
<egg> SFOS?
<egg> !acr -add:SFOS Space Flight Operations Schedule
<Qboid> egg: I added the explanation for this acronym.
<egg> bofh: I wonder when we'll outgrow NASA's acronym database(s) :-p
<egg> DSN?
<egg> !acr -add:DSN Deep Space Network
<Qboid> egg: I added the explanation for this acronym.
<bofh> I'm surprised DSN wasn't already in there...
<egg> well it's one of those everybody knows about here, so they don't ask it, so it doesn't get added
<Thomas> !acr -list
<Qboid> Thomas: I will send you a list of my acronyms!
<egg> JAXA?
<Qboid> egg: [JAXA] => Japanese Aerospace eXploration Agency (国立研究開発法人宇宙航空研究開発機構)
<Thomas> 643 acronyms
<egg> wheee
<Thomas> s/43/34
<Qboid> Thomas meant to say: 634 acronyms
<bofh> ugh, I need to figure out how to get Space Jam to sound better when encoded in AMR-NB
<egg> bofh: international space acronyms too :D
<egg> KZM?
<Qboid> egg: [KZM] => Кабель-Заправочная Мачта
<bofh> problem is 4kHz of bandwidth is awful for music
<Thomas> And crap too
<egg> SYLDA?
<Qboid> egg: [SYLDA] => SYstème de Lancement Double Ariane
<Thomas> PlanetMaker?
<Qboid> Thomas: [PlanetMaker] => PlanetMaker is an equation, in relative units, that is g = m/(r^2) = rρ ρ is density, r is radius, m is mass, g is surface gravity. For Earthlike planets, assume that each letter is equal to one for Earth (or Kerbin). For Gas giants, assume that each letter is equal to one for Jupiter, and so on.
<egg> that...
<egg> that seems to be crap, yes.
<bofh> yes
<Thomas> !acr -remove:PlanetMaker
<Qboid> Thomas: I removed the explanation for PlanetMaker
<bofh> that is def. crap
<Thomas> OMK?
<Qboid> Thomas: [OMK] => Oh My Kraken
<egg> bofh: that sounds like crackpot/Markov crap
<bofh> (on that note, ugh I should probably haul ass to my office)
<bofh> egg: oh did I ever link you quantum_physics_.doc?
<egg> I am scared
<Thomas> Troubleshooting?
<Qboid> Thomas: [Troubleshooting] => Have you tried turning it off and back on?
<Thomas> MMguide?
<Qboid> Thomas: [MMguide] => Module Manager Handbook ( https://github.com/sarbian/ModuleManager/wiki/Module-Manager-Handbook )
<Thomas> I should ban gregrox and sigma from using acr :P
<bofh> so I got this sent to me when I was doing a research term at the institute for quantum computing
<bofh> (so did a few others, it was really scattershot, some profs, some postdocs, some master's students, etc)
<bofh> it's... a work of art.
<bofh> if audiobooks are more your thing I have Ogg Speex of it being read by Microsoft Sam too
<egg> I... no. no. no.
<bofh> basically imagine if the timecube guy snorted the abstract concept of Quantum Field Theory and then did a site update. that's about a third of the way to describing it.
<egg> bofh: did you see that trajectory screenshot?
<egg> (unrelated, trying to get back to sanity)
<bofh> egg: heh. no, you didn't, checking it out now
<bofh> nicely complicated trajectory there
<egg> launching equatorially from a tilted Kerbin, getting pushed around by the moon, and finally circularizing
<egg> without plane change manoeuvres
<egg> (completely seat-of-the-pants, may be costlier than the naive approach, but cute)
<egg> some TCMs at Kerbin periapsides of course, with RCS
<bofh> not bad. nice that that's all stable in the game engine
<egg> what do you mean?
<bofh> numerically
<egg> it's our stuff, numerically, we ignore everything KSP does and fly the universe ourselves \:-p
<egg> not sure why there's a stray \ in that smiley
<egg> bofh: mind you that's a bit of a chaotic trajectory, one does see that if the prediction is prolonged too far
<egg> of course that's what TCMs are for
<bofh> ahh
<egg> (that's what they're for IRL, too)
<bofh> well, yes
<egg> damn I watched the latest vi hart video and now I am hungry
<egg> bofh: so we're apparently the same colour in both the whitequark/Thomas logs and in Hexchat... I wonder whether it generates colours in the same way?
<Thomas> In Quassel you arent the same color
<egg> hmm, UmbralRaptor is also that colour in my client, but not in the logs
<egg> so that's not it
<Iskierka> isn't hexchat open source?
<Thomas> it is
<Iskierka> so it would logically be possible to check
<Iskierka> ... :o commit 16 days ago removes ctrl+w keybinding!
<Iskierka> must update!
<egg> oh wow
<egg> finally
egg has left #kspacademia [It's a silly place.]
egg has joined #kspacademia
<egg> apparently I still have it
<Iskierka> might not be in release versions yet, this is on the github
<egg> !wpn Iskierka
* Qboid gives Iskierka a rhenium partisan
<Iskierka> last github release in december, so yeah, still in the dev versions
* Iskierka wanders off instead to find out how to properly prevent packages from being updated by apt. Those bumblebee packages may look older but they're newer and unlike yours, apt, not broken
diode|zzz|lass is now known as GreeningGalaxy
<egg> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy a ſtabby trie
<GreeningGalaxy> !wpn egg
* Qboid gives egg a Kahan ring
<egg> One ring to round them all, one ring to cancel them, one ring to sum them all and in the darkness NaN them.
<egg> In the land of Kahan where the Denormals lie.
<GreeningGalaxy> !wpn bofh
* Qboid gives bofh a samarium error
GreeningGalaxy has quit [Quit: SIGNAL LOST]
<egg> greening LOS
GreeningGalaxy has joined #kspacademia
<egg> Greening AOS
<GreeningGalaxy> I'm installing Debian on my laptop so this is my phone
<GreeningGalaxy> the basic graphical installer failed miserably, but the "expert installer" is working fine? ok
<Thomas> because only experts can work with debian
<Thomas> non-experts must be protected from themselves
<SnoopJeDi> if you're not an expert get out you filthy casual
<Thomas> go and install mint
<Thomas> :P
<GreeningGalaxy> thomas: if this were Arch or something I would not be at all surprised if that were why it breaks
<GreeningGalaxy> otoh this is the Testing installer so...
<Thomas> lol
<SnoopJeDi> DOE sent an announcement-of-no-announcements today re: our proposal...sounds like it could take as much as 6 months for awards to go out as the new administration turns the agency inside out looking for grift/waste
* egg is confused by bofh's tweet
<Norgg> sweater
<egg> Norgg: ?
<bofh> egg: improvement over the original Ring Verse :P
<egg> hah
<bofh> SnoopJeDi: yaey
<bofh> SnoopJeDi: watch the "grift/waste" ofc all concentrate in the renewables departments >_>
<bofh> bofh453 actually
<SnoopJeDi> bofh, it's not like DOE was particularly friendly to things like nuclear to begin with
<SnoopJeDi> they're downright hostile to, say, ADS
<SnoopJeDi> and god forbid you call any attention to the pants-on-head stupidity that is spent fuel management
<bofh> ADS?
<Qboid> bofh: [ADS] => Astrophysics Data System
<bofh> I doubt that.
<kmath_> <bofh453> Yeah, I think this is a slight improvement, @eggleroy. https://t.co/8AFT3DWEUC
<SnoopJeDi> (unless you are responding directly to an ARPA-E solicitation for "oh jesus god our fuel pins are awful pls fix")
<SnoopJeDi> Accelerator-driven Systems
<bofh> ahh
<SnoopJeDi> subcritical fission driven by a proton beam
<egg> Norgg: bohf is @bohf453
<SnoopJeDi> (the topic that got me into this accelerator whatsit to begin with)
<bofh> yeah, that shit's interesting but I question its practical value compared to just using thermal neutrons to drive fission
<bofh> > 16:36 <@SnoopJeDi> and god forbid you call any attention to the pants-on-head stupidity that is spent fuel management
<bofh> <incoherent swearing>
<SnoopJeDi> transuranic fission cross-section sucks for thermal neutrons
<SnoopJeDi> dominated by absorbtion by several orders of magnitude
<SnoopJeDi> (which is why fission is inherently wasteful, this mechanism is a brake)
<SnoopJeDi> thermal fission*
<bofh> doesn't it mostly limit reaction *rate* and not *efficiency*?
<SnoopJeDi> at fast spectra, the relationship inverts and you fission transuranics, destroying "waste" and generating energy
<SnoopJeDi> bofh, they're the same thing
<SnoopJeDi> pins are pulled because the rate is too low, so you leave fissionable material on the table
<bofh> ahh. okay, I see now.
<SnoopJeDi> our group's design didn't even care about the uranium, we'd give it back to the LWR industry
<SnoopJeDi> it was 100% a nuisance material in our electrochemistry pipeline
<bofh> what's the ideal fuel y'all want to run on? Thorium? Pu-239/240? some other actinide shit?
<SnoopJeDi> Am-241 and Pu-239 were the primary fuels we were interested in
<SnoopJeDi> because literal poison and bombs, respectively
<bofh> by literal poison you mean reactor waste/neutron poison?
<SnoopJeDi> no I mean it's super duper lethal
<SnoopJeDi> (but that too)
<bofh> Am-241 doesn't sound *much* nastier than most other radioactive transuranics
<SnoopJeDi> It depends a little on exposure
<SnoopJeDi> But you're not gonna store that stuff for 1 million years and not leak it into groundwater
<bofh> 50keV gamma, nasty strong alpha
<SnoopJeDi> Yea, the alpha's the real pisser
<SnoopJeDi> We had some designs for thorium and other misc too though
<kmath_> <whitequark> It came to them with a message and a system of messages, but they could not understand its ancient semiotics
<SnoopJeDi> Our neutronics guy is brillo
<SnoopJeDi> If that system comes back to life at all, it'll be because of medical isotope production though :/
<bofh> half-life ~432 years. do we really need to do *a million*? after a few thousand years the specific radioactivity of a lump of it will be tiny in comparison to what you started out with
<SnoopJeDi> a million is a lump number for the fuel
<SnoopJeDi> Pu-239 has λ 24,110 a
<bofh> (also comparable alpha to Pu-238, with an annoying weak gamma, but 5x the half-life, so I'm curious when someone'll try shoving it onto an RTG)
* GreeningGalaxy imagines that's half-life, wavelength, principle moment, AND thrust factor
<SnoopJeDi> it's roughly on scale with what the blue ribbon committee was all about, and certainly exceeds the longest single project any humans have ever attempted (if we're being generous and calling agriculture one "project")
<SnoopJeDi> ANYWAY
<bofh> rofl glhf
<egg> GreeningGalaxy: using natural units so they can be of the same dimension \o/
<SnoopJeDi> yea, DOE is not a fan of the reality
<SnoopJeDi> they'd rather kick some sand over it
<SnoopJeDi> "The AP-1000 will be totally sweet you guys, just wait!"
<SnoopJeDi> "Pebble-bed is the future!"
<GreeningGalaxy> can't hear you through the pants over the head?
<bofh> honestly vitrifying it then burying it in salt strata seems perfectly reasonable for nuclear waste disposal
<bofh> rofl
<bofh> hey at least it's not РБМКs
<SnoopJeDi> Disposing of it at all is just silly imo
<egg> РБМК?
<SnoopJeDi> When you could use it to extend the energy horizon by a factor of 10...
<egg> !u РБМК
<Qboid> U+0420 CYRILLIC CAPITAL LETTER ER (Р)
<Qboid> U+0411 CYRILLIC CAPITAL LETTER BE (Б)
<Qboid> U+041A CYRILLIC CAPITAL LETTER KA (К)
<Qboid> U+041C CYRILLIC CAPITAL LETTER EM (М)
<bofh> Реактор Большой Мощности Канальный
<bofh> a really really shitty reactor design
<egg> !acr -add:РБМК Реактор Большой Мощности Канальный
<Qboid> egg: I added the explanation for this acronym.
<GreeningGalaxy> but nooOOOooOoOOooO theres too much BOMB RISK
<egg> !acr -add:RBMK Реактор Большой Мощности Канальный
<Qboid> egg: I added the explanation for this acronym.
<GreeningGalaxy> what if TERRORORISM
<bofh> GreeningGalaxy: people seem to really underestimate how fucking capricious making a nuke is
<bofh> like, implosion-lens type bombs are sensitive to delays caused by light-time transit over the wire, if one wire is too long the shaped explosion won't be symmetric and you won't get criticality
<GreeningGalaxy> yeah, they think you just need two-ish lumps of vaguely fissile plutonium and a workshop in a shef
<GreeningGalaxy> shed
<bofh> rofl, then they use shit-grade Pu and the Pu-240 causes the whole mess to blow up (mostly non-nuclearly) while the terrorist is en-route to placing it at the destination
<SnoopJeDi> the demon core certainly proved that's all you need to get a bunch of poeple killed, GreeningGalaxy, heh
<SnoopJeDi> killed/maimed
<GreeningGalaxy> well yeah, but in a small area
<SnoopJeDi> yea I'm just being flippant
<bofh> also like that was *extremely high-grade* refined Pu-239 iirc
<GreeningGalaxy> conventional explosives of a quantity similarly difficult to obtain would be many times more destructive
<SnoopJeDi> Destruction isn't really the metric you measure terrorism by, though
<SnoopJeDi> Terror is
<bofh> also, Louis Slotin was a fucking idiot, I still maintain this
<GreeningGalaxy> can't plutonium be downblended to a level where it's useful for reactors but not bombs?
<SnoopJeDi> Depends on what you mean by "reactors"
<GreeningGalaxy> er wait, it tends to turn depleted U into more Pu over time doesnt it
<SnoopJeDi> If you mean the only shitty LWRs anyone has ever built, no not really, Pu is universally a pest for those AFAIK
<GreeningGalaxy> ah
<SnoopJeDi> another fact DOE doesn't really like to confront: nuclear engineers don't build anything
<SnoopJeDi> bring it up and people just plug their ears and yell "ITER! ITER! LA LA I CAN'T HEAR YOU"
<egg> !acr -add:ITER International Thermonuclear Experimental Reactor
<Qboid> egg: I added the explanation for this acronym.
<egg> CEA?
<egg> !acr -add:CEA Commissariat à l'Énergie Atomique
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:ASTRID Advanced Sodium Technological Reactor for Industrial Demonstration
<Qboid> egg: I added the explanation for this acronym.
<egg> !acr -add:LMFBR Liquid Metal Fast Breeder Reactor
<Qboid> egg: I added the explanation for this acronym.
<bofh> SnoopJeDi: is that due to infeasibility or?
<SnoopJeDi> not building new plants you mean bofh?
<SnoopJeDi> I don't think it's technological at all, there have certainly been a lot of good ideas in the last...70 years of nuclear energy (:|) that could improve a modern design
<bofh> yeah like I think this is more political than anything else
<SnoopJeDi> Hard to say why the culture is the way it is, but I think it's mostly the perception of nuke-ya-ler as dangerous and a failure to deliver the world of tomorrow that was overpromised?
<SnoopJeDi> Veritasium did a really good doc on the industry that I liked
<Norgg> egg: Random thought that I can't find much writing on, are there non-English translations of open source licenses that have been legally defended?
<egg> I do not know
<bofh> SnoopJeDi: so like I maintain that it still COULD deliver that world
<bofh> at least the electrical energy requirements for it
<Norgg> I found a French version of BSD and wondered whether it'd be enforceable.
<SnoopJeDi> oh for sure bofh
<SnoopJeDi> if our ADS design panned out, it'd be a license to print money
<Iskierka> was there ever close to enough nuclear investment to deliver a world of tomorrow? Limitless energy only applies with enough plants to provide the bandwidth
<SnoopJeDi> you'd be burning someone else's burdensome trash (and probably charging them a handsome fee), AND selling the energy
<SnoopJeDi> probably some gubbmint subsidies to get rid of the splodey stuff...who knows?
<SnoopJeDi> industry sure as hell won't do the fundamental R&D necessary for it
<Iskierka> france went to the point of asking to buy the US's waste and still didn't get agreement
<SnoopJeDi> except the molten salt chemistry, they're interested in that for other reasons (and it's been our most fruitful avenue of research)
<bofh> you mean using molten Na as coolant/mediator?
<SnoopJeDi> France's ADS culture is fairly good from what little I know
<SnoopJeDi> If anybody builds one, it'll probably be China, CADS is very active (at least in appearance)
<SnoopJeDi> bofh, we looked at a bunch of salts, I think magnesium chloride was what we were interested in for coolant flow
<SnoopJeDi> can't recall what ORNL's test reactor used
<bofh> Why that one specifically?
<SnoopJeDi> that's a good question, I don't recall the specifics
<SnoopJeDi> most of my contributions were on the neutronics and CFD concerns
<SnoopJeDi> a little bit on the electrochemistry you'd have to do to get rid of the uranium and some undesireables
<SnoopJeDi> or rather, the safety during the electrochemistry haha
<SnoopJeDi> if you're not careful in designing the reaction vessel for processing, you can pretty easily end up with a critical pile
<SnoopJeDi> (at this point, hi NSA!)
<bofh> (Rofl)
<bofh> like I guess the ease of accidentally attaining criticality depends greatly on *what* it is you're processing.
<SnoopJeDi> that and the fact that things are going to come out of solution in such-and-such a way, so if you naively assume things will be uniform, you'll have an insufficient safety factor
<egg> !wpn
* Qboid gives egg a copper boiling denormal
<egg> ... I'll put it with the Kahan ring
<Iskierka> !wpn
* Qboid gives Iskierka a cell
<Iskierka> ... what kind?
Technicalfool has joined #kspacademia
Technicalfool has quit [Remote host closed the connection]
Technicalfool has joined #kspacademia
ferram4 has joined #kspacademia
<UmbralRaptor> !wpn ferram4
* Qboid gives ferram4 a hypothetical ☣-like FORTH
* UmbralRaptor apparently missed the nuclear fun.
<egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor an argon cathode ray tube
<egg> !wpn whitequark
* Qboid gives whitequark a transitive 1N4148
<UmbralRaptor> !wpn egg
* Qboid gives egg a ⅝λ multimeter
icefire has joined #kspacademia
<egg> whitequark: UmbralRaptor: so, barring big bugs I think we might be looking at a release at the new moon
<UmbralRaptor> Yay
* UmbralRaptor stabs not having a KSP-capable computer.
<egg> !seen whitequark
<UmbralRaptor> (Well, a KSP-capable personal one. It could totally run on the work macbook)
<Qboid> egg: I last saw whitequark on [15.03.2017 12:36:31] in #kspacademia saying: "does it?"
<egg> hmm, could whitequark be sleeping? is such a thing even possible?
<egg> UmbralRaptor: run it on the work macbook then!
<UmbralRaptor> Sleeping means unobserved for at least several hours, right?
<bofh> egg: surprisingly, whitequark does sleep occasionally
<egg> navball drawing time
<egg> (Mathematica!)
<egg> contrary to stock's, our navball actually corrects for distortion! https://github.com/mockingbirdnest/Principia/blob/master/ksp_plugin_adapter/assets/navball_inertial.png
Iskra has joined #kspacademia
GreeningGalaxy has quit [Read error: Connection reset by peer]
GreeningGal has joined #kspacademia
<bofh> ugh, another "room temp superconductivity will revolutionize electrical transfer on the scale of Edison/Tesla" article
<SnoopJeDi> How did you get back to 1996
<SnoopJeDi> can I come too
<bofh> SnoopJeDi: https://science.energy.gov/news/featured-articles/2017/03-01-17/ with the DOE press release office, anything is possible :D
<SnoopJeDi> The DOE and I aren't on speaking terms today
* SnoopJeDi pouts
<bofh> seriously though how do you quote Abrikosov and numerous neutron diffraction results and yet still propagate that silliness.
<Iskra> Well they're not wrong, they just should think about having a deliverable
<Iskra> Room temperature superconductors will revolutionise things, if perhaps to a slightly lesser extent
<bofh> like, first off I guarantee the practical value of a room temp SC is in that we'll be able to chill it to 77K and then have not-shit critical current densities.
<bofh> (the theoretical value IMO will be far greater since I'm pretty sure hiking Tc up that high will require us to finally make sense of the menagerie of transport phenomena occuring in our current high-Tc SCs)
<bofh> (the Cuprate phase diagram over H & T is hilarious)
<bofh> (I think I saw one that had phases of "strange metal" and "stranger metal" on it)
<SnoopJeDi> Hey if QCD gets a quiltwork then so do we
<SnoopJeDi> "we"
<bofh> lol
<bofh> time to listen to some NICAR17 talks and see just how godawful other people's data handling/retention/processing policies are
<bofh> (sadly I'm all out of microwavable popcorn)
<egg> !wpn bofh
* Qboid gives bofh a Ritchey-Chrétien Lagrangian equality
<egg> hmm, GreeningGal's Lizzie used to have a popcorn function
<egg> it could give you various reasonable kinds of popcorn, and sometimes it picked an adjective from the weapons database
<egg> so you could get Lagrangian popcorn
<bofh> yum
<bofh> tasty
<bofh> best popcorn
<kmath_> YouTube - Hot Butter - Popcorn
<bofh> needs moar Euler-Lagrange Remix
<soundnfury> !wpn
* Qboid gives soundnfury an apochromatic pilcrow-like physicist
<soundnfury> Excellent.¶
Iskra has quit [Quit: Bye]
Thomas is now known as Thomas|AWAY
GreeningGalaxy has joined #kspacademia
<bofh> if I never again hear "make X great again" in the context of, well, anything, but especially: commit messages, assignment answers from students AND ESPECIALLY PAPER TITLES, it will still be too soon.
<GreeningGalaxy> I think I'd take off a point for each instance of that.
<soundnfury> Wayland: Making X great again.
<GreeningGalaxy> also dammit this font is great but not really monospaced. >_<
<bofh> oh seeing that guarantees that I will mark the rest of your assignment pedantically strictly
<bofh> soundnfury: *golf clap*
<bofh> GreeningGalaxy: which font?
<soundnfury> bofh: I'll count that as a success :
<GreeningGalaxy> Linux Libertine Mono O or something
<soundnfury> s/$/)
<Qboid> soundnfury meant to say: bofh: I'll count that as a success :)
<bofh> GreeningGalaxy: oh, I think something was a bit wonky with that and a few others
<bofh> the Ubuntu fonts are def. wonky in a few places.
<GreeningGalaxy> it's pretty, but eventually the cursor precessing to the left as I type is going to get on my nerves
<bofh> heh.
<bofh> that reminds me I need to finish making Monospace Comic Sans
<GreeningGalaxy> I set all my schoolwork in either Libertine or Biolinum. I think it looks professional with a nice old-book feel
<bofh> so I find it jarring to use anything other than Computer Modern for that, to this day.
<bofh> probably will always have that conditioned response
<GreeningGalaxy> mmm, I forgot debian let you tabl-complete package names.
<GreeningGalaxy> tab*
<bofh> that is such a lifesaver, seriously
<bofh> usually b/c this means you don't have to divine what goes after the end of libblarg
<GreeningGalaxy> Although my tab key is already abused enough as is
Wetmelon has joined #kspacademia
<bofh> (is it -0? -0-1? -2? WHO KNOWS AND IT CHANGES EVERY DIST-UPGRADE SOMETIMES)
<soundnfury> ka-chunk
<GreeningGalaxy> ok, gotta go to school. BRB
GreeningGalaxy has quit [Ping timeout: 206 seconds]
GreeningGal has quit [Ping timeout: 206 seconds]
GreeningGalaxy has joined #kspacademia
GreeningGalaxy has quit [Read error: Connection reset by peer]
GreeningGalaxy has joined #kspacademia
<Iskierka> I kinda want to figure out how to set up tab-completes for my own utility scripts but when I looked it seemed like black magic and I ran away
GreeningGal has joined #kspacademia
<egg> !wpn GreeningGal
* Qboid gives GreeningGal a degenerate scalar
<egg> !wpn Iskierka
* Qboid gives Iskierka a copper multimeter
<soundnfury> Iskierka: it is. You did right.
<soundnfury> !wpn egg
* Qboid gives egg a quadrupole imaginary serpentine which vaguely resembles a decomposition
<UmbralRaptor> !wpn egg
* Qboid gives egg a pike
GreeningGalaxy has quit [Ping timeout: 190 seconds]
<egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a hafnium fan
<soundnfury> UmbralRaptor: your veapon vill _also_ go on ze list. Vat is it?
* UmbralRaptor blinks at soundnfury in confusion.
<soundnfury> (don't tell him, Pike)
* UmbralRaptor gives soundnfury the first(?) captain of the Enterprise.
<egg> Misc principia commit messages: principia#76ff353
<Qboid> [#76] title: Convergence tests | | https://github.com/mockingbirdnest/principia/issues/76
<egg> uuuh no not that Qboid
<egg> Misc principia commit messages: principia@76ff353
<Qboid> [76ff3] title: Make the sun set in the west again. by Robin Leroy | Additions: 1 | Deletions: 1 | https://github.com/mockingbirdnest/Principia/commit/76ff3531d6e0a748db7922f7af6c082bbe35004f
<egg> here.
<UmbralRaptor> o_O
<egg> also principia@4fcc4c9
<Qboid> [4fcc4] title: Give WTF state. This doesn't speed things up (again). by pleroy | Additions: 108 | Deletions: 94 | https://github.com/mockingbirdnest/Principia/commit/4fcc4c985c680f34f2eac7d2cbd7869e0b7e8840
<egg> (that thing has a class called WTF, with an explicit constructor: explicit WTF)
<egg> WTF eventually became internal_чебышёв_series::EvaluationHelper
<soundnfury> my commit messages aren't nearly as weird. "reg_find_foo don't need a prefer", "Remove bogus <register> from <object-decl>" and "allocator: fix exdehl child tracking" are all from my compiler project
<egg> that is far too dull.
<soundnfury> ikr
<bofh> 22:06 <@egg> WTF eventually became internal_чебышёв_series::EvaluationHelper
<egg> what
<egg> identifiers take time to find :-p
<bofh> I have ℵ_0 questions right now. :P
<egg> https://twitter.com/johnregehr/status/842133021071425537 and on that day there shall be a Principia release
<kmath_> <johnregehr> super nice interactive map for the great eclipse of August 2017 https://t.co/f06GmYMVZ6
<soundnfury> even my KSP mods only have things like "Actually add ProfileStepLinear2", "don't use SI prefixes when displaying 0" and "work harder at making "kerbal has died" stick".
<soundnfury> egglipse.
<UmbralRaptor> No one transliterates чебышёв consistently.
<Iskierka> apparently the eclipse will be crap here
<egg> bofh: it's a "great eclipse" in the US, mostly >_>
<UmbralRaptor> First total, egglipse in the continental US in >40 years.
<UmbralRaptor> s/, //
<Qboid> UmbralRaptor meant to say: First totalegglipse in the continental US in >40 years.
* UmbralRaptor ? ?
<egg> !wpn
* Qboid gives egg a RFC 2324-compliant abelian pogonip
<UmbralRaptor> !g RFC 2324
<Qboid> UmbralRaptor: https://www.ietf.org/rfc/rfc2324.txt [RFC 2324] (4160 results found, took 0.34s)
<UmbralRaptor> Ah, that
GreeningGalaxy has joined #kspacademia
<GreeningGalaxy> !wpn bofh
* Qboid gives bofh a private bolo which vaguely resembles a sabre
<soundnfury> !wpn GreeningGalaxy
* Qboid gives GreeningGalaxy an isentropic quill
<GreeningGalaxy> !wpn soundnfury
* Qboid gives soundnfury a metal Lovecraftian ſtabber with a resonance attachment
* soundnfury ſtabs Haſtur at Haſtur's reſonant frequency. Take that, Haſtur!
* GreeningGalaxy ſtabs fonts
<soundnfury> GreeningGalaxy: what you need is https://github.com/ec429/monokern
<soundnfury> it's monoſpace _and_ it's kerned!
<soundnfury> (taſtes great. And juſt look at that ſhine!)
<GreeningGalaxy> say what?
<soundnfury> see the readme, it explains
<soundnfury> (the kerned monoſpace, that is. It doeſn't explain the SNL reference)
<egg> "does not currently have Unicode support"
* egg stares at backlog
<soundnfury> egg: "I couldn't be arſed to draw and kern a font for any more characters than ASCII"
<GreeningGalaxy> well sorry but screw that then
<soundnfury> but it's the _algorithm_ that's the important bit
<soundnfury> the font is just data, we can always buy more...
<egg> I think I've mentioned this modular width font already https://www.fsd.it/shop/fonts/pragmatapro/ (still have yet to get around to buying it, but it still looks nice)
<egg> bofh: also, could you give a well-ordering to your ℵ_0 question and ask the first one? :-p
<GreeningGalaxy> !u ℵ
<Qboid> U+2135 ALEF SYMBOL (ℵ)
<GreeningGalaxy> that's your weird x isn't it
<whitequark> egg: "ℵ_0" o_o
<whitequark> why can't you just do ℵ₀
<egg> whitequark: bofh said it
<whitequark> !wpn egg
* Qboid gives egg a scandium supremum
<whitequark> oh
<egg> whitequark: see backlog, <bofh> I have ℵ_0 questions right now. :P
<GreeningGalaxy> whitequark: o_o? you mean o₀
<whitequark> GreeningGalaxy: lol
<egg> whitequark: you have a lot of backlog admittedly :_p
<egg> s/_/-
<Qboid> egg meant to say: whitequark: you have a lot of backlog admittedly :-p
<bofh> egg: okay, the minimal element is "WTF?" (which also happens to be the original name of your class)
<bofh> whitequark: so that's LaTeX, and it was less effort than entering in a subscript 0
<bofh> whitequark: again, my brain's math mode formats in TeX automatically :P
* UmbralRaptor is mildly worried that bofh has installed LaTeX on his wetware.
<GreeningGalaxy> on my computer, ₀ is one additional key than _0
<GreeningGalaxy> and the other two keys are the same
<soundnfury> UmbralRaptor: he didn't say LaTeX. He said *TeX*.
<GreeningGalaxy> but it admittedly took a little more than 3 keystrokes to set it up that way, so
<soundnfury> *mumble* real hackers *mumble*
<soundnfury> (ed *mumble*)
<UmbralRaptor> eek
<bofh> UmbralRaptor: I'm pretty sure that's compulsory for a math degree
<GreeningGalaxy> real pro grammars use [your least favorite text editor here]
<bofh> mind you, I typeset all of my assignments b/c my handwriting is unreadable on a good day
<soundnfury> UmbralRaptor: I've written plain TeX, and I've used ed, but I don't think I've ever _actually_ written TeX in ed
<UmbralRaptor> edit code with word/notepad/wordpad?
<bofh> (I've had multiple profs and TAs bitch)
<soundnfury> also I'm not very good at TeX, because I never learned it properly
<soundnfury> bofh: s/As/As,
<Qboid> soundnfury thinks bofh meant to say: (I've had multiple profs and TAs, bitch)
<soundnfury> :P
<bofh> LOL
GreeningGalaxy has quit [Quit: aaaaaaaaa exams aaaaaaaaa]
<egg> bofh: will answer in a bit, afk
<bofh> well that too, but that's less important.
<egg> uh, also, sorry, forgot:
<egg> !wpn whitequark
* Qboid gives whitequark a venomous point
<soundnfury> does it float?
<bofh> egg: I wasn't too serious, but if you want to go into detail at some point, go ahead.
UmbralRaptor is now known as JovianRaptor
<bofh> soundnfury: insert "We all float down here" Pennywise quote here
<soundnfury> JovianRaptor: do you have galilean moons https://xkcd.com/1300/
<whitequark> so I've recently ordered ten small vials
<whitequark> I thought they were a little expensive
<whitequark> but only a little, not enough to stop and think
<soundnfury> whitequark: great, now you have an orchestra.
<whitequark> fast-forward to today http://imgur.com/qzKyEep
<soundnfury> Oh wait, vi*a*ls. nvm
<whitequark> I'm pretty sure that is a thousand vials.
<whitequark> what do i DO with a thousand vials.
<JovianRaptor> soundnfury: grading a lab on them!
egg is now known as egg|zzz|egg
<egg|zzz|egg> bofh: back
<kmath_> <polyparadigm> @whitequark My undergrad adviser once had a blind grad student. They spoke TeX rather than using a blackboard to discuss math.
<egg|zzz|egg> JovianRaptor: your nick reminds me of the question of the grammatical gender of Jupiter in french
<egg|zzz|egg> a difficult question
<soundnfury> JovianRaptor: Europa if you want to, the lady's not for ropa-ing!
<JovianRaptor> soundnfury: but knotwork looks so nifty!
<soundnfury> JovianRaptor: How does a Galilean moon borrow money? It writes an Io U
<egg|zzz|egg> bofh: so, EvaluationHelper is something that dumps the units an manually half-unrolls the loop so the compiler gets less confused and produces faster code https://github.com/mockingbirdnest/Principia/blob/master/numerics/%D1%87%D0%B5%D0%B1%D1%8B%D1%88%D1%91%D0%B2_series_body.hpp#L50-L81
<soundnfury> JovianRaptor: what's a Galilean moon's favourite music? Callipsto
<soundnfury> JovianRaptor: I can't think of one for Ganymede. Maybe something about mead? *shrug*
<egg|zzz|egg> whitequark: btw, not sure if you've looked at the backlog, but barring big bugs, we should be looking at a release on the next new moon
<whitequark> \o/
<whitequark> ... which moon
<JovianRaptor> Luna
<bofh> egg|zzz|egg: does partial unrolling actually help?
<Iskierka> moon moon
<egg|zzz|egg> yeah, measureably
<JovianRaptor> At least egg isn't using psmath or nesso?
<egg|zzz|egg> or at least it did at the time, maybe the compiler has changed its mood since then >_>
* soundnfury gives egg|zzz|egg a Duff's Device
<bofh> huh, interesting
<egg|zzz|egg> optimizing compilers are wild animals
<bofh> 22:53 <@whitequark> what do i DO with a thousand vials.
<bofh> pipe organ
<egg|zzz|egg> whitequark: were they glass I'd say chandelier, but in plastic it would look odd
<soundnfury> egg: also, check out my case:if hack http://www.spinics.net/lists/netdev/msg397743.html
<soundnfury> (switch() { case A: if (P) case B: /* XXX */ case C: /* XYZ */ break; /* ... */ };)
<egg|zzz|egg> whitequark: btw, if you want a list of mentions of your nick in that long backlog, your logs are there for that :D https://logs.tmsp.io/kspacademia/search?q=whitequark
<egg|zzz|egg> bofh: yes, I was referring to that, which iirc I saw in whitequark's twitter
GreeningGal has quit [Ping timeout: 201 seconds]
<egg|zzz|egg> whitequark: also this apparently amused bofh https://twitter.com/bofh453/status/842050495225180160
<kmath_> <bofh453> Yeah, I think this is a slight improvement, @eggleroy. https://t.co/8AFT3DWEUC
<egg|zzz|egg> that was because 15:34 * Qboid gives egg a Kahan ring
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark an ordered periwinkle
<egg|zzz|egg> Iskierka: periwinkle is one of the Herbin colours! https://www.jherbin.com/fountain_pen_inks_colors.html
<bofh> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a dorsal polygon
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a nominal resistor
<egg|zzz|egg> haha
<bofh> so... 5% tolerance?
<egg|zzz|egg> speaking of nom(in)al, should I play DF or sleep
<whitequark> DF
<soundnfury> !wpn Urist
* Qboid gives Urist a Hermitian egg|zzz|egg
<bofh> LOL
<egg|zzz|egg> that... that works quite well
<bofh> also, DF
<egg|zzz|egg> though I guess zzz is the Hermitian operator here
<soundnfury> iirc the Urist that made the name Urist a DF meme (the Ur-Urist, if you will) was a hermit, too ("One dwarf against the world" or some such)
<soundnfury> also, you should get some poultry in your fort, to supply the eggs
<soundnfury> (duck fortress)
<egg|zzz|egg> I have ducks and geese and turkeys
<egg|zzz|egg> far too many of them actually, my combat log is full of them
<soundnfury> yeah, that can get annoying
<egg|zzz|egg> sooo, how's Nomal doing
<egg|zzz|egg> anxious after discussing foraging behaviour, anxious after discussing the retort, axious afte discussing bodily fluids
<whitequark> bodilyfluids
<egg|zzz|egg> blissfull after sleeping in a bedroom like a personal palace, anxious after discussing reproductive behaviour, anxious after discussing existence
<egg|zzz|egg> !u i
<Qboid> U+FF49 FULLWIDTH LATIN SMALL LETTER I (i)
<egg|zzz|egg> whitequark: why the fullwidth?
* whitequark wonders if Nomal is just bofh
<whitequark> egg|zzz|egg: uhm
<egg|zzz|egg> interested after learing about the collection of maps and other information into a single text, in The Knowledge of the Atlas
<egg|zzz|egg> anxious after discussing the lever, anxious after discussing the colour of stars, anxious after discussing embriological development, anxious after discussing diagonals, anxious after discussing the water-powered sawmill
<soundnfury> interested after learning about the collection of sustainers and other boosters into a single stage, in The Knowledge of the SM-65D Atlas :P
<egg|zzz|egg> also anxious after discussing: diseases, art, pulmonary circulation, oil of vitriol
<egg|zzz|egg> interested after learning about the techniques of balancing and completion for solving new equation, in Completion: A New Approach
<egg|zzz|egg> s/Completion/Balancing and Completion
<Qboid> egg|zzz|egg meant to say: interested after learning about the techniques of balancing and Balancing and Completion for solving new equation, in Completion: A New Approach
<egg|zzz|egg> also interested after learning about the classification of muscles, in Do you know the muscles?
<egg|zzz|egg> and anxious about a good many more things whose enumeration I shall spare you
<egg|zzz|egg> there's a quire called "The Journey into Aqua Regia"
<egg|zzz|egg> uh
<egg|zzz|egg> btw, The Knowledge of the Atlas is by Atir Shieldskin
<egg|zzz|egg> can't find a publication date
<egg|zzz|egg> JovianRaptor: :-\ there's some beak dog meat roast rotting on the garbage floor
<JovianRaptor> =/
<Iskierka> egg|zzz|egg, if herbin did just a big box of all their colours in decent size bottles I'd be seriously tempted
<egg|zzz|egg> JovianRaptor: so I'm making a refuse stockpile in the dining room that accepts only beak dog skulls, to serve as a natural history museum of the beak dog
<Iskierka> beak dog? a platypus?
<egg|zzz|egg> no idea
<bofh> whitequark: ?
<egg|zzz|egg> DF has beak dogs
<Iskierka> whitesquawk
<JovianRaptor> Iskierka: they're probably somewhere in the deinonychus to utahraptor range.
<egg|zzz|egg> Iskierka: oops, meant to type Iskierka not whitequark
<bofh> OH, whitequark
<bofh> days since someone bitched about conda breaking within earshot of me: just reset back to 0
<egg|zzz|egg> so most of my dwarves are visiting scholars or artists that then get naturalized
<egg|zzz|egg> but since they're from another civilization, the musicians know music that uses instruments I can't make
<egg|zzz|egg> so mostly they're simulating the instruments they want while the ones they have stay in chests >_>
<JovianRaptor> Numeric or analytic simulations?
<egg|zzz|egg> JovianRaptor: one of my scholars has become an astronomer!
<JovianRaptor> \o/
<egg|zzz|egg> they feel satisfied upon improving surgery O_o
<egg|zzz|egg> he is in doubt after discussing draining
<egg|zzz|egg> what is it the astronomers do here exactly
<JovianRaptor> Simulations?