Mastodon

0 posts0 participants0 posts today

Boyd Stephen Smith Jr.I want to be your next <a href="https://hachyderm.io/tags/FediHire" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" 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 noreferrer" target="_blank">#Haskell</a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Purescript</a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#Javascript</a>, <a href="https://hachyderm.io/tags/SQL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SQL</a>, <a href="https://hachyderm.io/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Python</a>, <a href="https://hachyderm.io/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a>, <a href="https://hachyderm.io/tags/Java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Java</a>, <a href="https://hachyderm.io/tags/C" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#C</a>, and <a href="https://hachyderm.io/tags/Cxx" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" 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 noreferrer" 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 noreferrer" 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 noreferrer" target="_blank">#Haskell</a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Purescript</a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Idris</a> as the primary source language, but I can be productive in almost any language (on 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.)

Anupam 🇮🇳《ミ》λ≡Playing around with <a href="https://social.id1.in/tags/dependenttypes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DependentTypes</a> and started writing a (currently pretty silly) <a href="https://social.id1.in/tags/singletons" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Singletons</a> library port for <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PureScript</a> - <a href="https://forge.id1.in/aj/purescript-singletons/" rel="nofollow noopener noreferrer" target="_blank">https://forge.id1.in/aj/purescript-singletons/</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

Boyd Stephen Smith Jr.<a href="https://mastodon.social/@rzeta0" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@rzeta0</a> It's written in <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Purescript</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 noreferrer" translate="no" target="_blank">https://gitlab.com/bss03/halogen-lambda/-/blob/main/src/Eval.purs?ref_type=heads</a>

Anupam 🇮🇳《ミ》λ≡Come join us for another day of geeking out over functional programming! The FPIndia May meetup is here! <a href="https://hasgeek.com/fpindia/bangalore-fp-may-meetup/" rel="nofollow noopener noreferrer" target="_blank">https://hasgeek.com/fpindia/bangalore-fp-may-meetup/</a> <a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bangalore</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FPIndia</a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Meetup</a> <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#India</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PureScript</a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OCaml</a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Elixir</a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Clojure</a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a>

Anupam 🇮🇳《ミ》λ≡Is there any org in <a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bangalore</a> that would like to lend their space for an <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FPIndia</a> meetup? Please dm <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#India</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Meetup</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PureScript</a> <a href="https://social.id1.in/tags/erlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Erlang</a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Elixir</a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OCaml</a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Clojure</a>

Anupam 🇮🇳《ミ》λ≡If you want to learn <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a>, and are not allergic to frontend development, start with <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PureScript</a>. Yes, the tooling situation in Haskell is that bad, and it will actively prevent you from focusing on learning. PureScript meanwhile is basically Haskell, and fantastic and modern in every way. You will thank me

Anupam 🇮🇳《ミ》λ≡<a href="https://catgirl.farm/users/cafkafk" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@cafkafk</a> have you looked at <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PureScript</a>

harryprayivIf you’re a <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> user or a proponent of <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a> please consider donating to the <a href="https://mastodon.social/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Purescript</a> project to keep it alive.It’s a fairly obscure project but, IMO, it is THE language for web <a href="https://mastodon.social/tags/frontend" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#frontend</a>.On top of that, the backend was recently rewritten in <a href="https://mastodon.social/tags/ChezScheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ChezScheme</a> which tends to be very popular choice in the <a href="https://mastodon.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formalmethods</a> world due to its rigor.I see <a href="https://mastodon.social/tags/ghcjs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ghcjs</a> nipping at its heels but IMO, PS will always be a more bespoke and opinionated tool.<a href="https://opencollective.com/purescript/donate" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://opencollective.com/purescript/donate</a>

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 noreferrer" 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 noreferrer" target="_blank">#Haskell</a> or try out <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#Agda</a> or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Idris</a>

Anupam 🇮🇳《ミ》λ≡Full stack <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" 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 noreferrer" target="_blank">#Bangalore</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FPIndia</a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Meetup</a> <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#India</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PureScript</a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OCaml</a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Elixir</a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Clojure</a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a>

