OneMoreIdol

Carlos Slim can't solve anything in Cuba. The problem with Cuba's connectivity is not the economic embargo nor is it technology (Chinese companies can supply everything needed for that). The problem is entirely political and cultural. The regime is already on thin ice, as over 2 million Cubans have access to the state-controlled internet (like clubs or through cafes) or a cell phone.

Where are the lectures?

It's easy to me: the code is the part of the computer which can't be grabbed or slammed but only crushed.

That's why I crush it. I crush code.

Indeed we agree. Using any ffi for that matter.

That's kinda what I was thinking when I commented, and there are sure to be exceptions. But I don't see anything different with your Snabb switch example. You can probably use Java and JNI for that matter to call mmap, but would you be able to write an implementation of mmap in LuaJIT ?

Outside of userland tasks like file manipulation, it is impractical to use the popular web application languages like Java or scripting languages such as Javascript or PHP or Python for systems programming without employing interfaces or hooks to libraries or programs written in languages that are compiled to machine code, simply because programs in those languages are commonly deployed using virtual machines or interpreters that have only userland privileges. So good luck writing a driver. And I don't know ... if your vm has heap allocated to it, are you able to address system memory out side of that to address hardware? Also, the language runtimes usually add a lot of overhead as well and employ automatic garbage collection, which is generally something you don't want in performance-critical systems.

This is actually a valid proof technique with finite cases. This is known as a Proof by Exhaustion.