Profile

Cover photo
Boyd Smith
Works at Toshiba Global Commerce Solutions
Attended University of Arkansas
Lives in Fayetteville, AR
1,232 followers|374,380 views
AboutPostsPhotosVideos+1'sReviews

Stream

Boyd Smith

Shared publicly  - 
 
I see a couple of next steps here. One is the already established prize for a large mamalian brain (roughly the complexity of a human brain). The second is restoration, either digitally after (careful) destruction and scanning of the brain, or via reversal of the fixation+vitrification process.

The advancements in my lifetime, have made me consider being a cryonaut several times.
 
The Brain Preservation Foundation's Small Mammalian Brain Prize has been won with fantastic preservation of a whole rabbit brain using a new fixative+slow-vitrification process.

Evaluation: http://www.brainpreservation.org/asc_rabbit_fulleval/

Publication describing the process: "Aldehyde-stabilized cryopreservation" McIntyre & Fahy 2015 http://www.sciencedirect.com/science/article/pii/S001122401500245X (note this is a fulltext link)

#cryonics #neuroscience  
View original post
2
Add a comment...

Boyd Smith

Shared publicly  - 
 
What's she looking back at?

(WARNING: Scroll-triggered Javascript animations.)
 ·  Translate
1
Add a comment...

Boyd Smith

Shared publicly  - 
 
Going to be watching these interactives closely throughout the primary season.
Polls and predictions for the the 2016 Iowa Republican caucuses, including Donald Trump, Ted Cruz, Marco Rubio and Ben Carson
2
Add a comment...

Boyd Smith

Shared publicly  - 
 
So, thinking about type theory and cumulative universes... It seems that when we have something like term : type, then type is uniquely determined by term. However, when we have something like type : Ui, then i is not unique. This seems a bit untidy.

Why not just have the infinite hierarchy with U_i : U_(i+1) and be done with it? It seems like the rest of MLTT and HoTT would be largely unchanged.
1
Zac Slade's profile photo
 
When do you see the former case being true? Is this an issue of type identification and classification?

The statement made in the second paragraph suggests that not all types are identified in this way. My intuition is that by adhering to your idea of a (strict) hierarchy of types would incorrectly place some types at a universe level that (necessarily) subsumes the types in the lower level leading to a contradiction.

Suppose Foo:U_0 and Bar:U_1. In HoTT Foo is isomorphic to Bar as Bar lives in a universe which contains the types of types in U_0.
Add a comment...

Boyd Smith

Shared publicly  - 
 
 
Debian Founder Ian Murdock found dead. Earlier, he had tweeted about committing suicide citing 'police abuse'.
2 comments on original post
2
Add a comment...

Boyd Smith

Shared publicly  - 
 
 
Debian founder Ian Murdock passed away at the age of 42. The news was posted on Docker’s official blog; Murdock was a Docker employee.

Docker didn’t provide any info on the cause of Murdock’s death. In the past few days Murdock was posting some disturbing tweets, suggesting police abuse and threatening suicide. Initially it was believed that his account was hijacked.
32 comments on original post
1
Add a comment...
Have him in circles
1,232 people
James Roberts's profile photo
Barry Carter's profile photo
Marc-Daniel Ortega's profile photo
A TIF's profile photo
AFZAL Hossain khan's profile photo
Nick Parker's profile photo
Sa Nova's profile photo
tran linh's profile photo
Richard Beamish's profile photo

Boyd Smith

Shared publicly  - 
 
Read this before you even think of doing a Hardware Kickstarter please
Kickstarter tasked me, a freelance reporter, to find out why a highly funded crowdfunding campaign for a palm-sized dron…
10 comments on original post
4
Boyd Smith's profile photoJulia Longtin's profile photo
2 comments
 
A cautionary tale on accepting nonfree software is hidden in this gem, as well. At least with Free software, the (four! Disgusting!) people who received theirs would not have bricks-with-propellers.
Add a comment...

Boyd Smith

Shared publicly  - 
 
Next time there's a powerball frenzy on, remember that even when the expected value of a lottery ticket is greater than its purchase, you have to use the Kelly criterion to determine if you are even rich enough to play the lottery.
2
Add a comment...

Boyd Smith

Shared publicly  - 
 
We are all stardust. In memory of Ziggy...
 
In honor of Mr. David Bowie.  His music lives on, in so many forms and interpretations.  How cool is it to have an actual Astronaut immortalize Space Oddity.
View original post
7
Add a comment...

Boyd Smith

Shared publicly  - 
 
 
READ THIS NOW. 
Robert Reich says Democrats have a major uphill battle to win in terms of congressional seats and state legislation, so don't act too smug yet!
6 comments on original post
2
Add a comment...
People
Have him in circles
1,232 people
James Roberts's profile photo
Barry Carter's profile photo
Marc-Daniel Ortega's profile photo
A TIF's profile photo
AFZAL Hossain khan's profile photo
Nick Parker's profile photo
Sa Nova's profile photo
tran linh's profile photo
Richard Beamish's profile photo
Education
  • University of Arkansas
    Computer Science, 1998 - 2003
    BS in Computer Science cum Laude.
  • Van-Cove Elementary School
    Primary, 1985 - 1992
    Reading, 'Riting, and 'Rithmetic.
  • Van-Cove High School
    Secondary, 1992 - 1998
    HS Diploma