harryprayiv<a href="https://nso.group/@xyhhx" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@xyhhx</a> I’m an absolute hack but I find myself standing on the shoulders of giants that stand on the shoulders of giants that stand on the shoulder of giants that stand on the….I’d absolutely love to get into anything you might be wondering about. I eventually switched to it because it made more sense as someone that loved calculus in high school. <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a>Here’s a cool intro video I watched the other day about my pet language <a href="https://mastodon.social/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> <a href="https://redirect.invidious.io/watch?v=G01lKh8K9KY" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://redirect.invidious.io/watch?v=G01lKh8K9KY</a>

lucasdicioccioAs promised above, I've made a demo todo app for the style/architecture I described in a previous series of posts ; <a href="https://dicioccio.fr/purescript-minitools-architecturedemo.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://dicioccio.fr/purescript-minitools-architecturedemo.html</a> (the code: <a href="https://github.com/lucasdicioccio/purescript-minitools-architecture-demo" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/lucasdicioccio/purescript-minitools-architecture-demo</a> ) + I've opened the set of "bricks" (i.e., bulma-css style "components").<a href="https://fosstodon.org/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> <a href="https://fosstodon.org/tags/webapps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#webapps</a> <a href="https://fosstodon.org/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenSource</a>

lucasdicioccio<a href="https://dicioccio.fr/how-i-write-purescript-apps-part-iii.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://dicioccio.fr/how-i-write-purescript-apps-part-iii.html</a>And I've done Part-3. It's good to delete tons of notes I had accumulated and make them almost well-formed thoughts.I'll likely make: - a git template/demo repo of some sort - some step-back post for the over-arching theme of how simple-approaches lead you farNext in line: a rant about SQL (tutorials but there are some original sins), it's gonna be much shorter than the close to 8,000 words of text of the recent series.<a href="https://fosstodon.org/tags/architecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#architecture</a> <a href="https://fosstodon.org/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> <a href="https://fosstodon.org/tags/halogen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#halogen</a> <a href="https://fosstodon.org/tags/webapps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#webapps</a>

Felix 🇺🇦🚴‍♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦 🇪🇺Is it just me? but what's stopping me from using <a href="https://norden.social/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> seriously now is that spago works completely differently now. I mean, the migration from spago.dhall to spago.yaml Or are you all still using spago-legacy?

harryprayivFilmmaker with 25 years of experience in pro cinematography looking to transition to a stable career in: A.) software engineering with a focus on <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a> and <a href="https://mastodon.social/tags/functionalreactiveprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalreactiveprogramming</a> using <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mastodon.social/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Purescript</a> <a href="https://mastodon.social/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> B.) <a href="https://mastodon.social/tags/devops" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#devops</a> leveraging my skills in <a href="https://mastodon.social/tags/nix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nix</a> <a href="https://mastodon.social/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixos</a> and <a href="https://mastodon.social/tags/flakes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#flakes</a>C.) Corporate IT and or Linux <a href="https://mastodon.social/tags/sysadmin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sysadmin</a><a href="https://mastodon.social/tags/FediHire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FediHire</a> <a href="https://mastodon.social/tags/opentowork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#opentowork</a>

lucasdicioccioDocumenting my preferred Halogen apps architecture, Part 2: it's just about showing my love for contravariant <a href="https://fosstodon.org/tags/logging" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logging</a> and <a href="https://fosstodon.org/tags/tracing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tracing</a> techniques.<a href="https://dicioccio.fr/how-i-write-purescript-apps-part-ii.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://dicioccio.fr/how-i-write-purescript-apps-part-ii.html</a><a href="https://fosstodon.org/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> <a href="https://fosstodon.org/tags/webapp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#webapp</a>

lucasdicioccioHow I architect my <a href="https://fosstodon.org/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> <a href="https://fosstodon.org/tags/halogen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#halogen</a> apps.<a href="https://dicioccio.fr/how-i-write-purescript-apps.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://dicioccio.fr/how-i-write-purescript-apps.html</a>I had to cut at 5K words because I likely have 1K/2K more to say about cross-cutting concerns like logs and analytics and configs. So that will make another article another week. Then I'll made a final synthesis with less discussions and a template app.tldr: love your map and contramap more unsaid: love your applicative and divisible too

lucasdicioccioPreparing a blogpost about how I architect my <a href="https://fosstodon.org/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> <a href="https://fosstodon.org/tags/halogen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#halogen</a> apps. Wondering whether I should drop a massive article around 3,000-5,000 words or whether I try to split it in two or three chunks.

Recent searches

Search options

Administered by:

Server stats:

#purescript