jacksnipe

9 ms·

1.
by jacksnipe 2mo ago
Measuring value that way is precisely what “from a business perspective” means. Things can also be judged on artistic or technical merits, among many other perspectives.
2.
by jacksnipe 2mo ago
There are downsides, it’s just that it’s the best move from a business perspective. That doesn’t make it the best move from any other angle.
3.
by jacksnipe 7mo ago
Futures contracts were a mistake, god damn
4.
by jacksnipe 8mo ago
Up until very recently I would have said definitely not, but we're talking about LLM scrapers, who knows how much they've got crammed into their context windows.
5.
by jacksnipe 8mo ago
It’s not great, but you could add it to the body of a 429 response.
6.
by jacksnipe 10mo ago
You mean plagiarized it?
7.
by jacksnipe 11mo ago
Is this not belligerently ignoring the fact that this work is already done imperfectly? I can’t tell you how many serious errors I’ve caught in just a short time of automating the generation of complex spreadsheets from financial data. All
8.
by jacksnipe 1y ago
She’s not doing either. In that same conversation, she goes on to talk about how we don’t live in that world and can’t return there, and what the implications should be for policy.
9.
by jacksnipe 1y ago
If I’m not mistaken, she goes on to say “but we don’t live in that world, and so we must…” and goes on to argue for policy that doesn’t neglect the poorest and least fortunate members of society.
10.
by jacksnipe 1y ago
The author has previously published an article with a detailed analysis of the math of GU, and why it doesn't work: https://files.timothynguyen.org/geometric_unity.pdf The reception of that article by the group in ques
11.
by jacksnipe 1y ago
I wonder if bundling it with ai is to deal with that pesky internal issue where engineers are always trying to turn off ads for their yt accounts
12.
by jacksnipe 1y ago
Sorry, but citation needed. Means testing might seem “obvious” from first principles, but from a policy point of view, it makes little to no sense. The macroeconomic effects of welfare programs create a society that is better for everyone t
13.
by jacksnipe 1y ago
I mean, that's a very corporate accounting way of looking at it. But countries are not corporations, or even banks, and the abstraction is so leaky it's pretty much never worth using.
14.
by jacksnipe 1y ago
Llama was kind of a forced hand though. Yknow, when the model was leaked?
15.
by jacksnipe 1y ago
Wordcels discover category theory lol
16.
by jacksnipe 1y ago
There are plenty of places where consumption taxes DON’T have a strong effect, like vice taxes on tobacco and alcohol. It’s absolutely worth actually testing it.
17.
by jacksnipe 1y ago
I have interrogated it in those cases. I was not misunderstanding.
18.
by jacksnipe 1y ago
We’re was autocorrected from where
19.
by jacksnipe 1y ago
In my own experience, the vast majority of people using this phrase ARE using it as a source of authority. People will ask me about things I am an actual expert in, and then when they don’t like my response, hit me with the ol’ “well, I ask
20.
by jacksnipe 1y ago
I do not need people to lead on that. That’s precisely why leading on “I asked ChatGPT and it said…” makes me trust something less — the speaker is actively assigning responsibility for what’s to come to some other agent, because for one
21.
by jacksnipe 1y ago
That’s exactly how I feel
22.
by jacksnipe 1y ago
I see nobody here blaming tools and not people!
23.
by jacksnipe 1y ago
Something that really frustrates me about interacting with (some) people who use AI a lot is that they will often tell me things that start “I asked ChatGPT and it said…” stop it!!! If the chatbot taught you something and you understood it,
24.
by jacksnipe 1y ago
Sure, but how would they go about capturing that money?
25.
by jacksnipe 1y ago
Gene drives scare me. Being able to forcibly propagate a gene through a population seems like a strong candidate for causing an ecological disaster.
26.
by jacksnipe 1y ago
Second addendum, chapter 4 is about second order logic and apparently I just forgot that exercise 1 is simply showing that you get all of the structure built up in Chapter 3 with Peano's original formulation in second-order logic. Seem
27.
by jacksnipe 1y ago
Oh, then yeah, I totally agree. In general I think it's a shame that so little emphasis is placed on the history of mathematics, though at the same time I appreciate that most of my peers just didn't care :(
28.
by jacksnipe 1y ago
It’s not really considered throwing away Peano’s work. Peano was working in the very infancy of logical formalism. As it turns out, further work developing on his discovered that using a recursively enumerable schema for induction rather th
29.
by jacksnipe 1y ago
No, they are axioms. Peano arithmetic itself is a first-order theory, and a theory is just a recursively enumerable set of axioms. Enderton, “A Mathematical Introduction to Logic, 2nd Ed.”, p,203,269-270 Kleene, “Mathematical Logic”, p.206
30.
by jacksnipe 1y ago
Sorry, but that’s incorrect. Multiplication is defined in the Peano axioms, in terms of S(x). 2 of the axioms are: 1. For all x, x*0 = 0 2. For all x, y: x*S(y) = x*y + y

More ›