Karthik Ravikanti

828 posts

Karthik Ravikanti

Karthik Ravikanti

@plumenator

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

Singapore Katılım Mayıs 2009
5.1K Takip Edilen393 Takipçiler
Karthik Ravikanti
Karthik Ravikanti@plumenator·
@_filtra Singapore doesn't work as a location on the profile form. Could you please take a look?
English
0
0
0
24
Manav Rathi
Manav Rathi@mnvrth·
💚 My seat in @enteio 's lovely new office ☺️
Manav Rathi tweet media
English
1
0
6
267
もふもふ動画
もふもふ動画@tyomateee2·
フクロウが地面を走る瞬間が撮影され話題に これは初めて見た…
もふもふ動画 tweet media
日本語
133
5.5K
77.9K
0
Evie
Evie@evie_fp·
One thing keeping me off trying out Rust is the last time I tried, I had a not fun time getting cargo to play nice with nix. Is there a blog post or something on doing rust on nix?
English
5
1
5
0
Karthik Ravikanti retweetledi
ThePrimeagen
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!!
English
10
33
152
0
Tania Kliphuis 🇿🇦
Every now and again, I read the news and feel terrified for my kids’ future. In those moments, I turn to this completely beautiful @maggiesmithpoet poem. PS. My kids are amazing and totally make the world more beautiful. 🌍
Tania Kliphuis 🇿🇦 tweet media
English
5
48
335
0
Karthik Ravikanti retweetledi
Type Theory Forall
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. open.spotify.com/episode/19zHqs…
English
0
11
30
0
Karthik Ravikanti
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.
English
0
0
0
0
Christophe Calvès 0451
Christophe Calvès 0451@chrilves·
@plumenator @GabriellaG439 I've seen more people in Rust using "procedural" rather than "imperative" so I used it. I'm not sure how they differ though. Apparently: procedural = imperative + procedures. But i'm really not sure.
English
1
0
0
0
gabby
gabby@GabriellaG439·
Even though I'm a functional programming maximalist, I'll make an exception for Rust
gabby tweet media
English
8
76
543
0
Christophe Calvès 0451
Christophe Calvès 0451@chrilves·
@GabriellaG439 I find it amazing in Rust that functional techniques such as ADTs, type classes, lambdas, etc are used, not to enable functional programming style, but to improve procedural style.
English
1
0
1
0
Ryan / Sloshy sometimes
Ryan / Sloshy sometimes@LiquidSloshalot·
@kubukoz You must let me know if there is ever a T-shirt with "it's always traverse" on it, if you ever find/make one.
English
1
0
1
0
Jakub Kozłowski
Jakub Kozłowski@kubukoz·
that one time it's *not* traverse (or when someone calls it foreach)
Jakub Kozłowski tweet media
English
1
1
16
0
Karthik Ravikanti retweetledi
Jani Eväkallio
Jani Eväkallio@jevakallio·
Evaluating a software engineer using leetcode algos is like evaluating a journalist by making them solve last Sunday's crossword
English
19
221
1.7K
0
Karthik Ravikanti
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.
English
0
0
0
0