Comment by gradschoolfail | Hacker News Reader

Comment by gradschoolfail | Hacker News Reader

Parent Full thread

Ah thanks for the metaflooding!. was trying to achieve a balance between the 2, kinda like

“Number theory might be the future of physics, but fluid dynamics is the future of number theory”*

I concede to a weakness for triangles, such as this

   < money >< math >< magic >

Napoleon’s sleep schedule: i’d only heard about the 6 hours of sleep (because thats the schleppy shit that VCs want to see in designori). That TIL has a delugional [aka magical] aspect, ac, thanks! Rriight, the logistics of iDevices seduce one with the allure of “High(-functioning) Culture”, the logistics of disposable commsats do not (yet)

(PPPS Compare with the more prosaic (but more sophicatedly structured) PGcal newtonian obssessions — NoTe:honest! in (conscious) bona fide hindsight this comparison was reached TIC

  < minting >< natural philosophy >< alchemy >

)

PS:original(?) & utter speculation was that the political purges+relaxation to common sense “worked” for the revolutionary army, but not navy. Political commissars having an unexpected effect on routes to victory? (Too difficult/costly/nonsensical to give basic naval training to PCs. Naval anything is showing > telling.. do we even credibly remember what the legions marched to??)

*i havent delved at all into his work, Gisin is the almost-crackpot name to look up, major patch to K,AN is what he seems to be aiming for.

PPS: schlep has a “bootstrap”-py (as it were a schleppy term for magic) aspect: reducing schlep involves schlep

I don't necessarily understand what Gisin is up to (it might help if somewhere he has an explicit delta between his axioms and K's?) but I might indeed have a propensity to find it interesting.

Schlep is the startup's equivalent of quantum tunnelling: you can't hope to out-schlep the established players in their own potential wells, but small amounts of schlep judiciously applied might get you through classical barriers, into a less-contested well?

Uhh for that you might have to bundle up something together with the Greene pilgrimage.. dont think he published his axioms anywhere [but you could also invite one of his students to a meal..]

Update: the review that set me on that future trail was this

https://arxiv.org/abs/1609.06572

Note: percival applied significant patch to KAM

from its abstract, Gisin's https://link.springer.com/article/10.1007/s11229-021-03378-z seems worth pursuing, as I believe intuitionistic mathematics is so popular in computer science because we are always busy forgetting information.

OK, the bits [sorry] that I read don't seem to go any deeper than the "could it be" above.

My recollection of the basic problem in reconciling QM with GR is that of simultaneity: how do you manage to have an "open" future when various potential observers' future-fronts are all angled to each other?

I'd guess that the hyperbolic nature of light cones mean [hands waving madly enough to fly me to Africa] that there's enough wiggle room such that any conflict-resolving process occurring at space-like separations has finished by the time the events are in a past time-like cone; we don't even necessarily need a timelike source of random bits, as they are always naturally impinging from the rest of the universe.

What am I getting wrong with that model?

[Subtle gods could then leverage chaos to work in ways undetectable by their creations?]

Lagniappe: https://xkcd.com/378/

after short reading, looks like PCs went out with the Convention: those who were not already without their heads on 4 Brumaire IV were without their jobs?

EDIT: also seem to have been plenty of zampolit in the VMF.

Lagniappe: https://en.wikipedia.org/wiki/Corrector#Roman_Antiquity

EDIT2: 林白樂 via PMWL probably liaised with PoWaBu?

EDIT3: AIS wouldn't have had a commissar in his unit in 1945, but he would've had a zampolit, which makes his own behaviour seem even stranger?

Sorry, not sufficiently erudite to parse PoWaBu

renominative only? Zombified PCs overcame (thermidorian/stalinist) reaction? (cf Lannes, reading like a serial founder story, compare Villeneuve, reading like a serial bigcorp CxO)

Yes, AIS was a weirdo?

PoWaBu was a dead end anyway — now I'm much more interested in the overlap between 鮑羅廷 (MMG) and PMWL (1923-1925?); they would've had at least two languages in common.

Thanks for MSN; I wonder why he hasn't been publishing with Springer, where he'd be easier to find?

hmm. I'm not sure where MSN is going with all the mechanism to handle partiality.

JUNK makes everything total, so composition just works, and refinement doesn't need to take into account domain; the following:

   f \refines g <=> f`x ~ g`x      NB. (~) is (<=) for bunches

