Viewing profile — hisham_hm

"Transpiler" is a common term for source-to-source compilers in the industry, but compiler is the more general term (i.e. a transpiler is a kind of compiler). In academia, the term…

Hi, Teal creator here! > How confident are you in the soundness of the type system? I am confident it is not sound! That is by design. A typical example is how function arguments a…

it's a three element tuple.

In our experience, single-element tuples are just never used in practice. There has been some discussion on how to add syntax for them, but I think it's more of a desire for orthog…

Please try again, shouldn't be happening, hopefully!

Teal's output is currently pretty much 1-to-1 with the input apart from removing all of the type information of course. (I've been trying hard to keep it that way so that the error…

Teal creator here! Thank you for the kind words, super happy to see people being productive with it!! On your wishlist items: 1. There are a few third-party projects that bundle Lu…

Teal currenly supports generating code for Lua 5.1 and up, including LuaJIT. There are compiler flags --gen-target and --gen-compat which control various specifics of code generati…

There is also the compat53 library which polyfills most of the missing parts. The Teal compiler has --gen-target and --gen-compat flags which adapts the generated Lua code for diff…

I wonder if it would be possible to make a usable dedicated hardware encryption card for the Apple II using 80s tech. (Of course, it has the downside that upgrading to a new protoc…

Interesting work! I admit I just skimmed the post quickly, so sorry if it's been mentioned already, but: is there a way for users to report/flag bad suggestions? On YouTube, for ex…

Nothing in the list above seems to be a feature adding or changing end-user-visible behavior, they are performance optimizations. They make cp/mv work the same way but faster.

Nothing new here unfortunately: this is pretty much how every story of open source development targeting proprietary platforms end, especially web-based platforms such as *aaS or s…

I can't help being pedantic and reiterating that smartphones with apps and stores existed before the iPhone. Let's not rewrite history. The iPhone's historical importance is overst…

what does APT mean in this context? thank you!

fredfoobar _was_ being facetious. By his comments such as [1] and [2] it's clear that he's trying to attack other things in the world that happen to be both useful and pollutant, a…

The whole "horses vs. cars" argument is based on a false dichotomy: the are not only these two options for transportation.

Thank you! Appreciate the words of encouragement! :)

> The intention is to encourage you to add type annotations to your entire Lua codebase. We definitely like to encourage the use of types (we > A Typed Lua 2.0, if you want to call…

Hi there! Hisham from Teal here. Yeah, Teal was motivated by my experiences developing LuaRocks, the Lua package manager, which is also a significant pure-Lua application, as well …

If you want to be rigorous about computer science terms, calling it "interpreted vs compiled languages" is a misnomer, because being interpreted or compiled is not a property of th…

There's a difference between committing to your local tree and pushing it to others. You can always cleanup before pushing.

> Especially uninstalling stuff installed that way is a horrible pain. That was indeed one of the motivations for GoboLinux after tinkering with hand-compiled software a lot. Unins…

> Sounds a bit like how Homebrew works (or used to, anyway). It's not by accident! In its original docs, Homebrew described itself as package management "the GoboLinux way". Given …

They are contemporaries: GoboLinux is as old as Nix, and older than NixOS. There were other similar ideas around (GNU Stow), but I think Gobo was the first that went "let's make a …