Krishnansh @dawkrish
I like fp, working as a software developer @trypazy github.com/dawkrish Joined March 2024-
Tweets41
-
Followers3
-
Following45
-
Likes502
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…
every time i update arch... it just spends 20 minutes downloading haskell packages...
🎉 Lean 4.23.0 is here! Major improvements across the board including featuring 610 total changes. Usability specific highlights include: 🎯 Enhanced 'Go to Definition' - now shows specific type class instances involved 🔧 Interactive error hints - clickable suggestions for…
drown yourself in sadness
lack of empathy for software developers especially due to Artificial Intelligence popping is concerning
grandparents were right. sitting in a chair, doing nothing and staring at nature is incredible
grandparents were right. sitting in a chair, doing nothing and staring at nature is incredible
You might know that Reddit was originally written in Common Lisp (probably by dudes with huge feet). But have you seen the source code? github.com/reddit-archive…
The UCM-Desktop has a new release! Version 1.3.0 is pretty smooth, with new animations and workflow helpers. 🎨 Support for folding cards Copy formatted source code button Better card focus indicators View and copy a definition hash Get it here: github.com/unisonweb/ucm-…
me: "I wonder if typechecking is abstract interpretation?" Patrick Cousot:
Another great post from Dan Abramov! This time introducing #LeanLang from the perspective of a #JavaScript developer.
Another great post from Dan Abramov! This time introducing #LeanLang from the perspective of a #JavaScript developer.
I’m taking hip-hop to new heights with Haskell.
I’m taking hip-hop to new heights with Haskell. https://t.co/bnXqi3GX5G
Third Impact: Monads in Java
Third Impact: Monads in Java https://t.co/8XMDhIO28V
🖥️ UCM Desktop 1.2.1 is out! Polish for a smoother Unison workflow: ✨ Better light mode contrast (including overlays) 🎯 Clearer focus indicators ⌨️ Keyboard shortcut guide (in Settings) 🖱️ Click cards to focus github.com/unisonweb/ucm-…
Why is no one talking about this? This is why I don't use an AI browser You can literally get prompt injected and your bank account drained by doomscrolling on reddit:
Why is no one talking about this? This is why I don't use an AI browser You can literally get prompt injected and your bank account drained by doomscrolling on reddit: https://t.co/aGN8xrdZtD
Imagine using LEAN to build and optimize your Factorio factories. Konstantin Weitz just did it and posted it on the Lean Zulip lol :P github.com/konne88/functo…
There's not one but TWO articles about optimizing Unison tooling by the illustrious Chris Penner in today's Haskell Weekly newsletter! Check it out! Unison 💜 #Haskell haskellweekly.news/issue/485.html… haskellweekly.news/issue/485.html…
@neeldhara Does the little book series from Daniel Friedman count? It's almost like a dialogue. Very engaging style.
It is a playground for most of the features, mainstream langauge adapt later on.
It is a playground for most of the features, mainstream langauge adapt later on.
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…
The point that Linus makes is right but his style is not. It sets the wrong precedent for the younger generation to be just as toxic as this. You can criticise the code without being abusive. I've seen enough quotes saying this is based, it is not. If I tell my colleague I will…
The point that Linus makes is right but his style is not. It sets the wrong precedent for the younger generation to be just as toxic as this. You can criticise the code without being abusive. I've seen enough quotes saying this is based, it is not. If I tell my colleague I will…
Eruiwor @Eruiwor807001
65 Followers 542 Following
Bart Blast @Bart_Blast
824 Followers 6K Following Building Hologram, a full-stack Elixir web framework
Chris Allen @theodorvaryag
2K Followers 1K Following ☦️🇻🇦 Программист, униат, князь тысячи врагов; black metal byzcath; Αναπαύσου εν ειρήνη Φραγκίσκο; ἀστρικὸς τρόμος https://t.co/JHtUNTIQQl 肮脏勾当，便宜搞定
Yaron (Ron) Minsky @yminsky
16K Followers 338 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
(λ. borkdude) 🌱 @borkdude
7K Followers 98 Following #clojure (#cljKondo, #babashka) * functional programming * whole food plant based * progressive rock+metal * ♥ @lalage_ * https://t.co/yvsOtFMGdo
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Jonathan Blow @Jonathan_Blow
146K Followers 275 Following Designer/Programmer of Braid and The Witness. President, Thekla, Inc. Partner in Indie Fund. Working hard on a new game and a programming language.
Michael Snoyman @snoyberg
6K Followers 566 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
gabby @GabriellaG439
15K Followers 77 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Unison | @unison-lang... @unisonweb
5K Followers 5 Following Friendly programming language from the future Open source https://t.co/hDNFLjJ8Yy Cloud platform: https://t.co/fFWPp8vU2t https://t.co/KPdfGUPVDa
@[email protected]... @goshatch
1K Followers 734 Following Done with this place. Find me on mastodon: https://t.co/37Rjf5x7YX
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Abhinav Upadhyay @abhi9u
18K Followers 2K Following NetBSD Dev | Python Internals, AI, compilers, databases, & performance engineering | Join 14k+ other readers at https://t.co/OQfxW0443i
Haskell OSS @github_haskell
678 Followers 0 Following A news feed of open source Haskell repos being talked about on Twitter. Maintained by @benbjohnson.
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 311 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Simon Marlow @simonmar
8K Followers 250 Following Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician
reddit_haskell @reddit_haskell
5K Followers 1 Following Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
Dillon Mulroy @dillon_mulroy
13K Followers 3K Following domains guy @vercel ▲ • tweets about functional programming, typescript, neovim, & formula 1 • https://t.co/6Vr6DiQmze • https://t.co/4c0WNBRDIp
Evan Czaplicki @evancz
16K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
Strange Loop Conf @strangeloop_stl
13K Followers 57 Following The Strange Loop software conference in St. Louis, MO. Videos: https://t.co/nzeElviisT.
Software Unscripted @sw_unscripted
1K Followers 1 Following A weekly podcast of casual conversations about code, hosted by @rtfeldman
Rúnar @runarorama
12K Followers 106 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
José Valim @josevalim
53K Followers 72 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.
Alejandro Serrano @trupill
4K Followers 479 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
teej dv 🔭 @teej_dv
77K Followers 1K Following open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG
Type Theory Forall @ttforall
4K Followers 277 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
ZuriHac @ZuriHac
2K Followers 48 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Dmitrii Kovanikov @ChShersh
47K Followers 230 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
Pazy @trypazy
20 Followers 15 Following Complete. Compliant. In control. Don’t worry about a thing. Our solution covers everything finance. Accounts Payables, Cashflow visibility, Taxation, Accounting
Fireship @fireship_dev
201K Followers 928 Following Build and ship your app faster with @JeffDelaney23 🔥📽️ https://t.co/oF4GTcT7UC
ThePrimeagen @ThePrimeagen
300K Followers 1K Following skill issues: 🟩⬛️⬛️⬛️⬛️⬛️(69/420) https://t.co/qWJnB6p4EP https://t.co/IwY3FTx1ZE https://t.co/TYJ6aSpwYs
Тsфdiиg @tsoding
93K Followers 284 Following Recreational Programming - https://t.co/cPjxUvz266 - https://t.co/EilSXwJsXC - https://t.co/0cNzC7z24Y ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀Trends for United States
You might like
