Profile

Cover photo
Dante Johnson
Worked at Auntie Anne's
Lived in Alaska
480,244 views
AboutPostsCollectionsPhotos+1's

Stream

Dante Johnson

Shared publicly  - 
1
Add a comment...

Dante Johnson

Shared publicly  - 
 
via +Ciro Villa 
 
"When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics."
View original post
1
Boyd Smith's profile photo
 
Homotopy type theory is interesting.  I'm still fuzzy on how computable things like HIT and UA are, but they do both seem like useful tools, both for Math and for programming.

Of course, the answer to the question in the haedline is always "No.".  (Betteridge's Law)  Humans will refine the roots of math, just like we did with ZFC.  However, we will keep an eye on computability it's not essential, but it does have some nice advantages, including the ability to use programming language type-checkers as proof verifiers without loss of generality.
Add a comment...

Dante Johnson

Shared publicly  - 
1
Add a comment...

Dante Johnson

Shared publicly  - 
 
 
Damn, this looks pretty sweet.
Google's ATAP group — think next-generation Skunkworks — this morning at Google I/O unveiled its latest moonshot — Project Soli. It's basically a tiny doppler radar instead of optical cameras to track motion, offering a higher level of fidelity and discrete movements, and opening up a whole new world of interacting with technology. (That and radar's just cool.) The size of the radar...
View original post
1
Add a comment...

Dante Johnson

Shared publicly  - 
 
I'm shocked that this wasn't something discovered a long time ago. 

Turns out it WAS a long time ago when this was discovered. 2009, actually. https://www.youtube.com/watch?v=1DoWdHOtlrk 
 
Researcher observes and captures first evidence of octopus tool use, nearly drowns laughing. 
3 comments on original post
1
Add a comment...

Dante Johnson

Shared publicly  - 
 
What wonderful representives of the people. /sarcasm
 
Problem solved, right?
Gov. Sam Brownback's tax-slashing crusade threatens to become a full-blown constitutional crisis.
View original post
2
Add a comment...

Dante Johnson

Shared publicly  - 
1
Add a comment...

Dante Johnson

Shared publicly  - 
 
On May 1, I shared a post referring to this study that turned out to be a lie. I am glad this fraud has been uncovered. It would be irresponsible of me not to share this since I unintentionally helped spread a lie. And this is quite an interesting read. Thank you +Mary Mangan  for sharing this.
 
This is a frikken FASCINATING series of near-misses that almost uncovered a fraud--until it eventually was unearthed. It is super-nerdy, but I could barely wait for each paragraph to come. It was like a Dan Brown novel sequence--only sadly real.

Also: good on +David Broockman for hangin' in there, and continuing to tug at the threads.
“What’s the book? There’s no book for this. What do we do?’”
9 comments on original post
1
Add a comment...

Dante Johnson

Shared publicly  - 
 
I could see this as a game that would be played on twitch. I don't know how popular it would as far as viewers go, but if you can watch somebody farming in diablo or path of exile, surely exploring a universe and discovering things never-before- seen would have some appeal.
Procedural generation strikes a balance between randomness and order.
1
Add a comment...

Dante Johnson

Shared publicly  - 
 
 
All sorts of interesting things become possible.
A new shape memory material stays strong even after tens of millions of transformations. It may finally pave way for widespread usage of the futuristic materials.
7 comments on original post
1
Add a comment...
Dante's Collections
Story
Tagline
Occasionally depressed. Rarely irrational.
Introduction
I don't participate. I watch, I observe, I listen, I think. 

I like to talk about thoughts and ideas and meanings. I try to make sense of things.

I find beauty in the combination of power and elegance. A flame, a tiger, a lightning bolt, a blade. I love the sound of rain.

Passion, dedication, and commitment. Whether love, work, hobby, or some other important part of life, greatness becomes more likely with those three ingredients. 

I believe that the deliberate spreading of misinformation by those whose role is to deliver accurate information should be a criminal offense.

I prefer games with clear rules.
Bragging rights
I type using the Dvorak keyboard layout. Jonathan Frakes (Commander Riker from Next Generation) took a picture of me once.
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Previously
Alaska - Japan - Oklahoma - Florida
Work
Occupation
Soon: Financial Planner.
Employment
  • Auntie Anne's
  • Panera Bread
  • Winn-Dixie
Basic Information
Gender
Male
Other names
Zuramed
Dante Johnson's +1's are the things they like, agree with, or want to recommend.
Sweden closes four prisons as number of inmates plummets
www.theguardian.com

Decline partly put down to strong focus on rehabilitation and more lenient sentences for some offences

Unlearning Mistaken Ideas
www.creativitypost.com

'The psychological study of misconceptions shows that all of us possess many beliefs that are flawed or flat-out wrong—and also that we clin

FactCheck.org | A Project of the Annenberg Public Policy Center
factcheck.org

Super PAC Polishes Huntsman's Resume. November 15. Someone. A super PAC backing Jon Huntsman for president makes three misleading or fal

A War of Voting: Could Redistricting and Voting Law Changes Help Republi...
www.democracynow.org

A new report by the Brennan Center for Justice warns changes to voting laws could strip the voting rights of more than 5 million people -- a

The New New Deal: The Hidden Story of Change in the Obama Era
talkingpointsmemo.com

Hi, everyone. I’m Michael Grunwald from TIME Magazine, and Josh has generously invited me to blog this week about my new book, The New New D

symmetry breaking » Blog Archive » CERN spin-off: More efficient sola...
www.symmetrymagazine.org

Nothing exists in a vacuum, except for maybe the physics career of Cristoforo Benvenuti. While working at CERN, Benvenuti developed equipmen

How the Finnish school system outshines U.S. education
www.physorg.com

(PhysOrg.com) -- Educational philosophy in Finland is strikingly different than in the United States, but the students there outperform U.S.

Kathryn Schulz: On being wrong | Video on TED.com
www.ted.com

TED Talks Most of us will do anything to avoid being wrong. But what if we're wrong about that? "Wrongologist" Kathryn Schulz makes a compel

The Baloney Detection Kit: A 10-Point Checklist for Science Literacy
www.brainpickings.org

How to assess the believability of claims without succumbing to cynicism. After last month's vintage-inspired short films on critical thi

New computers respond to students' emotions, boredom
www.sciencedaily.com

Emotion-sensing computer software that models and responds to students' cognitive and emotional states -- including frustration and boredom

SC2Casts.com - All Starcraft 2 video casted matches / VODs in one place !
sc2casts.com

Keeps track of the best Starcraft 2 video casted matches from all over the Internet

YouTube - TEDxCanberra - Ash Donaldson - Cognitive dissonance
www.youtube.com

Create AccountSign In. Home. BrowseMoviesUpload. Hey there, this is not a commercial interruption. You're using an outdated browser, whi

Bluebrain | Year One
vimeo.com

Henry Markram is attempting to reverse engineer an entire human brain, one neuron at a time. This piece is an introduction to director Noah

YouTube - Philip Wesley: Dark Night Of The Soul
www.youtube.com

Create AccountSign In. Home. BrowseMoviesUpload. Hey there, this is not a commercial interruption. You're using an outdated browser, whi

YouTube - Daniel Pink on the surprising science of motivation
www.youtube.com

Create AccountSign In. Home. BrowseMoviesUpload. Hey there, this is not a commercial interruption. You're using an outdated browser, whi

Bluebrain | Year Two
vimeo.com

Henry Markram is attempting to reverse engineer an entire brain, one neuron at a time, on IBM supercomputers. This piece is the Year Two pre

Do You Suffer From Decision Fatigue?
www.nytimes.com

The very act of making decisions depletes our ability to make them well. So how do we navigate a world of endless choice?

YouTube - Critical Thinking
www.youtube.com

Create AccountSign In. Home. BrowseMoviesUpload. Hey there, this is not a commercial interruption. You're using an outdated browser, whi

YouTube - Conformity
www.youtube.com

Create AccountSign In. Home. BrowseMoviesUpload. Hey there, this is not a commercial interruption. You're using an outdated browser, whi