➡❗⭐😎😀💡 hi all sparkfun 2016 was last wknd sat sep 17th. what a blast! got the big robot fix and geek (over?)dose for a long time.
as mentioned before in this blog (last summer), sparkfun is an amazing company with a lot of really dedicated/ passionate members. its grown massively in only about a decade. they have very impressive warehouse/ facilities with nice features such as several classroom areas.
a huge unexpected highlight for me (got there just in time) was the presentation by Casey Kuhns (aerospace engineer!) and Zachary Goff of the POISON ARROW battlebot. their robot is built incredibly well in short timeframes. they have to glue snap connectors together otherwise they break apart during collisions that have as much kinetic energy as in car crashes. they showed a highlight of launching another 250LB robot 8ft in the air. they also had a flying drone that could shoot down flames. it was impressive to watch but seemed to have a lot of trouble honing in on targets.
to a large room/ ~50 count rapt audience with lots of kids, they detailed the fascinating building and insider/ behind the scenes aspects/ figures of its creation. lots of great/ riveting slides/ videos. they revealed the ABC battlebot cage cost $3M. builders got $10K from the show, and they didnt mention much prizes on the show, it didnt seem to be much of a consideration for them.
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.
hi all. have been collecting mountains of cybersecurity links over the past ~½ year after posting heavily on the Apple vs FBI crypto/ terrorism investigation controversy/ showdown/ faceoff/ staredown. have not seen such a intensely fiery headliner match in many years. astonishingly it looks like the govt/ FBI blinked/ backed down possibly partly in the face of intense/ spreading corporate pressure but not before even Obama weighed in with his opinion against “fetishizing phones”. this, from the 1st guy who years ago had a blackberry/ smartphone as president after pushing for it personally (supplied by the NSA!). it seems we have come full circle in his presidency.
some near shocking/ stunning headlines that even govt insiders eg ex NSA officials supported Apples stance! anyway for now the govt has backed down and new battle lines are drawn with silicon valleys ire roused eg with google taking it somewhat personally so to speak. it looks like a newly established widespread corporate priority/ consensus/ race to increase encryption and make govt surveillance more difficult. this appears to me to be a rare case where corporate power is working against/ checking govt power (overreach!) in favor of citizen/ constitutional rights… thanks Tim Cook, a CEO who has not been corrupted by his multimilliondollar yearly pay and still has a bit of spine )( left in him after not being fully flushed out after the decades of “shrewd” politicking reqd for climbing the corporate ladder.[a][b][c] (on 2nd thought, more cynically as pointed out by some, maybe its just that cyber corporations want a monopoly on the vast private data that can be better monetized that way and “privacy rights” is a mere smokescreen….)
last month was busy for collatz ideas/ code/ graphs etc., and coincidentally right on the now-conventional new month boundary, just came up with what might be some staggering new idea(s). it starts with a very simple observation. it may be either trivial and/or highly nontrivial, depending on how it works out. never really seemed to notice this simple factoid before, if so dont recall it. maybe have been a little too focused on glide lengths when something else was (not noticeably so far) popping out (maybe these two metrics have been tracked together in some prior graph, but along with other stuff).
insight can consist of narrowing down attn/ focus/ pov toward highly meaningful facts which alone/ on their face seem unremarkable. this is just a few lines of code to answer the question, where does the “cm” max iterate index occur wrt the starting seed bit length? for the 8 generation algorithms, “cm” is very much bounded by the starting seed bit length. actually was surprised! this ties in with a whole new direction with new povs/ maybe an entirely new paradigm (shift?). (hint: what does the starting seed bit length relate to?)😮
➡⭐⭐⭐ hi all. it is with great pleasure to introduce this next guest and chat series and welcome a larger audience. Daniel Sank, Phd working at Google Martinis quantum computing lab is our 3rd guest speaker in a guest chat series hosted by the physics stackexchange site/ chat room. thanks to moderator David Z, Phd for the suggestion of the idea, coordination and graciously agreeing to hosting in his already well-attended biweekly chat sessions.
we have now hosted two prior events in series with great success with Samuel Lereah, Masters in physics, and yuggib, Phd math working in mathematical physics, thanks so much to these groundbreaking/ enthusiastic guest speakers for their particularly inspired/ dedicated participation.