Karthik Ravikanti @plumenator
Rust at $job, Rust and Haskell at home. Opinions my own. Also at @[email protected] @[email protected] @[email protected] Singapore Joined May 2009-
Tweets828
-
Followers386
-
Following5K
-
Likes1K
@_filtra Singapore doesn't work as a location on the profile form. Could you please take a look?
Hey @TwitchCon , so with '22 are we doing anything for Software and Game Engineering? When I first started 30 concurrent viewers was pretty big. Without any raids I've crossed over 600 this month. The category is growing fast!!
@GabriellaG439 On how it does more harm than good to artists:
Sadly I'm going to have to completely shut down my entire @DeviantArt gallery as people keep stealing my art and making NFTs. I can't - and shouldn't have to - report each one and make a case, which is consistently ignored. Sad and frustrating.
The last episode of the year is out! In this episode we interview @jwiegley on his extensive experience on C/C++, Haskell, Coq and the Emacs community. Also on your favorite podcast app provider. open.spotify.com/episode/19zHqs…
@chrilves @GabriellaG439 Yeah, my understanding is that there's a dichotomy between procedural and object oriented, and another dichotomy between imperative and functional or imperative and declarative.
@chrilves @GabriellaG439 Don't you mean imperative? Or am I misunderstanding the terms?
Iterators and Ranges: Comparing C++ to D to Rust - Barry Revzin - [CppNow 2021] youtu.be/d3qY4dZ2r4w #cppNow #cplusplus #cpp
This is so f*cking cool!
@Meetup How can I make meetup.com display event times in my local time zone? The Android app already does that.
@plragde Wow. these expanded notes are awesome!
@plragde Btw, cs.uwaterloo.ca/~plragde/842/h… gives me a 403 now.
Evaluating a software engineer using leetcode algos is like evaluating a journalist by making them solve last Sunday's crossword
@scala_base any chance that the talks will be uploaded to YouTube?
@jsatk @travisbrown I see what you mean. Recursion feels _technically_ correct (because proof by induction), but loops (actually visualization, really) feels _apparently_ correct.
piq and 69 others @piq9117
3K Followers 2K Following Building RankRicer • Software Engineer • Haskell • Nix • Neovim • Guns
vaibhav sagar @vbhvsgr
2K Followers 4K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Ryan / Sloshy sometim... @LiquidSloshalot
487 Followers 1K Following Sometimes Sloshy, sometimes LiquidSloshalot. Mostly posting about Magic, left-wing politics, and programming. Trans rights, abortion rights, Musk/Rowling bad.
Paul Tsnobiladzé �... @tsnobip
233 Followers 442 Following I'm into Functional Programming and Music, I tweet about both :) ReScript core contributor
Ayush Kaushik @ayush99336
83 Followers 435 Following Sorry mom, I couldn’t become a hunter — a gatherer. Not a professional developer, just someone who enjoys tinkering with code like puzzles.
blockchainjoe.base.et... @Blockbuttjoe
104 Followers 106 Following Allsups BRO"z 😎 I'm the worlds 🌎 leading leader of #thotleadership 🧠 & the blocktopus~verses disruptive innovative 🧬 creator creating creation on @base 🟦
Iepirdor @Iepirdor68083
21 Followers 961 Following
t @Ratushar46Rao
3 Followers 89 Following
Pardis @ParVenture
82 Followers 261 Following
Andrei Pechkurov @AndreyPechkurov
1K Followers 628 Following Top data race and segfault producer in the room.
Farenare @FarenarelIWLde
81 Followers 4K Following
Cynthia Dunlop @c_a_dunlop
2K Followers 1K Following @scylladb | #P99CONF | Writing for Developers: Blogs that Get Read (https://t.co/BiDg9UfnOF) | DB Performance at Scale
Smeethoo @SmeethooswlKU1
47 Followers 4K Following
SusanBarrett @cdHx7g51NKo1D2
62 Followers 7K Following
Jonathan Lorimer @JonathanLorime1
286 Followers 394 Following Software engineer. Haskell, rust, nix and type systems. https://t.co/Wm2PMy0ELo
Tesleat @Tesleatb7Q1Xl
8 Followers 631 Following
DeliaDarwin @D2J2P64rSx6W2m
78 Followers 7K Following
neuroevolutus @neuroevolutus
19 Followers 3K Following
Avradip Das @AvradipD95462
13 Followers 644 Following
Jeevananthan @Jeevananthan05
134 Followers 480 Following Love to talk about the Theory of Computation that can be concurrent, parallel and distributed. Doing Ziglang⚡. I eat tech blogs and research papers for supper.
JocelynPollitt @yRb1B6Ju6Cz48
68 Followers 7K Following
FromJavaToHaskell @to_haskell
214 Followers 1K Following Software developer. I am learning Haskell and other functional programming languages. Interested in writing performant bug free code. I mostly reply to tweets.
Plan Ghimire 𝕏 @Plan_Ghimire
6 Followers 100 Following Tech enthusiast | Engineering Student || Lifelong learner | Coffee lover ☕ | 🚀 | Always curious 🌌 #AI #Science #🇳🇵
sander @sandydoo
338 Followers 684 Following building @devenv_nix · declarative ops, functional langs, and generative art
justinhj 🇬🇧🇨... @justinhj
2K Followers 4K Following Principal Software Engineer. Distributed systems, Generative AI, Neovim, Emacs, programming languages. Justin is a human and can make mistakes.
NanoVMs @nanovms
2K Followers 8K Following NanoVMs - no users, no login, single application unikernel vms. Protecting everyones cloud. Faster than Docker, Faster than Linux.
Herr DC Lange @CarlHedgren
384 Followers 931 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Sateshe @Sateshe127510
86 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
Smdaw @SmdawpvuS
41 Followers 4K Following
moritz ✨ @angerman
2K Followers 2K Following 🏠 Stay-at-home dad wrangling kids & LLMs 🤖 AI maxi | FP degen | Cumlang CEO (it’s a joke) Opinions hotter than my coffee. NFA ever.
prometheansacrifice (... @ManasJayanth
564 Followers 181 Following Coding agents, OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ3C8u
Yves Muya-Benda @yvesmuyabenda
189 Followers 838 Following
Shakthi Kannan @shakthimaan
1K Followers 402 Following Technologist | | Consultancy | Strategy | Econometrics | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan) | Chicago Booth MBA
Jagan @jagan93618080
143 Followers 5K Following
Rohit Kulshreshtha @rohitkulsh
126 Followers 384 Following
Matthias 🐳 @matthias_wahl
159 Followers 554 Following mediocre programmer, boring guy, embarassing father, @ponylang core member
Theame @Theame389586
22 Followers 1K Following
M Ahmed Mushtaq @mahmedmushtaq01
52 Followers 350 Following Full Stack Developer - React | Node | AWS | Blockchain | Solidity | Web3 linkedin: https://t.co/TnCDllpOPk…
notquiteamonad @notquiteamonad
27 Followers 178 Following Software engineer currently enjoying Haskell. he/him. https://t.co/Egy5JReAsV
Dmitrii Kovanikov @ChShersh
72K Followers 237 Following Dysfunctional Programming account #1. Senior SWE. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Gergely Orosz @GergelyOrosz
339K Followers 3K Following Writing @Pragmatic_Eng, the #1 software engineering newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Domen Kožar @domenkozar
6K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVh 🗝️ https://t.co/iCG7uqjKe9
Mat Fournier @mat4nier
1K Followers 1K Following Geotech Engineer turned sw dev. https://t.co/Kwv9mN53z2. Geological Engineering, Masters Data Science @UBC. FP/Rust: https://t.co/DvbiUZ0LMf
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 423 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Michael Snoyman @snoyberg
6K Followers 644 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Jakub Kozłowski @kubukoz
5K Followers 291 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
piq and 69 others @piq9117
3K Followers 2K Following Building RankRicer • Software Engineer • Haskell • Nix • Neovim • Guns
Mara @m_ou_se
44K Followers 405 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
vaibhav sagar @vbhvsgr
2K Followers 4K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Graham Christensen @grhmc
6K Followers 2K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys 📻 NO5IG
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Chas (Anxiety Goblin)... @cemerick
5K Followers 961 Following Making PDFs reliable data sources @snowtide, PWLConf @papers_we_love & Clojure alum. PLT, distsys, future-computing, politics, policy @[email protected]
Gary Bernhardt @garybernhardt
46K Followers 114 Following Execute Program (learn programming tools quickly); Destroy All Software (dense programming screencasts); formerly Deconstruct conference.
reibitto @reibitto
1K Followers 1K Following Software developer #Scala #Haskell #FP Also love games and learning languages. Same handle on those "other apps" if you want to add me.
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Paweł Szulc @EncodePanda
3K Followers 666 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Luca Palmieri @algo_luca
16K Followers 1K Following Rust / backend dev / org design / climate. Baking on the good days. Author of https://t.co/WDxzUHAAe6. Building https://t.co/YMfw1oaHIi, a new Rust web framework.
Redacted @cercerilla
2K Followers 452 Following
jeswin @jeswin
348 Followers 784 Following I maintain https://t.co/5vBGK4FVSp (TypeScript to native code compiler), https://t.co/BR3on7vo1r (Web Components+JSX), https://t.co/0yvRO67tFb (query builder) and https://t.co/zdnpYAlMDW (JS Pipelines).
Debangshu Banerjee @debangshuban18
26 Followers 48 Following CS PhD Student @ UIUC, Undergrad @ IITG Machine Learning and Formal methods
Lalit Maganti @LalitMaganti
6 Followers 2 Following Senior Staff Software Engineer @ Google on https://t.co/ExXBqdbQ4K. Passionate about performance, open-source, interested in AI/LLMs, writing at https://t.co/2zLlcJfyuO
Andrew M. Bailey @resistancemoney
18K Followers 2K Following Philosophy, money, technology. Fellow at https://t.co/OsagQGB28B
Kartik @code_kartik
10K Followers 644 Following mts @mem0ai • build ship grow • building @screenshotstdio (prev: https://t.co/BpklXWHiA3) and @bettershotsite
››› engine @enginedotbuild
25 Followers 30 Following LLMs write code. Engine makes sure it's code that works.
WalterBright @WalterBright
8K Followers 67 Following Engineer Digital Mars, D Language Foundation C, C++, D programming language compilers, and Javascript compiler
Bartosz Naskręcki @nasqret
12K Followers 453 Following Mathematician | Vice-Dean @UAM_Poznan | Researcher @ccaiwut | Owner of https://t.co/lEspgf36Pg | Mathematics, AI and programming
Jonathan Gorard @getjonwithit
46K Followers 18 Following Applied mathematician, computational physicist @Princeton Previously @Cambridge_Uni Making the universe computable.
Jacob Mathew @jacobgmathew
165 Followers 643 Following The hardness is to move forward and quickly in the face of complexity and uncertainty.
Rational Reminder Pod... @RationalRemind
7K Followers 117 Following Official twitter account for the Rational Reminder Podcast. Hosted by @CameronPassmore and @Benjaminwfelix from @pwlcapital
Andrew G. Biggs @biggsag
5K Followers 2K Following Senior Fellow, @aeiecon Order my new book The Real Retirement Crisis! https://t.co/gRfbSgwpar Read me at https://t.co/efWmA7VHMx
Ben Mathew @bmathecon
162 Followers 59 Following Economist. Writing about economics and personal finance. Building a financial planner that implements the lifecycle model of economics.
Jarred Sumner @jarredsumner
177K Followers 644 Following building @bunjavascript at @anthropicai. formerly: @stripe (twice) @thielfellowship. high school dropout. npm i -g bun
Aaed Musa @aaedmusayt
86 Followers 48 Following For as long as I can remember I've been obsessed with building robots and gadgets. Now I want to share that passion with the world.
Steve Cosman @scosman
520 Followers 528 Following Building Kiln AI. Formerly Apple Photos, ShoeboxApp, Msft. He/him
Pavel Panchekha @pavpanchekha
1K Followers 105 Following Web browsers, numerics, PL, and formal methods at the University of Utah
Isaac Van Doren @isaacvando
280 Followers 293 Following Let’s make it better! Organizing Software Should Work
David Nolen @swannodette
366 Followers 99 Following Software Engineer at https://t.co/ouAGDMzhWU Developer of ClojureScript and @Vitalyticsolana Github: https://t.co/YveVkPyBrr
Gaurav Gahlot @_gauravgahlot
8 Followers 39 Following
Michael Sambol @MikeSambol
133 Followers 12 Following Principal Engineer @Workday. Sporadic YouTuber.
Unsloth AI @UnslothAI
70K Followers 464 Following Train and run models locally! 🦥 https://t.co/2kXqhhvLsb
Daniel Han @danielhanchen
34K Followers 2K Following Building @UnslothAI • Making open-source LLMs faster, better & more accessible • YC S24 • ex-NVIDIA ML
ZKIllustrated @zkillustrated
708 Followers 18 Following Cryptography explainers you can read in 10 minutes ✨
LeakIX @leak_ix
7K Followers 239 Following Provide comprehensive visibility into internet-facing assets. Looking for vulnerabilities and misconfigurations 24/7 since 2020. https://t.co/MEjkffN1xg
Danny Willems🛡️ @dwillems42
2K Followers 3K Following Mathematician, working on @zcash Interested in applied mathematics (cryptography, type theory, formal verification), or "high assurance cryptography".
Cryptography Academy @cryptoacademy42
136 Followers 74 Following We educate people about cryptography, and apply techniques like formal verification to build verified primitives.
¬¬Mike (Deyuan) He @1SHL10
1K Followers 572 Following 4th-year @PrincetonCS PL Group; PL/Systems; Prev @AWSCloud @Intel @Taichi_Lang @uwplse
The Software Engineer... @EngGuidebook
31K Followers 1 Following A guide for growing to senior and beyond in the software industry, by @GergelyOrosz. An Amazon #1 Best Seller. Get the book at https://t.co/z86POb1yWN
The Pragmatic Enginee... @Pragmatic_Eng
47K Followers 3 Following Big Tech and startups, from the inside. The #1 technology newsletter on Substack. Sign up at https://t.co/MPNdQSVnwV. Podcast: https://t.co/nVOulBGYoh
GambiConf @gambiconf
2K Followers 4 Following ✍️ CFP aberto: https://t.co/1TVoemPWQd | 🗓️ 28 e 29 de Novembro, na USP - Campus Butantã
TiTle @Expede
7 Followers 0 Following
Sam @SamMcHardy
198 Followers 89 Following
Iurii Malchenko @yurique
66 Followers 58 Following
Nikita @raquo
401 Followers 43 Following Software dev, author of Laminar, Airstream, hnapp, etc. https://t.co/uhrzKnZT1H
Badrish Chandramouli @badrishc
2K Followers 290 Following Partner research manager in the data systems group at Microsoft Research. Interests: storage, streaming, analytics, key-value stores, ML for systems.
Austin Henley @AustinZHenley
5K Followers 2K Following Researcher Pro Max at Microsoft⚡️AI and developer tools⚡️ex startup, ex professor at Carnegie Mellon University































