hollowturtle

I expected something like "I was wrong coding is not solved" alas

go is even more straightforward for llms imo. It's a dead simple language with a good garbage collector, where you can still do a lot memory management

> The original TypeScript implementation completed 7.55 of those lifecycles per second, while Rust running in-process managed 120 per second - representing a 15.9x speedup on that particular workload.

Does this impresses/surprises anyone? Two folds: 1) I believe the most optimized JavaScript code could near the performance of this phase 1 port without optimizations. I would have gone with that first, many would think that would not be as cost efficient but: 2) optimizing the rust code will require 10x the effort of the 1 by 1 conversion, just because you now need idiomatic rust code that likely has nothing to do with a plain translation. So defeating the initial gain, there's nothing to do the bottleneck gets just pushed elsewhere

Everyone uses AI - yes me too. Everyone to code? I dunno know and no one actually know for sure. I find it more productive in many ways, not much for producing code, if not for highly verbose structured output. And I'd be interested in a new language polished to solve specific problems differently even if it doesn't mention ai. We did engineering for decades in this way

> Agents can oneshot games that are actually fun.

HAHAHAHAHAHAHAHAAH

here we go again

Would the author have specified on the page that it's a fast new language with a new take on proof and so on, without mentioning ai and that alone would have caught my attention. It seems like if there isn't the word ai people are not interested anymore, we used to care many of us used to care

Hard to find a site this less interesting, for a product this less interesting from a company that i would never trust

Did you need ai to hold together a bunch of paragraphs and a table really? holy moly

> to the point that they can solve major outstanding problems in many fields of mathematics

I will die on this hill, humans solve math problems not machines, there's no automatic math prover out there. There are humans attempting to solve this problems either by leveraging these tools or not

psychosis

Does that mean no more react native skia sponsoring?

Imo Eventually we will circle back to nonfiction quality books, for one just to decrease screen time :) for second we actually need them even for chatgpt

Lately whenever I enter a book store in Italy, I'm overwhelmed by the amount of fiction romance for girls and womens. I get 3/4 of readers are womens but all I'm left with is a gigantic pile of nonfiction shit I'm not interested about, I know for sure most of it will leave nothing to me. Increasingly way too many people attempted to sell a bunch of nonfiction books, and it shows there amounts of unsold copies. Most of them being a marketing political campaign. There gems for sure but it's becoming increasingly harder to find them. Also the only fiction books I'm interested about are sci-fi, and the dedicated space is soo small that you feel a weirdo with strange hobbies. But I swear to you, cause I read a fantasy novel from my wife's selection, that a saga like The Expanse is 100 times better written than all that new shit. Finally rest of the book store is now dedicated to manga and graphic novels. Not bad I love them but the ratio is overwhelming as well

I would read it

> writing code, finding security bugs, and proving mathematical theorems

While the second can be automated as in "this is the repo go on and look for security issues", the first one and especially the last one do not ever happen alone. Terence Tao did the math proof not chatGPT that was just used as a tool, a tool can do smart things but it's not smart

> trying to process the sobering fact we will actually see machines meaningfully smarter than ourselves in our lifetime

Being able to reproduce useful patterns yes, smarter no

Is there any point anymore regarding this svg test? I would not be surprised if in the training they're fine tuned for this task too

> Jin reported that the proof was obtained with the assistance of OpenAI's GPT-5.6 Sol model during an approximately sixteen-hour autonomous reasoning session in ChatGPT Work, after which he checked the resulting argument

You're wrong

> People have been correctly excited about the many "sudden" breakthroughs LLMs are making in Maths

That people ARE making, surely not machines. Like Terence Tao or Knuts did using the tool to their advantage, for example it would have been impossible for me to prove the same thing Tao did with an LLM. Same reason I believe programmers won't go away

> Now you can do it without writing code.

That’s just a gigantic bs you wouldn’t be able to stir an ai without code writing knowledge this approach in the long term we will make all of you shilling people go back to hand code crucial parts of the business logic

> When AI writes better code than I do

Have you ever asked yourself maybe you’re not that good and you can still learn and improve and be relevant?

> The real problem is that AI is now too good.

We must live in two different worlds, it must be like that

Same feeling, so sick and disillusioned about the future

You got my attention could u argument more?

"On this page" anchor navigation doesn't work for me :( Mobile Safari

To start with would you be willing trying inputing Claude with the following instructions? No rounded borders, no excessive padding/margins, no rotated cards, no excessive shadows. More compact/dense ui but also increase base font size a little bit. Make the dark ui the default, use a less neon green color on dark mode, contrast is not great, same for the foreground color. A little nit: On mobile there's an annoying horizontal scrollbar.

Maybe you have fun saying if it converts better or not! I'm fan of a/b testing

If you do let me know ;)

> You're absolutely right! I killed a bunch of civilians that have nothing to do with the terror group we talked about, let me update my memory

it looks identical to god knows how many other sites and also uninteresting for the same reason. How would catch attention of a customer? With a card slightly rotated over another? That's abysmal

I liked Cursor autocomplete a lot, it was very smart and adapted very well to your intentions, then, and they never will tell you, when they launched coding agents the autocomplete feature was somehow tuned down, not by being dumber but by being too proactive, so it resulted useless most of the time

then tell us why you still have a job?