Minikotlin

(minikotlin.run)

98 points | by frizlab 4 hours ago

14 comments

  • davidjfelix 3 hours ago
    Visibly claude produced website. No link to code.

    Is the expectation that people write kotlin in their browser? How do people work this into their development workflow? Is this just a neat demo?

    • kreco 3 hours ago
      I was expecting a a link to the source code after the "written in C".
    • pelagicAustral 2 hours ago
      Its got that Claude Design thing about it, but it's pleasant, I don't mind the generated designs at all...
    • f311a 3 hours ago
      Yeah, I hate the LLM wording too
      • fishfasell 1 hour ago
        This is one thing I can't stand about current LLMs. I can't put my finger on it but AI written English is so obvious
        • nozzlegear 1 hour ago
          Its the uncanny valley. There's just something about it as a whole that makes it seem obviously not human.
  • wavemode 2 hours ago
    > One pass, all the way down to bytecode

    > hands off to two of its own IRs before writing WASM-GC by hand

    So it's not "one pass" lol. Do you know what a pass is?

    Not that it matters - this AI is claiming "one pass" as though that's a good thing, but it's usually not. One-pass compilers can't typecheck forward references.

    • RetroTechie 1 hour ago
      Also, it's only "by hand" if you, the developer, writes it. In this case:

      "The frontend — lexer, parser, semantic analysis (it’s called mkf) — hands off to two of its own IRs before writing WASM-GC by hand."

      So those frontend tools do the writing, not the developer?

      That's not "by hand". One might say "writes WASM-GC directly". But no that also doesn't happen, it goes through an IR first?

      Personally I wouldn't put too much trust in a developer that even can't get their terminology correct. Well either that or I foobar'd my understanding of the writeup?

      Anyway, looks like an interesting project.

      • stronglikedan 18 minutes ago
        'by hand' is probably the AI anthropomorphizing itself
  • montroser 3 hours ago
    This is very cool! Slightly off-topic though, I miss technical people writing in their own voice about the awesome things they've built.
    • applfanboysbgon 3 hours ago
      Chances are they aren't a technical person and didn't build it, so wouldn't have anything interesting to say anyways. Web compilers are dime-a-dozen and LLMs can easily produce them with no active guidance. Very much in the training data[1]. This looks like just another person posting something they spent all of two minutes prompting.

      [1] https://github.com/JetBrains/kotlin-playground

      • themgt 3 hours ago
        So, is there a reason that your link to the official playground is dramatically more underwhelming and lacking in features compared to the from-scratch-in-C Minikotlin compiler page? You claim that the submission is uninteresting work from a lone non-technical rando and then link to / implicitly endorse a "hello world" repo from the multi-billion dollar corporation that runs the whole thing?
        • ande-mnoc 2 hours ago
          The Kotlin/WASM work is in the main repo. This submission has no source code and barely any technical detail.
        • applfanboysbgon 2 hours ago
          The JetBrains team didn't feel like prompting for a Claude UI to go with their project they wrote by hand 8 years ago, I suppose. Are you really that impressed with stock LLM-generated UI?

          Note the JetBrains playground includes features that are actually useful for a code playground, letting you configure compiler version and flags, which is likely more relevant than a faux-IDE UI for the use cases people use playgrounds for. It also supports importing packages, while this doesn't. This doesn't seem like a human even attempted to use it for anything, otherwise they would have realised how lacking it is. Unfortunately it seems like people who prompt slop can't be bothered to dogfood it... or maybe pigfood it?

          "From scratch in C" means literally nothing here. LLMs can output C too. It may or may not be safe, efficient C, but writing C that compiles is trivial. Prompting "write it in C" poses no greater difficulty than any other language.

      • fsloth 1 hour ago
        ”Web compilers are dime-a-dozen”

        Oh didn’t know that! What is the best for ”compiles to wasm in browser” featureset?

  • gavinray 3 hours ago
    Seems to be missing the "why" over Kotlins native WASM support (which is very mature)

    The official Kotlin playground uses WASM, for example (JVM drop down-> choose "WASM")

    https://play.kotlinlang.org

    • esafak 2 hours ago
      I think that compiles WASM in the server, whereas this compiles in the browser.

      I'd challenge the 'by hand' assertion though.

      • LoganDark 1 hour ago
        WASM mode still works with no network, so it can't be relying on the server.
  • ptx 1 hour ago
    The example program they give as a "specimen" doesn't compile unless you specify the generic type of the "lanes" variable explicitly. And the compiler doesn't tell you where the error is. But it does build and run once you change it to "listOf<Lane>".

    (The program builds as-is in the Kotlin Playground, at least for the JVM platform; the other platforms don't seem to have kotlinx.coroutines available.)

  • modulovalue 3 hours ago
    I built something similar, but I managed to compile the Dart VM, its compiler and the static analyzer to wasm using emscripten:

    - repo: https://github.com/modulovalue/dart-live

    - demo: https://modulovalue.com/dart-live/

    It's on my todo list to support compiling dart code through the wasm bundle to wasm directly. Right now it's running the dart arm simulator on the web because it supports hot reload.

    I'm wondering if there are any cool use-cases that motivate having the compiler itself run in wasm. I did it mostly for fun and besides building tooling for compiler developers themselves or IDEs, I can't come up with much.

    There was one guy that wanted a sandboxed environment for agents as he couldn't find anything else. A few other people used the dart live project to build playgrounds for their own packages.

    Who's the target audience for minikotlin? I'm just curious.

    In any case, cool project, thanks for sharing!

  • Jtarii 2 hours ago
    Really looking forward to when we advance past the "Design — by Claude" phase.
    • netdur 2 hours ago
      Perhaps never, Claude will just be replaced by something else, and eventually we’ll have the Amish of AI
  • mavamaarten 3 hours ago
    That's cool. I often write tiny blurbs of kotlin just to test out a simple algorithm. I often do this on kotlin playground because doing so inside a scratch file or test is somehow more cumbersome and slow. This ran and compiled something in 98ms on my smartphone, cool stuff.
  • rf15 1 hour ago
    This is so clearly all LLM-generated, it hurts. That coverage page in particular is seemingly nonsense.

    also check out his similar work, https://miniswift.run/ which has the same issues.

  • thibaut_barrere 1 hour ago
    It feels like we have reached the Turbo Pascal era, but only compiled to the browser.
  • sermah 3 hours ago
    Cool idea. I like the UI and that it compiles locally. But I don't really get what this is for. I use Kotlin Playground sometimes, but it allows me to switch Kotlin versions and compile targets, which is useful to try out new features.
  • bmiekre 2 hours ago
    Why do this?
  • dionian 2 hours ago
    would be cool if it worked with a more powerful language like scala