vatsachak

3 ms·

31.
by vatsachak 11d ago
This cop is doing his part to get rid of flock
32.
by vatsachak 12d ago
I actually couldn't have said it better. I'm brain rotted from LLM usage
33.
by vatsachak 12d ago
You're assuming that the scripts are small. e-lisp code is massive!
34.
by vatsachak 12d ago
It's not nonsensical, but if you were writing emacs in rust, you hopefully would use a typed language instead of elisp
35.
by vatsachak 12d ago
Watch demo button on the website doesn't work. I mean gnu-emacs is already quite snappy in Wayland mode.
36.
by vatsachak 12d ago
No point in reading anything AI related anymore. It's all slop. We need to retvrn to rss feeds
37.
by vatsachak 13d ago
They actually don't
38.
by vatsachak 13d ago
The first time I have agreed with David Sacks
39.
by vatsachak 13d ago
Yeah I use Astra Light at work. It's great but it probably cannot work on a project longer than a week without introducing architectural blunders
40.
by vatsachak 13d ago
Slop posting
41.
by vatsachak 13d ago
Paper written by AI
42.
by vatsachak 14d ago
Yeah. Not to mention the paper-clip maximizing that RL induces in them. I had 5.6-Luna use a parser combinator lib in order to find out that it imported it but wrote its own parser, so it technically followed my instructions. Imagine that p
43.
by vatsachak 14d ago
He's insinuating that AI will end the world lol. Nothing ever happens
44.
by vatsachak 14d ago
Nah the AI won't replace coders or mathematicians until it can maintain codebases/knowledge long term. I actually don't think that current AI can replace any profession that requires human interaction over many weeks. This is
45.
by vatsachak 14d ago
Why would China or anybody else co-operate unless they have access to OpenAI levels of compute and success with training? This sounds like pre-IPO hype. They better just try and top astra.
46.
by vatsachak 14d ago
Who cares about the prize and the outdated methods? OpenAI and Anthropic might have 3 millennium problems by December
47.
by vatsachak 14d ago
In no way, it's just a hobby.
48.
by vatsachak 15d ago
Maintainability is hard because it requires much more planning than correctness. You need to think about how you can construct code which gives you the most amount of reusability while not compromising on readability and also thinking about
49.
by vatsachak 15d ago
Because programming is fun
50.
by vatsachak 15d ago
What's the threat? I would use it to write a dependent type theory that is JIT compiled and use it to rewrite emacs.
51.
by vatsachak 15d ago
I actually read through a bunch of LLM slop on the weekends trying to catch white whales I couldn't during my math PhD. The incentive is solving the problem and understanding the solution.
52.
by vatsachak 15d ago
Apologies. Noted
53.
by vatsachak 15d ago
That means that academia is outdated not that LLM math is bad
54.
by vatsachak 15d ago
Both are true I admit
55.
by vatsachak 15d ago
How is it plagiarism if no one else had the full proof idea first?
56.
by vatsachak 15d ago
That's fair and I agree. But stockfish can play successful middle games and there's no reason that AI cannot create research programs
57.
by vatsachak 15d ago
No that's not sufficient but that's not what's happening. Why do we believe that we cannot train models which could explain the jargon in more human terms when current LLMs can perfectly explain the most complicated codebases
58.
by vatsachak 15d ago
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8...
59.
by vatsachak 15d ago
I have a paper in JEMS and have solved 20 year old conjectures. I also know that math academia is a catty game which is mostly driven by politics and ego
60.
by vatsachak 15d ago
Grothendieck accused Deligne of "slop" with his proof of the weil conjecture. Scholze's math is definitely not slop. But you're taking two of the best mathematicians of the last century against my claim about averages

More ›