Mukesh Tiwari @mukesh_tiwari Twitter profile

Pinned Tweet

Mukesh Tiwari

@mukesh_tiwari

4 months

I am happy to announce that I have joined Swansea University as a lecturer! It was a long journey but totally worth it.

19

3

109

Last Seen Profiles

@giratinarising

@GGabrielID

@heyitsmebennn

@stwmaniax

@ChelseaLezzani

@Madhawi_00

@JStarvoice

@DominationKink

@alhalafiforRS

@FrezeeyArts

@hijabjilbab1

@JeAhr711

@Morningstar_PDX

@hijabjilbab1

@adriarraez_

@1tlola_

@highstreetworld

@MasterGir

@fortunagroup

@karsantilioglu

@SSCSociety

@obritom

@KakesksoAp

@PeterJo03910868

@HEMORIO

@BoutzBad

@2MuchVega

@stw_pdg

@AliceNkulikiyi1

@ComplexityRL

@DestopBeethoven

@Giseble

@stw_pdg

@JeanLucLAGLEIZE

@maevemonaghan

@Gugi_mo

Mukesh Tiwari

@mukesh_tiwari

1 year

How to prove a theorem: 1. stare at it so hard that your brain gets tired. 2. go for a long walk. 3. did you get proof? 3.1. yes (congratulations) 3.2. no (go to step 1 and repeat) I have gone through this process so many times that I have internalised it.

8

57

327

Mukesh Tiwari

@mukesh_tiwari

3 years

Finally, I started recording my Coq tutorial videos for beginners [1]. To make theorem proving accessible for everyone, we need to start small and build things incrementally, which is my goal for these videos. [1]

Functional Programming in Coq theorem prover - Lecture 1.

In this video, we explore functional programming and proving the correctness properties about the function that we define. You can install Coq [1] using Opa...

www.youtube.com

1

22

98

Mukesh Tiwari

@mukesh_tiwari

9 months

During my 2 years postdoc at Cambridge University, I wrote almost 40,000 lines of Coq code and proof (thanks to quotient types!), but I will get one paper at a nice conference (A*) hopefully, and it takes an awful lot of time to make everything precise.We will open source it soon

4

80

Mukesh Tiwari

@mukesh_tiwari

10 months

Yesterday I deleted more than 3000 lines of Coq proof because I found a simple proof but I was able to realise this simple proof only after writing so many lines of code.

5

2

76

Mukesh Tiwari

@mukesh_tiwari

1 year

In fact you can try this book with Lean theorem prover . You learn both: logic and how to prove it more rigorously.

🔥Kareem Carr | Statistician 🔥

@kareem_carr

1 year

If you’ve ever wondered how mathematicians come up with such clever arguments, I strongly recommend “How to Prove It” It’s an extremely gentle introduction that starts with the absolute basics and eventually teaches you how to construct a mathematical argument or “proof”.

48

580

4K

2

18

77

Mukesh Tiwari

@mukesh_tiwari

1 year

“The overall quality of submissions was very high, and we were forced to reject many strong papers” why? Just accept them if they are good papers.

3

1

57

Mukesh Tiwari

@mukesh_tiwari

8 months

First day at Oxford. I have joined Oxford for a two years postdoc. My first impression: it’s bigger and expensive than Cambridge :)

5

0

53

Mukesh Tiwari

@mukesh_tiwari

1 year

They approved my visa! The person who interviewed me was very friendly and took only 2 or 3 minutes to grant me the visa.

6

0

50

Mukesh Tiwari

@mukesh_tiwari

3 years

The world would be a far better place without @Facebook !

3

33

Mukesh Tiwari

@mukesh_tiwari

3 years

Even though, I am looking for a research job which does not involve any teaching. Today, I got one such opportunity for a possible interview for Research Scientist position at Facebook, but I politely declined it because Facebook is a terrible company.

2

3

35

Mukesh Tiwari

@mukesh_tiwari

10 months

Paul Taylor on set theory (in Pittsposium)

1

4

39

Mukesh Tiwari

@mukesh_tiwari

2 years

Third lecture in the series of 'Function Programming in Coq theorem prover' [1]. In this video, I introduce induction on natural numbers, few more tactics, and more importantly, how to keep induction hypothesis as general as possible. @CoqLang [1]

Functional Programming in Coq theorem prover - Lecture 3.

