lupire

27 ms·

601.
by lupire 2y ago
It's fine. Infinity isn't a real number, so 1/x isn't continuous at 0, so it doesn't matter what the value of 1/0 is. All your open sets still behave the way you expect. Whether you choose "this function i
602.
by lupire 2y ago
https://xenaproject.wordpress.com/2020/07/05/division-by-zer... explains Lean's behavior. Basically, you use a goofy alternate definition of division (and sqrt, and more), and to compensate you have to a
603.
by lupire 2y ago
Like calculus for the engineer, statistics is primarily for the social scientist. It is an applied mathenatics, or a form of physics (math in the realm world). Math fans tend to discount and dismiss applied statistics as being not math, in
604.
by lupire 2y ago
Blog post is 2017, but the book is 4th (and latest) edition 2007, year before first author Freedman died, 1st edition published 1978, which fits the cartoon illustrations. Table of contents and section 1: https://homepages.dcc.u
605.
by lupire 2y ago
Society-scale unemployment is certainly liberating people from their work, but also their food.
606.
by lupire 2y ago
Maybe the Google Search engineers should ask the team next door, that has been receiving the lion's share of Google's funding over the last 3 years years, with the express goal of doing exactly that ?
607.
by lupire 2y ago
> it's more likely that a corporation, in the name of maximizing profits, would make decisions that threaten humanity. > Me, not worried at all about AI. Now imagine AI in the hands of a corporation building murderbots and propag
608.
by lupire 2y ago
People in USA have an extremely rose-tinted view of the rest of the world.
609.
by lupire 2y ago
If you've been on the Internet during the last 20 years, you'd notice that people in general aren't willing to pay for something if something cheaper exists, and the "cost equivalent" of advertising exposure is perc
610.
by lupire 2y ago
Why would a dev use this? I want my app to perform as high as possible, regardless of other apps (published by other companies) on the system. This should be a user-controlled feature, with tasks identified and labeled by the OS.
611.
by lupire 2y ago
Training data is already provided by humans and certainly already does include spelling instruction, which the model is bind to because of forced tokenization. Tokenizing on words is already an arbitrary capability added one at a time. It&#
612.
by lupire 2y ago
I think it's a "just so story" myth that children are better than adults at that task.
613.
by lupire 2y ago
The Ones Who Walk Away From Omelas
614.
by lupire 2y ago
I hope this experience teaches you to be more polite and open-minded even when you think you know what you are talking about.
615.
by lupire 2y ago
You can use a configuration manager like Puppet. https://en.m.wikipedia.org/wiki/Puppet_(software)
616.
by lupire 2y ago
A book's open text interface means anyone can scrape your data for AI training.
617.
by lupire 2y ago
That's not true at all. To understand why, read Euclid.
618.
by lupire 2y ago
Only because "homeomorphic" is a highly technical term that most people don't even know the definition of, let alone have an intuition for, and because "knot" in math is a closed loop, unlikely "knot" in c
619.
by lupire 2y ago
You could if you had a good mentor.
620.
by lupire 2y ago
Problem is that the vast majority of material is metal, so your digester needs a way to saturate the metal to reach the CHON, and and then extract the digester. Is that really better than extracting the CHON directly and then processing it?
621.
by lupire 2y ago
"The asteroid mass needed to support one astronaut for one year is between 160k metric tons and 5k metric tons. " 10 to 500 tons per person per day.
622.
by lupire 2y ago
This is fine but it's just a rehash of old well-knowned stuff. I don't see the value of learning this stuff one random blog post at a time. There are many books and established blogs with long series of material to give you an edu
623.
by lupire 2y ago
Your manager often admits they do bad things for no reason?
624.
by lupire 2y ago
People who are busy thriving at work aren't hanging out in this self-pity party thread.
625.
by lupire 2y ago
I don't think a manager will be impressed by a report saying "I know you can't do your whole job, so let me handle face time with the execs so I can take your job from you."
626.
by lupire 2y ago
I don't like all the stereotypes people throw around, but among those stereotypes is that California tech bros are pathological delusional wannabe-hippie optimists who blow smoke and sunshine at everyone.
627.
by lupire 2y ago
If most people in your company are on s, your management is probably breaking the laws and is not the sort of person who appreciates honest communication.
628.
by lupire 2y ago
It's incorrect, though. The oriented real projective plane is a sphere, not a torus. The projective points at infinity (one point for every 1-D angle (R mod 2pi)) form the equator of the sphere. The T in T² is for "two-sided"
629.
by lupire 2y ago
Tao said that about a model brainstorming ideas that might be useful, not explaining complex ideas or generating new ideas or selecting a correct idea from a list of brainstormed ideas. Not replacing a human.
630.
by lupire 2y ago
Hmm? Impressionism is noted for extreme lack of detail, that still is suggestive of something specific, because the artist knows what details your brain will fill in. (8bit pixel art is impressionistic :-) )

More ›