Omkar Zade

Software Engineer. MSc CS ETH Zurich. Ex @amazon.

[Omkar Zade @OmkarZ96]

Don’t know how to explain it, but this is quintessential LP 💯🤘 https://t.co/FxERMrK9Hd

[Omkar Zade @OmkarZ96]

The single biggest problem in communication is the illusion that it has taken place.

[Omkar Zade @OmkarZ96]

@WannabeLurker @sdw @saurabhg Wasn’t aware of ShellFish, thanks for the recommendation!

[European Space Agency @esa]

5,4,3,2,1 allumage Vulcain! 🚀

Relive the moment the first Ariane 6 launched from @EuropeSpacePort, French Guiana 👇

🔊Turn the sound all the way UP ⬆️ #GoAriane!

[Omkar Zade @OmkarZ96]

"Think of SQLite not as a replacement for Oracle but as a replacement for fopen()"
https://t.co/lB9TZQ4GBk

New favorite open-source library unlocked -- great documentation too.

[Omkar Zade @OmkarZ96]

@levelsio Ah yes, semiconductors from ASML based in Veldhoven, Netherlands, China

[Omkar Zade @OmkarZ96]

https://t.co/GYm39ZoXan wow, wtf.

[Omkar Zade @OmkarZ96]

La résistance

[Omkar Zade @OmkarZ96]

https://t.co/GzbkltWYDo

[Omkar Zade @OmkarZ96]

@MsSarahET @memecrashes Now we can instantiate x and y in your definition with terms from this algebra, and prove your statement by structural induction on the definition of equality.

[Omkar Zade @OmkarZ96]

@MsSarahET @memecrashes A constant symbol is only equal syntactically to other constant.
Variables are equal if they are bound to same values.
f(c1,c2,..)=g(k1,k2,..) iff f=g and c1=k1, c2=k2..
Expressions are equal if their evaluation is equal. eval() can be defined recursively over the datatype

[Omkar Zade @OmkarZ96]

@wiildwoodflower So true

[Omkar Zade @OmkarZ96]

@zina_s0 Thank youu 🤍🤍

[Omkar Zade @OmkarZ96]

I’m allowed to bring a one page summary to the exam proud of how much i was able to pack in

[Omkar Zade @OmkarZ96]

"The determination of such truths or truth is, according to Descartes, to be reached by Analysis. The Philosophical Procedure of Descartes is thus, in the first instance, Analytic."

[Omkar Zade @OmkarZ96]

i'm sorry but i'm not thinking about the roman empire on a daily basis. I'm instead contemplating rené descartes' «discours de la méthode»

[Omkar Zade @OmkarZ96]

"The end of Scientific Method in general is, the determination of individual truths in this and that matter, the elaboration of these into classes, and the binding them up into system."

[Omkar Zade @OmkarZ96]

@WarrenInTheBuff Bro discovered functional programming