create account

Curating the Internet: Science and technology micro-summaries for September 29, 2019 by remlaps-lite

View this thread on: hive.blogpeakd.comecency.com
· @remlaps-lite · (edited)
$3.40
Curating the Internet: Science and technology micro-summaries for September 29, 2019
<b>IEEE Spectrum's <i>weekly selection of awesome robot videos</i> features Boston Dynamics' Atlas robot doing some gymnastics moves</b>; Researchers create neurons from glial cells, at scale; <b>An argument that math needs to be augmented by automated proof verifiers</b>; A 2017 study claiming to get yes/no answers from paralyzed patients has been called into question for misconduct; and <b>an argument that our solar system has its very own black hole</b>

<hr>
<b>Question for readers:</b> I'm considering a title change for this series.  Would something like, "<i>The Daily Internet Digests</i>", be a more accurate and eye-catching title than "<i>Curating the Internet</i>"?

<hr>

<center><b><i>Fresh and Informative Content Daily: Welcome to my little corner of the blockchain</i></b></center>
<table>
<tr><td><h5>Straight from <A HREF=https://theoldreader.com>my RSS feed</A></h5></td><td><h5>Whatever gets my attention</h5></td></tr>
</table>

<h6>Links and micro-summaries from my 1000+ daily headlines.  I filter them so you don't have to.</h6>

<hr>

<div class=pull-right><p>

