lanstin

19 ms·

361.
by lanstin 1y ago
The result won't be far off from the correct answer, however.
362.
by lanstin 1y ago
Additions are ok, it's subtraction when they might be close in value that is deadly.
363.
by lanstin 1y ago
I stick to this except when I make some unusual credit card purchase and immediately get called to verify it. I don't like it, but usually I need to make the purchase. If someone had the feed of risk denied CC purchases, they could gat
364.
by lanstin 1y ago
I can’t resist: https://youtu.be/i6rVHr6OwjI?feature=shared (The a capella Billy Joel meta-cover “Entropic Time”)
365.
by lanstin 1y ago
Not sure training on language data will teach how to experiment with the social system like being a toddler will, but maybe. Where does the glance of assertive independence as the spoon turns get in there? Will the robot try to make its eye
366.
by lanstin 1y ago
Not really - even my kids knew enough to interrupt my stream of words with running away or flinging the food from the fork.
367.
by lanstin 1y ago
My main data on this is actually not Google employees per se so much as specific 2018 GCP support engineers, and compared to 2020 AWS support engineers. They were very smart people, but also caused more outages than AWS did, no doubt based
368.
by lanstin 1y ago
Google's model has the same annoying attitude of some Google employees "we know" - e.g. it often finishes math questions with "is there anything else you'd like to know about Hilbert spaces" even as it refused
369.
by lanstin 1y ago
Which blue paint? If you are buying by yourself, it might be simple, if you are a decisive sort, but there's more blues than I at least expected.
370.
by lanstin 1y ago
I feel a little blue. Does your code understand that? Can the code function properly in civilization without that understanding?
371.
by lanstin 1y ago
Academic thought != clear, deep thought. Working out all the details is good, but getting to the crux of the matter is also needed.
372.
by lanstin 2y ago
A powerful argument against excessively large corporations. When the companies are competing fiercely, the amoral folks can't game the system.
373.
by lanstin 2y ago
They are a problem in terms of an efficient free market; they make the information flow asymmetrically biased in their favor, and cause higher prices and implicit collusion. That is true even without any intent to harm.
374.
by lanstin 2y ago
I almost always only use Channels as the data path between fixed sized pools of workers. At each point I can control if blocking or not, and my code uses all the (allocated) CPUs pretty evenly. Channels are excellent for this data flow desi
375.
by lanstin 2y ago
I have a channel for my gRPC calls to send work to the static and lock free workers; I have a channel of channels to reuse the same channels as allocating 40k channels per second was a bit of CPU. Some days I am very pleased with this fix a
376.
by lanstin 2y ago
And I really don't think charisma is teachable, but it is extremely useful, and weirdly real (in that one can be persuaded of things one doesn't actually believe and not really understand how you are agreeing even as you agree) (s
377.
by lanstin 2y ago
LLM could have kept the geocentric theory alive for another hundred or more years! Awesome.
378.
by lanstin 2y ago
In the 1990s, that is closer to what making software was like. There, one had an even more heightened awareness of how confident one was in what one was typing. We would then go to the manual (physical in many cases) and look it up. And we
379.
by lanstin 2y ago
It’s kind of uncommon to be aware that you have only a vague recall of the API and not go check the documentation or code to refresh your memory. That self knowledge that you knew something and aren’t sure of the details is indeed the thing
380.
by lanstin 2y ago
I've done some intro to lean things, but no one in the maths program is into lean, so I'm just focusing on the math side. Terry Tao is big into the idea of lean tho, and combining LLMs with Lean.
381.
by lanstin 2y ago
The point of sitting on a stool is that you have to use your core strength to sit up straight, and using that core strength reduces all sorts of pain in back and neck. I didn't start doing that (sitting on stools) till I had been medit
382.
by lanstin 2y ago
All the interesting benefits of LLM/generative AI grow exponentially with the intelligence of the model. There's no point in a 90% capable model, except something like replacing phone trees or extremely bad customer service. A mod
383.
by lanstin 2y ago
If it's posture related, here's more free advise: try sitting on stools rather than on chairs with a back, and sit up straight and keep your arms actively powered while typing (not laying on a surface). Also, when you need to thin
384.
by lanstin 2y ago
Any time there's a question of "what are the expected value of the max eigenvalue for a random matrix from such and such a distribution" I can answer it in 5 minutes with matlab and ChatGPT (and I know I can answer it). Maki
385.
by lanstin 2y ago
I hope it went well! I am in my fifties and enrolled in a master degree program for pure mathematics about 2 years ago (I don't need the degree, so I"m just taking all the classes they offer, so not about to graduate). It definite
386.
by lanstin 2y ago
I don’t think that’s true, there are parameters that must be measured experimentally: https://spinor.info/weblog/?p=6355 (I am not a physicist, so I welcome education to clarify this).
387.
by lanstin 2y ago
> Sure, just hard code them. That would be super lucky if possible - almost all reals are not computable. How would we initialize or specify this Turing machine? Going to use non-constructive methods? Given how quickly reality unfolds,
388.
by lanstin 2y ago
Asuuming said formal system incorporates Peano arithmetic.
389.
by lanstin 2y ago
Worth pointing out that we aren't Turing equivalent machines - infinite storage is not a computability class that is realizable in the universe, so far as we know (and such a claim would require extraordinary evidence). As well, perhap
390.
by lanstin 2y ago
I think that prospect (of programmatically structurally editing markdown files) would have made everyone burst out in laughter in 2000; if you want to programmatically alter stuff, put it into sexp's or some other syntax. SGML. Apparen

More ›