I think whether it requires a lot of work is not the most important factor. The important factor is how easy it is to replace it. If it was made with AI I expect it to be easily copiable with AI. Therefore it doesn't make much sense to spend a lot, if any, money on it.
C++ code that does what Goose does is a soup of pointer manipulation, casts and byte stuffing. You could write that, but Goose proves it to be safe at compile time, with simple readable code. The moment you write "reasonable" code in C++, it is actually a lot slower than Goose.
But then why isn't Goose a library or framework within C++, or a macro in Rust or something else? Why does it need to be a language?
Also, to be transparent in your benchmarks you should compare against idiomatic safe code, and optimized code. It's trivial to throw your benchmark examples into an LLM and tell it to optimize them to parity with Goose. It's more trustworthy to show other languages can achieve the same performance, Goose isn't doing anything special there. What it is doing is doing the same with better safety guarantees, which I think is headline result not the speed itself.
But it's not infeasible as a preprocessor or macro though, since you're outputting C anyway right? You could even output C++ or Rust.
> As for the benchmarks, that's exactly what I do
What I mean is the story of those benchmarks is incomplete, you're missing a column for optimized Rust. This is what I get on my M1 if I ask the LLM to write more performant (still safe) solutions to a couple benchmarks, I'm sure your LLM can do the same:
| Benchmark | vs original Rust | vs optimized safe Rust | Memory vs original Rust | Memory vs optimized safe Rust |
|---|---:|---:|---:|---:|
| `sexp` (flagship workload) | 1.00× | 0.95× | 2.22× | 1.60× |
| `records` | 1.52× | 0.54× | 4.77× | 2.58× |
| `graph` | 1.24× | 0.75× | 1.00× | 1.00× |
I think for the Benchmarks Game entry specifically, for the expert solutions you should use submissions to the game for both C++ and Rust instead of LLM generated code. After all, those are legitimate expert-implemented solutions to the benchmark, so it's nice to not have to lean on an LLM there. That would also give you something to optimize towards.
It's not easy to calculate how much you are worth because it depends on so many factors. And it wouldn't be nice to charge you 10x more than what they charge someone else.
Completely agree. I've used Firefox as my primary browser for over twenty years and it's less than once a week that I come across something that needs Chrome.
They will just switch to a betting exchange model where the house gets a percentage of the turnover and the rest is distributed to the players. Under this model there is no incentive to ban winners.
The big money maker in prediction markets is combos or parlays in traditional sports betting. The market for these types of bets is tiny so you need Wall Street firms like Susquehanna to come in and provide liquidity which is what they do for Kalshi.
What this means in practice is you don’t place a bet with fixed odds, it’s more like placing a market order on a stock.
If a Sportsbook could effectively give custom odds on each bet for each player based on the market it would essentially be what prediction markets do today.
The problem with this is liquidity, particularly well before an event. It's why the original exchange (or at least the first one I'm aware of) also now offer a normal sportsbook.
reply