Krishnansh @dawkrish
I like fp, working as a software developer @trypazy github.com/dawkrish Joined March 2024-
Tweets33
-
Followers5
-
Following43
-
Likes346
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…
Nyxt doesn't track you, btw. It's a fully OSS Common Lisp codebase made by 1-3 guys in a shed
Nyxt doesn't track you, btw. It's a fully OSS Common Lisp codebase made by 1-3 guys in a shed
Well-Typed had a great time at this year's @ZuriHac. The talk recordings are now available! well-typed.com/blog/2025/08/z…
Launching my Programming Language Pragmatics talks! These short, accessible talks cover the material in the textbook, the 5th edition of which I wrote with Michael L. Scott. The first one (link in 🧵) introduces the topic and talks about why we study programming languages!
types!, Types!, TYPES! Did you know Racket supports static type checking? #lisp
It's important to remember that "technology influencers" can be bad role models. Many encourage people to be "fans of technology" instead of actual developers of technology. Hot takes are easy, writing good code is not.
Sorry you don't like our codec implementations in VLC. Looking forward to seeing yours.
Oruisa @Oruisa2959
52 Followers 558 Following
Eruiwor @Eruiwor807001
67 Followers 560 Following
Irjirovuiq @Irjirovuiq0149
28 Followers 451 Following
Bart Blast @Bart_Blast
706 Followers 5K Following Building Hologram, a full-stack Elixir web framework
(λ. 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
145K Followers 267 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 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
gabby @GabriellaG439
15K Followers 76 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 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Matt Parsons @mattoflambda
5K Followers 523 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
gosha 🏴☠️ @goshatch
1K Followers 735 Following Clojure, good UI, mental health tech. Building Parts (https://t.co/4L4eDKZ4eN) for IFS therapists. Husband and 2×dad.
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 301 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 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
José Valim @josevalim
53K Followers 70 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 481 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 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
teej dv 🔭 @teej_dv
75K 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 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness."
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 824 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
42K Followers 204 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
18 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 933 Following Build and ship your app faster with @JeffDelaney23 🔥📽️ https://t.co/oF4GTcT7UC
ThePrimeagen @ThePrimeagen
297K Followers 1K Following skill issues: 🟩⬛️⬛️⬛️⬛️⬛️(69/420) https://t.co/qWJnB6p4EP https://t.co/IwY3FTx1ZE https://t.co/TYJ6aSpwYs
Тsфdiиg @tsoding
92K Followers 278 Following Recreational Programming - https://t.co/cPjxUvz266 - https://t.co/EilSXwJsXC - https://t.co/0cNzC7z24Y ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀Trends for United States
You might like
