UmbralRaptor 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> … one of the other grad students just compared me to nomal O_o | <ferram4> I shall beat my problems to death with an engineer.
<Ellied> bofh: holy fuck that's the worst prank I've ever heard of
<Ellied> oh, also, s/helium/hydrogen/. I've been contradancing for the past ~3 days, I'm sleepy
<whitequark> bofh: sweeeeeet
<SnoopJeDi> LOL
<bofh> ROFL
e_14159 has quit [Ping timeout: 195 seconds]
e_14159 has joined #kspacademia
<SnoopJeDi> bofh, that prank is hilariously evil
<kmath> <BenNollWeather> New ECMWF shows #Harvey moving back over the Gulf on Mon, restrengthening, then making a 2nd landfall near #Houston… https://t.co/GGtC59yDWQ
<SnoopJeDi> Saw that, not familiar with the agency, but seems defensible
<SnoopJeDi> Not sure it really changes the problem of precip, we've only gotten half the rain we're supposed to get
<SnoopJeDi> but more wind couldn't really be good... :|
<bofh> !add ECMWF European Center for Medium range Weather Forecasting
<bofh> or w/e the syntax was
<SnoopJeDi> I think it's !acr -add or somesuch
<bofh> !acr add:ECMWF European Center for Medium range Weather Forecasting
<Qboid> bofh: This key is not registered!
<bofh> !acr -add:ECMWF European Center for Medium range Weather Forecasting
<Qboid> bofh: I added the explanation for this acronym.
<bofh> there
<bofh> checked irclogs for the syntax, but yeah you were right SnoopJeDi
<SnoopJeDi> I do the same thing constantly >_>
<SnoopJeDi> Really glad ag's flag for file regex pattern is -G, typing --include got old with grep heh
<G-Mobile> somebody call?
<SnoopJeDi> -Gman!
* UmbralRaptor ? things, and considers that it will be necessary to write physical checks in 2017.
<bofh> SnoopJeDi: wow, hurricane dynamics are actually surprisingly simple.
<bofh> wtf happened there
<bofh> anyway
<SnoopJeDi> how do you mean?
<bofh> bascially the secondary wind circulation is a Carnot heat engine, and the primary arises from conservation of angular momentum due to Coriolis effect
<SnoopJeDi> I'm not super familiar with them but my understanding was that the best you could really do is tracking the center of the storm roughly
<SnoopJeDi> OH you mean the underlying dynamics
<SnoopJeDi> yea a heat engine is absolutely the right analogy
<bofh> yeah not tracking them, that's fucking hard
<SnoopJeDi> so
<SnoopJeDi> my boss has this positively fucking insane idea that I'm not sure I've told you about bofh
<SnoopJeDi> but: collider the size of the Gulf
<bofh> yes
<SnoopJeDi> in pursuing this diversion of his, we met with some oceanographers to chat about some engineering challenges. All in all, it was actually kind of a fun project to toss around
<bofh> ROFL
<bofh> um
<bofh> yeah glhf
<SnoopJeDi> anyway in the process of preparing some conceptual plots using bathymetric data, I finally got a sense of scale for the Gulf (in particular its depth)
<bofh> like it raises many interesting questions
<bofh> yeah gulf bathymetry is insane iirc
<SnoopJeDi> but the thing that *really* blew my mind was just thinking about the span of it and the energy you can store in just 1cm of displacement
<bofh> I mean you have insane shit like the loop current there iirc
<SnoopJeDi> the Gulf is basically a resonating cavity and that's fucking *awesome*
<bofh> LOL
<SnoopJeDi> yea, the loop current can bud off vortices and blah blah
<SnoopJeDi> and surprisingly a lot of that stuff actually wouldn't matter much for what my labmate and I call sealab
<bofh> oh?
<SnoopJeDi> if you just sank the thing fairly deep (~200 m depth), you'd avoid a lot of issues due to severe weather or whathave you
<SnoopJeDi> because on-site displacements aren't all that large at depth, velocities are okay etc
<SnoopJeDi> the whole thing requires a...well, a crazy stationkeeping system
<bofh> true but now you have to build it 200m under the sea
<bofh> that's a *lot* of pressure it has to withstand now
<SnoopJeDi> The idea is modular assembly so that ROVs could assemble it piecewise, but yea there's a lot of stuff to think through
<SnoopJeDi> 200m is definitely well within do-able when you're already eating the cost of stuff that has to handle cryo and all that
<bofh> ehh, cryo and high pressure strike me as different
<SnoopJeDi> well, cryo/vacuum
<SnoopJeDi> it's not *easy*, mind
<SnoopJeDi> but when you really loose the chains to think crazy, a lot of stuff just becomes a shoulder shrug and an insane pricetag
<SnoopJeDi> e.g. the dipole sections in the lattice are ENORMOUS and there are a lot of them. Renting a ship that can handle that + personnel is not sensible, so go ahead and figure the price of a few container ships
<SnoopJeDi> The oceanographers were cool to talk to, really awesome work they're doing, particularly with autonomous aquatic vehicles
<SnoopJeDi> They have a system for measurement in the gulf that they call GANDALF: http://gcoos2.tamu.edu/gandalf/
<SnoopJeDi> (nothing deployed right now but the historical tracks tab has glider data"
<bofh> ROFL
<bofh> oh yeah oceanography stuff is cool. I worked briefly for some oceanographers in Halifax after I finished my master's, that was fun.
<SnoopJeDi> the best part of the visit for me was that they had this problem with the gliders, they wouldn't be able to surface on their normal buoyancy control, so the emergency balloon would fire off
<SnoopJeDi> turns out remora fish were suckling onto the gliders and bringing down their buoyancy
<bofh> (at one point I commandeered a wave glider and had it do elaborate donuts on the Atlantic coast b/c why not)
<SnoopJeDi> so they had to start fitting them with nylon stockings so the lazy little bastards wouldn't suckle on
<bofh> ahh yep that's a thing
<SnoopJeDi> and they told us a story about someone trying to steal one of the UAVs
<SnoopJeDi> well, not trying. they stole it.
<bofh> oh that happened with us too. I contributed to getting it back :D
<SnoopJeDi> plucked it right out of the water, not thinking that the GPS would just show it in the back of so-and-so's truck, whence the authorities could knock and be like "um yes hello we would like that back"
<SnoopJeDi> bofh, oh?
<bofh> basically we had setups off the atlantic that would pull in AIS data from passing ships
<bofh> that I was actually working on interfacing between (I was mostly doing RF stuff)
<bofh> anyway we pulled up the data we had and looked for what happened in the area where they lost contact with the UAV
<bofh> and oh hey there's an intersection of that and a large fishing boat
<bofh> anyway cue boss and canadian coast guard hopping over and going "plz give that back"
<SnoopJeDi> hah
<bofh> like I have no clue what the hell they wanted to do with it to be honest
<SnoopJeDi> I poked at maritime law a little yesterday, got into a conversation with someone over right of way and what happened to the McCain
<bofh> like you can't really fence a UAV
<SnoopJeDi> yea, idk what the endgame is for such a crime
<SnoopJeDi> we're scientists not leprachauns
<bofh> rofl yep
<SnoopJeDi> leprechauns?
<bofh> yes, that's the correct spelling
<SnoopJeDi> "welcome to Irish, where the language is made-up and the spellings don't matter"
<bofh> oh pre-spelling reform Irish is amazing
<SnoopJeDi> yea, there are something like 12 ways to spell my surname
<SnoopJeDi> LOL beirbhiughadh -> beiriú
<SnoopJeDi> I shouldn't laugh, but that is adorable
<bofh> like the spelling on the left is just, what the fuck
<SnoopJeDi> the first time I saw the word mhaith I thought someone was fucking with me
<bofh> like admittedly h has some modifying role on the previous consonant and that word's not the worst imo
<bofh> but yeah, irish gaelic is definetly one of those languages whose orthography can be summarized as "are you fucking with me? seriously?"
<kmath> <NASA> New @NASAEarth-observing satellite infrared data shows #Harvey's powerful rainmaking capability. Take a look:… https://t.co/9SXqzd9t38
<bofh> ooh, nice.
<bofh> also wait, which sat?
<bofh> oh, Aqua. didn't know that one existed.
<SnoopJeDi> hmm, is AIRS the one that's a big network?
<SnoopJeDi> oh, no I'm thinking AERONET
<bofh> yeah, you're thinking AERONET
<SnoopJeDi> ohhh, but Aqua does carry a MODIS instrument, cool
<SnoopJeDi> (I know about the two because a grad student in a lab I "worked" with was working on statistical methods for AERONET, calibrated by independent MODIS measurements)
<SnoopJeDi> ((said student was an early example of "know your shit" because someone asked what the spatial size of one of their bins was and they did not know even a rough scale))
<bofh> ...*facepalm*
* UmbralRaptor blinks.
<SnoopJeDi> Statistics: it's magick!
<UmbralRaptor> Bayesian still looks like dark magic.
<UmbralRaptor> Also, I thought bins as in some grid of lat/lon for weather data >_>
<SnoopJeDi> oh no yep that's what I mean
<bofh> so like I think I find Bayesian simpler at this point
<bofh> but I used to hang out with Quantum Information Theorists a lot so
<UmbralRaptor> Please help me stab everyone who claims that Bell's Inequality allows for FTL communication.
<bofh> OH FUCK THAT MISCONCEPTION HOLY SHIT
<UmbralRaptor> But for frequentist it tends to be "we assumed $well_known_distribution and calculated x parameters and a p-value of y on our data."
<bofh> fuck every pop-sci website that propagates that bullshit
<UmbralRaptor> Bayes: "we performed computational demonology, and got an information factor of z." (and maybe a bunch of parameters you've never heard of before.)
<bofh> like amusingly even before I learned *any QIP or really even QM* I could understand that entanglement cannot do FTL information propagation
<bofh> because like how do you tell if the measured value is the other person communicating or just random?
<UmbralRaptor> Quantum Mechanics! *waves hands*
<bofh> (A: you can't unless you're working in the joint measurement basis, which you have to share classically)
<bofh> ROFL COMPUTATIONAL DEMONOLOGY
<SnoopJeDi> geassian statistics?
<UmbralRaptor> SnoopJeDi: Presumably!
<SnoopJeDi> or stabtistics
<whitequark> snobistics
<UmbralRaptor> bofh: Incidentally, have you read much Charles Stross?
<bofh> UmbralRaptor: sadly nope, really should
<SnoopJeDi> I recommend The Concrete Jungle if you want to sample The Laundry series
<UmbralRaptor> ^
<SnoopJeDi> ...and Accelerando if you want a creative commons novel with an imperial society stealing momentum from Jupiter with superconducting tow cables >_>
<bofh> I'll take Accelerando since that sounds AMAZING
<SnoopJeDi> It's a really fun read imo but seems to be a bit divisive. I like all the legal/econ navelgazing
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark an exceptional µa741
* UmbralRaptor feels a need to mention Missile Gap (far future crossed w/ 1970s), and A Colder War (fairly straight extrapolation of At The Mountains of Madness into the late 20th century)
<egg|zzz|egg> stabbity stab stinkbug
<UmbralRaptor> Also, both have Project Pluto as a minor component.
<bofh> Huh. Interesting.
* egg|zzz|egg crushed a bug while sleeping
<SnoopJeDi> A Colder War is quite good, yea. His short stories are his lifeblood like any "real" sci-fi author.
<SnoopJeDi> AIUI Accelerando was actually stitched together from a series of short stories (notably "Lobsters")
<UmbralRaptor> It was.
<SnoopJeDi> I'm behind the Laundry by two books D:
* UmbralRaptor likewise. <_<;;
<SnoopJeDi> ooph, the graphics in The Farthest are *really* well-done.
<UmbralRaptor> egg|zzz|egg: fire?
<egg|zzz|egg> UmbralRaptor: um
<egg|zzz|egg> UmbralRaptor: so I caught the thing in a net and moved it away, will dump it outside when there's some sun so I can see what I'm doing
<egg|zzz|egg> UmbralRaptor: but the stench is annoying even in the absence of the insect
<egg|zzz|egg> !wpn Fiora
* Qboid gives Fiora an egotistical infimum
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor an exact death which vaguely resembles an IDE
<UmbralRaptor> Can confirm. Using an IDE is exactly like death.
<UmbralRaptor> Infinum Death Exact?
<UmbralRaptor> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a multistep porpoise
<whitequark> !wpn egg
* Qboid gives egg a fizzix sabre
<UmbralRaptor> !wpn -add:adj nefarious
<Qboid> UmbralRaptor: Adjective already added!
<egg|zzz|egg> whitequark: so, remember the squidogss
<UmbralRaptor> !wpn -add:adj intensive
<Qboid> UmbralRaptor: Adjective already added!
<egg|zzz|egg> whitequark: https://www.youtube.com/watch?v=ZUjQtJGaSpk I guess that explains why they were wagging their tails
<kmath> YouTube - Watch These Frustrated Squirrels Go Nuts! | Deep Look
<whitequark> !wpn -add:adj extensive
<Qboid> whitequark: Adjective added!
<whitequark> !wpn -add:adj offensive
<Qboid> whitequark: Adjective added!
<whitequark> !wpn -add:wpn odor
<Qboid> whitequark: Weapon added!
<whitequark> !wpn
* Qboid gives whitequark an oxygen graph with a submersion attachment
<egg|zzz|egg> whitequark: did you manage to improve the mould situation?
<whitequark> egg|zzz|egg: yes
<whitequark> i slept directly on the mould as i had no water or clean sheets, and it rubbed all over my clothes, which i then changed
<egg|zzz|egg> uh
<UmbralRaptor> D:
<UmbralRaptor> !wpn -add:adj intensive
<Qboid> UmbralRaptor: Adjective already added!
<whitequark> what do you want, i still don't have water
* UmbralRaptor pokes UmbralRaptor in the memory
<whitequark> sometime in the next three days it will be back
<Iskierka> why is water necessary for mold? doesn't that help it grow?
<UmbralRaptor> bleach?
<whitequark> I mean that's for removing mold from all other places
<whitequark> after bleaching them I should wash them
<whitequark> or they'll destruct
<whitequark> anyway y'all significantly overstate how functional i am
<UmbralRaptor> Are you more object oriented?
<whitequark> yes. i orient myself in direction of some object and lie there motionlessly. that's me
<egg|zzz|egg> whitequark: thanks for recommending that deep look channel btw, it's really nice
<SnoopJeDi> LOL
<egg|zzz|egg> !wpn -add:wpn barrel
<Qboid> egg|zzz|egg: Weapon added!
<egg|zzz|egg> whitequark: found this paper that seems to be what that last bit of the deep look episode about argentinian ants is about journals.plos.org/plosone/article?id=10.1371/journal.pone.0018717
ferram4 has quit [Ping timeout: 383 seconds]
TonyC has joined #kspacademia
egg|work|egg_ has joined #kspacademia
egg|work|egg has quit [Ping timeout: 180 seconds]
<egg|work|egg_> !kd -add IRNSS 1H/PSLV-XL|A PSLV-XL rocket will launch the I-1K-based IRNSS 1H navigation satellite (http://space.skyrocket.de/doc_sdat/irnss.htm) from Satish Dhawan Space Centre First Launch Pad into a geosynchronous orbit with a 29° inclination |2017-08-31T13:29Z
<Qboid> egg|work|egg_: Added event #7
egg|work|egg_ is now known as egg|work|egg
e_14159 has quit [Ping timeout: 195 seconds]
e_14159 has joined #kspacademia
SilverFox has quit [Ping timeout: 195 seconds]
Thomas has quit [Ping timeout: 195 seconds]
Orkeren has quit [Ping timeout: 195 seconds]
Orkeren__ has quit [Ping timeout: 195 seconds]
Thomas has joined #kspacademia
Orkeren has joined #kspacademia
Orkeren_ has joined #kspacademia
SilverFox has joined #kspacademia
TonyC1 has joined #kspacademia
TonyC has quit [Ping timeout: 200 seconds]
SilverFox has quit [Ping timeout: 204 seconds]
SilverFox has joined #kspacademia
<kmath> <fabrizioschiavi> #PragmataPro #exhibition is ready to go in tour. Stay tuned to watch more than 9000 glyphs in a 21 meters white sp… https://t.co/xei6jlX1zx
<bofh> nice
<egg|work|egg> !u ⸻
<Qboid> U+2E3B THREE-EM DASH (⸻)
<egg|work|egg> !u ⸺
<Qboid> U+2E3A TWO-EM DASH (⸺)
<egg|work|egg> !u —
<Qboid> U+2014 EM DASH (—)
<egg|work|egg> !u –
<Qboid> U+2013 EN DASH (–)
<egg|work|egg> !u ☉
<Qboid> U+2609 SUN (☉)
<Qboid> 3d 0h 0m 0s left to event #7: IRNSS 1H/PSLV-XL [at 2017-08-31 13:29:00]. Say '!kountdown 7' for details
<UmbralRaptor> !u ?
<Qboid> U+1F728 ALCHEMICAL SYMBOL FOR VERDIGRIS (?)
<UmbralRaptor> !u ♁
<Qboid> U+2641 EARTH (♁)
* UmbralRaptor is bothered that U641 does not have the cross in the circle.
<UmbralRaptor> *2641
<egg|work|egg> UmbralRaptor: I think that's what ? is for
<UmbralRaptor> Sadly ? is tofu on my phone.
<kmath> <StormRaiser123> 呃……上下标里的 emoji…… https://t.co/DIR2ZbZcak
<UmbralRaptor> Any color not in the form of B-V is fake https://xkcd.com/1882/
<egg|work|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor an IEEE 754 orb
<egg|work|egg> !wpn bofh
* Qboid gives bofh a stretchy superuser
<egg|work|egg> !wpn bofh
* Qboid gives bofh an inflammable surprise with a memory attachment
<UmbralRaptor> Qboid: But bofh is already a superuser!
<UmbralRaptor> (also, is the orb point like or floaty?)
<egg|work|egg> UmbralRaptor: why can't we have both :-p
<UmbralRaptor> Is the orb also ominous?
<egg|work|egg> bofh: uuuuh how do you compute (mu/n**2)**(2/3) - b**2
<bofh> um. first off, not sure if you actually want cbrt((mu*mu)/(n**4)) in most cases but actually I'm not sure now, uh
<bofh> hm
<egg|work|egg> bofh: so I think any transformations of the LHS are useless lest you consider the horror of the upcoming subtraction
<bofh> that is a difference of squares so I sm tempted to factor it into (cbrt(mu/(n*n)) - b)*(cbrt(mu/(n*n)) + b) as a first step
<egg|work|egg> bofh: yes the cancely case happens, it's the near-circular case :D
<bofh> so now we at least knock the exponent on both down by one, but we still have the cancel-y fun.
<egg|work|egg> bofh: yup, and the cbrt makes it really Fun
<egg|work|egg> can't fma your way out of a cbrt
<bofh> or can you?hm.
TheKosmonaut is now known as TheAstronaut
TheAstronaut is now known as TheKosmonaut
Orkeren_ has quit [Remote host closed the connection]
<egg|work|egg> bofh: no news from the cat?
Orkeren_ has joined #kspacademia
<egg|zzz|egg> !wpn Fiora
* Qboid gives Fiora a glass denormal with a DIAC attachment
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a nonpolar halberd
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a Yarkovsky lanthanum ray tube
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a kappa COME FROM
<kmath> <biernackip> My officemate: Zero stars… Me: That’s a bad review Officemate: No, I made a mistake, no stars form in my #simulation #phdchat #office
<egg|zzz|egg> UmbralRaptor: moooon!
<UmbralRaptor> \o/
<bofh> egg|work|egg: none so far and I'll have to think about the cbrt one above in a bit, department is kind of
<bofh> so I swear to fucking god they prepare for the first day of the semester at 9AM on the first day.
<SnoopJeDi> lol UmbralRaptor
<kmath> <PicPedant> Ooookaaay where to begin here? First off, the Earth used in this composite is cropped from this oft-used ISS image:… https://t.co/swXoMHQDXY
* UmbralRaptor isn't entirely clear what bofh does.
<bofh> might need to cover for teaching someone else's class in like 45 minutes? but condensed matter theory mostly.
<UmbralRaptor> Eek
<SnoopJeDi> "Everything is a bunch of simple harmonic oscillators. Something about phase transitions. Class dismissed."
ferram4 has joined #kspacademia
<UmbralRaptor> SnoopJeDi: Phonons. Phonons everywhere.
<bofh> SnoopJeDi: actually intro to S/C is via Ginzburg-Landau Theory which is more "okay, so second quantization guys. now apply mean field theory and introduce an order parameter field into the free energy expression. okay now just minimize these against the order parameter and a magnetic interacting vector potential. good? here are two equations that phenomenologically describe the field theory that seems
<bofh> to occur in every superconductor
<bofh> like it makes sense to cover criticality *before* BCS.
regex has joined #kspacademia
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh an icy clowder
<egg|zzz|egg> Iskierka: same, mostly
* egg|zzz|egg gives bofh an affine hovel
<bofh> thank
<bofh> so like the trickiest bit there is "second quantization" - the easiest way I think I can explain it is you're dealing with a quantum many-body system and you're trying to consider the many-body wavefunctions as field *operators*. iirc wikipedia's overview is pretty good still, I do have to run now. once you have many-body field operators the rest above is simple to explain.
<bofh> but like basically the Fock basis where you work in second quantization is exactly the setting of particle creation/annihilation operators (Ch4 of Griffiths iirc)
<SnoopJeDi> yea, second quantization is a mess
<egg|zzz|egg> !wpn regex
* Qboid gives regex a cryo warhead
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor an infrared canonical ?
<egg|zzz|egg> !wpn ferram4
* Qboid gives ferram4 a barrel
<egg|zzz|egg> !csharp "W\x307"
<Qboid> Ẇ
<kmath> <stephentyrone> @pathofshrines Let's just give C++ a stochastic grammar, and issue a diagnostic if the most-likely parse has p < 0.95.
TonyC1 has quit [Ping timeout: 186 seconds]
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a descending 555 timer
regex has quit [Remote host closed the connection]
<UmbralRaptor> … I think my Classical Mechanics prof is missing with us.
<UmbralRaptor> He went over "all of Newtonian mechanics" is about an hour.
<UmbralRaptor> !wpn egg|zzz|egg et al.
* Qboid gives egg|zzz|egg et al. an int van
<egg|zzz|egg> UmbralRaptor: well, that should fit :-p
<UmbralRaptor> s/missing/messing/
<Qboid> UmbralRaptor meant to say: … I think my Classical Mechanics prof is messing with us.
<UmbralRaptor> egg: next up: Euler-Lagrange Equations!
<egg|zzz|egg> UmbralRaptor: but like, why waste an hour on the Newtonian formulation
<egg|zzz|egg> UmbralRaptor: just explain Hamiltonian mechanics and be done with it :-p
<UmbralRaptor> Hah
<egg|zzz|egg> with Poisson brackets
Snoozee is now known as Majiir
<bofh> UmbralRaptor: no going over Newtonian in an hour & then ignoring it is the correct thing to do :P
* UmbralRaptor was assuming that egg|zzz|egg wanted me to pay more attention to French Physicists.
<egg|zzz|egg> bofh: no, the correct thing to do is to write X'={X,H} on the blackboard and then leave the rest as an exercise
<bofh> egg|zzz|egg: that's just mean :P
<egg|zzz|egg> bofh: Principia does have some Poisson brackets in the docs :-p https://github.com/mockingbirdnest/Principia/blob/master/documentation/Composition%20methods.pdf
<egg|zzz|egg> (see 3.)
<bofh> egg|zzz|egg: so there's absolutely nothing wrong with Poisson Brackets and everything wrong with leaving the rest as an exercise :P
<egg|zzz|egg> bofh: ok, but still, I feel like the course should start by writing X'={X,H} on the blackboard :-p
<bofh> Okay fine I'll agree there :P
* UmbralRaptor assumes that egg starts QM with ĤΨ = EΨ.
<egg|zzz|egg> bofh: UmbralRaptor: well I did have a prof start quantum mechanics with "the quantum phase space is (Schwartz space of R^n)"
<bofh> ROFL
<bofh> ++
<egg|zzz|egg> bofh: the next thing being "the quantum observables are the set QO of its continuous endomorphisms A such that for all ψ,φ <Aψ,φ>=<ψ,Aφ>"
<egg|zzz|egg> bofh: followed by the proposition, (QO, i/hbar [A, B]) is a Lie algebra
<egg|zzz|egg> (he then proved that QO is closed under the bracket, and added "you can check the Jacobi identity and all that")
<bofh> egg|zzz|egg: I would have loved to take this course, as it stands I had to learn that all by myself (which was very very handy for when I finally took a field theory course and they started with Chap1 of Weinberg)
<egg|zzz|egg> bofh: UmbralRaptor: then, a quantum system is an H in QO, the evolution of an observable is determined by A' = i/hbar [A,H], "That's it. That's quantum mechanics"
<bofh> egg|zzz|egg: do you have notes?
<egg|zzz|egg> bofh: yes; it is a *very eccentric course*, he'd spend half the time going on random tangents about Lawrence of Arabia or reciting poems by Shelley or whatnot :-p
<egg|zzz|egg> bofh: the relevant section is p. 22
<bofh> > it is a *very eccentric course*, he'd spend half the time going on random tangents about Lawrence of Arabia or reciting poems by Shelley or whatnot :-p
<bofh> you *do* realize this would just make me want to take it *more*, right? :P
<egg|zzz|egg> bofh: also p. 23, a long analogy between finding the Hamiltonian for your problem and "finding Waldo", and "let's just call the Hamiltonian W"
<egg|zzz|egg> (he didn't actually do that)
<egg|zzz|egg> (he did have a red H at some point because the white H was already being a Hamiltonian)
<bofh> LOL
<UmbralRaptor> ?
<egg|zzz|egg> bofh: oh btw, in the lecture before explaining QM in 4 definitions, he explained classical mechanics similarly
<egg|zzz|egg> Ω open and connected in R^n is the classical configuration space, the classical phase space is Ω times R^n, the set of classical observables is the algebra of smooth real-valued functions on the phase space, definition of the Poisson bracket, "Ur-something of classical mechanics": classical observables with {.,.} form a Lie algebra, classical mechanical system is a classical observable h, the evolution of a
<egg|zzz|egg> n observable is f'={f,h}
<egg|zzz|egg> whence follows conservation of energy h'={h,h}=0, and then he starts talking about how this approach is better than talking about Newton
<egg|zzz|egg> and then he derives Hamilton's equations from the above
<egg|zzz|egg> and talks about symplectic groups, etc.
<egg|zzz|egg> bofh: wait no nevermind; those were *both* in the same lecture
<egg|zzz|egg> UmbralRaptor: bofh: there's also Binomial's theorem and Chain's rule :-p
<UmbralRaptor> …