is true for ∀x, not just implied when x in dom`g.

On the other side, for program correctness, I'd always thought the whole point of Hoare triples was that in {p}f{q};{q}g{r}, {p} is chosen (wp or wlp) explicitly so that never not {q} ... which in turn ensures {r}.

Hmmm im still a bit distracted. Whats MSN?

How far is your idea of refinement from some def of “derivative”?

MSN = Prof. Dr. "Renominative": https://csc.knu.ua/uk/person/nikitchenko (has my citation-fu been too weak to lead me to your intended referent?)

Very far (tho I have some other, derivative-like, concepts, but much fuzzier)...

"Refinement" in this case is a CS term of art, sorry: to say that "f refines g" is to say that f's domain[0] includes g's domain, and each fibre of g^-1 includes the equivalent fibre of f^-1, so anywhere in a computation you had a g, it could safely (although not always lively![1]) be replaced with f. In particular, programs as deterministic implementations refine their indeterministic specifications.

(the best specification[2] is the closest to chaos that one can get that still does the right thing — which I guess loops back to leadership?)

The optimiser's (pedantry: we really should call it an "amelioriser") job is to reverse one of those arrows, so when the programmer writes f, the optimiser tries to discern the comm... sorry, programmer's intent to determine the spec h which coarsens f, and then substitute a g which also refines h: f <- h -> g.

[0] here JUNK simplifies by using an appropriate lattice: as Nuts (the undefined/unconstrained value) includes (~ = is included by) all defined values, we don't need to speak separately of domains: f \refines g <=> f`x ~ g`x

[1] there is a term of art from our army which refers to the art of making oneself scarce when tasks are being handed out; similarly, in CS there is a distinction between "safety" and "liveness": nothing is always a safe, albeit unproductive, thing to do.

[2] on the dual end of the lattice, in general there will be many programs in the neighbourhood of the maximally determinate that still makes progress. This is why, if we have a "science" at the spec end, when it comes to imps we instead have an "art" of hacking or a "discipline" of engineering.

Hmmm, so its closer to what you intended to mean when you said “distributions are prefunctions?

Im still confused.. didnt msn publish w springer?

[1] in Deckung gehen?

yes, msn did; I hadn't found that yet when I wrote it, because I'd been expecting he'd be publishing in the same journals as, say, your fellow Ithacan Dexter Kozen.

[1] not exactly, but defo in that direction!

What you may be getting right might yet underlie some resolution of at least a couple of the Hn’s :)

Lets just say, compressing an obscene tonnage of number theoretical hndwav’ry folks usually prefer one direction of SR <=> QM.., so whatever is “extra” in GR maps to the “extra” bits (sorry) in QFT (that JvN had almost no inkling of, that Feynman had just a wee bit (sorry))

[looking at the arxiv 16xx review again, it does seem that Gisin had the right motivations in 199x, but git mostly distracted (not sure about students).. i’d have thought that “heterodyne detection” wouldve set you off]

indeed! sorry, I'd been looking for a better entry into Gisin that might suit my limited (I have MTW, but have not yet worked through it, and my QM knowledge is also at an SR-level — when reading RPF's pop QED lectures I could see integrating e^ix terms instead of his little arrows, but that's about it) background, so I hadn't yet peeked into 16xx vintage Gisin.

SAHD reminds me of http://blog.sigfpe.com/2005/05/dual-photography-part-i.html (in part-ii the experiment was indeed successful, but that seems to have been lost to the mists of the web, at least while wayback is down?)

There was a decent 1 para summary oh phySE lets see if i can find it

Edit: riff on your riff, timely reminder (to self) to attend to Thom’s catastrophe theory and its environs

Update:

TIC: TK-monad HK-dyad (>power<>sex<)

Debreviated:

Today I Compared

I don't know how well attested it may be, but somewhere I ran across the notion that second-tier chimps get the most action, because the alpha chimp must spend almost all his time shoring up his (male) political base.

[if NB had the same habits at home as in the field, imagine him busy with paperwork trying to run the empire from 0100-0600, during which time his Marshalls ("Ein bisschen dreist, ein bisschen Mut"?) were occupying themselves in sidesprings?]

shall we call this “cavalier-mode”? Bernadotte due to his ties, and most of the other marshalls due to other ties, couldnt enjoy the spoils of war, but Lasalle?

certainly! à la hussarde

according to AICD: https://www.gutenberg.org/cache/epub/11247/pg11247-images.ht...

sometimes I wonder if Lasalle reported lists in priority or reverse priority order:

https://larevuedhistoiremilitaire.fr/2020/04/08/extravagance...

> j’arriverai à cinq heures du matin ; je me commanderai une paire de bottes, je ferai un enfant à ma femme, et je partirai. —ACL

no, upon reflection he was just going by temporal order: [arrive,order,knock up,leave]

Reply on news.ycombinator.com