Live data from Hacker News

Viewing profile — j-o-m

j-o-m

HN member
Joined
Wed, Dec 24, 2025, 10:33 PM UTC
HN karma
7
Public activity
5 items

About j-o-m

non-full time developer, Type Theory and Programming Language enjoy-er, developer of Multi-Modal, Dependently Typed language developer

Recent public activity

  1. comment
    Comment #46579329

    Not particularly inspired by the array languages in general. I do like the idea of a specifics DSL or library that is built from the ground up for ‘vector’ operations (Futhark woul…

  2. comment
    Comment #46578845

    Working on finally releasing the programming language I’ve been working on for quite a while. I’m setting up the basic site, which is not a huge deal, but I’ve been inspired by mor…

  3. comment
    Comment #46382463

    That is true, there is a lot of emphasis being placed on his post as though it were the embodiment of Microsoft’s goals and policies going forward. I was a little surprised that he…

  4. comment
    Comment #46382347

    I don’t understand this view point. How is anyone reading ‘way too much’ into the post based on what’s being discussed in this thread. A senior engineer leading a team at Microsoft…

  5. comment
    Comment #46380296

    I find the real question: are all 16,000 of those lines require to implement the optimization? How much of that is dealing with LLVM’s internal representation and the varying compl…