toad.social

Boyd Stephen Smith Jr.<a href="https://mastodon.social/@nixCraft" class="u-url mention" rel="nofollow noopener" target="_blank">@nixCraft</a> fibs = Data.Function.fix $ (0 :) . scanl (+) 1Actually, that's for my old favorite. I don't have a idealized one-liner for <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</a> or <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> yet.

Boyd Stephen Smith Jr.Is there a way to have <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> call DOM functions on <a href="https://hachyderm.io/tags/Halogen" class="mention hashtag" rel="nofollow noopener" target="_blank">#Halogen</a> elements? It _feels_ like re-rendering to VDOM would be wasteful, and there's already an event that will be triggered by my DOM calls.In particular, I'd like like to use the existing browser/DOM state for a textarea (or some other form elements) rather than having to write a component that mimics what the browser is doing.But, maybe I'm overthinking it, for now.

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).

Felix 🇺🇦🚴‍♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦 🇪🇺<a href="https://mastodon.social/@jrychter" class="u-url mention" rel="nofollow noopener" target="_blank">@jrychter</a> <a href="https://mastodon.social/@cdwilson" class="u-url mention" rel="nofollow noopener" target="_blank">@cdwilson</a> else I‘d like TOML <a href="https://norden.social/tags/dhall" class="mention hashtag" rel="nofollow noopener" target="_blank">#dhall</a> looks interesting too, but I'm not sure if it's still active. Spago, the <a href="https://norden.social/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#purescript</a> build system, used it, but I think they changed to YAML.<a href="https://dhall-lang.org/" rel="nofollow noopener" translate="no" target="_blank">https://dhall-lang.org/</a>

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.)

Anupam 🇮🇳《ミ》λ≡Playing around with <a href="https://social.id1.in/tags/dependenttypes" class="mention hashtag" rel="nofollow noopener" 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" target="_blank">#Singletons</a> library port for <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> - <a href="https://forge.id1.in/aj/purescript-singletons/" rel="nofollow noopener" target="_blank">https://forge.id1.in/aj/purescript-singletons/</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/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

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

Anupam 🇮🇳《ミ》λ≡Is there any org in <a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener" 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" target="_blank">#FPIndia</a> meetup? Please dm <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/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</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/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/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#Erlang</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/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#Clojure</a>

harryprayivIf you’re a <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> user or a proponent of <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#functionalprogramming</a> please consider donating to the <a href="https://mastodon.social/tags/Purescript" class="mention hashtag" rel="nofollow noopener" 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" 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" 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" target="_blank">#formalmethods</a> world due to its rigor.I see <a href="https://mastodon.social/tags/ghcjs" class="mention hashtag" rel="nofollow noopener" 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" 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" 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>

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" target="_blank">#functionalprogramming</a> and <a href="https://mastodon.social/tags/functionalreactiveprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#functionalreactiveprogramming</a> using <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/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a> B.) <a href="https://mastodon.social/tags/devops" class="mention hashtag" rel="nofollow noopener" target="_blank">#devops</a> leveraging my skills in <a href="https://mastodon.social/tags/nix" class="mention hashtag" rel="nofollow noopener" target="_blank">#nix</a> <a href="https://mastodon.social/tags/nixos" class="mention hashtag" rel="nofollow noopener" target="_blank">#nixos</a> and <a href="https://mastodon.social/tags/flakes" class="mention hashtag" rel="nofollow noopener" target="_blank">#flakes</a>C.) Corporate IT and or Linux <a href="https://mastodon.social/tags/sysadmin" class="mention hashtag" rel="nofollow noopener" target="_blank">#sysadmin</a><a href="https://mastodon.social/tags/FediHire" class="mention hashtag" rel="nofollow noopener" target="_blank">#FediHire</a> <a href="https://mastodon.social/tags/opentowork" class="mention hashtag" rel="nofollow noopener" target="_blank">#opentowork</a>

Jons MostovojsJust as I had to got rid of <a href="https://social.doma.dev/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> tag (in favour of <a href="https://social.doma.dev/tags/lean" class="mention hashtag" rel="nofollow noopener" target="_blank">#lean</a>), sadly, I feel like it's time to get rid of <a href="https://social.doma.dev/tags/elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#elixir</a> tag in my bio.I'm doing a <a href="https://social.doma.dev/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#rust</a> rewrite of <a href="https://social.doma.dev/tags/ZeroHR" class="mention hashtag" rel="nofollow noopener" target="_blank">#ZeroHR</a> backend now and while I'm not ruminating too much over the time and money spent on <a href="https://social.doma.dev/tags/elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#elixir</a> backend, I find it so much cheaper and faster to write in well-typed languages.I really hope to become profitable so that I can have a look at <a href="https://social.doma.dev/tags/PureNix" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureNix</a> + <a href="https://social.doma.dev/tags/PureErl" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureErl</a> + <a href="https://social.doma.dev/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> combo, but I think I'm years away from such a luxury.

Anupam 《ミ》λ≡I have a <a href="https://functional.cafe/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#Linux</a> machine with 32GB RAM and barely use 8GB of it. I run <a href="https://functional.cafe/tags/Firefox" class="mention hashtag" rel="nofollow noopener" target="_blank">#Firefox</a> with hundreds of tabs, open <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a>, <a href="https://functional.cafe/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a>, and <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> projects all at the same time. Have <a href="https://functional.cafe/tags/Telegram" class="mention hashtag" rel="nofollow noopener" target="_blank">#Telegram</a> and <a href="https://functional.cafe/tags/Discord" class="mention hashtag" rel="nofollow noopener" target="_blank">#Discord</a> apps running, and the memory usage still hovers around 8GB.Seems like I should be using Docker and Kubernetes just to feel like I'm using my machine to its potential 😆

Boyd Stephen Smith Jr.Would it be insane to create a git repository that has <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>, AND <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</a> packages in it?My main concern is that some of the package distribution tooling I've dealt with seems to assume/prefer the package is at the top-level of the git repo.Should I be using *submodules*!? (Plz, no!)I think it's going to be informative to keep the packages coherent, and one repo seems like it could be a way to do that.

Anupam 《ミ》λ≡Worked around the <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> typechecker and finally I have an example of full dependent types with type level naturals. Implemented without unsafeCoerce or FFI<a href="https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs" rel="nofollow noopener" translate="no" target="_blank">https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs</a><a href="https://functional.cafe/tags/DependentTypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#DependentTypes</a> <a href="https://functional.cafe/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

Anupam 《ミ》λ≡Started writing a singletons (a.k.a. poor man's <a href="https://functional.cafe/tags/DependentTypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#DependentTypes</a>) implementation for <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a>.Not everything works yet, I'm running into what seems to be a PureScript bug/limitation, but it looks promising.<a href="https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs" rel="nofollow noopener" translate="no" target="_blank">https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs</a><a href="https://functional.cafe/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

Anupam 《ミ》λ≡An excellent data visualisation project, written using <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> <a href="https://github.com/explorable-viz/fluid" rel="nofollow noopener" translate="no" target="_blank">https://github.com/explorable-viz/fluid</a>

Boyd Stephen Smith Jr.I'm going to ignore this for tonight, probably, but what do you think I should spend my free time programming?<a href="https://hachyderm.io/tags/idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#idris</a> <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>If it's not listed, reply if you want.<a href="https://gitlab.com/bss03" rel="nofollow noopener" translate="no" target="_blank">https://gitlab.com/bss03</a> <a href="https://github.com/stephen-smith/" rel="nofollow noopener" translate="no" target="_blank">https://github.com/stephen-smith/</a>

Recent searches

Search options

Administered by:

Server stats:

#purescript