jesuslop · HackerTrans

kemarin duludiscuss

mmh I'd don't say that much, I think the logic and math foundations is common in both classic and quantum theories, only content changing, so you would say "import mathlib" from both classic-phys.lean and quant-phys.lean if writing Lean proof assistant code (I am guessing the "import" command). Concepts from linear algebra as eigendecomposition, to say something, will be used in both applications.

jesuslop

kemarin duludiscuss

I think Gödel undecidable sentence is always relative to a formal system (the title of the paper spoke about systems in the expressive power rank of Russell's Principia, of which he gives one particular example assuming it shows how his methods apply to the whole family of systems), but now Hilbert problem #6 still stands for the lack of a comprehensive axiomatization of Physics, as its modern heir the mass-gap millennium problem, that still also lingers, so we don't have a controllable notion of naked/absolute undecidability for physical phenomena or for arbitrary assertions unbound by explicit logic rules in general.

jesuslop

23 hari yang laludiscuss

Agreed, Media player classic is the Winamp of video.

jesuslop

bulan laludiscuss

check mate

jesuslop

bulan laludiscuss

Yep the MV3 thing was my ticket out also here. And some benchmarks about firefox better memory usage. All their parlance about they "protecting us" is patronizing.

jesuslop

bulan laludiscuss

news impact oil futures, inflation expectations, fed rates, discounted cash flows then valuations.

jesuslop

bulan laludiscuss

Markets are looking revenue figures and forward guidance.

jesuslop

2 bulan yang laludiscuss

amazing this is measured

jesuslop

2 bulan yang laludiscuss

The music analogy is very pleasant. Let me share another stab with similar inspiration. The parallel I'd make is with harmony. For instance in LOTR Dominant is when Frodo and Gollum struggle at the cliff of Mount Doom, they lose control of the Ring that makes an upwards arc spinning. Max tension. Fast forward, Frodo returns to Shire, music is at home again. Tension resolves. (Tonic). So setup, conflict, resolution would be pre-dominant, dominant and tonic. Subplots are secondary dominants.

jesuslop

2 bulan yang laludiscuss

Not just no money in, but actual money out. RSS is a hole in user funnel inflow to platform.

jesuslop

2 bulan yang laludiscuss

Reports of the death of large swathes of the internet have been greatly exaggerated. This guy blog post "RSS Feeds Send Me More Traffic Than Google" is evidence by existing (personal web blog) more than by making the point. https://tinyurl.com/5n8cub5a

jesuslop

3 bulan yang laludiscuss

A bit late thanks, and a respectful hat tip.

jesuslop

3 bulan yang laludiscuss

The Showstoppers book by G. Pascal Zachary is an entertaining account of NT uprising.

jesuslop

3 bulan yang laludiscuss

Colinux was a tech feat, just not that many people noticed.

jesuslop

3 bulan yang laludiscuss

autotools felt old even in 90's

jesuslop

3 bulan yang laludiscuss

Just to confirm it is true. This is LaLiga bringing down essential country-wide infrastructure on soccer hours if your internet access is through main ISPs.

jesuslop

3 bulan yang laludiscuss

I think "Foundation" axiom F forbids your recursive set, and there are models of both core set theory satisfying either F or ¬F, so F is independent of core set theory (core -> not including F or ¬F). F is normally assumed in set theory, but Aczel has worked with "ill" founded (¬F) set theory models. Just as with the axiom of choice. No religion wars, just people pushed to be explicit with assumptions.

jesuslop

3 bulan yang laludiscuss

Hi Nick, the lag is quite bad in the field, honest. In desktop app in this case/datapoint. There was that "halt and catch fire" episode where they spoke about a millisencod threshold of delay that separated usability and non. Solvent hw and fiber connection.

jesuslop

3 bulan yang laludiscuss

Nice summary, saving it. If author is around, Bellman equation label ended overlapped to eqn., and pargraph quoting signs got into HJB displayed one. Suggest changes is 404 not found. Liked the presentation overall, thank you!

jesuslop

4 bulan yang laludiscuss

To comment something then, the symmetric group (bijections) is generated by permutations of two elements, in the braid group you can braid the left whisker on top of the right one, or below. If you permute twice, you do nothing, but you can twist hair one, two, three, ... any times. that is the contrast in the generators and relations of both groups. If you go to the wiki page of topological quantum computer, the photo expresses a unitary representation of a braid group element. Schrödinger evolution in discrete time is given by unitary matrices (one of the Stone theorems). Now look at the pic, and imagine threads from input 1 to output 1, input 2 to output 2, etc, in adition to the colored threads of the pic. With the extra threads as gluing spec (topological identification) you get a single colorful closed curve (or several ones). The chapter is going to talk about how this is a link/knot. So you get an algebraic understanding from a structural object as the symmetric group is, opening what these closed curves are. People in loop quantum gravity could have had their fingers on that kind of page. There is an accesible description of the Jones polynomial. If you bookmark this, next time the pros juggle the name before you you have a place to go to avoid showing "that face".

comments