Rajesh Kumar Thakur @rajeshkrthakur
Research Scholar interested in Designing systems and languages that will simplify future parallel programming Systems and Languages. clweb.csa.iisc.ernet.in/rajesh Bangalore, India Joined February 2010-
Tweets35
-
Followers29
-
Following438
-
Likes422
Rajesh Kumar Thakur retweeted
This is not a great take, but I just want to marvel at that gorgeous official Indian post office post card, which I haven't sent, received, or seen in a long time.
This is not a great take, but I just want to marvel at that gorgeous official Indian post office post card, which I haven't sent, received, or seen in a long time.
187
190
1K
84K
26
Download Image
Rajesh Kumar Thakur retweeted
FTM (Fantom) is #NowOnCoinSwitch!! 🚀 Here's celebrating the launch with a special GIVEAWAY worth ₹ 2,00,000*. ‼️2000 LUCKY WINNERS get BTC worth ₹100* each‼️ How to participate? 1. RT this tweet & Follow @CoinSwitchKuber 2. Fill this form docs.google.com/forms/d/1qXhDQ… *T&C Apply
I just enrolled in Fractals and Scaling (Winter, 2017) on Complexity Explorer! complexityexplorer.org/courses/62-fra…
Rajesh Kumar Thakur retweeted
Tom Leinster's category theory book now online: arxiv.org/abs/1612.09375
Rajesh Kumar Thakur retweeted
New installment of category theory for programmers: Monads Categorically. bartoszmilewski.com/2016/12/27/mon…
Rajesh Kumar Thakur retweeted
Congratulations !! latest communication satellite by ISRO, GSAT-18 has been successfully placed into the respective orbit by Ariane-5 VA231.
Rajesh Kumar Thakur retweeted
What does Don LaFontaine have to do with homotopy type theory? Video from my ICFP invited talk is now up youtube.com/watch?v=caSOTj…
Rajesh Kumar Thakur retweeted
New PL conf for big-picture questions and long-running research programs. Independent, no sponsors, so pls reshare! snapl.org
Rajesh Kumar Thakur retweeted
25% of world's hungry live in #India – more than in #Africa. Food or waste crisis? wef.ch/1xmrSAt @WFP
Rajesh Kumar Thakur retweeted
The view is nice up here.
Say hello to Unicode kos.gd/2013/02/say-he… via @KosGD
Rajesh Kumar Thakur retweeted
Nothing is more dangerous than a stupid person who gains power and mistakes that power as proof of intelligence. The world is soo dangerous!
Rajesh Kumar Thakur retweeted
Looking for a postdoc? Search openings in #physics, #engineering, materials science, #computing & more 1.usa.gov/Vno8eK
“Papertab” paper tablet is your flexible friend | Stuff magazine stuff.tv/news/computers… via @StuffTV
Rajesh Kumar Thakur retweeted
HAPPY BIRTHDAY CHARLES BABBAGE! Today he turns 221! We all know that he designed the Difference Engine, but there... fb.me/2lfDrp3hY
Rajesh Kumar Thakur retweeted
Did you know...Babbage contributed to lighthouse signaling? #happybirthdaybabbage
Huge Mars Colony Eyed by SpaceX Founder Elon Musk space.com/18596-mars-col… via @SPACEdotcom
Scientists develop 3D tissue printer that prints cartilage - thestar.com bit.ly/TTF9Yf @TorontoStar
'Eat my head': 10 more classic Indianisms | CNN Travel travel.cnn.com/mumbai/life/10…
10 classic Indianisms: 'Doing the needful' and more | CNN Travel travel.cnn.com/mumbai/life/10…
加油卡💧赚钱�... @AHess72873
175 Followers 2K Following 纯博彩代收付全网最专业最良心最高效的团队，高效稳定/安全可靠/佣金日结，缺钱负债躺赚轻松上岸。鼎盛集团代收付官方唯一认证频道：https://t.co/owpTJ1SHqj
Morgan @Morgan923936766
55 Followers 7K Following I’m from peace loving country the Gambia smiling coast of west Africa
Sankar Muthusangu @SMuthusangu
18 Followers 513 Following Haskell Developer, LabVIEW Architect, Python
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security for Web3, through formal verification 🚀 Ethereum, Solana, Sui 🔍 Solidity, Rust, zero-knowledge. DM us to ensure your code is safe!
yinyang-project @testsmtsolvers
410 Followers 413 Following Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y
Sukriti Sarkar @4thehumanity
218 Followers 4K Following I am here to serve humanity and make this world a better place.
Modi is India, India ... @ministryofdead
476 Followers 4K Following He's not the Messiah, he's a very naughty boy!
TechDator @TechDator
963 Followers 4K Following Get Latest Technology, Gadgets, Hacking & Security News in your Feed. We publish Latest Trending News to Aware our Users that Whats Happening in Current World.
The Search Space Podc... @searchspacepod
445 Followers 391 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
Team Maths @Team_Maths1
7K Followers 5K Following Welcome to #TeamMaths. We share maths teaching resources, articles, jokes and ideas.
Bloom Institute of Te... @bloomtech
63K Followers 13K Following Our mission is to provide learners with a direct, low risk path to a higher income.
sathish kumar settu @itsskinfo
205 Followers 626 Following Consultant Technology - Implement right Technology @ Right Time , CEO Mindnotix Software Solutions
swathi @swathi51874358
13 Followers 52 Following
Symphony Chakraborty @Symphony5483
17 Followers 76 Following
RAVI PRAKASH @RAVIPRA60529137
21 Followers 317 Following
IEEE CRCE @IEEE_CRCE
61 Followers 302 Following IEEE CRCE is an active student branch under IEEE Bombay section. Advancing Technology for Humanity...
Afraseem Ibrahim @afrasyym
75 Followers 498 Following
ashiqkakroo @ashiqkakroo1
50 Followers 515 Following
seema yadav @siyasimranyadav
24 Followers 26 Following
Penguin Books UK @PenguinUKBooks
1.8M Followers 256K Following Publishing the best books and authors for 90 years. Discover your next great read at https://t.co/yMCVgWhHPy.
PINAKI PAL @pinakipalcs
24 Followers 37 Following
Microarch Club @MicroarchClub
573 Followers 1 Following The art, science, and history of processor design. Hosted by @hasheddan.
Govardhan Math @govardhanmath
56K Followers 0 Following Adi Shankaracharya estd the Eastern Math associated with Rigved called “Poorvamnaya Sri Govardhan Math, Puri Peeth”।१४५तम शङ्कराचार्य स्वा. निश्चलानन्द सरस्वती
Probability and Stati... @probnstat
66K Followers 570 Following Probability. Statistics. Machine Learning. Data Science. DM for paid collaboration.
Scottish Programming ... @scottish_pli
116 Followers 3 Following This is the official X account for the Scottish Programming Languages Institute (https://t.co/CgXIiythVF). Tweets by @simon_jf
PurPL @purdue_pl
924 Followers 120 Following PurPL is the cross-departmental center for programming languages research at Purdue University.
The Cultural Tutor @culturaltutor
1.7M Followers 69 Following I've written a book, and you can get it here:
Relaxing Hexagon Bot @relaxagons
4K Followers 1 Following I am a robot. I tweet 1 video per day. I hope these videos help you relax for a moment. You deserve it. Beep Boop Beep. My creator is @mattdzugan.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Tweet-a-Program @wolframtap
3K Followers 7 Following Tweetable programs are here! Tweet us your Wolfram Language code (http://t.co/jeGFo3K8yT ) and see what you can create in under 280 characters...
BengaluruTechSummit @blrtechsummit
7K Followers 515 Following Bengaluru Tech Summit (BTS) organized by the Dept. of Electronics, IT and Bt, GoK to be held from Nov 18-20, 2025 at BIEC.
Kowainik @kowainik
2K Followers 2 Following Anyone can change the world. We do. 🌌 OSS organization. #fp #haskell #Learn4Haskell Driven by @vrom911 Buy us a coffee ☕️ https://t.co/5Gs8Sz8s6F
Production Haskell @prodhaskell
2K Followers 2 Following A book on pragmatic, professional Haskell development written by @mattoflambda. Follow this account to receive updates on the book's progress.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
PyQuant News 🐍 @pyquantnews
154K Followers 523 Following Where finance practitioners get started with Python for quant finance, algorithmic trading, and data analysis | Tweets & threads with free Python code & tools.
llvm.org @llvmorg
11K Followers 7 Following Open source project for compiler infrastructure, tools, and more. Here Be Dragons.
Daily AI Papers @papers_daily
17K Followers 2 Following
How Things Are Manufa... @fastworkers6
814K Followers 9K Following This is official Twitter account for How Things Are Manufactured. Stay with us
Erlang Ecosystem Foun... @TheErlef
6K Followers 2K Following We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
The Haskell Interlude @HaskelInterlude
586 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
WhyPhilosophyMatters @WhyPhilMatters
6K Followers 292 Following Series of @BloomsburyPhilo books, public lectures, conversations, & @UHPhilosophy events (tweets by @LizaJThompson & @csandis)
Philosophical Logic @logicians
7K Followers 794 Following Philosophy, logic, and mathematics. No justice, no peace. Free Palestine 🇵🇸 #ACAB
Kelsey Houston-Edward... @kelseyahe
9K Followers 511 Following math + writing + videos https://t.co/IvgZ58cTYU
Bergen Logic Group @BergenLogic
789 Followers 370 Following A logic research group at the Department of Philosophy, University of Bergen, Norway. @UiB @UiB_Philosophy
James Larus @JamesLarus
1K Followers 425 Following Off Twitter for the foreseeable future @[email protected]
UConn Logic Group @UConnLogicGroup
1K Followers 181 Following The UConn Logic Group is an active research hub, with over forty members from mathematics, philosophy, linguistics, computer science, psychology, and law.
MIT Technology Review @techreview
1.2M Followers 3K Following Our in-depth reporting on innovation reveals and explains what’s really happening now to help you know what’s coming next.
Introduction to Algor... @clrs4e
7K Followers 2 Following The fourth edition of the iconic algorithms textbook. Tweets are by @thcormen.
NH State Representati... @thcormen
4K Followers 147 Following Emeritus Professor of Computer Science at Dartmouth College. Co-author of Introduction to Algorithms. NH State Representative for Lebanon Ward 3. Mad bricoleur.
MathType @MathType
46K Followers 280 Following Type and handwrite mathematical notation. Easily include quality math equations in your documents and digital content. Part of @wiris_science.
Open Logic Project @OpenLogicProj
2K Followers 15 Following Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.
[LOGIC] List @LOGIC_list
1K Followers 16 Following Archive of postings: https://t.co/lAsrRrzQU2 Twitter account is not monitored, but posts automatically list postings.
Buenos Aires Logic Gr... @BALogicGroup
1K Followers 126 Following Researchers from the UBA and CONICET, Argentina 🇦🇷, specialized in Logic and Philosophical Logic. They/them.
Rajeev Alur @RajeevAlur
2K Followers 232 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
IISc Bangalore @iiscbangalore
199K Followers 75 Following The official Twitter account of the Indian Institute of Science (IISc)
AST Lab ETH Zurich @ast_eth
769 Followers 86 Following Advanced Software Technologies (AST) Lab at ETH Zurich, Switzerland (@zhendongsu)
Yaron (Ron) Minsky @yminsky
15K Followers 334 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
CoinSwitch: India's S... @CoinSwitch
109K Followers 21 Following Join the Creators Lab by CoinSwitch. Free. Invite Only.
Amazing Maps @amazingmap
593K Followers 14K Following Amazing maps brought to your attention. Turn our tweet notifications ON to never miss a tweet! Business/Map Ideas
Brilliant Maps @BrilliantMaps
128K Followers 285 Following An Atlas for Curious Minds. Order the book here: https://t.co/t7QLqVHTr3 & Join our free newsletter: https://t.co/WZmucogM64
Terrible Maps @TerribleMaps
1.7M Followers 1K Following The home of terrible maps with a pinch of humour [email protected]Trends for United States
104 B posts
12,4 B posts
11,2 B posts
2.195 posts
5.957 posts
6.489 posts
14,1 B posts
15,5 B posts
17,1 B posts
4.257 posts
24,1 B posts
14 B posts
1.324 posts
2.520 posts
4.942 posts
4.675 posts
You might like
Burak Karademir
@karademirburak
204 Followers
Eventagrate Group
@eventagrate
166 Followers
Perfil de lazer do Re...
@mezabarbarm
603 Followers
Dong Chen
@jameschennerd
85 Followers
Ugur
@klgrcnylmz
58 Followers
Valentin Golchev
@valentingolchev
102 Followers
mrragava
@mrragava
218 Followers
Jackeline
@opressora
414 Followers
Peter Ludemann
@PeterLudemann
215 Followers
B
@bdescob
42 Followers
Steaky Yoda
@steakyodatweets
99 Followers