Boyd Stephen Smith Jr.<p>I want to be your next <a href="https://hachyderm.io/tags/FediHire" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FediHire</span></a> ! I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.</p><p>I currently require a 100% remote position. I cannot relocate from Cove, <a href="https://hachyderm.io/tags/Arkansas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Arkansas</span></a>. I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar).</p><p>I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Purescript</span></a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris</span></a> as the primary source language. I've previously delivered value in Haskell, <a href="https://hachyderm.io/tags/Javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Javascript</span></a>, <a href="https://hachyderm.io/tags/SQL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SQL</span></a>, <a href="https://hachyderm.io/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a>, <a href="https://hachyderm.io/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scala</span></a>, <a href="https://hachyderm.io/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java</span></a>, <a href="https://hachyderm.io/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a>, and <a href="https://hachyderm.io/tags/Cxx" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cxx</span></a> among others. I can be productive in almost any language (no PHP, please; I promised myself never again).</p>
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.
Administered by:
Server stats:
196active users
eupolicy.social: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.1
#purescript
0 posts · 0 participants · 0 posts today
Boyd Stephen Smith Jr.<p>Just put in another application via <a href="https://hachyderm.io/tags/LinkedIn" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LinkedIn</span></a> so I also wanted to try to get <a href="https://hachyderm.io/tags/FediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FediHired</span></a> again.</p><p>I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.</p><p>I currently require a 100% remote position. I cannot relocate from Cove, <a href="https://hachyderm.io/tags/Arkansas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Arkansas</span></a>.</p><p>I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Purescript</span></a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris</span></a> as the primary source language, but I can be productive in almost any language (no PHP, please; I promised myself never again).</p><p>I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar).</p><p>(Boosts appreciated.)</p>
Boyd Stephen Smith Jr.<p><span class="h-card" translate="no"><a href="https://mastodon.social/@rzeta0" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>rzeta0</span></a></span> It's written in <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Purescript</span></a> -- the syntax is somewhat similar tho, so you might understand: <a href="https://gitlab.com/bss03/halogen-lambda/-/blob/main/src/Eval.purs?ref_type=heads" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gitlab.com/bss03/halogen-lambd</span><span class="invisible">a/-/blob/main/src/Eval.purs?ref_type=heads</span></a></p>
Boyd Stephen Smith Jr.<p>Whelp. Just got let go. They actually disabled my account while I was in the exit interview. Corporate IT is _cold_.</p><p>Anyway, I guess I'm looking for a new position maybe even be <a href="https://hachyderm.io/tags/FediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FediHired</span></a> ?</p><p>I have to live in Cove, AR with my disabled family, so it will probably need to be 100% remote.</p><p>I'd prefer to keep doing <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> or try out <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PureScript</span></a> in production, or even something more exotic like <a href="https://hachyderm.io/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Agda</span></a> or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris</span></a></p>
Boyd Stephen Smith Jr.<p><span class="h-card" translate="no"><a href="https://social.polotek.net/@polotek" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>polotek</span></a></span> I'm full-stack and a big fan of static analysis via types, so I prefer <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Purescript</span></a> <a href="https://hachyderm.io/tags/Halogen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Halogen</span></a> for the front end and <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> for the backend.</p><p>Though, eventually I'd like to replace them both with a <a href="https://hachyderm.io/tags/GRTT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GRTT</span></a> (Graded Modal Dependent Type Theory) based language for multiple reasons.</p>
Christopher League<p>Reactivating — Hello! I’m into:<br>• Functional programming, especially <a href="https://scholar.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a>, <a href="https://scholar.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ocaml</span></a>, <a href="https://scholar.social/tags/elmlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>elmlang</span></a>, <a href="https://scholar.social/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>purescript</span></a><br>• Proof systems & software correctness tools <a href="https://scholar.social/tags/coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>coq</span></a>, <a href="https://scholar.social/tags/idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>idris</span></a>, <a href="https://scholar.social/tags/agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>agda</span></a>, <a href="https://scholar.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rustlang</span></a><br>• Scientific data acquisition & analysis, <a href="https://scholar.social/tags/gpu" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gpu</span></a> frameworks<br>• Reproducible builds, <a href="https://scholar.social/tags/nixos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nixos</span></a>, <a href="https://scholar.social/tags/nixpkgs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nixpkgs</span></a><br>• Non-traditional families (<a href="https://scholar.social/tags/queer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>queer</span></a>, interracial)<br>• <a href="https://scholar.social/tags/ADHD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ADHD</span></a> strategies & other <a href="https://scholar.social/tags/neurodivergent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>neurodivergent</span></a> perspectives<br>• Black natural hair care, for Ms. 7yo<br>• <a href="https://scholar.social/tags/Classical" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Classical</span></a> & electronic music, dabbling at piano as a busy adult</p>
TrendingLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload