Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
veganism.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Veganism Social is a welcoming space on the internet for vegans to connect and engage with the broader decentralized social media community.

Administered by:

Server stats:

297
active users

veganism.social: AboutStatusPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.0-alpha.5+vegan

#purescript

0 posts0 participants0 posts today
Public
harryprayiv

@xyhhx 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. #functionalprogramming

Here’s a cool intro video I watched the other day about my pet language #purescript
redirect.invidious.io/watch?v=

redirect.invidious.ioSelect instance - Invidious
Public *
harryprayiv

I built a working full stack #purescript #haskell 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 #lambdabuffers generate them programmatically so I just have to write one very descriptive schema to build a huge array of different apps for different domains?”

mlabs-haskell.github.io/lambda

mlabs-haskell.github.io/lambda

mlabs-haskell.github.ioLambdaBuffers to Haskell - Lambda Buffers documentation
#MLabs#fullstack#postgresql
Public
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?

#idris #haskell #purescript

If it's not listed, reply if you want.

gitlab.com/bss03
github.com/stephen-smith/

· 1 person · Closed
GitLabBoyd Stephen Smith Jr. · GitLabGitLab.com
Public
Jons Mostovojs

@yaeunerd 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 #PureScript'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.

Public
Boyd Stephen Smith Jr.

@abucci I didn't write an interpreter until college, but I also started with BASIC in the 80s.

Currently writing #haskell for work and #purescript (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.

Public
Mike English 💾

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.

Public
Susan Potter

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

#haskell#PureScript#Deno
Public
Christopher League

Reactivating — Hello! I’m into:
• Functional programming, especially #haskell, #ocaml, #elmlang, #purescript
• Proof systems & software correctness tools #coq, #idris, #agda, #rustlang
• Scientific data acquisition & analysis, #gpu frameworks
• Reproducible builds, #nixos, #nixpkgs
• Non-traditional families (#queer, interracial)
• #ADHD strategies & other #neurodivergent perspectives
• Black natural hair care, for Ms. 7yo
• #Classical & electronic music, dabbling at piano as a busy adult

VegansExploreLive feeds
About