Basic Information
Gender
Male
Birthday
May 15, 1980
Relationship
Single
Other names
bss@iguanasuicide.net, Boyd.Stephen.Smith.Jr@GMail.com
Links
Story
Tagline
FLOSS advocate, Linux User, and proud Haskell programmer.
Introduction
I go by my middle name.  If you know it and why I use it, then you probably have the right guy.
Work
Occupation
Sr. IT Specialist
Skills
Software Design, Development and Deployment -- C/C++/C#, Java/Scala, Haskell/Idris, F# -- UNIX/Linux
Employment
  • Toshiba Global Commerce Solutions
    Sr. IT Specialist, 2012 - present
    toshibagcs.com Porting application from 16-bit C on 4690 to multi-threaded 32-bit C++ on 4690. Porting application from 16-bit C on 4690 to Java.
  • Aspire Solutions, Inc.
    Program Analyst, 2011 - 2011
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Fayetteville, AR
Previously
Watson, OK - Cove, AR - Mena, AR
Contact Information
Home
Phone
+1 479 283 0524
Email
Address
458 S Buchanan Ave.; Fayetteville, AR 72701
Work
Phone
+1 479 283 0524
Email
Address
Ste. 500; 609 SW 8th St.; Bentonville, AR 72712
Apps with Google+ Sign-in
  • Magic: Puzzle Quest
  • Boom Beach
  • Plague Inc.
  • EZ PZ RPG
  • Clicker Heroes
  • Rick and Morty:Jerry's Game
  • Merchant
  • Crossy Road
  • Fallout Shelter
  • Cooking Fever
  • AdVenture Capitalist
Boyd Smith's +1's are the things they like, agree with, or want to recommend.
Magic Cookies! - Android Apps on Google Play
market.android.com

You need to remove all the cookies from the magic tray! But beware: every time you touch a position, you toggle the whole cross. Up, down, l

reddit is fun
market.android.com

Want to be a beta tester? Join the Google+ community and hit the opt-in link in the community sidebar: https://plus.google.com/communities/1

Humble Dynamite 10th Anniversary Bundle
www.humblebundle.com

Dynamite Entertainment is celebrating their 10th anniversary with a large, dare we say it, explosion! A comics bundle over 115 issues large

Short Stories: They're Made out of Meat by Terry Bisson
www.eastoftheweb.com

"They're made out of meat." "Meat?" "Meat. They're made out of meat." "Meat?" "There's no doubt about it. We picked up several from differen

The Humble eBook Bundle 3
www.humblebundle.com

Get this bundle of literary greatness for an awesome deal - all while supporting charity! Pay what you want for Tithe: A Modern Faerie Tale,

Haskell demo: Cube
market.android.com

The touchable cube application is written by Haskell and compiled by Ajhc Haskell compiler http://ajhc.metasepi.org/. You could read the dem

BOMBAS: Better Socks. Better World. Bee Better.
www.indiegogo.com

Bombas are socks engineered and designed to look better, feel better, and perform better. One pair purchased = One pair donated.

Knights of Pen & Paper
market.android.com

Pen & paper RPG table manager with turn based battles!"This is Role-Playing in its purest form." -- Kotaku-US ""An indie turn-based retro st

Linux
plus.google.com

Linux - doing it right

Proxy Switchy! - Chrome Web Store
chrome.google.com

Manage and switch between multiple proxies quickly and easily.

Barcode Scanner
market.android.com

Scan barcodes on products then look up prices and reviews. You can also scan Data Matrix and QR Codes containing URLs, contact info, etc. Al

Google Search
market.android.com

Google Search app for Android: the fastest way to search the web and your phone. Search the web and your phone with the official Google Sear

Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification
www.w3.org

Abstract. This specification defines Cascading Style Sheets, level 2 revision 1 (CSS 2.1). CSS 2.1 is a style sheet language that allows aut

Haskell's overlooked object system
homepages.cwi.nl

Haskell's overlooked object system. Important note: The code base for this paper has evolved over the years and is available and maintai

Hayoo! - Haskell API Search
holumbus.fh-wedel.de

A Haskell API search engine with find-as-you-type and suggestions. Searches for function and type defintions in all Haskell packages from Ha

winant
code.google.com

Windows installer for Apache Ant

ssl - openssl .pem key - Stack Overflow
stackoverflow.com

up vote 11 down vote accepted. Your keys may already be in PEM format, but just named with .crt or .key. If they begin with -----BEGIN and y

Fried okra and mac and cheese were excellent, as good or better that your grandmother's. Atmosphere meets expectations. Meat is a little lacking. Sauce is good if you want NC vinegar-based.
Public - a year ago
reviewed a year ago
Really good BBQ and lots of choice in sauce.
Food: ExcellentDecor: Very GoodService: Good
Public - 3 years ago
reviewed 3 years ago
Food: Very GoodDecor: GoodService: Very Good
Public - 3 years ago
reviewed 3 years ago
Good burgers. Great milk.
Quality: Very GoodAppeal: GoodService: Good
Public - 3 years ago
reviewed 3 years ago
16 reviews
Map
Map
Map
Like all WH locations, the food is all too greasy. Everything else is at or above standards.
Food: GoodDecor: GoodService: Very Good
Public - 3 years ago
reviewed 3 years ago
More expensive than build your own burrito for less food. Good quality ingredients.
Food: GoodDecor: Poor - FairService: Good
Public - 3 years ago
reviewed 3 years ago
Excellent bourbon chicken.
Food: Very GoodDecor: GoodService: Good
Public - 3 years ago
reviewed 3 years ago