laichzeit0

5 ms·

1.
by laichzeit0 25d ago
I don’t know what’s wrong with Opus 5. I’ve been using Code since November 2025 and Opus 5 is the first blatant regression I’ve seen. Like you said, it just goes off into an endless loop doing random busy-work type of stuff. That’s the best
2.
by laichzeit0 26d ago
> without a better model in the wing I believe Astra is the next model beyond Sol? They used it for https://openai.com/index/ten-advances-in-mathematics/
3.
by laichzeit0 1mo ago
I found Linear Algebra by Friedberg, Insel and Spence to be excellent. Very clear, modern notation, great exercises. It's also what Tao lectured from in 115A: https://www.math.ucla.edu/~tao/resource/general&#x
4.
by laichzeit0 1mo ago
Yeah I do something similar and Claude (well OpenAI too) just refuses to transcribe anything related to slavery and pederasty in Ancient Greece.
5.
by laichzeit0 1mo ago
Two thoughts on someone who went out of their way to learn math: 1. If you can already program, the worst thing you can do is think of mathematics as learning a programming language. It is not, and you will waste your time being frustrated
6.
by laichzeit0 1mo ago
I regularly do a “go to DynaTrace, look at how this service gets used in production then use a profiler and see if there’s any low hanging optimisations we could make” on stuff. LLMs are really good at doing everything that was fun about so
7.
by laichzeit0 1mo ago
You are correct on all counts. This is the IKEA phase of software development. Disposable shit. Need something new and ask an LLM to summon it into existence. I guess you could compare it to this hand-crafted desk I’m sitting at that my gre
8.
by laichzeit0 1mo ago
I’m going to check that out. My personal favorite is the variant of New Athena Unicode they use in the Cultura Classica books (it’s like Lingua Latina per se Illustrata but for Attic). They made some modifications on some of the characters,
9.
by laichzeit0 1mo ago
Look I get it. I completely emphasise with the feeling. My undergrad is Computer Science, I often dreamed about writing my own compiler and spent years learning low level performance optimization, loved design patterns, re-factoring code to
10.
by laichzeit0 1mo ago
It’s great to care about the craft as long as someone else is paying for it. I think most software developers are waking up to the reality that they were always just holding business at ransom with their craft. Software is a grudge purchase
11.
by laichzeit0 1mo ago
Interesting project. I would love if you could switch fonts to something like New Athena Unicode. I built something similar to this by cloning the Diogenes repo and getting Claude to re-implement it in Python (it’s a very old battle tested
12.
by laichzeit0 1mo ago
I don’t trust point estimates like 14%. It’s like calculating an average salary and saying it’s $120k. Completely meaningless. What does the actual distribution look like that this was pulled from? No standard deviation. Is it even symmetri
13.
by laichzeit0 2mo ago
I’m personally hoping for the next big AI gangbanger to be theoretical physics. Boy does that field need a good reshuffle. I think when any novel mathematical theory can be done by AI you’ll see simultaneously theoretical physics getting wr
14.
by laichzeit0 2mo ago
To “be” in a body. What is “in” your body? You could also say “wow it’s really weird to be a body”. The whole self thing seems to be the illusory part. Something like this: https://en.wikipedia.org/wiki/Illusory_contour
15.
by laichzeit0 2mo ago
The great thing about these mathematical mopping up type operations is that no person will waste their time trying to prove it to be true anymore. If anything that’s a win. It would be great if an LLM could settle the Collatz conjecture nex
16.
by laichzeit0 2mo ago
Based on my usage of Fable on the max plan, Anthropic is going to have to at least double the usage limits for it to be a viable option in the near future. And without Fable, the value proposition quickly drops to zero.
17.
by laichzeit0 2mo ago
Even Neanderthals? Were they also made in his image? We interbred with them. We can go all the way down the evolutionary tree here just say when to stop.
18.
by laichzeit0 2mo ago
So glad Fable limits just got reset. Thanks OpenAI.
19.
by laichzeit0 2mo ago
Same. I don’t know what Mickey Mouse work people are doing that 4.8 is “enough”. CRUD apps maybe? I have some serious Bayesian statistical research programs running and Fable is on another level than 4.8. It feels like Andrew Gelman is supe
20.
by laichzeit0 2mo ago
I wonder how many of the problems he lists on https://www-cs-faculty.stanford.edu/~knuth/news.html could be solved/checked with something like Fable at this point.
21.
by laichzeit0 3mo ago
The US government will do the job of destroying the American AI economy through their export controls.
22.
by laichzeit0 3mo ago
What’s assumed and not explicitly stated is the law of the excluded middle. That A is true or A is false and those are the only 2 possibilities. If you assume the law of the excluded middle then it’s impossible that “A or not-A” is false. S
23.
by laichzeit0 3mo ago
Basically the signal is that the total market for any US AI company is capped at however big the US market is. As non-US AI converges to Opus 4.8 level parity, whatever is still non-US consumer base shrinks towards zero.
24.
by laichzeit0 3mo ago
You have to keep reinterpreting it until it aligns with whatever the masses currently consider to be true. This has been going on forever. The current hot reinterpretation is to say we’ve been wrong in what the scriptures teach about same-s
25.
by laichzeit0 3mo ago
This all reminds me of in the 90s when the Borland C++ compilers and Turbo Pascal shit came out and everyone was still hand rolling assembler because the optimising compilers were so bad. I thought Opus 4.6 was pretty good, basically a step
26.
by laichzeit0 3mo ago
As a non-US person, I will use whatever is the best and reasonably priced. I could not give one iota about who makes or hosts these models. The origin or political leanings of these models mean nothing in my usage calculus.
27.
by laichzeit0 3mo ago
I think the Amish will mostly be fine. Maybe that's how the future looks like.
28.
by laichzeit0 3mo ago
Hey, I’m doing the exact same as OP and so is everyone at work I know who has a memefolio of shares. You never bet against papa Musk. You guys are looking at these IPOs all wrong. Nobody is looking at valuations. It could open at $200 a sha
29.
by laichzeit0 3mo ago
The one thing you can say though, is that “benefits himself” does not mean: buying a super yacht, a casino, an island, etc. So yeah, he’d YOLO and do the Mars trip before any of the above. Which is what most nerds on HN would love, except t
30.
by laichzeit0 3mo ago
I use the disparaging nature of the comments on HN as an indicator of AI progress. It’s negatively correlated. By that metric, AI has improved significantly this year alone.

More ›