In this lecture, we define natural number and addition function on natural numbers. Moreover, we prove that addition (function) is commutative. If you are co...

www.youtube.com

0

6

35

Mukesh Tiwari

@mukesh_tiwari

3 years

@evanewashington White boards (on which mathematics lies).

2

5

35

Mukesh Tiwari

@mukesh_tiwari

10 months

Coq, Lean, Isabelle

1

7

35

Mukesh Tiwari

@mukesh_tiwari

11 months

Sometimes I feel so thankful to Coq because it literally tells me what sub-lemmas I need to prove to finish a complicated theorem.

2

30

Mukesh Tiwari

@mukesh_tiwari

3 years

Second lecture in 'Functional Programming in Coq theorem prover' series [1]. In this video, I continue to explore the boolean logic, with more tricks and a bit of exploration what goes under the hood when we write tactics. @CoqLang . [1]

Functional Programming in Coq theorem prover - Lecture 2.

I highly suggest you to watch the first lecture [1] before watching. In this video, we continue exploring the boolean logic, with more new tricks.[1] https:/...

www.youtube.com

0

11

29

Mukesh Tiwari

@mukesh_tiwari

1 year

Having done some competitive programming in my undergrad and implemented many data structures, it feels nostalgic to read some of it in this book. Good old days!

1

0

30

Mukesh Tiwari

@mukesh_tiwari

4 years

Today, I am excited to join University of Melbourne as a Postdoc researcher in Toby ( @tobycmurray ) group. Time to do some good research. Wish me good luck.

4

1

28

Mukesh Tiwari

@mukesh_tiwari

2 years

More dependent type programming in Coq ( @CoqLang ). In this video [1], I explore few properties of append function, mainly appending empty vector (Nil) in the beginning of a vector and in the end of a vector. [1]

1

7

29

Mukesh Tiwari

@mukesh_tiwari

3 years

Today was my last day at the university of Melbourne. From tomorrow onwards, I am joining the university of Cambridge as a senior research associate. I was lucky to work with @tobycmurray and learnt a lot from him, specially asking a lot of questions about the problem.

7

0

31

Mukesh Tiwari

@mukesh_tiwari

7 months

What is the most ridiculous thing you have done as a procrastination? I go with mine: I proved in Coq that (x -x1) * (x-x2) ..... (x -xn) = x^n + .... + x1 * x2 ... xn . It took me a week though [1] but it was fun. [1]

Ridiculos.v

GitHub Gist: instantly share code, notes, and snippets.

gist.github.com

1

0

29

Mukesh Tiwari

@mukesh_tiwari

1 year

41 months for PhD visa! I don’t know why Australia is avoiding these talents.

Kaveh Madani

@KavehMadani

1 year

This is so unfair! Many Iranian students with scholarships remain in limbo due to Australian visa delays Dear academic colleagues in #Australia : Please urge your government to take action. This is hurting the career & future of many talented people.

235

979

3K

3

14

27

Mukesh Tiwari

@mukesh_tiwari

1 year

I was sitting in the Cambridge CS building lobby for sometime and the words I heard was federated learning, learning, data set, differential privacy (everything related to machine learning). Not a single student mentioned the word formal verification.

5

2

24

Mukesh Tiwari

@mukesh_tiwari

6 months

I see so many tweet related to people attending @acm_ccs . Unfortunately, I can’t attend it despite having a paper because I could not get a visa appointment for Denmark, Sweden, Netherlands, and France (these are the countries I tried with VFS and TLA connect)

4

2

25

Mukesh Tiwari

@mukesh_tiwari

1 year

“Dear authors, I am happy to accept the revised version. Congratulations!” USENIX security 2023.

5

1

24

Mukesh Tiwari

@mukesh_tiwari

2 years

Recently, I had a chance to read few pages of this book and I am totally blown away by the abstraction (I am formalising abstract algebraic path problems and using it as a reference. Also, I gave a short presentation which was a complete disaster 😂)

2

23

Mukesh Tiwari

@mukesh_tiwari

2 years

Academic Twitter: if you work in formal verification (interpreted broadly), what are your go to conferences.

7

2

21

Mukesh Tiwari

@mukesh_tiwari

2 years

Home sweet home! Visiting my village after almost 9 years and plenty of things have changed but most notable we now have a nice road and 18 hours electricity supply.

2

0

22

Mukesh Tiwari

@mukesh_tiwari

4 years

