• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault DNS VPN
Back to Timeline
  • Open on hachyderm.io

Boyd Stephen Smith Jr.

@BoydStephenSmithJr@hachyderm.io
mastodon 4.5.7

Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)

Please use Wire (or Signal) for private messaging.

0 Followers
0 Following
Joined December 12, 2022
Lemmy:
https://infosec.pub/u/bss03
Wire:
https://account.wire.com/user-profile/?id=f4669f6c-92cc-4515-bc15-f4b7e906ab11
GitLAB:
https://gitlab.com/bss03
Personal:
https://www.iguanasuicide.net/

Posts

Thread context 2 posts in path
Parent @hongminhee@hollo.social Open
@hongminhee@hollo.social
Is anyone still sticking to # JavaScript instead of using # TypeScript ? If so, why are you sticking with it? Please let me know your reasons!
Current reply
BoydStephenSmithJr
Boyd Stephen Smith Jr.
@BoydStephenSmithJr@hachyderm.io

Born 1980-05-15 in Mena, AR Cis White Male He/him Liberal Democratic Socialist Idealist Professional Haskell Programmer Lives in Cove, AR (24 years resident of Fayetteville, AR) Please use Wire (or Signal) for private messaging.

hachyderm.io
Boyd Stephen Smith Jr.
Boyd Stephen Smith Jr.
@BoydStephenSmithJr@hachyderm.io

Born 1980-05-15 in Mena, AR Cis White Male He/him Liberal Democratic Socialist Idealist Professional Haskell Programmer Lives in Cove, AR (24 years resident of Fayetteville, AR) Please use Wire (or Signal) for private messaging.

hachyderm.io
@BoydStephenSmithJr@hachyderm.io · 5h ago
@hongminhee I still write JS because it has a specification. When I adventure into implementation-defined languages for the browser, I use #PureScript I had great hopes for TypeScript when they were still maintaining the specification, but I dropped it once their solution to implementation drifting from specification was to retire the specification. --- Also, I come from the camp that the only real type system is a static type system, like Pierce in "Types and Programming Languages".
View full thread on hachyderm.io
1
0
0
0
BoydStephenSmithJr
Boyd Stephen Smith Jr.
@BoydStephenSmithJr@hachyderm.io

Born 1980-05-15 in Mena, AR Cis White Male He/him Liberal Democratic Socialist Idealist Professional Haskell Programmer Lives in Cove, AR (24 years resident of Fayetteville, AR) Please use Wire (or Signal) for private messaging.

hachyderm.io
Boyd Stephen Smith Jr.
Boyd Stephen Smith Jr.
@BoydStephenSmithJr@hachyderm.io

Born 1980-05-15 in Mena, AR Cis White Male He/him Liberal Democratic Socialist Idealist Professional Haskell Programmer Lives in Cove, AR (24 years resident of Fayetteville, AR) Please use Wire (or Signal) for private messaging.

hachyderm.io
@BoydStephenSmithJr@hachyderm.io · 5d ago

Okay, I'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours.

I'm still open for all kinds of feedback, but until I get some, I think I'm going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions to do the nseted (non-uniform) folds I was working on.

Plus, I feel like working with Halogen might make me more comfortable with React, or at least make me more interested in polishing those skills for a potential employer.

View on hachyderm.io
0
0
1
0
BoydStephenSmithJr
Boyd Stephen Smith Jr.
@BoydStephenSmithJr@hachyderm.io

Born 1980-05-15 in Mena, AR Cis White Male He/him Liberal Democratic Socialist Idealist Professional Haskell Programmer Lives in Cove, AR (24 years resident of Fayetteville, AR) Please use Wire (or Signal) for private messaging.

hachyderm.io
Boyd Stephen Smith Jr.
Boyd Stephen Smith Jr.
@BoydStephenSmithJr@hachyderm.io

Born 1980-05-15 in Mena, AR Cis White Male He/him Liberal Democratic Socialist Idealist Professional Haskell Programmer Lives in Cove, AR (24 years resident of Fayetteville, AR) Please use Wire (or Signal) for private messaging.

hachyderm.io
@BoydStephenSmithJr@hachyderm.io · Feb 25, 2026

5k 45min #running

Not what I wanted, but I'm going to try to think of it as a win.

View on hachyderm.io
5
0
1
0
313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 18:11:02 UTC