iamrecursion

5 ms·

1.
by iamrecursion 2mo ago
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 lakefiles are a good example of this, with a TOML format
2.
by iamrecursion 1y ago
It is unfortunately not possible to have a Base exist without its own file, even if they can be embedded using the standard `![[]]` syntax.
3.
by iamrecursion 6y ago
It says this at the top!
4.
by iamrecursion 6y ago
I’m very curious as to what you’re working on. Is the language open source?
5.
by iamrecursion 6y ago
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.
6.
by iamrecursion 7y ago
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 by The Void Trilogy and then The Chronicle of the Fallers, al
7.
by iamrecursion 7y ago
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 and informative channel with high production values, if you’
8.
by iamrecursion 7y ago
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 me with a side business that nets a tidy bit of income. It’s
9.
by iamrecursion 7y ago
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 Idris successor, Blodwen [1] is being based on it. [0] htt
10.
by iamrecursion 7y ago
While I do use an Apple Watch, I can second the build quality of Withings’ products. I also use their scales!
11.
by iamrecursion 8y ago
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.
12.
by iamrecursion 8y ago
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 now.
13.
by iamrecursion 8y ago
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 thought about performance from the start we might’ve saved q
14.
by iamrecursion 8y ago
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.
15.
by iamrecursion 8y ago
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. While data-analysis is our focus at the moment, that isn’t due
16.
by iamrecursion 8y ago
The language core has been completely re-written, almost from scratch, with performance as an explicit goal.
17.
by iamrecursion 8y ago
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.
18.
by iamrecursion 8y ago
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!
19.
by iamrecursion 8y ago
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.
20.
by iamrecursion 8y ago
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 (BaseGL) for performance.
21.
by iamrecursion 8y ago
Brilliant! That’s a really great set of pointers - we’ll take those on board!
22.
by iamrecursion 8y ago
To contextualise this, it used to take minutes rather than seconds to load, typecheck and compute this project.
23.
by iamrecursion 8y ago
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.
24.
by iamrecursion 8y ago
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 and answer questions where I can! [0] https://lu
25.
by iamrecursion 8y ago
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 syntax. It would be possible, perhaps, to use some of the mach
26.
Luna (Programming Language) Hits Its 1.0 Beta Release(luna-lang.org)
6 points by iamrecursion 9y ago|0 comments
27.
by iamrecursion 9y ago
This has some beautiful and magical synchronicities in it.
28.
by iamrecursion 9y ago
I should add that something like FStar [0] combines the capabilities of automated theorem proving and a more manual-proof-based dependent type system like that in Idris. It doesn’t have some of the power of Idris’ elaborator reflection, for
29.
by iamrecursion 9y ago
That’s not strictly true. You can malloc an m*n sized array and then assign to another array the pointer to the head of each column, allowing you standard style indexing.
30.
by iamrecursion 9y ago
I have to appreciate the humour this shows. All in the name of progress, and it certainly made me laugh. SpaceX has somehow managed to turn landing a booster from space into something almost mundane, but it bears remembering the failures th

More ›