Finally, thesis submitted. Feeling nervous and happy at the same time.

6

0

18

Mukesh Tiwari

@mukesh_tiwari

2 years

Finally, packed everything to move to Cambridge. I worked from this place for almost 1.5 years with Toby Murray ( @tobycmurray ) for the Uni Melbourne. I am feeling a bit sad but it’s part of academic life and I hope that some day I will get back to Australia, a beautiful place.

3

0

21

Mukesh Tiwari

@mukesh_tiwari

2 years

Someone emailed me that they found my Coq videos helpful, which is a bit surprising to me because I really suck at giving presentation (panic, anxiety, elevated heart beat, etc). Going to add some more videos this week (probably dependent type pattern matching).

1

0

20

Mukesh Tiwari

@mukesh_tiwari

9 months

Thank you very much UK home office!

4

0

21

Mukesh Tiwari

@mukesh_tiwari

7 months

I am working in formal methods since 2016 and this is first time I have encountered a job application where Formal methods and Programming languages are two separate entries. Thanks to the person who was so thoughtful because you can use formal methods (ITP in my case) anywhere.

0

19

Mukesh Tiwari

@mukesh_tiwari

3 years

There can’t be a worst time than this to graduate when your niece is critically ill because of COVID :(

3

0

17

Mukesh Tiwari

@mukesh_tiwari

1 year

You don’t need dependent types in Haskell because you can write the same thing more elegantly in Lean4 (for well-founded functions, you can use ‘decreasing_by sorry’ at end of your function and miraculously it still computes. I was shocked when I learnt this yesterday).

2

0

18

Mukesh Tiwari

@mukesh_tiwari

9 months

Getting Schengen visa is more difficult than US visa (in fact, US visa is one of most easiest one in terms of paper work). For Schengen, you need to submit a letter from your employer at the top all the craps, e.g., hotel, flight, etc., and the visa itself is just for 90 days.

6

0

17

Mukesh Tiwari

@mukesh_tiwari

3 years

Jabbed

1

0

18

Mukesh Tiwari

@mukesh_tiwari

6 months

In a year long project, writing code is one month and proving it correct is rest of the year.

2

1

16

Mukesh Tiwari

@mukesh_tiwari

11 months

What is equality? From Leibniz to homotopy type theory [1]. [1]

2

1

17

Mukesh Tiwari

@mukesh_tiwari

8 months

Switched back to good old Emacs after using VSCode for two years.

3

0

17

Mukesh Tiwari

@mukesh_tiwari

2 years

@haskellhutt I can tell you many good things about Haskell but I am Lazy.

0

15

Mukesh Tiwari

@mukesh_tiwari

1 year

@absidd I am so sorry for your experience, Abu. I am living in Cambridge for almost 2 years and tried thrice to get Europe visa and could not succeed. I really like the US system where they offer 10 years visa.

1

0

16

Mukesh Tiwari

@mukesh_tiwari

2 years

One of my favourite weekend activity in Cambridge is to browse books in Cambridge universities press bookshop, located in the city centre. It has a lot of books that I want to buy but I don’t because I don’t know where I will go next and I feel very sad when I leave books behind.

1

0

16

Mukesh Tiwari

@mukesh_tiwari

1 year

I guess incidents like this are a good reminder that we should organise conferences in a visa friendly countries and those countries are certainly not the first world countries. We should try South America, Africa, or Asia.

Vision and AI Lab, IISc

@val_iisc

1 year

Indian PhD students from @iiscbangalore , who have first-authored papers at prestigious conferences like @CVPR , are facing unjust denials of Canadian visas. With Shocking reasons "limited employment possibilities in India" and "purpose of visit not consistent with a temp. stay."

69

419

2K

1

0

16

Mukesh Tiwari

@mukesh_tiwari

1 year

Congrats everyone! People who made impossible possible (verifying an operating system) .

Association for Computing Machinery

@TheOfficialACM

1 year

Michael Norrish, @ANUmedia ; Thomas Sewell, @Cambridge_Uni ; Simon Winwood, @galois , receive the 2022 ACM Software System Award! Learn more about their award-winning research here:

2

4

53

0

3

15

Mukesh Tiwari

@mukesh_tiwari

8 months

Today I had a chat with few professors at a Dutch university and they asked me, “why have I not put their PL group as a preference in my job application?” I was mildly surprised, and to be honest honoured, because I consider PL people way more smarter than me.

2

0

15

Mukesh Tiwari

@mukesh_tiwari

9 months

@codydroux Human learning :)

