Haskell academy @haskell_academy
Purely functional maniac Youtube:- https://t.co/5W6LleRDSR… Joined April 2021-
Tweets196
-
Followers42
-
Following256
-
Likes2K
Hot take: Universities shouldnt teach tools like Git Universities are meant to challenge thinking, dive deep into concepts from first principles, and push academic boundaries They are not there to show you how to use Git or any other tool Professors can make students aware of…
Graham Hutton, in collaboration with the University of Nottingham, brings you the Advanced #FunctionalProgramming in #Haskell course. Dive into a treasure trove of freely available videos to elevate your Haskell skills. Enjoy the playlist here: youtube.com/playlist?list=…
For those of you in college, are you still doing paper programming exams? What do you think about it?
Other languages: require, import, use, include,... OCaml: open
In 1994, people told me programming was for nerds and that I should become a doctor or a lawyer instead. Ten years later, they told me that someone from India or the Philippines would take my job for $5/hour. When that didn't happen, no-code became an existential threat. I was…
Studying math, without the pressure of marks or deadlines makes it so much more impressive and approachable
Interested in learning Haskell? The full set of 16 videos from my introductory course based on the book "Programming in Haskell" is now freely available on YouTube. Happy Haskelling :-) tinyurl.com/haskell-notts
Building my own HTTP server using Haskell youtu.be/OrvljJbLk50
So true...
We're stoked to share that the NixOS Foundation has been chosen as a mentor organization for Google Summer of Code 2024! Check it out: buff.ly/3T5pNbJ #GSoC2024 #Nix #NixOS #OpenSource
Explore talent from Summer of Nix 2023 Graduates! Seeking to grow your DevOps or software development team? Let our coordinators connect you with our program's skilled grads. Get in touch to learn more: buff.ly/48p2wpC
The Gist of Tsoding Channel everyone. We are not just talking about Programming. We are actually doing it.
Haskell is thriving at @mercury. They're hiring for 60 Haskell positions this year! old.reddit.com/r/haskell/comm…
@roboguy20 Monads are no more difficult to understand than any other algebraic concept, such as groups etc. The problem is that many CS folks are not used to thinking about algebraic concepts, so it takes a bit of getting used to. Analogies are not helpful. Definitions and examples are.
In India, People first get their Engineering Degree & then decide a career path .
The NixCon NA 2024 schedule is LIVE! 🗓️ Dive into two action-packed days filled with workshops, lightning talks, engaging sessions, and unconference activities. Don't miss out on this incredible experience! Check out the full agenda here: buff.ly/3HBvOX2
Classes are just an abstraction around functions and are therefore unnecessary
The inaugural Nix meetup in Bangalore, India, will take place on January 23rd at 4 PM IST. We encourage all local Nix fans to participate in this event: buff.ly/48B2Xyd
CircuitHub is hiring Haskellers! discourse.haskell.org/t/circuithub-i… I've collaborated with CircuitHub engineers for years on Opaleye (their database library rel8 uses Opaleye as a backend). I'm sure it's a great place for Haskellers to work.
Anirudh @Anirudh09_
6 Followers 133 Following
கரடி|ரய�... @Baburslongot
0 Followers 5K Following
zlin_akrobat @zlin_akrobat
157 Followers 103 Following
Mlecchaslayer @Mlecchasla75893
196 Followers 7K Following
سموان @boring4ever
1 Followers 95 Following
Tom @tgs97
181 Followers 1K Following
OCaml @ocaml_org
2K Followers 16 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Shivaraj B H @shivaraj_bh_
82 Followers 141 Following Bringing NixOS like services to flakes with https://t.co/Coi8eEwi0B
Lakshay Vashisht @lakshy_vashisht
48 Followers 837 Following Don't ever, for any reason, do anything to anyone for any reason ever, no matter what, no matter where, or who, or who you're with,or where you're going..ever😂
AstraKernel 💫 @AstraKernel
5K Followers 1K Following Love computers and coding. While I'm particularly passionate about Rust,it's not the only language I work with. Recently started loving embedded programming
Patsy @casavezpatsy10
285 Followers 3K Following
Heisenberg 95 @nur_kawsar95
86 Followers 610 Following
ZonaMccammack @ZMccammack99837
55 Followers 2K Following
NixOS Asia @nixos_asia
200 Followers 200 Following NixOS Asia is a community of Nix and NixOS users, promulgated initially from the Indian subcontinent.
usagi_zajec @usagi_zajec
11 Followers 308 Following
Barry @chiroptical
558 Followers 277 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Sherry @shinn71sherry
356 Followers 3K Following
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 473 Following show me OCaml | an https://t.co/8e1icJBB76 maintainer | RFC 3339 dating coach | maybe not a sith lord | former overqualified señor meme developer | 5€ VPS kid
Jan Decat @maskedattention
44 Followers 1K Following he/him. Mostly here for math/compsci news and resources.
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Mitesh @_Mitso_
16 Followers 488 Following
(Aerphanas �... @aerphanas
51 Followers 54 Following Tech enthusiast | Advanced GNU/Linux user | Audiophiles | Calisthenics Amateur Athlete
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Veronika Romashkina @vrom911
3K Followers 652 Following 💻 Software Engineer (FP) 🦄 Co-creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
Andrey Kazantsev @aykazantsev
317 Followers 2K Following Help Ideas meet People. Run #Philosophy Club in #Charlotte, #NC
Total Philosophy @PhilosophyTotal
2K Followers 2K Following Art & Philosophy | For humor: @TotalPhilo | Follow us on Instagram:
Nikos Baxevanis @nikosbaxevanis
514 Followers 153 Following Testing trailblazer at https://t.co/HlNYiZd6vp.
FP Complete @FPComplete
6K Followers 2K Following FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Glitchbyte @0xglitchbyte
9K Followers 197 Following Infra engineer studying the depths of cs + math · Building apps and tools• Notes on code, craft, and christian faith · BJJ nerd breaking legs, breaking hearts
OCaml @ocaml_org
2K Followers 16 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Dylan Falconer @falconerd
3K Followers 219 Following Game programming for self-reliant devs who build high-performance games by owning their tech stack course: https://t.co/tlR5SPTEWK
Shivaraj B H @shivaraj_bh_
82 Followers 141 Following Bringing NixOS like services to flakes with https://t.co/Coi8eEwi0B
CobbCoding @cobbcoding
199 Followers 173 Following Student, señor prompt engineer, very into fitness and tech. https://t.co/3H8QDKbUNZ https://t.co/6Pp27R7DPB nothing I say is serious (unless it is)
JUSPAY @juspay
3K Followers 38 Following Juspay, an Indian multinational company, provides orchestration, checkout, and payments technology solutions to global enterprise merchants and banks.
Low Level @LowLevelTweets
39K Followers 1K Following 🛠 senior security engineer @ bigcorp 🧙♂️ offensive security specialist 🏴☠️ hacker 📸 internet person: teaches hacking and security at https://t.co/WmlAkKGCmc
Kris Jenkins (@krisaj... @krisajenkins
5K Followers 1K Following Host of Developer Voices, lifelong programmer, producer of bleepy-bloop noises.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Dr. Mirman @mmirman
2K Followers 756 Following Founder of @anarchy_ai_inc | Dr of Deep Logic @the_sri_lab | radically closed development
pikuma.com @pikuma
23K Followers 399 Following An education platform created to teach the fundamentals of #ComputerScience and #Mathematics.
NixOS Asia @nixos_asia
200 Followers 200 Following NixOS Asia is a community of Nix and NixOS users, promulgated initially from the Indian subcontinent.
Chordify @chordify
3K Followers 474 Following Chordify is your #1 platform for chords. We help musicians of all levels to learn and play along with all their favorite songs!
모리츠 ✨ @4ngerman
3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Harendra Kumar @hk_hooda
270 Followers 209 Following Building high performance, modular and safe systems with Haskell
Journal of Functional... @journal_of_fp
2K Followers 4 Following Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Tweets by @kamatsu8
Haskell Love Conferen... @_haskellove
1K Followers 47 Following #haskelllove https://t.co/vg1yElERCf https://t.co/6KK9yrS6Ql
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Prophet @welltypedwitch
3K Followers 544 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/p6LXXU7dGH
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
NeoHaskell @NeoHaskell
229 Followers 0 Following NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity
ACM Queue @ACMQueue
12K Followers 137 Following Online magazine of the Association for Computing Machinery
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 301 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
create_react_app @boggo_sort
107 Followers 144 Following Average enjoyer of souless corporation and everything they stand for
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 473 Following show me OCaml | an https://t.co/8e1icJBB76 maintainer | RFC 3339 dating coach | maybe not a sith lord | former overqualified señor meme developer | 5€ VPS kid
Sridhar Ratnakumar @sridca
552 Followers 0 Following
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
AstraKernel 💫 @AstraKernel
5K Followers 1K Following Love computers and coding. While I'm particularly passionate about Rust,it's not the only language I work with. Recently started loving embedded programming
Gabrieλ Volpe @volpegabriel87
4K Followers 301 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Redacted @cercerilla
2K Followers 460 Following
Тsфdiиg @tsoding
92K Followers 279 Following Recreational Programming - https://t.co/cPjxUvz266 - https://t.co/EilSXwJsXC - https://t.co/0cNzC7z24Y ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
Pedro Domingos @pmddomingos
101K Followers 175 Following Professor of computer science at UW and author of '2040' and 'The Master Algorithm'. Into machine learning, AI, and anything that makes me curious.
Functional Programmin... @FunctionalIndia
516 Followers 337 Following Uniting Functional Programming Language enthusiasts across India. Discussions on https://t.co/dIBZ5Jqs3I. Bsky: https://t.co/jPZ6faePR6
@[email protected] @brokenbijection
484 Followers 297 Following Avoids the limit by wandering in \inf dimensions
Tikhon Jelvis @tikhonjelvis
3K Followers 249 Following I like programming languages. A lot. Tools, types and functions.
Debasish (দেব�... @debasishg
12K Followers 631 Following Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcherTrends for United States
You might like
