timschmidt

6 ms·

61.
by timschmidt 4mo ago
Yes. One of those problems with no neat solution, and worse no performant one. :) You might find this bit of performance engineering interesting: https://github.com/timschmidt/hyperreal/blob/8a016808f4b0ba3.
62.
by timschmidt 4mo ago
Yes, it should be useful for that. Hyperreal's trig and approximate functions performance is also stellar. Perhaps the biggest compromise in terms of the math supported by hyperreals at the moment is that although Rational equality c
63.
by timschmidt 4mo ago
Hyperreal doesn't have any f64 mode. All math done with hyperreals is at infinite precision using a Rational of two BigUInts and a recursive real Computable. Real provides a cohesive interface over both allowing for easy scalar math.
64.
by timschmidt 4mo ago
I've been doing some symbolica-like things recently in the https://github.com/timschmidt/hyperreal ecosystem. Not a full CAS, just enough symbolic math to maintain precision through the calculations. Benchmarks ag
65.
by timschmidt 4mo ago
Cars run red lights in real life. Driving defensively requires anticipating it. Anyone expecting them not to is more likely to get in a crash. The rest I can't speak to.
66.
by timschmidt 4mo ago
I'm not op, but he's probably referring to: https://en.wikipedia.org/wiki/Cracking_(chemistry)
67.
by timschmidt 4mo ago
> Are you seriously going to claim that this is not LLM generated? Do you see me making that claim? My comment seems to be about grammar. Do you always jump to conclusions? > I made no comment as to the validity of the construction.
68.
by timschmidt 4mo ago
Using dashes twice like that is valid. It's a bit like parentheses, to frame a tangential statement between them, but with emphasis instead of quietly. See: https://en.wikipedia.org/wiki/Dash I use that construct
69.
by timschmidt 4mo ago
What's CSAM? All of Freenet? Doubtful. The OP said: "Extremely depraved things are not the only thing to use freedom of speech for, and freely speaking can result in all kinds of repressions." Which is objectively true. You
70.
by timschmidt 4mo ago
> I’m not a fan of “think of the children“ arguments Yet you're making one. > the Internet cannot actually be a complete free for all Yet in many important ways, it is. As much as publishers would like to shut down Scihub, it exi
71.
by timschmidt 4mo ago
People lump them together because of an anti-technology reputation, but I don't think most Amish would have trucked with Luddites. Amish tend to avoid actively participating in popular social movements, and oppose violence and propert
72.
by timschmidt 4mo ago
Very Holobiont of you.
73.
by timschmidt 4mo ago
An excellent distinction to make. Life however often says "Why not both? And 11 more you'd have never thought of. And one that seems impossible just for fun." If it's possible, and it can force a function up a gradien
74.
by timschmidt 5mo ago
It's always a good laugh when I run into some old comment or video talking like this about Falcon. Thunderfoot is a hoot.
75.
by timschmidt 5mo ago
Agreed. They're already stretching starship. And there's long been talk of a wider version yet. Starship is already pretty impressive considering it's just about exactly the size of Sea Dragon.
76.
by timschmidt 5mo ago
I checked the publicly released stats over Starship's development, and this is what I found: compared with the initial ~5,000 t / ~73.5 MN concept, the latest V3-class Starship/Super Heavy is trending toward roughly 35%+ more
77.
by timschmidt 5mo ago
I don't see any reason a non-renewable Starship upper stage would kill the economics of the vehicle. No one else has a renewable upper stage yet, so there's no competition in that space until someone else does. Stoke have an int
78.
by timschmidt 5mo ago
The 160 launches figure includes falcons. Seems like Starship fuels and flight tests faster than Falcon though. And if they manage to reuse second stages, then that eliminates a significant manufacturing bottleneck.
79.
by timschmidt 5mo ago
They've been approved for 44 Starship launches from Kennedy Space Center in Florida, and are aiming for 160 total launches in 2026. They've recently purchased a giant tract of land in Louisana to build a third starport. 222&#x2F
80.
by timschmidt 5mo ago
They seem to have constructed a rocket with 10x the payload to LEO of the one they used to put those 10k satellites in orbit, and even demonstrated payload deployment. So I'd say 100k looks do-able for them today. 10x that seems aspir
81.
by timschmidt 5mo ago
SpaceX has consistently launched ~90% of the mass to orbit for the whole planet Earth over the last several years[1][2]. There's no one else who could more credibly make such a claim. 1: https://officechai.com/stories&
82.
by timschmidt 5mo ago
It's really amazing how much more connected the world was not very long ago. Take a look at 24k years ago here: https://sea-level.vercel.app/ Nearly every continent is one connected landmass. And all the most prime r
83.
by timschmidt 5mo ago
I hear you. I think we are already seeing some middle ground with agentic systems using RAG, skills.md files, etc. It's a sort of disassociated card catalog memory. An engineer's notebook. Not the integrated, correlated, pre-p
84.
by timschmidt 5mo ago
They can form new associations between concepts via their input prompts and thinking text. That is a form of learning. Just not very durable. I liken it to https://en.wikipedia.org/wiki/Anterograde_amnesia
85.
by timschmidt 5mo ago
It's been pretty clear in my experience that experts tend to be capable of working with the same ideas in many different forms. That's what I would call mastery. It implies "complete" knowledge, which probably means se
86.
by timschmidt 5mo ago
No, it really doesn't presume anything about brains or information encoding. Just points out that there is a level of mastery in which all the techniques and all the forms have names or adequate descriptions. Teachers often attempt t
87.
by timschmidt 5mo ago
I think there's a level above that where the words to describe such structure are familiar and readily available and hey guess what? The model understands those too. Just about every pattern has a name. Or a shape. Or an analog or
88.
by timschmidt 5mo ago
It turns out an awful lot of precision (plenty for many things) lives in library and web APIs, documentation, header files and dependency manifests. Language can literally just point at it without repeating it all. Avoidance of mistake th
89.
by timschmidt 5mo ago
Here's a review: https://www.sciencedirect.com/science/article/abs/pii/S02773... More: https://www.pnas.org/doi/10.1073/pnas.1411762111 https://www.nature.com&#
90.
by timschmidt 5mo ago
Yes, polar regions are reliably colder than equatorial regions. Lytton, BC hit the temperature you cite for one day on Tuesday, June 29, 2021. That's a sign of warming, and we should expect more warm days than in the past at any give

More ›