6gvONxR4sf7o

8 ms·

31.
by 6gvONxR4sf7o 1y ago
> Not particularly, no. What I want is for you to purchase the seats your family needs ahead of time, not ask me for them for free. What happened to "if you want it, then you have to pay for the privilege?" If you want to be su
32.
by 6gvONxR4sf7o 1y ago
Of course, the challenge is that the next question after solving a leetcode problem is often to explain and optimize the performance characteristics, which in prolog can get stupidly hairy.
33.
by 6gvONxR4sf7o 1y ago
The way to see this is bayes rule. p(answer | data) = p(data | answer) * p(answer) / (sum_{all possible answers'} p(data | answer') * p(answer')). So for this question, that's expands to: p(both are girls | yo
34.
by 6gvONxR4sf7o 1y ago
I love this. It looks like this covers a very practical version of a similar buildup that I like [0]. The book I linked is a much shorter textbook path through these type systems than the books linked in the article, and I found it pretty r
35.
by 6gvONxR4sf7o 1y ago
My favorite take on this is that yes, in fact it is just the chain rule. The usual argument goes that automatic and symbolic differentiation are fundamentally different, so anything particularly old (pre-computers, for example) doesn't
36.
by 6gvONxR4sf7o 1y ago
I'm surprised to see such a negative reaction here. Anthropic's not saying "this thing is conscious and has moral status," but the reaction is acting as if they are. It seems like if you think AI could have moral status
37.
by 6gvONxR4sf7o 1y ago
Something like this can only really be worth approaching if there was an analog to losing your license for it. If a therapist screws up badly enough once, I'm assuming they can lose their license for good. If people want to replace the
38.
by 6gvONxR4sf7o 1y ago
We've had technological progress that rapidly shifts the number of person-hours per <output> for generations. We don't have to guess. We've seen this play out many times already. At first, we spend our time one way (say
39.
by 6gvONxR4sf7o 1y ago
The level of rigor used in math if sometimes characterized as "sufficient to convince other mathematicians of correctness." So, yeah possibly, but not in a willy nilly way. It's not a proof sketch, it's a proof. It just
40.
by 6gvONxR4sf7o 1y ago
I couldn't imagine asking my partner to pick up that kind of childcare slack. Props to OP's wife for doing so, and I'm glad she got the callout at the end, but god damn.
41.
by 6gvONxR4sf7o 1y ago
You skipped quotes about the other important side: > But Alsup drew a firm line when it came to piracy. > "Anthropic had no entitlement to use pirated copies for its central library," Alsup wrote. "Creating a permanent,
42.
by 6gvONxR4sf7o 1y ago
Wasn’t it like a dollar a year or something way way back in the day?
43.
by 6gvONxR4sf7o 1y ago
Same here. Waymo doesn’t make me feel car sick, while aggressiveness-incentivized uber/lyft drivers do. Thinking of incentives, I wonder what happens when self driving is “solved” to the point they can start nickel and dime optimizing.
44.
by 6gvONxR4sf7o 1y ago
For one thing, executorch is currently full of sharp edges. No idea about this, but i had bad experience with ET. If i were starting over, I might start from torch.fx and automate from there. fx is stable and should be around for a while.
45.
by 6gvONxR4sf7o 1y ago
Anybody have any experience with this? I just spend a while contorting a custom pytorch model to get it to export to coreml and it was full of this that and the other not being supported, or segfaulting, and all sorts of silly errors. I&#x2
46.
by 6gvONxR4sf7o 1y ago
Presumably if you have 20 million equations, they came from a program that's has fewer than 20 million moving parts, like if they came from A x = b where the matrix A has 20M entries. The gist is either exploit structure to make a mass
47.
by 6gvONxR4sf7o 1y ago
I’m right there with you. Modern languages have such a plethora of tooling available that DSLs and any API approaching a DSL have this massive gap unless they really embrace whatever patterns the host language’s tooling enables. Not long ag
48.
by 6gvONxR4sf7o 1y ago
I've felt the same, but I blame error messages and language ergonomics rather than the practice itself. Basically, everything you said, but with optimism that future languages and language implementations make 'hyper typing'
49.
by 6gvONxR4sf7o 1y ago
In inference that's often the case, but numerical stability in training is often a massive lift for new algorithms.
50.
by 6gvONxR4sf7o 1y ago
I'm sad not to see any mention of numerical stability. One of the hardest parts of all these automatic optimization of numerical algorithms is getting ensuring numerical stability. Once we have a strong handle on getting the best of bo
51.
by 6gvONxR4sf7o 1y ago
I went to a talk of his on CCC ages ago, and it was such a fascinating combination of geometry, causality, and asymptotics. I have absolutely no clue whether it's reasonable physically, but independent of that, it's just a really
52.
by 6gvONxR4sf7o 1y ago
I think it’s using the series as a generating function, not as a calculation.
53.
by 6gvONxR4sf7o 2y ago
Yes, but those probabilities tend to be poorly calibrated, especially after the tuning they get for instruction following and such.
54.
by 6gvONxR4sf7o 2y ago
Not just for training data, but for eval data. If you can spend a few grand on really good labels for benchmarking your attempts at making something feasible work, that’s also super handy.
55.
by 6gvONxR4sf7o 2y ago
MLIR is one of those things everyone seems to use, but nobody seems to want to write solid introductory docs for :( I've been curious for a few years now to get into MLIR, but I don't know compilers or LLVM, and all the docs I&#x2
56.
by 6gvONxR4sf7o 2y ago
I do scientific computing and a lisp was one of my first languages, so i feel like i ought to be the target audience, but it just never quite catches me. It’s almost statically compilable which has almost gotten me to pick it up a few times
57.
by 6gvONxR4sf7o 2y ago
I've had a lot of fun with tracing decorators in python, but the limitation of data dependent control flow (e.g. an if statement, a for loop) always ends up being more painful that I'd hope. It's a shame since it's such
58.
by 6gvONxR4sf7o 2y ago
There are some people in the blogosphere who are known experts in their niche or even niche-famous because they write popular useful stuff. And there are a ton more people who write useful stuff because they want that 'exposure.'
59.
by 6gvONxR4sf7o 2y ago
This is the most disappointing part. We've let some of our companies do sketchy stuff because it's so hard to see where a new ecosystem will go ahead of time, and really hard to roll back popular ecosystems. But finally we have th
60.
by 6gvONxR4sf7o 2y ago
The thing I never got past with yjs was that the generalization of the todo app item-moving thing in this tutorial gets messy so quickly. If you have multiple objects that relate to each other, then you want them in the same Document, and k

More ›