hollowturtle

3 ms·

1.
by hollowturtle 5d ago
I expected something like "I was wrong coding is not solved" alas
2.
by hollowturtle 6d ago
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
3.
by hollowturtle 6d ago
> 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 a
4.
by hollowturtle 8d ago
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
5.
by hollowturtle 9d ago
> Agents can oneshot games that are actually fun. HAHAHAHAHAHAHAHAAH here we go again
6.
by hollowturtle 9d ago
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
7.
by hollowturtle 13d ago
Hard to find a site this less interesting, for a product this less interesting from a company that i would never trust
8.
by hollowturtle 13d ago
Did you need ai to hold together a bunch of paragraphs and a table really? holy moly
9.
by hollowturtle 14d ago
> 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
10.
by hollowturtle 16d ago
psychosis
11.
by hollowturtle 16d ago
Does that mean no more react native skia sponsoring?
12.
by hollowturtle 17d ago
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
13.
by hollowturtle 17d ago
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 in
14.
by hollowturtle 19d ago
I would read it
15.
by hollowturtle 20d ago
> 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 happe
16.
by hollowturtle 20d ago
> 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
17.
by hollowturtle 24d ago
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
18.
by hollowturtle 24d ago
> 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'r
19.
by hollowturtle 24d ago
> 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 wo
20.
by hollowturtle 28d ago
> 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 par
21.
by hollowturtle 28d ago
> 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?
22.
by hollowturtle 28d ago
> The real problem is that AI is now too good. We must live in two different worlds, it must be like that
23.
by hollowturtle 28d ago
Same feeling, so sick and disillusioned about the future
24.
by hollowturtle 28d ago
You got my attention could u argument more?
25.
by hollowturtle 29d ago
"On this page" anchor navigation doesn't work for me :( Mobile Safari
26.
by hollowturtle 29d ago
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
27.
by hollowturtle 29d ago
> 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
28.
by hollowturtle 29d ago
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
29.
by hollowturtle 1mo ago
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
30.
by hollowturtle 1mo ago
then tell us why you still have a job?

More ›