Profile

Cover photo
Boyd Smith
Works at Toshiba Global Commerce Solutions
Attended University of Arkansas
Lives in Fayetteville, AR
1,229 followers|382,054 views
AboutPostsPhotosYouTube+1'sReviews
People
Have him in circles
1,229 people
Stephen Ng's profile photo
thành minh's profile photo
Egyptic ISO's profile photo
Kyle Crabtree's profile photo
Linh Nhi Đỗ Ngọc's profile photo
Thiện Nguyễn's profile photo
Phim Hai Ngan's profile photo
Alvin Lee's profile photo
Jared Hudson'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
  • Crossy Road
  • Merchant
  • One More Line!
  • One More Dash
  • Clicker Heroes
  • Magic: Puzzle Quest
  • Boom Beach
  • Plague Inc.
  • Cooking Fever
  • AdVenture Capitalist
  • Rick and Morty:Jerry's Game

Stream

Boyd Smith

Shared publicly  - 
 
'Things that have names should be referred to by name. Making humans maintain a level of indirection from names to numbers is perverse, that’s the kind of detail we have computers to track. Or, to put it slightly differently, “1977 called – it wants its ugly kluge back.”'

I don't even really do systems work right now, and this quote is super relevant. Yes, when user input is very limited, using the enum value might have made sense. When you graduated to XML messages, and a full HTML5 UI, it's time to use the enum name instead. (At least)
 
New blog post: Let those who are receptive be instructed.
Haven't been blogging for a while because I've been deep in coding and HOWTO-writing. Follows the (slightly edited) text of an email I wrote to the NTPsec devel list that I I think might be of inte...
View original post
1
Add a comment...

Boyd Smith

Shared publicly  - 
 
+Joshua Rohrich Gaby has my reaction to the bedbugs. Allison has Kim's. :)
2
Add a comment...

Boyd Smith

Shared publicly  - 
 
This is why STEM conferences don't have gender balance. Not because women don't enjoy STEM or don't excel at them. But because they are culturally discouraged from an early age. :(
3
Add a comment...

Boyd Smith

Shared publicly  - 
 
"I have seen a comparison drawn between throwing checked exceptions and returning Maybe or Either types, but in practice the difference is massive. Handling checked exceptions is a monotonous chore because they are not first-class values, they are actually entirely separate linguistic constructs."
 
At the end of January of this year, I switched to a new job, almost exclusively because I was enticed by the idea of being able to write Haskell. The concept of using such an interesting programming language every day instead of what I’d been doing before...
3 comments on original post
3
Add a comment...

Boyd Smith

Shared publicly  - 
 
listMerge as an apomorphism, just for completeness +Zac Slade:

listMerge :: (a -> a -> Ordering) -> [a] -> [a] -> [a]
listMerge cmp = curry $ apo coalg
where
coalg ([], []) = Nil
coalg ([], (y:ys)) = Cons y (Left ys)
coalg ((x:xs), []) = Cons x (Left xs)
coalg (l@(x:xs),r@(y:ys)) = case cmp y x of
LT -> Cons y $ Right (l, xs)
_ -> Cons x $ Right (r, ys)

apo :: (a -> Base t (Either t a)) -> a -> t
apo coalg = let apo' = embed . fmap (either id apo') . coalg in apo'
-- Or, provided by recursion-schemes

Good luck combining this with your second step. I'm pretty sure you can get what you thought was going to be n^2 and involve mutation down to linear time and pure code.
1
Add a comment...

Boyd Smith

Shared publicly  - 
 
+Zac Slade

list merge via anamorphism:

merge :: (a -> a -> Ordering) -> [a] -> [a] -> [a]
merge cmp x y = ana coalg (x,y)
where
coalg ([], []) = Nil
coalg ([], (h:t) = Cons h ([], t)
coalg ((h:t), []) = Cons h (t, [])
coalg (l1@(h1:t1), l2@(h2:t2) = case cmp h2 h1 of
LT -> Cons h2 (l1, t2)
_ -> Cons h1 (t1, l2)

ana :: (seed -> Base result seed) -> seed -> result
ana coalg = let ana' = embed . fmap ana' . coalg in ana'
-- Or, provided by recursion-schemes

Could probably be made tiny bit faster as a apomorphism to handle the tail case.

Doing the grouping is a catamorphism. ana+cata = hylo, but I'm not sure what apo+cata is, if anything.
1
Boyd Smith's profile photo
 
apo+cata is a generalized hylomorphism (ghylo), using distApo and distCata all from recusion-schemes.
Add a comment...
Have him in circles
1,229 people
Stephen Ng's profile photo
thành minh's profile photo
Egyptic ISO's profile photo
Kyle Crabtree's profile photo
Linh Nhi Đỗ Ngọc's profile photo
Thiện Nguyễn's profile photo
Phim Hai Ngan's profile photo
Alvin Lee's profile photo
Jared Hudson's profile photo

Boyd Smith

Shared publicly  - 
 
My favorite form of Gaslighting: "You are imagining me."
1
Add a comment...

Boyd Smith

Shared publicly  - 
 
Okay, what universe did I wake up in, today? Can I stay?
2
Add a comment...

Boyd Smith

Shared publicly  - 
 
Samantha Bee's Full Frontal correctly identifies who is to blame in the most recent Florida Mass Shooting: +Barack Obama 

He provided detailed intelligence about critical steps in the execution of the crime. Thanks, Obama.

/s
2
Pham Huu Trung's profile photo
 
Ghé thăm nhà mình nhé+Boyd Smith
 ·  Translate
Add a comment...

Boyd Smith

Shared publicly  - 
 
"The key, I think, is recognizing the two mysteries as twin expressions of a single, primal, human fallibility: the need to attribute success to one's own moral substance, failure to sheer misfortune."

"Another way to put it—and here lies the legacy of Keynes—is that a free society is an interplay between a more-or-less permanent framework of social commitments, and the oasis of economic liberty that lies within it. The nontrivial question is: What risks (to health, loss of employment, etc.) must be removed from the oasis and placed in the framework (in the form of universal health care, employment insurance, etc.) in order to keep liberty a substantive reality, and not a vacuous formality?"

+Octavian ²
2
Octavian ²'s profile photoKekbab “Smugcorn”'s profile photo
11 comments
 
Anyway, gtg now, but i'll finish it later.
Add a comment...

Boyd Smith

Shared publicly  - 
 
I didn't like the movie. One judge, award-winning sci-fi author Pat Cadigan, said, "I'll give them top marks if they promise never to do this again."

But, the interview with the AI is creepy. His name is Benjamin.
2
1
Add a comment...
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 - 2 years ago
reviewed 2 years 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