Veganism Social

0 posts0 participants0 posts today

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>

harryprayivI built a working full stack <a href="https://mastodon.social/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> web app.and now I have gotten to the point in the building of that app where I say, “how can I now take this project and strip out all of the domain-specific types and instances and have <a href="https://mastodon.social/tags/lambdabuffers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lambdabuffers</a> generate them programmatically so I just have to write one very descriptive schema to build a huge array of different apps for different domains?”<a href="https://mlabs-haskell.github.io/lambda-buffers/haskell.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://mlabs-haskell.github.io/lambda-buffers/haskell.html</a><a href="https://mlabs-haskell.github.io/lambda-buffers/purescript.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://mlabs-haskell.github.io/lambda-buffers/purescript.html</a><a href="https://mastodon.social/tags/MLabs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MLabs</a> <a href="https://mastodon.social/tags/fullstack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fullstack</a> <a href="https://mastodon.social/tags/postgresql" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#postgresql</a> <a href="https://mastodon.social/tags/protobufs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#protobufs</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 noreferrer" target="_blank">#idris</a> <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>If it's not listed, reply if you want.<a href="https://gitlab.com/bss03" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://gitlab.com/bss03</a> <a href="https://github.com/stephen-smith/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/stephen-smith/</a>

Jons Mostovojs<a href="https://fosstodon.org/@yaeunerd" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@yaeunerd</a> I just re-learned React recently, so for me useEffect made perfect sense, specifically as modelling relation between an effect (external system) and some dependencies.To me it kinda felt a lot like <a href="https://social.doma.dev/tags/PureScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PureScript</a>'s Eff monad? Idk.Maybe I like it because I don't understand it, but I'm tempted to read the code of useEffect to learn.

José A. AlonsoRanking functional programming languages (Why I'm biased and excited). <a href="https://youtu.be/vhIQZ0px-Lc" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtu.be/vhIQZ0px-Lc</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a> <a href="https://mathstodon.xyz/tags/Ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Ocaml</a> <a href="https://mathstodon.xyz/tags/PureScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PureScript</a> <a href="https://mathstodon.xyz/tags/Elm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Elm</a> <a href="https://mathstodon.xyz/tags/Roc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Roc</a> <a href="https://mathstodon.xyz/tags/Unison" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Unison</a> <a href="https://mathstodon.xyz/tags/Gleam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Gleam</a> <a href="https://mathstodon.xyz/tags/Fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Fsharp</a>

Boyd Stephen Smith Jr.<a href="https://buc.ci/abucci" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@abucci</a> I didn't write an interpreter until college, but I also started with BASIC in the 80s.Currently writing <a href="https://hachyderm.io/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> for work and <a href="https://hachyderm.io/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> (and Haskell) when I'm not on the clock. Previously did everything from PHP or PowerBuilder to C and C++ to Java and Scala or C#.Really want a practical language based on Graded Modal Dependent Type Theory so putting some of my spare cycles into playing with that. Interested in having safe+easy lexical capture AND GC-free execution regions.

Mike English 💾Time for a new <a href="https://hachyderm.io/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" 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 noreferrer" 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 noreferrer" target="_blank">#PureScript</a>, <a href="https://hachyderm.io/tags/Erlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Erlang</a>, and <a href="https://hachyderm.io/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" 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 noreferrer" target="_blank">#Michigan</a>.In my free time I enjoy <a href="https://hachyderm.io/tags/hiking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hiking</a> and playing games with my family, and playing with radio waves.

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 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/Deno" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Deno</a> <a href="https://mastodon.social/tags/typescript" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#haskell</a>, <a href="https://scholar.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ocaml</a>, <a href="https://scholar.social/tags/elmlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#elmlang</a>, <a href="https://scholar.social/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#purescript</a> • Proof systems & software correctness tools <a href="https://scholar.social/tags/coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coq</a>, <a href="https://scholar.social/tags/idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#idris</a>, <a href="https://scholar.social/tags/agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#agda</a>, <a href="https://scholar.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rustlang</a> • Scientific data acquisition & analysis, <a href="https://scholar.social/tags/gpu" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gpu</a> frameworks • Reproducible builds, <a href="https://scholar.social/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixos</a>, <a href="https://scholar.social/tags/nixpkgs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixpkgs</a> • Non-traditional families (<a href="https://scholar.social/tags/queer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#queer</a>, interracial) • <a href="https://scholar.social/tags/ADHD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ADHD</a> strategies & other <a href="https://scholar.social/tags/neurodivergent" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#Classical</a> & electronic music, dabbling at piano as a busy adult

Recent searches

Search options

Administered by:

Server stats:

#purescript