empath75

23 ms·

481.
by empath75 1y ago
Formal verification is a pure logic problem. You are making a proof, and a proof is just a demonstration that you can reach a given expression given certain axioms and the rules of formal logic. You can't just chuck a neural network i
482.
by empath75 1y ago
Assume for the sake of argument, that this is literally sorcery -- ie communing with spirits through prayer. _Even in that case_, if you can design prayers that get relatively predictable results from gods and incorporate that into automate
483.
by empath75 1y ago
Communities don't generally invent jargon for no reason, and a lot of things that people see as gatekeeping and shibboleths are just terms that save a lot of time in communication between people who know what they mean. If you are a pr
484.
by empath75 1y ago
If you are doing visual design, if you want to call out the parts of the space you are working in where you _aren't doing anything_, that is the 'negative space'. If you are producing a letterform, all the parts of the object
485.
by empath75 1y ago
There are lots of very large subreddits that are prolific at shadowbanning people -- you might think you're participating in the conversation for quite a while and people just aren't upvoting you or responding to you for whatever
486.
by empath75 1y ago
how large is the set of all possible subsets of the natural numbers? edit: Just to clarify -- this is a pretty obvious question to ask about natural numbers, it's no more obviously artificially constructed than any other infinite set.
487.
by empath75 1y ago
Espn has a feed of soccer events (cards, shots, goals, etc), but that doesn't give you anything close to a complete state-of-the-game in the way that baseball scoring does. I did a tour of an MLS stadium yesterday and the tour guide wa
488.
by empath75 1y ago
Not all proofs are formal, and most published papers are not formal in the strictest sense. That is why they talk about "formalizing" a proof if there is some question about it. It is that formalization process which often finds
489.
by empath75 1y ago
It seems very hard to maintain the belief that LLMs are useless in the face of the fact that millions of people are using them. It's very much "nobody goes there anymore, it's too crowded"
490.
by empath75 1y ago
They can sell fine tuned models running on cheaper hardware in bulk, too. Scale is a thing.
491.
by empath75 1y ago
I am not, this is what formal logic and formal reasoning means: https://plato.stanford.edu/entries/logic-classical/ "Formal" in logic has a very precise technical meaning.
492.
by empath75 1y ago
Every company is an AI company and you should probably be less interested in building an AI and more interested in how you can apply AI to solve business needs that are not directly AI-related.
493.
by empath75 1y ago
> Formal reasoning is the point, which is not by itself abstraction. What do you think "formal" means in that sentence. It means "formal" from the word "form". It is reasoning through pure manipulation of s
494.
by empath75 1y ago
Almost from the first time people started writing about mathematics, they were writing about it in an abstract way. The Egyptians and the Babylonians kept things relatively concrete and mostly stuck to word problems (although lists of pyth
495.
by empath75 1y ago
Quite the opposite, Plato, several hundred years before Euclid was already talking about geometry as abstract, and indeed the world of ideas and mathematics as being _more real_ than the physical world, and Euclid is very much in that tradi
496.
by empath75 1y ago
Amazon lost money every year for the first 9 years of it's existence and people said it was a bubble the entire time.
497.
by empath75 1y ago
There are two separate equations here, one is the slope of the mountain, which is a function of x and a value of y and one is the path of the sled, which is a function of t, with a value of (x,y)
498.
by empath75 1y ago
The inside is by the far more interesting part to me. It's a sculpture in light. I have never seen anything else like it.
499.
by empath75 1y ago
I am not remotely religious, but I cried when I saw the inside. It is awe-inspiring in every sense of the word. It wasn't so much the objective quality I think, more that I was _surprised_ by how beautiful it was. The outside is, li
500.
Destructive Testing of a Chair-Lift (1990) [video](youtube.com)
2 points by empath75 1y ago|0 comments
501.
by empath75 1y ago
Do you learn anything from reading books or is everything you know entirely derived from personal experience.
502.
by empath75 1y ago
You can see in the report that this article is based on that is a cyclical swing that happens every year based on their respective release cycles. Silly article. https://www.canalys.com/newsroom/us-smartphone-market-q2
503.
by empath75 1y ago
That actually isn't a hard question to answer. Mars lacks an active core or a magnetosphere, so the atmosphere blew away, freezing the surface and removing almost all of the liquid water.
504.
by empath75 1y ago
> Nearly half of kids aren’t being raised with their parents in the home. This was rare 50 years ago, and all the research shows that home dynamics matters the most. Every thread about something like this is full of people just blaming i
505.
by empath75 1y ago
I went to a private school and then a public school. All of my private school teachers were worse than the public school teachers, without exception.
506.
by empath75 1y ago
Test scores do not measure directly what they purport to measure. They are a proxy, and when you have a system designed to optimize for a proxy of the thing you want to improve, then the system will always find ways to exploit the differen
507.
by empath75 1y ago
You can't just look at every action the administration is taking on this in isolation. This is part of a larger program of demonizing and abusing immigrants in this country. I don't think they deserve the benefit of the doubt. I
508.
by empath75 1y ago
Labor unions have never been especially pro-immigration as a group -- it's highly dependent on their membership and whether it is growing or shrinking and how and why it is growing or shrinking. If you're a union that is largely c
509.
by empath75 1y ago
https://books.google.com/books?id=-fG_NOxltlEC&pg=PA25&dq=Co... Computer's Aren't Pulling Their Weight (1991) There were _so many_ articles in the late 80s and early 90s about how computers were a big wast
510.
by empath75 1y ago
You absolutely cannot visualize the concept "2" in your head. You can only visualize "two things" or the word "two" or the symbol "2", but the actual concept "2" is just as abstract as a re

More ›