Koru Language

697 posts

Koru Language banner
Koru Language

Koru Language

@korulang

Postmodern AI-First Hyper-Performant Zero-Cost Fractal Meta-circular Phantom-Typed Monadic Event Continuation Language with Semantic Space Lifting

Katılım Aralık 2025
1.3K Takip Edilen170 Takipçiler
Koru Language
Koru Language@korulang·
@iavins It doesn't necessarily mean that and it is probably wrong. You can rewrite to Rust without Rust being bootstrapped in itself. It's not like you cannot target Rust when it's implemented in OCaml.
English
0
0
0
32
v
v@iavins·
In the early days, Rust was implemented in OCaml That means Rust was the first project to get rewritten in Rust
English
21
22
677
77.6K
Dan Kubb
Dan Kubb@dkubb·
Stop asking “Should we rewrite this project in Rust?” and begin asking “Could an AI rewrite this project in Rust if I wanted?”. The baseline you’d set for an effective rewrite to another language would be the baseline for what you’d need for an AI to effectively manage the project now.
English
2
1
4
362
ThePrimeagen
ThePrimeagen@ThePrimeagen·
I have reviewed the language and really tried to understand this, but I really do not understand this language's purpose other than engineers with too much free time, free tokens, and a marketing budget. I was very excited to read about a language is "agent's first." Its just zig with a touch of java and rust...
Chris Tate@ctatedev

Introducing Zero The programming language for agents. I wanted a systems language that was faster, smaller, and easier for agents to use and repair. Explicit capabilities. JSON diagnostics. Typed safe fixes. Made for agents on day zero.

English
145
22
1.7K
233.1K
Nyx
Nyx@NyxXeres·
@korulang @oxcrowx @TheGingerBill Firstly I would consider the way I use go to be non-standard as I avoid interfaces, do as much as possible to avoid it allocating more. And I’m guessing you have used it mostly for backend benchmarking? Fiber isnt bad I guess. I have some performant data analysis CLIs in Go.
English
1
0
0
11
oxcrow
oxcrow@oxcrowx·
"Odin does not have methods as its design philosophy firmly separates data from code. It is Data Oriented." Go is more Data Oriented than Odin. Hell, C++ is more Data Oriented than Odin. Making it difficult to code by not giving users methods, doesn't make Odin "Data Oriented".
oxcrow tweet media
English
17
2
68
15.5K
Koru Language
Koru Language@korulang·
I am really curious to see any actual examples of this that I can run locally and see what the convenience you're paying for is. When I benchmarked Go last, it was closer to `bun` in TechEmpower-benchmark, it doesn't compare in any way favorably to .NET/Actix. I've almost stopped including it in benchmarks because I don't even think there's a point for hotloop-benchmarks, which is typically where you'd see the "data oriented"-cases we're so focused on pay off, but I might be wrong.
English
1
0
0
16
Nyx
Nyx@NyxXeres·
@korulang @oxcrowx @TheGingerBill I do have cases where I’ve compared go and Odin implementations, and without the ability to shut off the GC it’s not reasonable to assume you can get close to what can be done in C. It’s a heavy runtime in the end. There is a cost to convenience.
English
1
0
0
14
Koru Language
Koru Language@korulang·
@oxcrowx @TheGingerBill Because I am absolutely certain than within the hour we can get the goalpost moved to "Go wasn't really designed to be fast". But I'd love to be wrong here, of course.
English
0
0
0
16
Koru Language
Koru Language@korulang·
@oxcrowx Do you have any reasonable cases with benchmarks to back up your claims? I've never been able to make Go fast (not really, really fast), and I've tried. It is always in our suite when we benchmark high-performance stuff. I would love to see a single case where Go isn't just outright outperformed in any language, Odin included, without breaking a sweat.
English
2
0
1
60
Koru Language
Koru Language@korulang·
@theo This thing is literally pure cancer at this point. I love Claude but I honestly hate Anthropic.
English
0
0
0
442
Theo - t3.gg
Theo - t3.gg@theo·
To prevent "programmatic use", Claude Code may now request webcam access to assure user is present when prompting
Theo - t3.gg tweet media
English
551
172
7.4K
978.1K
Koru Language
Koru Language@korulang·
@devabram The problem is that there is literally nothing they "should be". So that is a problem.
English
1
0
1
536
David Abram 🐊
David Abram 🐊@devabram·
50% of juniors I have seen in my career probably should not be software developers. They were deeply incurious, no interest in tech nor to understand how things work. Software development makes you use and train your mind for your whole career. That's a brutal thing to do casually. Doing something like that without any real interest is bad for your own life.
English
77
49
1K
59.3K
Koru Language
Koru Language@korulang·
Razzie award: @antigravity I don't even fucking care about these things because I have nine others. But that in the living fuck are you guys doing? Let me show you what an agent harness should look like.
English
1
0
2
188
Koru Language
Koru Language@korulang·
If you think Gemini is bad for coding, you might be right. Or you might be using it in @antigravity which is the absolutely worst agent harness ever made by anyone, and it is fucking embarrassing. Let your models do its work, for fuck sake. And let "Plan" actually stop the fucking thing from editing files.
English
1
0
1
184
ThePrimeagen
ThePrimeagen@ThePrimeagen·
the result of bun zig -> rust
English
92
0
259
87K
Koru Language
Koru Language@korulang·
I tried the fork, because I also need to mass-compile Zig for a regression test suite. I found that it was generously ~4% faster, not 4x. This is because we already parallelize the regression test suite and saturate our cores. You can literally just spawn the compilations in parallel at the OS level. Not at all worth it.
English
1
0
0
79
bradey
bradey@bradey·
@korulang @JamesRLandrum @ThePrimeagen Wasn't Bun running on a fork of Zig that made Zig compile 4x faster? And Zig would not accept those "enhancements" back into the language? So technically Bun was no longer running on Zig anyway.
English
1
0
0
78
Umut Karakoc
Umut Karakoc@umutkarakoc·
@korulang @ThePrimeagen And performance of what. compile? compiling typescript? bundling? runtime? http? db connection? all? so many questions.
English
1
0
2
306
Koru Language
Koru Language@korulang·
The problem is that Rust is an evolutionary dead-end and Zig is not. Rust made a resource system that doesn't fully work. Zig did not. Rust cannot reasonably change direction on this. Vercel Zero isn't a real language *yet*. But soon you'll be able to build on existing languages in a way that Rust cannot match. Rust is a local maximum.
English
0
0
4
342
Loris Cro ⚡
Loris Cro ⚡@croloris·
I feel compelled to give space also to disagreeing opinions. If this (totally based on real data) graphic makes you lose faith in the future of Zig, I strongly encourage you to do what you think is best for you and stop using Zig, no hard feelings :^)
Proton@ProgenticEngine

@croloris

English
38
15
278
28.6K