tl VS koreader

it's based off MIR, does it have something to do with https://mlir.llvm.org/ ?

for typed lua, there is another effort https://github.com/teal-language/tl in addition to the mentioned typescript approach: https://github.com/andremm/typedlua

I had the pleasure of working with Lua 5.1 back in the late noughties. For me it's replaced Tcl whenever I want something I can configure above a C library. At the time I used it I found it quite nice but I'll also not forget the hours I wasted tracking down nil table corruptions which could have easily been caught by a type checker.

I had some hope that Luau https://luau-lang.org or Teal https://github.com/teal-language/tl would make things better but with the following example

    function foo(x: number): string

I wonder why the author doesn't use Teal [0] - a typed dialect of lua.

[O] https://github.com/teal-language/tl

Check out Teal

There is already https://github.com/teal-language/tl, which is typed Lua. I think fennel exists to serve a different niche-- personally I use it not for any type features; I just like the syntax better, and others may find certain features like the macro system useful.

There's also some languages made to compile straight to Lua: - MoonScript is the most popular Lua wrapper - it's built to be more Python-like, featuring indentation-based scopes, function calls without parentheses, lambda syntax, list comprehension, and much more. - Yuescript is a modern update to MoonScript that adds more features (I haven't used it myself, so I'm not entirely sure exactly how it differs from MS). - Teal is a version of Lua that adds static typing for better code standards.

Terra and Nelua are both very different in goals than Teal. Teal is literally gradual types integrated into Lua keeping as many of Lua's idioms as possible (to a fault[1]). Terra and Nelua are both very metaprogrammable systems programming languages. Nelua's goals are primarily to soften C's rough edges, comparable to something like Nim.

There's another one you missed in Pallene[2]. But again, it's goal was to optimize the stack sharing involved in using the C API. It also adds types though and maintains Lua idioms as much as possible.

[1]: https://github.com/teal-language/tl/discussions/339

[2]: https://github.com/pallene-lang/pallene

Kobos[1] and Pocketbooks[2] are a lot more open than Kindles. AFAIK you can transfer .epub files into both devices and these epubs are perfectly readable via the stock OS. If for some reason you find the stock proprietary OS lacking, you can install an open source one like KOreader [3] or Plato[4]

Of course you want a good way of organizing epubs pdfs mobi, and like has already been mentioned Calibre[5] is a great option.

[1]https://www.kobo.com/

[2]https://pocketbookstore.com/en-ca

[3]https://github.com/koreader/koreader

[4]https://github.com/baskerville/plato

[5]https://calibre-ebook.com/

[2]: https://github.com/koreader/koreader/wiki/Dictionary-support...

Oh man I absolutely love the work that you guys do. I'm actually in the process of learning Ebook production using the 'Step by Step' guide on your website. I'm essentially learning it all from scratch as I have little to no programming/SWE experience (I learned a bit of Lua because of KOReader[1]) but the technical side of ebook production has always fascinated me enough to keep learning.

[1] https://github.com/koreader/koreader

Ha! I feel similarly, if not as eloquently.

Installed https://github.com/koreader/koreader on mine + enabled SSH server.

I read that KOreader is unstable on the Libra 2[0], so I haven’t installed it yet even though I would like to. What has been your experience running it?

[0] https://github.com/koreader/koreader/issues/8414

You can easily modify it (like adding KOReader).

I'm using Kobo Clara 2E (6" screen size), and it is unpleasant to read PDF and CBZ files (comic/manga) since Kobo only provides zoom and orientation mode. I installed KOReader on my Kobo. It has more setup to display those files way better. The views of PDF in KOReader and Comic in Koreader. I read Epub files in Koreader to maintain its original format.

I installed KOReader on my Kobo Clara 2E. KOReader is a document viewer to read PDFs and manga/comics. KOReader has more setup to display fixed-layout format in a way that is better than the native Kobo display (Kobo stock).

It doesn't try to solve the same use cases that Calibre does, but I built an open source (EPUB only) manager / reader / statistics tracker called AnthoLume [0]. It mostly stemmed from me reading in KOReader [1] on my Kindle, and not having the ability to sync the progress to my iPhone / iPad.

It's got metadata matching, support for multiple users, and statistics tracking which allows me to have a "Leaderboard" that shows how fast you read (words per minute). Fun competition between my wife and I (that I'm 100% losing). It's a Progressive Web App and utilizes a Service Worker to support 100% offline reading as well.

There's a demo server [2] (creds are "demo" for both user & pass).

[0] https://gitea.va.reichard.io/evan/AnthoLume

[1] http://koreader.rocks/

[2] https://antholume-demo.cloud.reichard.io/