1

0

15

Mukesh Tiwari

@mukesh_tiwari

4 years

Schnorr Group proof in Lean theorem prover

1

2

14

Mukesh Tiwari

@mukesh_tiwari

2 years

Yep, it snowed today in Cambridge. Also, I saw snowing first time in my life :)

A Cambridge Diary

@acambridgediary

2 years

It didn't last long and it didn't settle but this is as exciting as it has got in Cambridge over the past year as far as the weather goes.

5

19

398

1

0

12

Mukesh Tiwari

@mukesh_tiwari

1 year

@diwan_vinod @netshrink Agree that there are no free lunches and someone has to pay for it but you are portraying it as a bad thing, isn’t the case? I don’t think this meagre spending to make bus rides free for women is anything near to the money that go down the drain because of rampant corruption.

2

1

13

Mukesh Tiwari

@mukesh_tiwari

4 years

We don't want to do formal verification because it's hard and time consuming, but I don't want to say this in the paper. Instead, we say there was a formally verified software which had bugs without saying that it was in the unverified part of the software.

1

0

13

Mukesh Tiwari

@mukesh_tiwari

2 years

Congrats @tianyin_xu ! Now I know your face :)

Illinois Computer Science

@IllinoisCS

2 years

Tianyin Xu has been chosen for the 2022 Intel Rising Star Faculty Award (RSA). Learn about his work. ▶

9

6

108

1

0

12

Mukesh Tiwari

@mukesh_tiwari

3 years

View from Melbourne Connect’s 7th floor

0

1

13

Mukesh Tiwari

@mukesh_tiwari

9 months

This genius locked their bike in my bike than the pipe. With the help of one more person, I can literally take his bike home, but I am waiting for him.

2

0

12

Mukesh Tiwari

@mukesh_tiwari

4 years

@SwagatikaDash28 @AcademicChatter The most important thing during the PhD is your mentor and everything else is secondary. After sometime, you can even carry the research by yourself (but, of course, it has to be aligned with supervisor’s interest).

0

13

Mukesh Tiwari

@mukesh_tiwari

9 months

I spent the whole day figuring out the solution of a problem posted on Coq's mailing list. I would call it a nice day because I figured out the solution :)

2

0

13

Mukesh Tiwari

@mukesh_tiwari

2 years

@hypergeometer Wow, this is so low, and I am surprised that regardless of low salaries, their researcher are producing incredible results. Are the CNRS salaries same as Inria?

1

0

11

Mukesh Tiwari

@mukesh_tiwari

9 months

This India Canada thing is really getting out of hand. I feel India suspending visa applications in Canada is childish. Whoever is dealing with this on Indian side is literally burning the bridge between two countries.

2

0

11

Mukesh Tiwari

@mukesh_tiwari

2 years

My school which unfortunately no longer exists. I have studied here up to class 4 and then moved to a nearby town Mughalsarai (my privilege) where my father was a school teacher.

4

0

10

Mukesh Tiwari

@mukesh_tiwari

9 months

@TonyTheLion2500 None of these; you just become good at managing your frustration for not knowing the proof :)

1

0

12

Mukesh Tiwari

@mukesh_tiwari

1 year

I would like a machine learning model that takes a Coq proofs and explain it in natural language.

3

0

12

Mukesh Tiwari

@mukesh_tiwari

2 years

Dark side of my village: these kids belong to the lowest socioeconomic ladder. Their parents make probably 3£ a day so these kids help their parents in making some extra money with livestock. They never attend any school and never get any chance to escape the poverty.

2

0

11

Mukesh Tiwari

@mukesh_tiwari

1 year

This is indeed an excellent idea. I use Coq verify my crypto implementation related to voting and catch many errors during the proof.

Lúcás Meier

@cronokirby

1 year

I feel like we really need automated proofs in cryptography, or at least, I do

1

0

11

1

0

12

Mukesh Tiwari

@mukesh_tiwari

2 years

We are living in such a crazy time. Two months ago, I joined university of Cambridge and I was offered to work two months from Melbourne, before moving to the UK. My flight is on 7th January and currently, I am not sure if I can travel on 7th January or not.

3

0

10

Mukesh Tiwari

@mukesh_tiwari

2 years

Happy Diwali 🪔

