Karthik Ravikanti

Rust at $job, Rust and Haskell at home. Opinions my own.
Also at
@[email protected]
@[email protected]
@[email protected]

[Karthik Ravikanti @plumenator]

@_filtra Singapore doesn't work as a location on the profile form. Could you please take a look?

[Karthik Ravikanti @plumenator]

@mnvrth @enteio Are you hiring, by chance?

[Karthik Ravikanti @plumenator]

@xk6lc @tyomateee2 「呼んだ？」

[Karthik Ravikanti @plumenator]

@evie_fp @edude03

[ThePrimeagen @ThePrimeagen]

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!!

[Karthik Ravikanti @plumenator]

@taniadl @r_l_mark @maggiesmithpoet Dang. This has only made me feel even more scared. Different strokes, eh?

[LambdaDuck @Anka213]

@GabriellaG439 On how it does more harm than good to artists:

[Type Theory Forall @ttforall]

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.
https://t.co/zAgVu2rqzY

[Karthik Ravikanti @plumenator]

@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.

[Karthik Ravikanti @plumenator]

@chrilves @GabriellaG439 Don't you mean imperative? Or am I misunderstanding the terms?

[C++Now @cppnow]

Iterators and Ranges: Comparing C++ to D to Rust - Barry Revzin - [CppNow 2021]

https://t.co/0KIOp3Gc4Z

#CppNow #cplusplus #cpp

[Sibin @sibinmohan]

This is so f*cking cool!

https://t.co/0LV0ujsIgO

[Karthik Ravikanti @plumenator]

@Meetup How can I make https://t.co/0geYEAUrb7 display event times in my local time zone? The Android app already does that.

[Karthik Ravikanti @plumenator]

@LiquidSloshalot @kubukoz https://t.co/Umm79aaaif

[Karthik Ravikanti @plumenator]

@plragde Wow. these expanded notes are awesome!

[Karthik Ravikanti @plumenator]

@plragde Thanks!

[Karthik Ravikanti @plumenator]

@plragde Btw, https://t.co/DkXCYjpGLh gives me a 403 now.

[Jani Eväkallio @jevakallio]

Evaluating a software engineer using leetcode algos is like evaluating a journalist by making them solve last Sunday's crossword

[Karthik Ravikanti @plumenator]

@scala_base any chance that the talks will be uploaded to YouTube?

[Karthik Ravikanti @plumenator]

@jsatk @travisbrown I see what you mean. Recursion feels _technically_ correct (because proof by induction), but loops (actually visualization, really) feels _apparently_ correct.