jimsimmons

8 ms·

31.
by jimsimmons 2y ago
What exactly do SMT systems "solve" in cases like this? If I wrote a simple BFS or DFS and enumerated the search space how far would I get.. Is that not what TLA+ does in principle. I am surprised people prefer having a dependency
32.
by jimsimmons 2y ago
Right, how do you know what you want to do is not sleeping 15 hrs a day versus getting inspired by some idea
33.
by jimsimmons 2y ago
JAX tries to be a functional language that has a Python front end. The problem is if you are outside Google and don't really understand the XLA compiler, then you are screwed.
34.
by jimsimmons 2y ago
I agree that nested loops are verbose. But einsum is unstructured and not extensible, hard to debug in pieces, hard to document etc.,
35.
by jimsimmons 2y ago
It comes down to honesty. Are you idle because you want to be idle or are you just being lazy and not going after the opportunity right before you? Are you not pursuing the low-hanging fruit out of principle or is your ego holding you back
36.
by jimsimmons 2y ago
Einsums are the regexes of tensor programming. Should be avoided at all costs IMO. Ideally we should be able to write native loops that get auto-vectorized into einsums for which there is a CUDA/PTX emitting factory. But for some reaso
37.
by jimsimmons 3y ago
https://archive.is/sHU8E
38.
YouTube Says OpenAI Training Sora with Its Videos Would Break the Rules(bloomberg.com)
3 points by jimsimmons 3y ago|1 comments
39.
by jimsimmons 3y ago
Why wouldn't you be able to implement this in Rust or Python? Seems like typical exception handling. Erlang isn't even type checked
40.
by jimsimmons 3y ago
Don't use it. I tried using it for coding but it made up APIs constantly or had subtle errors. I don't know what people mean when they say it works for them. I can see it help as an icebreaker though. It just helps me get in the m
41.
by jimsimmons 3y ago
The Gemini white paper reports higher scores on HumanEval and other tasks. So one of Google lied, this eval has bugs, they borked the deployment is true
42.
by jimsimmons 3y ago
Crazy that Apple gets to ship a proprietary messaging app as the default
43.
by jimsimmons 3y ago
Clearly people very close to Altman were accessed for this article. I'd doubt that'd happen if they deemed that the reporting was going to be prejudicial
44.
by jimsimmons 3y ago
Very interesting theory about GDB being CEO. I thought it was more of a gratitude tour
45.
by jimsimmons 3y ago
Paul always has this delicate restraint in praising Altman it's hilarious. It's like he knows there might be a scandal one day and he doesn't want to have those positive endorsements lying around
46.
by jimsimmons 3y ago
I work in AI research in the Bay Area where hustle culture is strong. OpenAI and hot startups have normalised working long hours and taking few vacations. Hustle is great if you have a well defined, measurable objective. With such an aim it
47.
by jimsimmons 3y ago
There's a GitHub issue on the repo that explores this!
48.
by jimsimmons 3y ago
Wrong link/title
49.
by jimsimmons 3y ago
n00b question: what are some important problems for which quantum computation has shown to have an advantage
50.
by jimsimmons 3y ago
They already use closed form summations. That's their whole point
51.
by jimsimmons 3y ago
Most problematic is when articles critical of OpenAI or Altman get off, despite seeing a lot of activity. Very hard to prove
52.
by jimsimmons 3y ago
A can of coke is a few inches. 150K cans of coke is huge. That's enough to get to the moon?
53.
by jimsimmons 3y ago
Everything is something. Question is what this nomenclature gymnastics buys you? Unless you answer that this is no different than claiming neural networks are a projection of my soul
54.
by jimsimmons 3y ago
How to hire a good stylist? (In SF)
55.
by jimsimmons 3y ago
What is the best way to deduplicate a corpus of documents
56.
by jimsimmons 3y ago
Some journalists on X are claiming that this story is fabricated
57.
by jimsimmons 3y ago
Sunday night: this is the only path forward. Monday morning: she cried!
58.
by jimsimmons 3y ago
I thought it was one of the fastest web frameworks but this article completely destroys that image. What gives
59.
by jimsimmons 3y ago
Wow kinda respect them testing staffs willingness to quit. The juicy tender is fueling a lot of the motivation here, more than any loyalty or preference to Altman
60.
by jimsimmons 3y ago
MSFT comp is shit though OAI comp was high based on equity and its crazy valuations

More ›