0

11

Mukesh Tiwari

@mukesh_tiwari

2 years

Finally I recorded a video [1] to demystify dependent type programming in Coq ( @CoqLang ). In this video, I encoded length indexed list (vector) and wrote a function, 'vector_append', to append two vectors in various ways to demonstrate the concepts. [1]

Dependent Type Programming in Coq (Lecture 4)

In this video, we demystify dependent type programming by encoding length index list (vector) and writing a function that appends two vectors in various way...

www.youtube.com

Mukesh Tiwari

@mukesh_tiwari

2 years

Someone emailed me that they found my Coq videos helpful, which is a bit surprising to me because I really suck at giving presentation (panic, anxiety, elevated heart beat, etc). Going to add some more videos this week (probably dependent type pattern matching).

1

0

20

1

9

Mukesh Tiwari

@mukesh_tiwari

1 year

I have utmost respect to the people who can prove theorems without using a theorem prover. I just can’t because (i) I am not trained as a mathematician and (ii) pen-and-paper proof is nice but I am always skeptical if it’s correct.

2

0

10

Mukesh Tiwari

@mukesh_tiwari

1 year

No offence Lean people but I thought it was just for mathematicians :) I am yet to see a software verified in Lean so if you know, please post it as an reply.

José A. Alonso

@Jose_A_Alonso

1 year

Course on Software Verification. #ITP #LeanProver #Logic

1

6

59

24

1

9

Mukesh Tiwari

@mukesh_tiwari

2 years

@andrejbauer Care to list their names, Andrej.

2

0

10

Mukesh Tiwari

@mukesh_tiwari

9 months

@debasishg I haven’t read Robert Harper book but I have read ML for working programmer by Larry Paulson ( @LawrPaulson ) [1] and it’s a fantastic book, specifically reasoning about functional programs (chapter 6). Besides, you can get a printed copy. [1]

0

1

11

Mukesh Tiwari

@mukesh_tiwari

8 months

I am seeing a lot of tweets about POPL rejection from fellow PL researchers and I just want to say I feel your pain.

0

11

Mukesh Tiwari

@mukesh_tiwari

9 months

Academic job stress is nothing compared to visa stress. I had very hard time in Australia but thanks to Toby ( @tobycmurray ) and Dirk who helped in getting a PR there. Now, I am in the UK going through the same stress. I will know the outcome of my application in next 5 days🤞

1

0

11

Mukesh Tiwari

@mukesh_tiwari

8 months

Harvard, you can do better. Now I know why some of your research is fraudulent. They have invited two biggest conman Sadhguru and Deepak Chopra, both of them have sold and are selling nonsense in the name of spirituality, to discuss spirituality,

Dr. Bala Subramaniam

@balachundhar

9 months

Join us for a captivating discussion on consciousness, bridging science & spirituality at the Consciousness Science Panel featuring @RudyTanzi , @SadhguruJV , @DeepakChopra , Christof Koch, & Bernard Carr. Register: Submit Abstract:

71

114

248

2

1

11

Mukesh Tiwari

@mukesh_tiwari

3 years

It's such a stressful time for me. Everyday, I eagerly wait for evening to call my family, specially my mom, to check if they are doing fine.

1

0

11

Mukesh Tiwari

@mukesh_tiwari

6 months

@ShriramKMurthi This looks very interesting! I want to write a beginner friendly tutorial for well founded induction in theorem provers (Lean and Coq) and this seems a very good opportunity to do it. Thanks for organising it!

1

0

10

Mukesh Tiwari

@mukesh_tiwari

4 years

@milessabin

1

3

11

Mukesh Tiwari

@mukesh_tiwari

1 year

Beautiful Day!

0

10

Mukesh Tiwari

@mukesh_tiwari

5 years

Quantum computing and Coq :)

Mike Hicks

@michael_w_hicks

5 years

Hiring: A QuICS/PLUM Postdoctoral scholar, part of ongoing project to develop theoretical and computational tools for quantum computation on realistic devices. QC background optional. We are doing formal reasoning & verification, language design; eg,

1

8

21

0

2

9

Mukesh Tiwari

@mukesh_tiwari

1 year

Something is wrong with me. Rather that finishing my job application, I am learning dependent inversion using small inversions in Coq. Theorem proving is such an addictive thing.

2

0

10

Mukesh Tiwari

@mukesh_tiwari

9 months

