Shakedown Social

Boyd Stephen Smith Jr.I want to be your next <a href="https://hachyderm.io/tags/FediHire" class="mention hashtag" rel="nofollow noopener" target="_blank">#FediHire</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.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">#Arkansas</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).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">#Haskell</a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Purescript</a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</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">#Javascript</a>, <a href="https://hachyderm.io/tags/SQL" class="mention hashtag" rel="nofollow noopener" target="_blank">#SQL</a>, <a href="https://hachyderm.io/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a>, <a href="https://hachyderm.io/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a>, <a href="https://hachyderm.io/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#Java</a>, <a href="https://hachyderm.io/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#C</a>, and <a href="https://hachyderm.io/tags/Cxx" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cxx</a> among others. I can be productive in almost any language (no PHP, please; I promised myself never again).

Boyd Stephen Smith Jr.Just put in another application via <a href="https://hachyderm.io/tags/LinkedIn" class="mention hashtag" rel="nofollow noopener" target="_blank">#LinkedIn</a> so I also wanted to try to get <a href="https://hachyderm.io/tags/FediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#FediHired</a> again.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.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">#Arkansas</a>.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">#Haskell</a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Purescript</a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</a> as the primary source language, but I can be productive in almost any language (no PHP, please; I promised myself never again).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).(Boosts appreciated.)

Boyd Stephen Smith Jr.Whelp. Just got let go. They actually disabled my account while I was in the exit interview. Corporate IT is _cold_.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">#FediHired</a> ?I have to live in Cove, AR with my disabled family, so it will probably need to be 100% remote.I'd prefer to keep doing <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> or try out <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> in production, or even something more exotic like <a href="https://hachyderm.io/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#Agda</a> or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</a>

Anupam 🇮🇳《ミ》λ≡Full stack <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> 🍜

Anupam 🇮🇳《ミ》λ≡Ready to geek out over functional programming? Join us for the upcoming FPIndia Bangalore meetup! <a href="https://hasgeek.com/fpindia/bangalore-fp-april-meetup/" rel="nofollow noopener" target="_blank">https://hasgeek.com/fpindia/bangalore-fp-april-meetup/</a> <a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener" target="_blank">#Bangalore</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener" target="_blank">#FPIndia</a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener" target="_blank">#Meetup</a> <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener" target="_blank">#India</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#Elixir</a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#Clojure</a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a>

Boyd Stephen Smith Jr.<a href="https://social.polotek.net/@polotek" class="u-url mention" rel="nofollow noopener" target="_blank">@polotek</a> 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">#Purescript</a> <a href="https://hachyderm.io/tags/Halogen" class="mention hashtag" rel="nofollow noopener" target="_blank">#Halogen</a> for the front end and <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> for the backend.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">#GRTT</a> (Graded Modal Dependent Type Theory) based language for multiple reasons.

Anupam 《ミ》λ≡<a href="https://functional.cafe/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> people on <a href="https://functional.cafe/tags/Lemmy" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lemmy</a>: I am now moderating the <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> and <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> communities on Programming.dev.The best part is that you can also (sort of) follow them from <a href="https://functional.cafe/tags/Mastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mastodon</a>. Search for the following URLs in your mastodon client<a href="https://programming.dev/c/purescript" rel="nofollow noopener" translate="no" target="_blank">https://programming.dev/c/purescript</a>, and <a href="https://programming.dev/c/haskell" rel="nofollow noopener" translate="no" target="_blank">https://programming.dev/c/haskell</a>See you there!

Mike English 💾Time for a new <a href="https://hachyderm.io/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#introduction</a>!Hi all, I'm Mike!I'm a software developer working in the <a href="https://hachyderm.io/tags/video" class="mention hashtag" rel="nofollow noopener" target="_blank">#video</a> streaming space. Specifically, I've been working on Media over QUIC (MoQ), <a href="https://hachyderm.io/tags/WebRTC" class="mention hashtag" rel="nofollow noopener" target="_blank">#WebRTC</a>, and other "ultra low latency" technologies. I write <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a>, <a href="https://hachyderm.io/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#Erlang</a>, and <a href="https://hachyderm.io/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a> at work these days.I'm still living the <a href="https://hachyderm.io/tags/RemoteLife" class="mention hashtag" rel="nofollow noopener" target="_blank">#RemoteLife</a> and now work for a distributed London-based company from the woods of <a href="https://hachyderm.io/tags/Michigan" class="mention hashtag" rel="nofollow noopener" target="_blank">#Michigan</a>.In my free time I enjoy <a href="https://hachyderm.io/tags/hiking" class="mention hashtag" rel="nofollow noopener" target="_blank">#hiking</a> and playing games with my family, and playing with radio waves.

Tin TvrtkovićPhew, <a href="https://mastodon.social/tags/adventofcode" class="mention hashtag" rel="nofollow noopener" target="_blank">#adventofcode</a> day 1 in <a href="https://mastodon.social/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#purescript</a> done.That was actually harder than I expected; must've gotten a little rusty with my functional stuff.Attaching some code screenshots if you're curious what PureScript code looks like. It's suuuuper dense. The first image is solution A (there are more imports than actual code), the second the changes for solution B.The `$` operator is just for chaining functions (`f(g(x))` == `f $ g x`). The `<$>` operator is `map`, essentially.

Susan PotterI have just been requested to commute three days a week 135 miles away each way from my home (I have not moved) to an office I was never required to attend before the pandemic starting end of September.If anyone needs remote product/infrastructure/platform engineering or backend developer who has 15 years cloud deployment experience and data center to cloud migration experience, email me on spotter@referentiallabs.com.<a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> <a href="https://mastodon.social/tags/Deno" class="mention hashtag" rel="nofollow noopener" target="_blank">#Deno</a> <a href="https://mastodon.social/tags/typescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#typescript</a>

Christopher LeagueReactivating — Hello! I’m into: • Functional programming, especially <a href="https://scholar.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a>, <a href="https://scholar.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#ocaml</a>, <a href="https://scholar.social/tags/elmlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#elmlang</a>, <a href="https://scholar.social/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#purescript</a> • Proof systems & software correctness tools <a href="https://scholar.social/tags/coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#coq</a>, <a href="https://scholar.social/tags/idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#idris</a>, <a href="https://scholar.social/tags/agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#agda</a>, <a href="https://scholar.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#rustlang</a> • Scientific data acquisition & analysis, <a href="https://scholar.social/tags/gpu" class="mention hashtag" rel="nofollow noopener" target="_blank">#gpu</a> frameworks • Reproducible builds, <a href="https://scholar.social/tags/nixos" class="mention hashtag" rel="nofollow noopener" target="_blank">#nixos</a>, <a href="https://scholar.social/tags/nixpkgs" class="mention hashtag" rel="nofollow noopener" target="_blank">#nixpkgs</a> • Non-traditional families (<a href="https://scholar.social/tags/queer" class="mention hashtag" rel="nofollow noopener" target="_blank">#queer</a>, interracial) • <a href="https://scholar.social/tags/ADHD" class="mention hashtag" rel="nofollow noopener" target="_blank">#ADHD</a> strategies & other <a href="https://scholar.social/tags/neurodivergent" class="mention hashtag" rel="nofollow noopener" target="_blank">#neurodivergent</a> perspectives • Black natural hair care, for Ms. 7yo • <a href="https://scholar.social/tags/Classical" class="mention hashtag" rel="nofollow noopener" target="_blank">#Classical</a> & electronic music, dabbling at piano as a busy adult

Recent searches

Search options

Administered by:

Server stats:

#purescript