![image.png](https://files.steempeak.com/file/steempeak/remlaps-lite/DkAkhH6I-image.png)
<h6> pixabay license: <a href="https://pixabay.com/photos/breakdance-breakdancer-acrobat-2734133/">source</a>.</h6>

</p></div>

<ol>
<li> <A HREF="https://spectrum.ieee.org/automaton/robotics/robotics-hardware/video-friday-boston-dynamics-atlas-humanoid-robot-new-gymnastics-skills">Video Friday: Boston Dynamics' Atlas Robot Shows Off New Gymnastics Skills</A> - IEEE Spectrum's <i>weekly selection of awesome robot videos</i> features Boston Dynamics' Atlas robot doing some gymnastics moves.  This was also included in the Spot post featured in <A HREF="/@remlaps-lite/curating-the-internet-science-and-technology-micro-summaries-for-september-25-2019">Curating the Internet: Science and technology micro-summaries for September 25, 2019</A>, but I'm glad they repeated it so I could embed the video in this series.  The link also includes the Spot promo video again, along with an ad for the <i>Discovery Channel</i>'s <i>Battlebots</i> series; a video for an Ebay auction of a "Battle Mech" that's powered by a Corvette engine; a drone wielding a nail gun that has garnered 150,000 Youtube views; A precision cutting robot that can cut a grapefruit; chattering robot heads; A robotic arm for the <i>International Space Station (ISS)</i>; A dextrous, multi-fingered robotic hand; A drone made from Styrofoam insulation; and more...<br><br><table><tr>Here's the <i>Atlas</i> gymnastics video:</tr><tr>https://youtu.be/_sBBaNYex3E</tr></table>

</li><br>

<li> <A HREF="https://www.cell.com/molecular-therapy-family/molecular-therapy/fulltext/S1525-0016(19)30404-6?_returnURL=https%3A%2F%2Flinkinghub.elsevier.com%2Fretrieve%2Fpii%2FS1525001619304046%3Fshowall%3Dtrue">A NeuroD1 AAV-Based Gene Therapy for Functional Brain Repair after Ischemic Injury through In Vivo Astrocyte-to-Neuron Conversion</A> - After ischemic injury - nerve cell injury due to blood loss - Penn State's <A HREF="https://sites.psu.edu/gongchenlab/lab-members/yuchen-chen/">Yuchen Chen</A> and colleagues were able to convert glial cells into neurons in a variety of animals.   With this technique they were able to replace up to one third of lost neurons and also protect a third of injured neurons.  This is not the first time that glial cells were converted to neurons, but it is the first time it's been able to create this many neurons.  Here's the closing sentence from the Abstract: "<i>Together, these results demonstrate that in vivo cell conversion technology through NeuroD1-based gene therapy can regenerate a large number of functional new neurons to restore lost neuronal functions after injury.</i>"  <A HREF="https://lemire.me/blog/2019/09/28/science-and-technology-links-september-28th-2019/">h/t Daniel Lemire</A></li><br>

<li> <A HREF="https://www.vice.com/en_au/article/8xwm54/number-theorist-fears-all-published-math-is-wrong-actually">Number Theorist Fears All Published Math Is Wrong</A> - Number theorist,
 <A HREF="https://wwwf.imperial.ac.uk/~buzzard/">Kevin Buzzard</A>, suggests that the greatest proofs have become so complex that almost no human can understand all of their details, let alone verify them.  Because of this, he is concerned that many of the proofs that are believed to be true actually are not.  If so, this would have a ripple effect because other proofs depend upon the validity of the flawed ones.  In a <A HREF="http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf">presentation</A>, he wrote: "<i>I think there is a non-zero chance that some of our great castles are built on sand. But I think it’s small."</i>  As an example, he says, "<i>I believe that no human, alive or dead, knows all the details of the proof of Fermat’s Last Theorem. But the community accept the proof nonetheless</i>".  To address these concerns, Buzzard suggests that the community should adopt formal proof verification software, like <A HREF="https://leanprover.github.io/">Lean</A>, which he says is superior to others because it can handle any type of mathematics that he's aware of.  <A HREF="https://cacm.acm.org/news/239748-number-theorist-fears-all-published-math-is-wrong/fulltext">h/t Communications of the ACM</A></li><br>

<li> <A HREF="https://arstechnica.com/science/2019/09/communication-with-locked-in-patients-in-question-after-misconduct-finding/">Communication with locked-in patients in question after misconduct finding</A> - In 2017, <i>PLOS Biology</i> covered work by the German researcher, Nils Birbaumer, who claimed to be able to interpret yes/no answers from the brainwaves of paralyzed patients.  In 2018, Martin Spüler - a postdoc researcher, could not replicate the work, so a misconduct investigation was opened.  Another independent researcher was also unable to replicate the results for the inquiry.  As a result of the inquiry, Birbaumer and the study's first author were found to have committed misconduct.  Birbaumer said he accepts the result of the inquiry, but stands by his work.</li><br>

<li> STEEM <A HREF="/@kralizec/a-black-hole-may-orbit-the-sun">A Black Hole May Orbit The Sun</A> - Citing an <A HREF="https://arxiv.org/abs/1909.11090v1?utm_source=haipit">arXiV paper</A>, @kralizec reports on work by <A HREF="https://www.ippp.dur.ac.uk/profile/jscholtz">Jakub Scholtz</A> and <A HREF="https://phys.uic.edu/profiles/unwin-james/">James Unwin</A>.  According to the summary, the movement of objects at the edge of our solar system leads many astronomers to believe that they're being influenced by the gravity of an as-yet undiscovered planet.  Scholtz and Unwin, however, suggest that the reason that no planet has been discovered is because the gravity is coming from a different object - namely, a black hole.  In support of this idea, @kralizec points out that in the last five years, the Earth has crossed paths with two objects from outside our solar system.  In the same way, the Sun might have trapped a primordial black hole in its gravity as the black hole passed through the solar system.  In comments, @inertia adds that if this is correct, it could have many useful ramifications for humans.  (A 10% beneficiary has been applied to this post for @kralizec.)</li><br>
</ol>


<hr>

<i>In order to help make Steem the <i>go to</i> place for timely information on diverse topics, I invite you to discuss any of these links in the comments and/or your own response post.</i>

<h4>Beneficiaries</h4>
<ul>
<li>Burn Steem/SBD - @null - 5%</li>
<li>Cited author(s) - @kralizec - 10%</li>
<li>Fundraising for the <A HREF="https://rustinband.org/about/">Rustin Golden Knights Marching Band</A> - @rgkmb-unofficial - 10%</li>
<li>Posting and/or scheduling service (steempeak.com) - @steempeak - 5%</li>
<li>Science, Technology, Engineering, and Math (STEM) curation on Steem - @steemstem - 5%</li>
<li>Steem/API services (anyx.io) - <A HREF="/@anyx">anyx</A> - 5%</li>
<li>Steem/RSS services (steemrss.com) - <A HREF="/@torrey.blog">torrey.blog</A> - 5%</li>
</ul>

<hr>
<h4>My other open posts</h4>
(as of Saturday afternoon)
<h5>@remlaps</h5>
<p><ul>
</ul></p>
<h5>@remlaps-lite</h5>
<p><ul>
<li><A HREF="/@remlaps-lite/curating-the-internet-science-and-technology-micro-summaries-for-september-28-2019">Curating the Internet: Science and technology micro-summaries for September 28, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-business-leadership-and-management-micro-summaries-for-september-28-2019">Curating the Internet: Business, leadership, and management micro-summaries for September, 28, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-science-and-technology-micro-summaries-for-september-27-2019">Curating the Internet: Science and technology micro-summaries for September 27, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-business-leadership-and-management-micro-summaries-for-september-27-2019">Curating the Internet: Business, leadership, and management micro-summaries for September 27, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-science-and-technology-micro-summaries-for-september-26-2019">Curating the Internet: Science and technology micro-summaries for September 26, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-business-leadership-and-management-micro-summaries-for-september-26-2019">Curating the Internet: Business, leadership, and management micro-summaries for September 26, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-science-and-technology-micro-summaries-for-september-25-2019">Curating the Internet: Science and technology micro-summaries for September 25, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-business-leadership-and-management-micro-summaries-for-september-25-2019">Curating the Internet: Business, leadership, and management micro-summaries for September 25, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-science-and-technology-micro-summaries-for-september-24-2019">Curating the Internet: Science and technology micro-summaries for September 24, 2019</A><br></li>
<li><A HREF="/@remlaps-lite/curating-the-internet-business-leadership-and-management-micro-summaries-for-september-24-2019">Curating the Internet: Business, leadership, and management micro-summaries for September 24, 2019</A><br></li>
</ul></p>
<h5>Fundraising for the <A HREF="https://rustinband.org">Rusting Golden Knights Marching Band</A> by @rgkmb-unofficial</h5>
<p><ul>
<li><A HREF="/@rgkmb-unofficial/coatesville-red-raiders-at-rustin-golden-knights-football-final-update-w87lqmk2">Coatesville Red Raiders at Rustin Golden Knights Football - Final update</A><br></li>
<li><A HREF="/@rgkmb-unofficial/coatesville-at-rustin-football-half-time-update-dlfieih7">Coatesville at Rustin Football - Half time update.</A><br></li>
</ul></p>


<hr>

<h6><A HREF="/@remlaps/launching-my-latest-steem-posting-experiment">About this series</A></h6>

<hr>Sharing a link does not imply endorsement or agreement, and I receive no incentives for sharing from any of the content creators.<br><br>

Follow on steem: @remlaps-lite, @remlaps
If you are not on Steem yet, you can follow through RSS: <A HREF="http://www.steemrss.com/@remlaps-lite/blog">remlaps-lite</A>, <A HREF="http://www.steemrss.com/@remlaps/blog">remlaps</A>.<br>

<hr>

Thanks to <A HREF="http://steemrss.com">SteemRSS</A> from philipkoon, doriitamar, and torrey.blog for the Steem RSS feeds!<br>
👍  , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and 226 others
properties (23)
authorremlaps-lite
permlinkcurating-the-internet-science-and-technology-micro-summaries-for-september-29-2019
categoryrsslog
json_metadata{"app":"steempeak/1.17.1","format":"markdown","author":"remlaps","tags":["rsslog","steemstem","robotics","number-theory","astronomy","science","technology","math","stem","palnet"],"users":["remlaps-lite","kralizec","inertia","null","rgkmb-unofficial","steempeak","steemstem","anyx","torrey","remlaps"],"links":["https://theoldreader.com","https://pixabay.com/photos/breakdance-breakdancer-acrobat-2734133/","https://spectrum.ieee.org/automaton/robotics/robotics-hardware/video-friday-boston-dynamics-atlas-humanoid-robot-new-gymnastics-skills","/@remlaps-lite/curating-the-internet-science-and-technology-micro-summaries-for-september-25-2019","https://www.cell.com/molecular-therapy-family/molecular-therapy/fulltext/S1525-0016(19)30404-6?_returnURL=https%3A%2F%2Flinkinghub.elsevier.com%2Fretrieve%2Fpii%2FS1525001619304046%3Fshowall%3Dtrue","https://sites.psu.edu/gongchenlab/lab-members/yuchen-chen/","https://lemire.me/blog/2019/09/28/science-and-technology-links-september-28th-2019/","https://www.vice.com/en_au/article/8xwm54/number-theorist-fears-all-published-math-is-wrong-actually","https://wwwf.imperial.ac.uk/~buzzard/","http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf"],"image":["https://files.steempeak.com/file/steempeak/remlaps-lite/DkAkhH6I-image.png"]}
created2019-09-29 15:56:36
last_update2019-09-29 16:04:33
depth0
children4
last_payout2019-10-06 15:56:36
cashout_time1969-12-31 23:59:59
total_payout_value1.217 HBD
curator_payout_value2.186 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length11,592
author_reputation33,385,102,560,685
root_title"Curating the Internet: Science and technology micro-summaries for September 29, 2019"
beneficiaries
0.
accountanyx
weight500
1.
accountkralizec
weight1,000
2.
accountnull
weight500
3.
accountrgkmb-unofficial
weight1,000
4.
accountsteempeak
weight500
5.
accountsteemstem
weight500
6.
accounttorrey.blog
weight500
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id91,064,598
net_rshares13,669,755,244,082
author_curate_reward""
vote details (290)
@lemouth ·
$0.09
Math is wrong... Mmmh I would have the tendency to disagree with this point 3. Haven't the proofs been deeply checked by peers when released? Following the reasoning of the point raised, this would mean we cannot trust our peers anymore. That's slightly overdoing it IMO.
👍  , , ,
properties (23)
authorlemouth
permlinksteemstem-app-comment-1569878155
categoryrsslog
json_metadata{"tags":"steemstem","app":"steemstem"}
created2019-09-30 21:16:00
last_update2019-09-30 21:16:00
depth1
children2
last_payout2019-10-07 21:16:00
cashout_time1969-12-31 23:59:59
total_payout_value0.043 HBD
curator_payout_value0.043 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length271
author_reputation338,011,164,701,274
root_title"Curating the Internet: Science and technology micro-summaries for September 29, 2019"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id91,103,407
net_rshares429,026,797,294
author_curate_reward""
vote details (4)
@remlaps-lite ·
In the past, I've read objections to automated theorem provers from the opposite perspective.  I kept waiting for that article to bring it up, but they never did.  You never know if there's a bug in the code that might lead to a bad proof, so you can't consider something to be proved unless it has been through human peer review. 

For things with large real world costs and consequences, I think it's a good idea to have both human and automated inspection, but that's more of an engineering thing than number theory.  There's a cost involved in translating from mathematical notation to a language that the theorem prover understands, so you have to choose the places where you're going to go through all that effort. 
properties (22)
authorremlaps-lite
permlinkre-lemouth-pynyyb
categoryrsslog
json_metadata{"tags":["rsslog"],"app":"steempeak/1.17.1"}
created2019-09-30 21:42:12
last_update2019-09-30 21:42:12
depth2
children1
last_payout2019-10-07 21:42:12
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length721
author_reputation33,385,102,560,685
root_title"Curating the Internet: Science and technology micro-summaries for September 29, 2019"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id91,103,924
net_rshares0
@lemouth ·
Time (and thus money), as usual. However, you are right. As long as humans are still involved in the process, it is probably fine.
properties (22)
authorlemouth
permlinksteemstem-app-comment-1569882816
categoryrsslog
json_metadata{"tags":"steemstem","app":"steemstem"}
created2019-09-30 22:33:36
last_update2019-09-30 22:33:36
depth3
children0
last_payout2019-10-07 22:33:36
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length130
author_reputation338,011,164,701,274
root_title"Curating the Internet: Science and technology micro-summaries for September 29, 2019"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id91,104,929
net_rshares0
@steemstem ·
re-remlaps-lite-curating-the-internet-science-and-technology-micro-summaries-for-september-29-2019-20190930t211630176z
<div class='text-justify'> <div class='pull-left'> <center> <br /> <img width='200' src='https://res.cloudinary.com/drrz8xekm/image/upload/v1553698283/weenlqbrqvvczjy6dayw.jpg'> </center>  <br/> </div> 

This post has been voted on by the **SteemSTEM curation team** and voting trail. It is elligible for support from @curie and @minnowbooster.<br /> 

If you appreciate the work we are doing, then consider supporting our witness [@stem.witness](https://steemconnect.com/sign/account_witness_vote?approve=1&witness=stem.witness). Additional witness support to the [curie witness](https://steemconnect.com/sign/account_witness_vote?approve=1&witness=curie) would be appreciated as well.<br /> 

For additional information please join us on the [SteemSTEM discord]( https://discord.gg/BPARaqn) and to get to know the rest of the community!<br />

Thanks for having included @steemstem in the list of beneficiaries of this post. This granted you a stronger support from SteemSTEM. Note that using the <a href='https://www.steemstem.io'>steemstem.io</a> app could have yielded an even more important support.
properties (22)
authorsteemstem
permlinkre-remlaps-lite-curating-the-internet-science-and-technology-micro-summaries-for-september-29-2019-20190930t211630176z
categoryrsslog
json_metadata{"app":"steemstem-bot"}
created2019-09-30 21:16:33
last_update2019-09-30 21:16:33
depth1
children0
last_payout2019-10-07 21:16:33
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length1,105
author_reputation262,017,435,115,313
root_title"Curating the Internet: Science and technology micro-summaries for September 29, 2019"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id91,103,421
net_rshares0