KC Sivaramakrishnan @kc_srk
Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA. kcsrk.info Chennai, India Joined January 2015-
Tweets3K
-
Followers4K
-
Following4K
-
Likes14K
Now on HN frontpage 🟧
KC Sivaramakrishnan retweeted
A new episode of Signals and Threads just dropped! This one is an interview with @ChrisLattner, talking about Mojo, a new-ish language for GPU programming that's aiming to be an alternative to the CUDA stack. signalsandthreads.com/why-ml-needs-a…
KC Sivaramakrishnan retweeted
In this study ntrs.nasa.gov/citations/2014… by the NASA (2014), they compare formal verification with an interactive theorem prover ⚔️ model checking ⚔️ abstract interpretation. => Theorem prover requires the most knowledge, model checking only specifying, abstract interp nothing!
KC Sivaramakrishnan retweeted
thread of one happy fellow's beliefs, let go
Super fancy use of effect handlers and domains to speed up Merlin, the editor service that provides advanced IDE features for OCaml: discuss.ocaml.org/t/ann-an-exper…
KC Sivaramakrishnan retweeted
Finally got around to trying OCaml multicore for something practical - the "find all references" command for the ReScript editor tooling. Here's a bench of it resolving references for a function in a 350k LoC / 1800 files repo: - Current (sync): 1.4s - Lwt: 1.6s - Eio: 0.55s
KC Sivaramakrishnan retweeted
Join @kc_srk as he shares how the OCaml community evolves while maintaining legacy compatibility from OCaml 5’s concurrency & parallelism to cutting-edge tooling. 🎟️ Get tickets now: fossunited.org/dashboard/buy-… #unitedbyfoss #indiafoss #fossunited #indiafoss2025
KC Sivaramakrishnan retweeted
New Raven alpha drops in 3 weeks! 🚀 Coming up: dataframes, tokenizers, transformers, forward-mode differenciation, vmap, and a complete linear algebra suite. Now's a really good time to jump in to contribute: tons of good first issues (just pick a failing test and fix it)
KC Sivaramakrishnan retweeted
Tiger Emerging from Bamboo, by Katayama Yokoku, late 18th century
Hit 1000 km this morning for the year! On track for 1000 miles by the end of the year if I keep up my weekly mileage. 🏃♂️ I've not been consistent for the last few months. Need to up my game for the inevitable loss of time over the NE monoon.
Hit 1000 km this morning for the year! On track for 1000 miles by the end of the year if I keep up my weekly mileage. 🏃♂️ I've not been consistent for the last few months. Need to up my game for the inevitable loss of time over the NE monoon. https://t.co/aVk5MzivzR
KC Sivaramakrishnan retweeted
Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects! xvw.lol/en/articles/wh… I hope you find this interesting, and I welcome any feedback!
KC Sivaramakrishnan retweeted
On Dean Jones' 210 at Chepauk.
KC Sivaramakrishnan retweeted
Multithreading in OCaml 🙈
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
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
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
jordwalke @jordwalke
64K Followers 729 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Phil Eaton @eatonphil
25K Followers 612 Following cheerleader, organizer, staff software engineer, databases
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.
Ben L. Titzer @TitzerBL
2K Followers 349 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Antonio Monteiro @_anmonteiro
3K Followers 243 Following Eng @recallai, building the universal API for meeting recording. Making @melange_re
אגי-e/acc @murage_kibicho
3K Followers 5K Following Statistics @Yale | @LeetArxiv - Leetcode for implementing Arxiv papers
Poornachandra @poornamentalist
67 Followers 460 Following Doctor | Product @Medblocks_ | Techno Optimist
Srinivas Reddy @SrinivasRe94958
36 Followers 886 Following
Ritaman @badmos_billa
68 Followers 128 Following ashoka’27 | philosophy, cs and literature | previously: @ritaman_shirsho | my professor said i’m a poet. what he didn’t say is i’d rather be a poem.
Krishnan @Harikrishwiz
57 Followers 909 Following
Ganesh Gaintonde @CrimeKumar
654 Followers 2K Following
Saurav Maheshkar ☕�... @MaheshkarSaurav
512 Followers 2K Following Refining logits @dottxtai | @GoogleDevExpert in JAX/Flax | Undergrad @csmcr ‘25 | Former @weights_biases @Recourseai @lightlyai
Thomas Schranz 🍄 @__tosh
9K Followers 9K Following 🐳 Findable: modern SEO toolkit also: - 🌌 Atlas: get most out of llms - ♟️ Chess Cats - 🍓 Jam: open source Clubhouse (@jam_systems)
Siddharth @Sid_899
126 Followers 2K Following Trying to be a polymath 🔮 AI + Fin + Bio + Drones + Climate
VadaiMonster @Aarush_Ram
7 Followers 72 Following
VegetaAvatar @VeGeTaX29
19 Followers 6K Following
🇺🇦 · ⚪️�... @PieCalculus
406 Followers 184 Following ヽ(`⌒´)ノ · признан киноагентом; кекстримистская организация https://t.co/FVYCl8Wi3R
Vijay Mocherla @psiepsilondelta
156 Followers 461 Following Graduate Student in Chemical Physics. In search for the Numinous
prasun /prʌˈsun/ @p_r
99 Followers 1K Following
Geazi Anc @geazi_anc
4 Followers 395 Following
Iefohwe @Iefohwe1009054
121 Followers 3K Following
Akhilesh Balaji @akhileshbalaji_
1 Followers 91 Following “He who knows all the answers has not been asked all the questions.” — Confucius
Pirwi @Pirwi697
0 Followers 183 Following
DisneyOnIceSpice @DisnyOnIceSpice
223 Followers 4K Following late addition to the global settler community: 小洲 - in me the continents feel closer
amrnth @amrnth0
95 Followers 520 Following Optimistic Techbro. Prev. JioHotstar, Unacademy, @iitmadras
Christopher / クリ�... @atomicptr
155 Followers 1K Following Husband・software artisan・ 🇩🇪 🏴 🇯🇵・bjj/judo・🐧
E331 @E331_consoomer
31 Followers 224 Following Grüsst von dem Fliehenden!! MHRA approved chemical used for various applications like melting cheese and curing UTIs, also an experimental JR East trainset
Nitin Guna @MachanHoid
2 Followers 5 Following
karthik suresh @karthikisk2
19 Followers 3K Following
0xRobinsonJim @0xRobinsonJim
203 Followers 2K Following Internet / Content / Telecoms entrepreneur - technical business development. Passion: distributed network topologies: Blockchain, Bitcoin, Ethereum @RobinsonJim
Anirudh @Anirudh09_
6 Followers 132 Following
Rubens @RubensAngelo4
328 Followers 5K Following F1 Passion, distributed system, component model, Java love,j performance, oop love, solid principles
person @secular_alkali
1 Followers 30 Following
शशांक / Sha... @si4143
4 Followers 60 Following Doctoral student in Finance at IIM Ahmedabad. Interested in Mathematics, AI and Finance.
Lokesh RLN @lokeshrln09
2 Followers 179 Following Trying to Work in | NLP | LLMs | Computer Vision | ML Research.
SagaEye @CybrixTacitus
48 Followers 527 Following Building AI-powered tools & writing fiction. Veteran coder, indie product builder, and lifelong learner. Exploring the frontier of automation, knowledge manage
MAVIS WANCYK @mavis_wanc6330
108 Followers 2K Following I won a lottery of huge amount so I’m willing to give out $15,000 to my first 350 followers due the covid 19 Pandemic..just dm “MAVIS I FOLLOWED“
Avik Chatterjee @just_avik
4K Followers 2K Following i hate binaries / CS deep dives @CSNoBSdotcom / asian football @MBFT89 / works in highlights tab
Poujtaw @Poujtaw2317766
98 Followers 2K Following
Grace Lammy @grace_lamm10131
11 Followers 359 Following
Ryan @RyanU_1F42B
18 Followers 50 Following COBOL dev, Ocaml Lover, C/C++ enthusiast, and love Golang and Rust. Learning maths https://t.co/hIcSIm0jR4 Dad of two with my beautiful wife. Nvim btw
Dalnoh @Dalnoh6046
90 Followers 2K Following
Nischith Shadagopan M... @just_nisch_it
389 Followers 306 Following views are my company's | searching for a scalable and repeatable business model, founding engineer @SarvamAI, intern @MSFTResearch, cse @iitmadras
llvmvsllm @llvmvsllm
2 Followers 242 Following
समर्थ (sama... @SamarthLabs
19 Followers 540 Following views personal; not companies I associate with. Hindu nationalist 🇮🇳 🇺🇸 , Jai Shri Raam, ❤️ to all . Bharat Hindu Raashtra. Namaste.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
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
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Will Crichton @tonofcrates
7K Followers 159 Following Cognitive engineer, assistant professor @BrownUniversity.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
deech @deech
5K Followers 1K Following
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Erik Meijer @headinthebox
31K Followers 2 Following
jordwalke @jordwalke
64K Followers 729 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit
Smithsonian National ... @NatAsianArt
29K Followers 336 Following Sharing the arts and cultures of Asia since 1923. Open daily. Admission always free. Moongate Cafe opening soon. #CuriosityWelcomed https://t.co/yalMN7Y5Ns
Richard Sutton @RichardSSutton
45K Followers 64 Following Student of mind and nature, libertarian, chess player, cancer survivor. @ Keen, UAlberta, Amii, https://t.co/u8za2Kod54, The Royal Society, Turing Award
amrnth @amrnth0
95 Followers 520 Following Optimistic Techbro. Prev. JioHotstar, Unacademy, @iitmadras
Meera Srinivasan @Meerasrini
44K Followers 5K Following Colombo-based journalist with @the_hindu; covers Sri Lanka & the Maldives
Curiosweety @curiosweetie
26K Followers 1K Following The Girl who Kicks Hornet's Nest!! ना इन्ˈगेज्मन्ट् का मोह, ना अनफ़ॉलो का भय। Connecting dots n observing patterns.
Ajit Krishnan @akrishgaganyaan
1K Followers 15 Following Fighter Pilot | Experimental Test Pilot | Astronaut-in-Training, #Gaganyaan | Serving the Nation 🇮🇳 | IAF • ISRO
MadRasana @MadRasana
626 Followers 62 Following MadRasana brings artists and the audience in an intimate setting to have closer connect with the artform.
Avik Chatterjee @just_avik
4K Followers 2K Following i hate binaries / CS deep dives @CSNoBSdotcom / asian football @MBFT89 / works in highlights tab
Divya Ranjan @DivyaRanjan1905
48 Followers 304 Following Implementing mathematics and formal verification on smart contracts. Also a connoisseur of compilers and programming language theory.
Sebastien Bubeck @SebastienBubeck
56K Followers 1K Following I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
Bhumika Mittal @mittalbhumika7
65 Followers 259 Following Software Engineer @AmuseLabs. Research interests: Cryptography (classical & quantum), Complexity Theory, Formal Logic
NUS Computing @NUSComputing
3K Followers 283 Following The official NUS School of Computing Twitter feed
Durwasa Chakraborty @durwasa_dc
152 Followers 133 Following PhD Student @ IIT Madras PL | Formal Verification
IIIT Delhi @IIITDelhi
8K Followers 126 Following Official Twitter handle of Indraprastha Institute of Information Technology Delhi (IIIT-Delhi)
Mausam (IITD) @mishumausam
4K Followers 56 Following Founding Head, Yardi School of Artificial Intelligence at IIT Delhi. AI (NLP, ML, MDP) Researcher. Indian Classical Music aficionado.
International Olympia... @IOAIOfficial
303 Followers 0 Following IOAI is a prestigious annual competition for high school students passionate about the exciting world of AI
Raja Koduri @RajaXg
46K Followers 2K Following Create, Clean, Consume is my aspirational routine. My interests math, computer graphics, silicon, software and music.
Sandeep Shukla @sandeepkshukla
1K Followers 133 Following
Ruchi Sanghvi @rsanghvi
38K Followers 207 Following Partner @southpkcommons, Board Member @UCSF, VP of Ops @dropbox and first female engineer @facebook. Advisor, investor, and mom.
Lt Gen P R Shankar (R... @palepurshankar
14K Followers 807 Following Former DG Artillery, Indian Army. Currently Professor, Aerospace Department, IIT Madras. YouTube Channel https://t.co/Dc4v9izCUt
Fellowship @fellowshiptrust
29K Followers 7K Following Fellowship is a contemporary art gallery specializing in artists working with technology, exhibiting across three continents.
Siddharth Singh @siddharth3
18K Followers 990 Following Born in a desert, adopted by the sea. Energy⚡️@IEA, trains 🚇, air pollution 😶🌫️, sailing ⛵️, surfing 🏄🏽 and other things. Author of 👇🏽
கானா பி�... @kanapraba
33K Followers 1K Following Radio Show Producer & Presenter (ATBC Australia ) | Blogger | Vlogger
Vijay Chidambaram @vijay_ut
222 Followers 578 Following Professor @utcompsci. Work on all things systems and storage. Lead @utsaslab. Prev: @WisconsinCS. Views my own.
Aurojit Panda @apanda
1K Followers 384 Following Assistant Professor working on systems and networking @nyuniversity. I have moved to discuss dot systems, where I am also apanda.
David Chu @davidchuyaya
995 Followers 91 Following PhD student in distributed systems @UCBerkeley, advised by @joe_hellerstein and @siobhcroo
Sarvam for Developers @SarvamForDevs
268 Followers 3 Following Helping devs build with @SarvamAI models & APIs. Docs → https://t.co/qsYvHDrgGU Support → https://t.co/sNlmydLOMv
shyamal @shyamalanadkat
17K Followers 1K Following applied AI @openai. I work with the world's leading startups and developers to bring the benefits of safe AI to every human. views my own 🇮🇳 @dukeu
Karan Vaidya @KaranVaidya6
10K Followers 2K Following Building @composiohq | @a16z Scout | Past: @NirvanaTechInc | @rubrikInc | @Google | @iitbombay CS
Composio @composiohq
11K Followers 16 Following Something connects to something, something a̶n̶y̶t̶h̶i̶n̶g̶ e̶v̶e̶r̶y̶t̶h̶i̶n̶g̶ happens https://t.co/o5a0zrTEL7
Chargebee @chargebee
7K Followers 2K Following Chargebee is the billing and monetization platform for the AI economy. Have questions or concerns? Mention us @chargebee.
Bhaskaran Raman @br_cse_iitb
4K Followers 232 Following Professor, Department of Computer Science, IIT Bombay Understand, Unclog, Unpanic, Unscare, Unlock (U5) India https://t.co/9v6ILCGU0z Views are personal
nedwill @NedWilliamson
16K Followers 551 Following Fuzzing @ Tesla; PPP for life; SockPuppet, Soundhax, Speedcubing
Judy Fan @judyefan
5K Followers 1K Following Cognitive scientist seeking to reverse engineer the human cognitive toolkit. Asst Prof of Psychology @Stanford.
U. K. Anandavardhanan @iitb_anand
2K Followers 1 Following Professor of Mathematics, Indian Institute of Technology Bombay @iitbombay
Ramnivas Laddad @ramnivas
2K Followers 403 Following Building @ExographDev in @rustlang. Author, AspectJ in Action. Former core team member for #cloudfoundry @VMware and #spring.
Everstrat @Everstrat_
4 Followers 1 Following Everstrat offers access to Grade-A commercial properties with stable income, long-term growth, and investments built on transparency.
llamafile @llamafile
798 Followers 17 Following llamafile is the easiest and fastest way to run open LLMs on your own computer. An open source project from Mozilla. https://t.co/wkakXoAxgD
Alexandr Wang @alexandr_wang
327K Followers 833 Following chief ai officer @meta, founder @scale_ai. rational in the fullness of time
Trapit Bansal @TrapitBansal
32K Followers 247 Following AI Research @Meta | Co-Creator of OpenAI o1 | Previously @OpenAI, @MSFTResearch, @GoogleAI, @facebook, @iiscbangalore, and undergrad @IITKanpur
Aaron Eline @aaroneline
217 Followers 338 Following Automated Reasoning Group at AWS. Working on programming languages, testing, and security. he/him
Archaeological Survey... @ASIGoI
141K Followers 164 Following ASI under Ministry of Culture, Govt of India is the premier organization for the archaeological research and protection of the cultural heritage of the nation.
MDS Sanskrit College @sanskrit1906
15K Followers 1K Following Our college has been serving the cause of Sanskrit for 119 years. We are producing the greatest Sanskrit scholars. We now offer online Sanskrit courses
Sundar Swaminathan @swaminathaniisc
503 Followers 295 Following Inaugural Chair of Nephrology and Professor at the Indian Institute of Science. Adjunct Faculty in Mayo Clinic Arizona interested in kidney disease
atharva @AtharvaRaykar
609 Followers 1K Following ai bot @nilenso, an employee-owned cooperative in Bangalore. niche thoughts: https://t.co/MDjhVvvstv elsewhere: 🦋 @atharvaraykar.com 🐘 @[email protected]Trends for United States
3.672 posts
29,4 B posts
27,6 B posts
50,3 B posts
211 B posts
13 B posts
1.013 posts
1.993 posts
35,9 B posts
19,5 B posts
125 B posts
8.098 posts
2.873 posts
10,6 B posts
3.159 posts
2.380 posts
6.969 posts
761 B posts
You might like
Yaron (Ron) Minsky
@yminsky
15K Followers
Tarides
@tarides_
2K Followers
ICFP Conference
@icfp_conference
4K Followers
Graham Hutton
@haskellhutt
8K Followers
David Van Horn
@lambda_calculus
5K Followers
Ilya Sergey
@ilyasergey
6K Followers
Derek Dreyer
@HerrDreyer
3K Followers
POPL 2026
@poplconf
3K Followers
Andrew Myers
@AndrewCMyers
5K Followers
Arjun Guha
@ArjunGuha
1K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Thibaut Mattio
@tmattio_
527 Followers
OCamlPro
@OCamlPro
2K Followers
Yann Régis-Gianas
@yurug
1K Followers
Dominic Orchard
@dorchard
2K Followers