hisham_hm

9 ms·

1.
by hisham_hm 1y ago
"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 "transpiler" is somewhat sneered at. A
2.
by hisham_hm 1y ago
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 are bivariant, to allow for callbacks expressed the way pr
3.
by hisham_hm 1y ago
it's a three element tuple.
4.
by hisham_hm 1y ago
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 orthogonality than for a practical need.
5.
by hisham_hm 1y ago
Please try again, shouldn't be happening, hopefully!
6.
by hisham_hm 1y ago
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 messages in stack traces match the input lines wi
7.
by hisham_hm 1y ago
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 Lua code. One that comes to mind is https://lrocket
8.
by hisham_hm 1y ago
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 generation.
9.
by hisham_hm 1y ago
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 different Lua versions, and allows using the compat53 library be
10.
by hisham_hm 3y ago
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 protocol would require a new card, but hey... we're just havi
11.
by hisham_hm 4y ago
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 example, there's a similar list of "bubble
12.
by hisham_hm 5y ago
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.
13.
by hisham_hm 5y ago
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 social media. I remember the same thing happening with Twitte
14.
by hisham_hm 5y ago
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 overstated, especially when one considers the globa
15.
by hisham_hm 5y ago
what does APT mean in this context? thank you!
16.
by hisham_hm 6y ago
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, and induce a parallel between them and bitcoin — hi
17.
by hisham_hm 6y ago
The whole "horses vs. cars" argument is based on a false dichotomy: the are not only these two options for transportation.
18.
by hisham_hm 6y ago
Thank you! Appreciate the words of encouragement! :)
19.
by hisham_hm 6y ago
> 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 <3 types!), but, just to clarify, Teal does support hybrid Lua/Teal codebases well, by
20.
by hisham_hm 6y ago
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 as other experiences working with large Lua codebases. We&#x
21.
by hisham_hm 6y ago
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 the language, but of the implementation. There have
22.
by hisham_hm 6y ago
There's a difference between committing to your local tree and pushing it to others. You can always cleanup before pushing.
23.
by hisham_hm 6y ago
> 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. Uninstalling is a mere "rm -rf /Programs/Progra
24.
by hisham_hm 6y ago
> 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 how Homebrew has become this super-popular
25.
by hisham_hm 6y ago
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 full OS out of this". I would say Gobo and Ni
26.
by hisham_hm 6y ago
Hi! One of the creators of the distro here! (Super surprised it made it to HN, someone just sent me a heads up!) > Isn't this what /opt is for though? Pretty much yes; the idea was "/opt all the things!" (well, b
27.
by hisham_hm 6y ago
> Sure, that was my point: s:sub(#s-2,#s-1) != s:sub(-2,-1) — if # works on s at all :) And why would they ever be the same? Writing "#s-2" you're treating -2 as a relative _offset_, not an index. > Basically, some thin
28.
by hisham_hm 6y ago
> So is l[len(l) - 1] == l[-1] in those contexts? No, because Lua is 1-based :) The last element is l[#l] (#l is "length of l"). Negative indices aren't really used in arrays, but are used in the string library, so given s
29.
by hisham_hm 6y ago
> I personally DO use Lua sometimes to code general purpose stuff. Speaking of general purpose application programming, you might be interested in my new(ish) project Teal: https://github.com/teal-language/tl It&#x2
30.
by hisham_hm 6y ago
And credit where credit's due, Rust got into that inspired by Elm.

More ›