I want to be your next #FediHire ! 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, #Arkansas. 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 #Haskell, #Purescript, or #Idris as the primary source language. I've previously delivered value in Haskell, #Javascript, #SQL, #Python, #Scala, #Java, #C, and #Cxx among others. I can be productive in almost any language (no PHP, please; I promised myself never again).

If you want to learn #Haskell, and are not allergic to frontend development, start with #PureScript.

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

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 #FediHired ?

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 #Haskell or try out #PureScript in production, or even something more exotic like #Agda or #Idris

Ready to geek out over functional programming? Join us for the upcoming FPIndia Bangalore meetup!
https://hasgeek.com/fpindia/bangalore-fp-april-meetup/

#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala

Filmmaker with 25 years of experience in pro cinematography looking to transition to a stable career in:

A.) software engineering with a focus on #functionalprogramming and #functionalreactiveprogramming using #Haskell #Purescript #Scala #Rust

B.) #devops leveraging my skills in #nix #nixos and #flakes

C.) Corporate IT and or Linux #sysadmin

Documenting my preferred Halogen apps architecture, Part 2: it's just about showing my love for contravariant #logging and #tracing techniques.

https://dicioccio.fr/how-i-write-purescript-apps-part-ii.html

Preparing a blogpost about how I architect my #purescript #halogen 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.

Started writing a singletons (a.k.a. poor man's #DependentTypes) implementation for #PureScript.

Not everything works yet, I'm running into what seems to be a PureScript bug/limitation, but it looks promising.

https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs

Ranking functional programming languages (Why I'm biased and excited). https://youtu.be/vhIQZ0px-Lc #FunctionalProgramming #Haskell #Scala #Ocaml #PureScript #Elm #Roc #Unison #Gleam #Fsharp

Since the #Moonbit #JavaScript backend post (https://www.moonbitlang.com/blog/js-support) is trending, I thought I'd compare #PureScript backend optimizer (https://github.com/aristanetworks/purescript-backend-optimizer) output to see how it fares. The results were pretty good!

With basically this PureScript code -
```
run = fromArray
>>> flatMapF (fromArray <<< _.members)
>>> filterF _.gender
>>> mapF (\x -> min 100 (x.score + 5))
>>> mapF grade
>>> filterF (_ == 'A')
>>> foldF (\_ x -> x+1) 0
```

the benchmark results are as follows. PureScript is roughly 6x faster than plain JS, and 6x slower than Moonbit output ( -

```
┌─────────┬──────────────┬─────────────┬────────────────────┬──────────┬─────────┐
│ (index) │ Task Name │ ops/sec │ Average Time (ns) │ Margin │ Samples │
├─────────┼──────────────┼─────────────┼────────────────────┼──────────┼─────────┤
│ 0 │ 'Moonbit' │ '34,67,542' │ 288.38869989829305 │ '±0.06%' │ 1733772 │
│ 1 │ 'Plain Js' │ '74,816' │ 13365.983827421464 │ '±0.54%' │ 37409 │
│ 2 │ 'Kotlin Js' │ '1,90,241' │ 5256.474017304151 │ '±0.38%' │ 95121 │
│ 3 │ 'PureScript' │ '4,99,456' │ 2002.1768597161156 │ '±0.70%' │ 249729 │
└─────────┴──────────────┴─────────────┴────────────────────┴──────────┴─────────┘
```

#haskell / #purescript job #gargantext #cnrs

https://iscpif.fr/2024/03/rejoignez-lisc-pif-en-tant-que-full-stack-developpeur/

The Magic of Property Testing
https://www.youtube.com/watch?v=4bpc8NpNHRc

@krisajenkins followed up on Property-Based Testing and I love the demo.

Also #Purescript looks cools

Property tests are one of my favourite techniques for doing a lot of QA work with a teeny-tiny bit of code. So much so that I felt compelled to film a demo.

(I'm using #PureScript & #Neovim here, but the technique works in any modern stack.)

https://youtu.be/4bpc8NpNHRc

#FunctionalProgramming people on #Lemmy: I am now moderating the #PureScript and #Haskell communities on Programming.dev.

The best part is that you can also (sort of) follow them from #Mastodon. Search for the following URLs in your mastodon client

https://programming.dev/c/purescript, and https://programming.dev/c/haskell

See you there!

Time for a new #introduction!

Hi all, I'm Mike!

I'm a software developer working in the #video streaming space. Specifically, I've been working on Media over QUIC (MoQ), #WebRTC, and other "ultra low latency" technologies. I write #PureScript, #Erlang, and #Rust at work these days.

I'm still living the #RemoteLife and now work for a distributed London-based company from the woods of #Michigan.

In my free time I enjoy #hiking and playing games with my family, and playing with radio waves.