Serokell (@serokell) 's Twitter Profile
Serokell

@serokell

The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI

ID: 4189605555

linkhttps://serokell.io calendar_today14-11-2015 22:53:31

1,1K Tweet

6,6K Followers

4,4K Following

DFINITY Developers ∞ (@dfinitydev) 's Twitter Profile Photo

The Serokell team recently provided a meaningful contribution to enable local #SNS testing via Pocket-IC👏 Read the blog post👉 forum.dfinity.org/t/rust-based-s… Watch the demo👀 👇

Serokell (@serokell) 's Twitter Profile Photo

Rust has seen increasing adoption by both big tech companies and startups in recent years. In this blog post, we will examine 12 prominent business applications of Rust in the real world, from Disney to the Falcon 9 launch. serokell.io/blog/best-rust…

Serokell (@serokell) 's Twitter Profile Photo

In the mid-1960s, Peter Landin showed that lambda calculus models arbitrarily complex programming languages. Arguably, this insight kickstarted the research on functional programming languages. serokell.io/blog/untyped-l…

$shaggyrax (@shaggyrax) 's Twitter Profile Photo

thr33 Cardano Foundation There are other Haskell vendors as well that don’t currently do Cardano like Serokell who I highly recommend for their Haskell articles. They’ve done a lot of compilers and fixes

Serokell (@serokell) 's Twitter Profile Photo

New post in our Haskell in Production series! We chat with @flaviocorpa.com 🦋 , Senior Software Engineer at Scrive , about using Haskell for building e-signature and eID solutions. Insights on benefits, pitfalls & pro tips 👇serokell.io/blog/haskell-i…

Serokell (@serokell) 's Twitter Profile Photo

This is the second article in our lambda calculus series. In this piece, we focus on introducing types to lambda calculus. serokell.io/blog/look-at-t…

Serokell (@serokell) 's Twitter Profile Photo

We’re hiring a Senior QA Automation Engineer at Serokell! Remote, flexible hours. Apply here: serokell.io/jobs/senior-qa… #Hiring #QAEngineer #QAAutomation #Blockchain #Fintech #Web3 #RemoteJobs #Serokell

Serokell (@serokell) 's Twitter Profile Photo

Our friends at Blooper interviewed Doug Shapiro – Senior Advisor at Boston Consulting Group, writer, and speaker. In this interview, Doug shares insights on how AI and evolving business models are redefining the future of the media industry. youtu.be/emqC58MfSgk?fe…

@flaviocorpa.com 🦋 (@flaviocorpa) 's Twitter Profile Photo

I got interviewed by Serokell regarding how we do production #Haskell code at Scrive, hope you enjoy and find it interesting! serokell.io/blog/haskell-i…

Serokell (@serokell) 's Twitter Profile Photo

Our Software Engineer Alexey Danilevsky recently experimented with installing NixOS on his 2007 iMac. The result? A responsive, secure, and functional computer that can browse, work with documents, and stream media. Read the full article: lnkd.in/ejM8nqe5

Serokell (@serokell) 's Twitter Profile Photo

In this article, we will introduce you to the concept of kinds. Then, we’ll use our newfound knowledge to understand what higher-kinded types are and what makes them useful. serokell.io/blog/kinds-and…

Serokell (@serokell) 's Twitter Profile Photo

Serokell is hiring a Blockchain QA Automation Engineer. Apply: serokell.io/jobs/qa-automa… #QA #Web3 #Blockchain #RemoteJobs

Serokell (@serokell) 's Twitter Profile Photo

Hiring Technical Sales Executive (remote) at Serokell. Must: technical degree, 3+ yrs closing B2B IT consulting/custom software, outbound hunter, great at CTO/C-level meetings, clear English. Not SDR-only. DM with CV + biggest closed deal. serokell.io/jobs/technical…

Serokell (@serokell) 's Twitter Profile Photo

The agent hype cycle is peaking. After building real systems, we’ve seen the math, the costs, and the engineering reality. Most of the hype just doesn’t survive production. Here’s what actually works — and what doesn’t: serokell.io/blog/the-real-…

Serokell (@serokell) 's Twitter Profile Photo

Hiring Senior SDET (remote). Lead TypeScript automation at scale. 5+ yrs QA in blockchain/fintech, API/UI/CLI, security testing, CI/CD (GH Actions, Docker), advanced Git. Rust/k6/Web3 a plus.  #SDET #QA #TypeScript #Web3Jobs serokell.io/jobs/senior-sd…

Serokell (@serokell) 's Twitter Profile Photo

We’re temporarily not shipping the best Haskell merch to the U.S., but we’re happy to send orders to other locations. Premium cotton tees packed with stickers. Perfect for your Haskell best friend, but we don’t mind if you gift our tee to your enemy. shop.serokell.io