Krishnansh @dawkrish
I like fp, working as a software developer @trypazy github.com/dawkrish Joined March 2024-
Tweets297
-
Followers7
-
Following158
-
Likes4K
Imagine being a guy excited to share your day with someone special and your ss gets posted on twitter dot com
why does every guy treat me like his boring commute podcast
Which Button produces more maintainable code?
Fuck digital only. Fuck subscription services. Fuck renting. Fuck AI. I'm so sick of it.
@ArjunIngole_ @_svs_ Port existing code to Haskell.
the great age of pirating has begun
Important updates: News on physical discs for new games - play.st/4v86Wg3 News on PlayStation Store on PS3 and PS Vita - play.st/4vEN9FX
@ChShersh @aidenybai Loadash is amazing and so is FP
Claude Code v2.1.196 modifies the default system prompt to silently encode and upload information about whether if you are located in China to Anthropic.
Just finished reading "Domain Modelling Made Functional" by @ScottWlaschin. As promised, my full review of the book. If I can recommend one book about understanding how to model real-world problems with Functional Programming, it'll be this book. If you want to kill two rabbits with one shot: learn FP and Domain-Driven Design (DDD) - just read this book. If you want to learn F# - just read this book. If you want to learn FP architecture - you guessed it right - just read this book. I love how the book is structured around a single real-world project example and it covers lots of different problems: 1. Communicating tech design to non-tech people 2. Modeling the domain 3. Modelling external dependencies 4. Testing 5. Error handling 6. Evolving the design 7. Talking to 3rd parties 8. Talking to the database 9. Data persistence 10. Serialisation vs Persistence 11. And so much more! What's even more interesting is how it's all connected to functional programming. Honestly, if after this book you're not convinced that FP is awesome for writing enterprise software, I'm not sure you've actually read the book. The book uses F# but it looks almost exactly like OCaml, so I didn't have troubles reading the code at all. Honestly, I don't think anyone would have troubles because the book also gently introduces all F# concepts along the way, so I consider it a very accessible intro. I'm not a fan of particular approaches introduced in the book. Like the usage of Higher-Order Functions for Inversion of Control to achieve mocking for the easier tests. I hate mocks and prefer another way. But in the context of this book it makes sense, and the way it was introduced, I don't hate it too much. However, I specifically want to highlight attention to detail and countless examples. When writing real-world software, Software Engineers always consider alternatives and trade-offs. Besides, the system's design is not static, new requirements constantly arrive. So I really like how this book often considers potential changes to the design and addresses corresponding changes to the code. I want to end at the start of the book. One of the strongest book intros I've seen. Scott immediately starts with hard facts, so you don't have illusions about what Software Engineers actually do. 10/10, I recommend it to everyone.
@ChShersh What if it's an auth service ? Other upstream services need to wait for the reply
The Spotify who has a podcast interface that was designed by an 11-year-old with crayons? No analytics, I still can't understand how to get to it half the time How about you just ship one commit a day to production but make it actually good
Boris sat down with Spotify VP of Engineering Niklas Gustavsson. Spotify ships 4,500 production deploys a day, and 73% of PRs are now AI-assisted.
JUST IN: A new Chinese AI model from Zhipu AI reportedly matches Claude Mythos’ performance at finding security bugs.
Sent off to the publisher today. At last! Still got the index, the solutions to exercises, and a proofread to go. But the end is in sight.
@ArjunIngole_ Event ke date ke according aaunga. March mai PGConf hui, jo miss krdi maine . Aur June Mai ek FP Bangalore meetup tha, vo bhi
Any tech/developer conference/events communities that are based in BLR? Or any big conference happening? How do you folks find this ?
He just legally robbed Elon Musk 1. Send $25 to Elon and post on X 2. Post goes viral, baits Elon to reply 3. Next X payout will be worth thousands Free money glitch
@BenjDicken Hey can the next book be a bit more about comp sci ? Like SICP ?
Anuj @anuj_katre88605
42 Followers 177 Following 2013 bitcoin. Design/Engineering https://t.co/jOUbkYFT8c
Alex Ozun🇺🇦 @AlexOzun
656 Followers 437 Following Staff iOS Engineer | https://t.co/VYB0CICBkf | Opinions are my own
Veronika Romashkina @vrom911
3K Followers 693 Following 💻 Software Engineer (FP) 🦄 Creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
Christina @christinaingoog
8K Followers 6K Following Previous: LLMs at @MSFTResearch, SWE @Walmart @Google @Rippling • Major in Physics with a minor in CS • Say No to Racism
Eruiwor @Eruiwor807001
68 Followers 477 Following
Dan Luu @danluu
46K Followers 43 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.
Matteo Collina @matteocollina
57K Followers 4K Following @platformatic Co-Founder & CTO, @nodejs TSC Chair, Lead maintainer @fastifyjs, Board @OpenJSF, Conference Speaker, Ph.D. Past: @nearform. Views are my own.
Mitchell Hashimoto @mitchellh
210K Followers 146 Following Creator of Ghostty. 👻 Prev founded @HashiCorp, created Vagrant, Terraform, Vault, and others.
Andreas Kling @awesomekling
62K Followers 2K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.
Thorsten Ball @thorstenball
49K Followers 1K Following Author of https://t.co/arW0hnWcIy and https://t.co/RN9xXOzPEl. Working on @ampcode. Writing https://t.co/0SZD6dcj40.
Hasgeek @hasgeek
13K Followers 384 Following Follow us to geek out on all things hardware & software ☁
RustINDIA @IndiaRust
165 Followers 129 Following Just one day to go, grab your tickets to Rust Conference now! 🦀 https://t.co/UNoFvs4jot
Bengaluru Systems (fk... @BengaluruSys
3K Followers 128 Following meetup about databases, distributed systems, dataflow systems, and compilers, in Bengaluru! Upcoming Meetup @ TERI Auditorium, Indiranagar, on June 20th
M @mister_whistler
29K Followers 743 Following El Talentino @Rippling via @Headout. Amateur Life Liver.
Headout @headout
9K Followers 281 Following The world is full of incredible experiences. We have the best of them. 💜
Xah Lee @xah_lee
8K Followers 776 Following Math and Coding Nerd. Author of JavaScript in Depth, Practical Emacs Lisp, Wolfram language for programers. I post mostly nerd stuff. Stern and Austere.
Polymarket Money @PolymarketMoney
150K Followers 138 Following Financial news & insights from @Polymarket — the world's largest prediction market.
gingerBill @TheGingerBill
15K Followers 1K Following I'm a Ginger thus I have no soul. Creator of the Odin Programming Language https://t.co/LWFCLB39eC Working at @JangaFX on EmberGen/LiquiGen/GeoGen/IlluGen
Fatih Arslan @fatih
49K Followers 386 Following Software Engineer at @planetscale. Creator of vim-go. Design addict. Photographer. Previously at @github, @digitalocean
bashbunni @sudobunni
40K Followers 792 Following cashhh me in emacs, how bout da ʕ •̀ ω •́ ʔ coding n stuff | CEO of nothing https://t.co/aFDeQhzw1v https://t.co/9VJ5OByRP4
Brave @brave
418K Followers 185 Following Browse and search faster and privately. Now over 120M users! Support us: https://t.co/yFEtGCXExI Build: https://t.co/JjscXOnw78 Get help: @BraveSupport
Gary Burgess @gb_r
730 Followers 107 Following
antirez @antirez
70K Followers 795 Following Reproducible bugs are candies. I like programming too much for not liking automatic programming.
Ryan Peterman @ryanlpeterman
28K Followers 436 Following Building the podcast & ergonomic keyboard I wish existed • ex-software engineer @instagram, @meta • See what I'm building here ↓
John Carmack @ID_AA_Carmack
2.7M Followers 287 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Valentin Ignatev @valigo
12K Followers 291 Following programmer, speedrunner, father, immigrant alt: @valigo_ru https://t.co/KnVpup9T96 | https://t.co/U02QuCReZC | https://t.co/kwWcXroCbY
David Abram 🐊 @devabram
1K Followers 140 Following Software development consultant › I fix orgs so they stop breaking prod · SCE fixes this (https://t.co/yfc3IGf4kS) · populizer of the term typefuckery
Anthropic @AnthropicAI
1.5M Followers 2 Following We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.
v @iavins
13K Followers 2K Following breaking databases @tursodatabase. W1 '21 @recursecenter excited about databases, storage engines and message queues
the tiny corp @__tinygrad__
78K Followers 194 Following We make tinygrad; sell tinybox for the GPU middle class. Our mission is to commoditize the petaflop.
Lee Robinson @leerob
267K Followers 821 Following Model behavior @cursor_ai. Helping train useful models.
Haskell Weekly @haskellweekly
6K Followers 343 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
Polymarket @Polymarket
1.7M Followers 6K Following The World's Largest Prediction Market. Trade politics, news, crypto, culture, sports, tech, & more. Discord: https://t.co/tzKrbDfF3x
@LukaJacobowitz@masto... @LukaJacobowitz
3K Followers 531 Following I mostly tweet about Functional Programming, bikes & urbanism. Works @CompStak, maintainer of @typelevel Cats 🐱 I care about equality. He/him
zio @zioscala
4K Followers 129 Following ZIO is a Type-safe composable asynchronous and concurrent programming library for Scala that is based on pure functional programming
Janet A. Carr @janetacarr
6K Followers 257 Following Clojure Consultant & Freelancer Software Dev, Clojure, & Functional Programming Twitch: https://t.co/MQSMRl4qp7 Course: https://t.co/APVnddLdAM
Nathan Marz @nathanmarz
17K Followers 136 Following Founder of @redplanetlabs. On a mission to dramatically improve programmer productivity and software quality by reducing the complexity of software development.
Lambda World @Lambda_World
4K Followers 272 Following An international conference for Functional Programming enthusiasts. October 29-30, 2026 - Palacio de Congresos de Torremolinos, Málaga, Spain.
Nikita Volkov @NikitaYVolkov
1K Followers 42 Following Consultant in Haskell, Rust and software design. Author of "pGenie", "hasql" and "refined". More at https://t.co/EERSJsDsX9.
Rust Language @rustlang
153K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
Gergely Orosz @GergelyOrosz
343K Followers 3K Following Writing @Pragmatic_Eng, the #1 software engineering newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Daniel Firth (Inspect... @locallycompact
1K Followers 799 Following Haskell, Nix, Mathematics @ https://t.co/v3jt0w7n91
gelisam ⏸️ @haskell_cat
1K Followers 319 Following AI Safety ∩ Programming Language Theory. Part-time technical alignment researcher, full-time Haskell software engineer at https://t.co/qG4jsBEIIO, opinions are my own.
Point-Free @pointfreeco
16K Followers 3 Following A video series exploring advanced topics in the Swift programming language.
Franck Pachot @FranckPachot
18K Followers 2K Following 🥑 Developer Advocate at 🍃 MongoDB 🔸 AWS Data Hero 🅾️ Oracle Certified Master ▝▞ YugabyteDB 🐘 PostgreSQL 𝕏posting to bsky/mstdn/lnkdn
Matt Kline @CompareAndSwap
614 Followers 162 Following The great enemy of clear language is insincerity.
trish @TrisH0x2A
34K Followers 1K Following 24 • backend dev • building @devlogz • ex @Flipkart • building things that just work • learning systems & low level stuff • love video games & pixel artYou might like