Here is a proof in Lean [1]; it relies on 'ring' tactic but at cost of few step, we can get rid of it. [1]

Sam Graf

@graf_paper

9 months

I love this identity and have been collecting proofs of it for some time. It's simple enough that a variety of proof strategies work to solve it in non trivial ways :)

3

2

4

1

10

Mukesh Tiwari

@mukesh_tiwari

2 years

Yep, it truly matters where is your starting line compared to others when you begin your race.

Read Let This Radicalize You

@JoshuaPHilll

2 years

Wow, such powerful bootstraps!

556

24K

137K

1

3

9

Mukesh Tiwari

@mukesh_tiwari

4 years

@drussellpsych @SwagatikaDash28 @JoRobinson_Aus @AcademicChatter One of the biggest trait of a good supervisor is not leaving you alone during the difficult times. For example, during my PhD I faced many difficult problems and I could not think of any solution.

1

10

Mukesh Tiwari

@mukesh_tiwari

2 years

The train I am travelling right now with my mom to Varanasi. All these people going to Varanasi to take a dip in Ganges, holy river for Hindus, tomorrow for a festival. Unfortunately, I was not aware and booked a ticket for today and now I am regretting it.

1

0

9

Mukesh Tiwari

@mukesh_tiwari

8 months

It feels good when people understand that using theorem prover to verify something is difficult, specially if you’re solving a real-world software (yes, real-world). No, I could not make it final faculty interview but transparency in Scandinavia is crazy :)

1

0

10

Mukesh Tiwari

@mukesh_tiwari

9 months

It is a very practical work, basically getting certified OCaml code, that can be used in a real-world applications, from Coq code.

0

10

Mukesh Tiwari

@mukesh_tiwari

3 years

I just don't want to do anything and go home. It's almost 4 years I have seen my family :(.

0

8

Mukesh Tiwari

@mukesh_tiwari

4 years

I have a crypto joke which is indistinguishable from any non-joke, so there is a no point of telling it.

1

7

Mukesh Tiwari

@mukesh_tiwari

1 year

Formal verification as a service: you write your Coq —pick a any tool you like— code and the top level theorem and let the service prove it. I will be happy to pay for it.

2

0

7

Mukesh Tiwari

@mukesh_tiwari

4 years

You would never see that your code has bugs until you try to prove it. Theorem provers really help you in navigating some remote corners, which otherwise would be very difficult (almost next to impossible). I always get this feeling when I am trying to prove something.

0

1

9

Mukesh Tiwari

@mukesh_tiwari

4 years

Mallacoota diaries

1

0

9

Mukesh Tiwari

@mukesh_tiwari

2 years

I open sourced one my Coq projects [1] about computing group generators in a verifiable way (FIPS 186-4 A.2.3 and A.2.4) [1], useful for may application but my motivation is voting. [1]

1

4

9

Mukesh Tiwari

@mukesh_tiwari

11 months

Hearing that quotient types are hard in Coq vs actually dealing with quotient types.

The PhD Place

@ThePhDPlace

11 months

Thinking about doing a PhD vs actually doing a PhD

44

1K

6K

0

9

Mukesh Tiwari

@mukesh_tiwari

11 months

Is there any work where someone has formalised a differential privacy algorithm in Coq and extracted OCaml from the Coq formalisation and ran the extracted code on some dataset?

0

3

8

Mukesh Tiwari

@mukesh_tiwari

2 years

@ShriramKMurthi

0

1

9

Mukesh Tiwari

@mukesh_tiwari

2 years

9:30 pm Cambridge

1

0

9

Mukesh Tiwari

@mukesh_tiwari

1 year

@zhendongsu Is it because PLDI want to continue as a flagship conference with 17% acceptance rate?

2

0

9

Mukesh Tiwari

@mukesh_tiwari

2 years

Good bye Sematar. Hope to see you again next year.

0

9

Mukesh Tiwari

@mukesh_tiwari

2 years

I happen to meet a big professor today who is charging 80k USD per week for coming up with invariant for smart contract for many solidity contracts. He tried to hire many people in audience bit everyone was vocal against cryptocurrency

1

7

Mukesh Tiwari

@mukesh_tiwari

10 months

Possibly run by a logician who could not make their ends meet doing logic :)

0

7

Mukesh Tiwari

@mukesh_tiwari

2 years

Bay of fires, Tasmania

1

0

8