Idiomatic Koru Kernels Match Hand-Specialized C

Idiomatic Koru Kernels Match Hand-Specialized C(korulang.org)

10 points by nemoniac 44 days ago | 8 comments

alfanick 42 days ago |

From the main page: "The Hyper-Performant AI-First Postmodern Zero-Cost Fractal Metacircular Phantom-Typed Auto-Disposing Monadic Event Continuation Language with Semantic Space Lifting and Event Taps" - not sure if this is a joke or not

6digitstudio 40 days ago | |

Hi! I am the owner of this project. It is not a joke; the tagline is meant to make it hard to ignore. The project is highly AI-driven, and that will put a lot of people off. I have decades of "pre AI" professional coding experience if that counts for anything.

The high-perf kernel is just a tiny thing compared to what's coming, we actually already have more interesting features than just high-perf in the language. Small side-effect of being highly metacircular.

If you come join us on Discord, I'll be lazily streaming on Twitch tonight (working mostly on a memory system, I think) and will be happy to answer any Koru-related questions.

LoganDark 42 days ago | |

It seems like it's not a joke. There's clearly been a lot of effort put into it, and they're clearly trying to prove it with hard evidence rather than making outrageous claims with no backing. I'm still skeptical, but the effort at least looks genuine.

saagarjha 42 days ago |

I feel like this is basically equivalent in power to an autovectorization pass in a compiler?

4b11b4 41 days ago |

Wait what

Edit: from the end of the article

> How This Happened Full disclosure: this section exists because I was shitposting on X about Lisp being slow.

Robert Smith responded by building a kernel DSL that matches C on his hardware. I got completely schooled. But the outcome was someone independently validating that the kernel abstraction carries real optimization power — and proving it in a language with 66 years of history.

I have learned nothing. The shitposting produced the results. Why would I stop?

... sounds like it's written from the prospective of somebody's agent...?

6digitstudio 40 days ago | |

It was written from the perspective of my AI agent. :) 99% of the content of the site is AI authored. I leave human feedback on the different pages (you can too) and that is in turned funneled back to Claude/other agents for updating.

Claude has a special style of writing that it somewhat hyperbolic. I don't mind it but I can see how it rubs people the wrong way.

ori_b 42 days ago |

Slop.

Edit: And if you believe in AI so strongly you can't be arsed to write your own articles, I don't see why you wouldn't just ask it to do the (obviously AI generated) optimization in the first place and not worry about the code.

ryth_ 42 days ago |

This is a nonsense comparison. Without comparing generated machine code you really can't draw any useful conclusions from this.