Kaushik Varma

A self proclaimed degenerate but absolutely retarded!

[Kaushik Varma @9thGluon]

@elongatedscrote So, you do prefer your cum deep fried or boiled?

[Kaushik Varma @9thGluon]

@Christo74564184 @RT_com You've hardly seen any reports of him then.

[Kaushik Varma @9thGluon]

@cilibrar @typememetics True but for software development,it does matter.

Because its not about just executing the program(s), its about co-existing with the existing C-ABI, especially the OS APIs for developing applications. A proof-search engine or a theorem proves will not fare well in the long term

[Kaushik Varma @9thGluon]

Noice!

But that's not what I was talking about. Lean4 with its dependent type calculus demands a heavy runtime(in general) and is not ideal for systems programming.
Its important that a lot of things are handled statically so that the runtime can stay minimal & perform well.

I believe when a programming language uses an interaction nets based IR that is programmed specifically for the language and also serves as its abstract machine, it has the potential to achieve good performance without compromising on the flexibility of its expressiveness but that requires substantially more evidence than HVM alone provides.

The entire industry will always put most of its resources into the textual LLVM IR which is primarily meant for C/C++ like languages so its mostly up to the hobbyists to explore this kind of implementation(s). The situation has always been this dire.

[Kaushik Varma @9thGluon]

@onehappyfellow @razzy_ar float for a CAD software and not fixed point arithmetic?

[Kaushik Varma @9thGluon]

@akshaykumar Your mom!

[Kaushik Varma @9thGluon]

In case you didn't know, AI is very well suited to generating porn.

This particular example isn't really setting a good example for the phrase "it will soon RULE"(deepfakes have been around before the current LLMs), come back when you actually have something convincing and stop selling the AI hype, you old man.

[Kaushik Varma @9thGluon]

@mindfuckovich @typememetics except, neither of MMIX or MIX is considered as high level.

[Kaushik Varma @9thGluon]

@xeixeira146866 Alright, I'll stop being lazy and be more explicit. Let me properly rephrase that last part.

"True high-level programming languages let humans express themselves like HUMANS through MATH and not some abstract machine based off of Von Neumann architecture"

[Kaushik Varma @9thGluon]

@effectfully @HSVSphere Haha, noice one!

idk why but I'm not feeling sorry for HSVSphere at all.

[Kaushik Varma @9thGluon]

@zetalyrae GM!

[Kaushik Varma @9thGluon]

@Williamwar49470 @RT_com In Japan, of course.

[Kaushik Varma @9thGluon]

@straceX Cheating?

More like COPING!!!

Clearly we should be considering some seriou alternative but hey, this just werks!

A reminder that John Bakus's ACM award lecture pointed out that available alternatives are very inefficient so we are forced to comply & suck up to this shit show.

[Kaushik Varma @9thGluon]

@jorygraham I am having a brain bad day.

[Kaushik Varma @9thGluon]

@rustishard @nuoji @C3Lang https://t.co/SSH8Z0uOo9

Credit goes to Mr. Manu.

[Kaushik Varma @9thGluon]

@nuoji

[Kaushik Varma @9thGluon]

@zetalyrae soo trve!

[Kaushik Varma @9thGluon]

@zetalyrae Morning, bro!