Viewing profile — iamrecursion

I've tended to find a lot of value in systems that have both, especially when there is automatic translation from the simple config to the Turing complete language. Lean 4's lakefi…

It is unfortunately not possible to have a Base exist without its own file, even if they can be embedded using the standard `![[]]` syntax.

It says this at the top!

I’m very curious as to what you’re working on. Is the language open source?

Not at all. There’s an LLVM bitcode interpreter built on top of GraalVM, but the VM itself is heavily reliant on the internals of OpenJDK.

I’ll echo this recommendation. Peter F. Hamilton is firmly my favourite sci-fi author, and that’s a hard spot to take. The Commonwealth Saga (mentioned by the parent) is followed b…

I don’t know if nexuist found out about the Essential Air Service the same way that I did, but I learned about it today from the latest Wendover Productions video [0]. A fantastic …

I run an audio engineering business. At first it was just a project of passion, but years later and a not insignificant investment in gear, software, and other equipment has left m…

A good foundation for such a language would be one based on Quantitative Type Theory [0]. It’s a dependent type theory that records usage information in every typing judgement. The…

While I do use an Apple Watch, I can second the build quality of Withings’ products. I also use their scales!

This is a beautifully designed site. It manages to tell a coherent narrative in such an engaging way. It’s lovely! It made me smile to see your wedding venue. It’s a lovely place.

In a couple of words: not yet. Metaprogramming is definitely on our radar, and we have had some internal discussions regarding it, but it’s not one of the top-priority items right …

To be blunt, performance is much more important than you think, even when building a proof of concept. We used the PoC code for much longer than was initially intended, and had we …

Can you expand more on what you mean here? We currently have a work-in-progress library for binding to Postgres, but I have the feeling that isn’t quite what you’re getting at.

Luna is very much a general-purpose programming language! We’re working on developing both the language and the libraries ecosystem until you can use it for whatever you’d like. Wh…

The language core has been completely re-written, almost from scratch, with performance as an explicit goal.

The only news I can give you at the moment is that it’s still definitely planned! We’re hoping to work on it once we finish our performance improvement and new GUI work.

We’ve been very careful to base the editor on web technologies, and browser-based Luna is definitely on the cards once we finish the new GUI!

We should be getting both our Mac and Windows developer certificates this week. I’m really sorry for the inconvenience - it should be fixed by the time of the next release.

Oh, I understand what you mean now. My mistake! It is all displayed on Canvas at this point, which does go through JavaScript. We’re actually moving to our own WebGL-based canvas (…

Brilliant! That’s a really great set of pointers - we’ll take those on board!

To contextualise this, it used to take minutes rather than seconds to load, typecheck and compute this project.

Thanks for the feedback! We’ll give our README files a bit of a once-over and see if we can communicate more of the ‘wow’ factor.

Ara here! I’m one of the compiler engineers on Luna! We’ve just released our 1.4 performance update at [0], and Luna is now immeasurably more quick! I’ll keep an eye on this thread…

Unfortunately not! The graph in Luna isn’t an external visualisation of parts of the data flow, but an explicit alternate syntax for the Luna AST. It’s isomorphic to the textual sy…