Viewing profile — henryluo

Yes, I thought of this issue when I name it Lambda. But I like the name 'Lambda'. Once get over the initial stage, Lambda will be easy for people to remember.

Quint is an interesting lang, and the concept of 'executable spec' is definitely the direction to go in the age of AI vibe coding. And the language, Lambda, that I designed and imp…

thanks. As for the performance, I'm standing on the shoulder of great tools like MIR JIT compiler.

Lambda's PDF support is still very limited at moment. I do plan to enhance it in next release.

Glad to hear that. Note that the language is still being developed, and there're bugs here and there. So bear with those bugs. But it should be fun to try it out.

Hope it will change the way people work with data and documents.

While Lambda still has a pretty static GUI at the moment. My plan is to build it into a fully interactive, editable UI on all kinds of document data.

What's your tool chain for data and document processing? - jq is great, but limited to JSON; and jQuery limited to HTML; templating systems get messy for non-trivial logic; TypeScr…

As for the ' ' to open and close an element, there are two potential kinds of syntax design. Option 1 is to use some explicit delimiters. Mark 1.0 has settled on ' '. Mark 0.11 was…

A new notation by itself won't be useful. It's the tool stack, the eco system around it that matters. That's why I'm building beyond that the format itself. I'm building the schema…

Here's the XKCD 927 post from last beta release: https://news.ycombinator.com/item?id=16308803

Yes, it's a must! Have that posted in the 0.11 beta release as well. :-)

Glad you like it. I have bigger plan for what's currently released. My next goal is to unify the schema of all those data formats, like JSON, XML, HTML, etc. And make the new Mark …

Glad to see your comment. Not sure I get you right. I also do not like many data notations and formats floating around. I hope there's one notation that can unify all the data that…

Author of Mark Notation here. Mark is a unified notation for both object and markup data, combining the best of JSON, HTML, and XML with a clean syntax and succinct data model. I'm…

"When the way of code is abandoned, doctrines of ‘best practices’ and ‘standards’ appear. When intuition is dismissed, cleverness and pretense follow. When harmony is unnoticed, ru…

Do you agree to Linus Torvalds that “Visual Basic did more for programming than Object-Oriented Languages did”?

Fake traffic, and spam everywhere. A constant war for all public content and services.

Nice to see different architecture styles compared side-by-side in one concise table.

A lightweight 2D graphics library for rendering texts, geometries, and images with high-performance APIs that work across various platforms. Its main objective is to offer a compel…

It will work out to some extent at the beginning, but will encounter the Law of Diminishing Returns, and will saturate and flat out eventually.