Category Archives: r&d homegrown

love/ hate letter to stackexchange summer 2017 at ½ decade mark

hi all, have now been on stackexchange over 5 yrs, focusing on CS-related groups, mainly theoretical computer science and the computer science sites. its been a wild ride and full of a lot of color and online adventures. the cyber culture is quite rich. full of dynamic psychology and ripe for a sociological/ anthropological study. when finding this site early on and seeing their rapid growth, thought it could be a like a mini-facebook. but alas, there are really no other mini-facebooks! (lol at someone-or-other who told me in chat not long ago that SE is not a “social networking system”!) its a winner-take-all situation in capitalism and mirrored in cyberspace.

for 4 years focused on building up my online rep. shew, it sure/ really isnt easy! esp if one wants to have a personal style to their posts! the site culture is very “left brained”. analytical. exacting. its that old japanese expr applied to cyberspace:

the nail that sticks out gets hammered down.

Continue reading

universe as a simulation hypothesis, holographic principle, recent developments/ notes/ minisurvey

hi all. have blogged before here (admittedly, enthusiastically, even ebulliently) on the “digital physics” concept, an enamoring idea (for some!). recently within last few weeks and last year there seems to be substantial new interest and developments even in “semimainstream” physics, and now even the mainstream media is in a semi-lather over close topics. (skeptics will ofc argue the word “semimainstream” sounds something like “semipregnant”!) its hard to keep up! there are many different angles of povs, events, personalities, etc… this post attempts to collect and summarize some of this and bang it all into a semicoherent story (as much as such a thing is possible). some old but evocative buzz/ magic words thrown around about internet expansion into multiple industries come to mind: consolodation/ convergence…

to start, these ideas are now going under the headline of the “holographic universe/ principle”[a2] or “simulated universe/ hypothesis”[a1] concepts. they are interconnected in major and/ or subtle ways.

mentioned Aaronsons recent blog[i3] on subj citing Hossenfelder [i1][i2] in a recent near-throwaway comment in the SE physics chat room “hbar”[a5] to a new accomplished user BenNiehoff (phd KU Leuven working on string theory with 9 papers on arxiv!). hes met a lot of famous physicists at conferences personally eg Susskind, Zee, Green, Schwarz, and Witten and other famous theorists. am trying to recruit him for a guest session in our elite and popular series, but thats another story!

laid out some of the basic concepts/ “pros” of the simulation hypothesis ideas incl/ eg longtime endorsement/ driven pursuit by nobel prize alumnus ‘t Hooft, which thought were not generally very controversial, but the room denizens/ regulars reacted quite adversely-bordering-on-negatively, with some really stinging retorts! guess those big fat shiny nobel prizes and the proverbial “trip to stockholm” just aint what they used to be! Ben expressed his disinclination and looks like they all smelled blood in the water & went in for the kill! 😮 o_O 😦

Ah, as usual you have no actual argument to make, I should’ve known. —ACuriousMind [a6]

vzn; do you have any mainstream views? —John Rennie [a7]

Continue reading

math celebration 2016: pythagorean triples empirical attack conquest

310516_proofsupercomputer_1

actual U Texas Stampede supercomputer where proof was run [a2]

➡ 💡 ❗ ⭐ 😎 😀 hi all. RJLipton recently covered the amazing/ brilliant breakthrough of solving the pythagorean triples problem by empirical work namely a reduction to SAT and analysis by a supercomputer by Heule, Kullmann, Marek and its a nice pivotal trigger/ tipping point for my own writeup along with related stuff.[a] (have been waiting for opportune time to write this up since may.) proofs like these are a complex or “complicated relationship” for mathematicians (aka facebook-speak), a love-hate affair. (did the extraordinary/ breakthrough/ revolutionary/ paradigm-shifting 4-color computer proof ever win any awards? and how much despair/ handwringing and further effort has there been over it over the decades?)

the breakthrough is celebrated but mathematicians would like to see shorter proofs that are human-comprehensible, so there are mixed/ ambivalent feelings about it within the community. have written on this topic quite at length in this blog even since its beginnings, and this latest breakthrough is delightfully affirmationally crosscutting across many of this blogs categories, and think this is the tip of the iceberg of 21st century mathematics in a way not yet fully recognized. its a dramatic, vivid realization/ materialization of an idea suggested a few years ago here called “SAT induction.” think that these types of proofs will lead to new theory that is indeed human comprehensible but some of the isolated theorems will be claimed first by computer analysis before the more thorough theory catches up to integrate them.

Continue reading

start on logic/ binary division/ prime finding via DFA constructions

hi all. this continues/ advances the idea of analysis of bertrands postulate via a CS/ automated thm proving approach.

was looking for some existing code around the internet just to see what has been done. years ago, built multiplication circuits in SAT in both C (early 1990s) and Perl (2000s). alas, neither code is still available. (can really tell that you are all on the edge of your seat for that, lol)

there are some interesting papers on fast modulus calculation using highly tuned hardware such as FPGAs. this turned up in a google search pointing to DTIC, Defense Technical Information Center (US military!) and without a citable link on the site, in contrast to many other papers there.[a2][a3][a4]

hmmm!

Continue reading

$1B EU QM computing initiative + QM theory/ applied highlights Q1 2016

nature_EU_qm➡ 💡 ❗ ⭐ 😮 😀 😎 ❤ hi all, more signs that physics is in a golden age esp in the area of quantum computing and quantum mechanics. EU just announced a $1B initiative to fund quantum computing. this combines with two other existing/ similar projects to analyze the brain and advance graphene technology/ understanding.[a]

the Manifesto[a1] is a sign that we are in dramatic times. you will not much hear scientists ever use the word Manifesto in their entire lifetimes. (marx was a rare exception.) another word that you will rarely hear scientists use is “revolution” but they are calling quantum computing the 2nd quantum revolution. as the chinese say, may you live in interesting times.

the announcement is utterly buried in a bureacratic document[a3] under the section “What is the financial impact of the Cloud Initiative? Where will the money come from and how will it be invested?” but Nature blared it anyway.[a2] apparently those bureacrats are a little gun shy after criticism of the $1B brain initiative as too ambitious or infeasible etc.

these are other big 2015 Q1 developments/ highlights. as usual its hard to keep up with lightning fast advances in this field. even the canadian prime minister is talking about QM these days.[b1][b2] DWave seems to be further confounding its critics with real, measurable performance.[b9][b4] somewhat similar to the EU announcement, chinas Alibaba announced a major QM research initative.[b8] they are intending to start out with encryption applications and hundreds of engineers, working toward QM computing technology.

Continue reading