@nina_kali_nina@tech.lgbt
·
2d ago
Nina Kalinina
@nina_kali_nina@tech.lgbt
This profile is not managed by Terraform. Or, as my "professional" email signature says, "IT expert and mixed media artificer". A late millennial, yet I grew up with a ZX Spectrum and used an i486 as my main PC well into 00s. I have a degree in electrical engineering, majored in industrial and microelectronics, but somehow ended up building massively distributed computer systems. SCADA with sensors scattered across hundreds of miles, L7 balancing for millions of users, corporate video call infrastructure, helping to delete ~petabyte of data a day, and until recently keeping the lights on for a major cloud provider. I learned a lot during my long-ish career, and this knowledge makes me sad and keeps me up at night sometimes. I never post here in a "working adult" capacity, and wouldn't dare to speak for my current or past employers. Instead, I engage in playful shitpost and creative exploration of technologies that have no commercial applications. Feel free to DM me, I'll try to reply to all!
tech.lgbt
My company is hiring an SRE with Haskell knowledge for my team, fully remote in the UK (some EU countries might be possible, but not guaranteed).
I'm mostly looking for someone who is confident in Haskell, or a strong SRE who would love to embrace Nix and Haskell. The company is making insurtech SaaS with a few cool twists. The company isn't anti-AI (I guess it's a sign of the times), but I am.
Don't hesitate to get in touch with me if you have any questions. If you're a queer person worried that you might not be qualified enough, definitely send me a line.
For extra clarity: I'm technically a hiring manager (gah!), but I am far from the only one calling the shots.
Job description: https://artificiallabsltd.teamtailor.com/jobs/7923140-site-reliability-engineer
#getfedihired #haskell
20
0
51
Using Notes in the Glasgow Haskell Compiler https://lobste.rs/s/m3i81d #haskell #practices
https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/coding-style#2-using-notes
0
0
0
Monad tutorials timeline https://lobste.rs/s/efm106 #haskell
https://wiki.haskell.org/Monad_tutorials_timeline
2
0
4
Tries for Polynomials via @abnv@fantastic.earth https://lobste.rs/s/7jll50 #haskell #math
https://doisinkidney.com/posts/2026-04-28-poly-trie.html
0
0
0
Functional Programmers need to take a look at Zig https://lobste.rs/s/b57uhm #haskell #zig
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html
1
0
2
Why I Still Reach for Lisp (& Scheme) Instead of Haskell https://lobste.rs/s/tzqafn #haskell #lisp #programming
https://jointhefreeworld.org/blog/articles/lisps/why-i-still-reach-for-scheme-instead-of-haskell/index.html
5
0
0
tasty-cache: Nix-style test caching for Haskell https://lobste.rs/s/xaodm9 #haskell
https://github.com/silky/tasty-cache
0
0
0
Torsten Grust on The Haskell Interlude https://lobste.rs/s/eliuli #audio #databases #haskell
https://haskell.foundation/podcast/81/
2
0
0
Golden Testing a CAD Library https://lobste.rs/s/up9qm4 #graphics #haskell #testing
https://doscienceto.it/blog/posts/2026-04-27-golden-testing-cad.html
1
0
0
Shibuya – Haskell Data Pipelines https://lobste.rs/s/oyj3nd #haskell
https://github.com/shinzui/shibuya
1
0
0
corpus: self-hosted listenbrainz and last.fm frontend https://lobste.rs/s/qxhzxh #elm #haskell #vibecoding
https://github.com/mtmn/corpus
0
0
0
Optimizing xreferee with elemIndex https://lobste.rs/s/uxjpyz #haskell
https://brandonchinn178.github.io/posts/2026/04/17/optimizing-xreferee-with-elemindex/
1
0
0
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory https://lobste.rs/s/fwvw1q #haskell #plt
https://github.com/solomon-b/lambda-calculus-hs
5
0
2
@Jose_A_Alonso@mathstodon.xyz
·
Apr 10, 2026
José A. Alonso
@Jose_A_Alonso@mathstodon.xyz
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
mathstodon.xyz
Type-level programming is still programming. ~ Michael Chavinda. https://mchav.github.io/type-level-programming-is-still-programming/ #Haskell #FunctionalProgramming
6
0
2
GHC community update March 2026 https://lobste.rs/s/v2xqrn #haskell
https://discourse.haskell.org/t/ghc-community-update-march-2026/13870
0
0
0
You've seen all posts