jononor

14 ms·

271.
by jononor 1y ago
How good are current LLMs at translating problems given as text into something SMT solvers can operate on? Be it MiniZinc, Z3, Smtlib, Python bindings, etc. Anyone tried it out?
272.
by jononor 1y ago
There is no LLM suffering today. There is no evidence that there will be such suffering this year. I have seen no credible claims that it is probable to exist this decade, or ever, for that matter. This is not an issue we need to prioriti
273.
by jononor 1y ago
Just a quick prompt for reflection. I do not suggest anything how people actually live their lives. But many have said that they got caught up in being too busy to actually enjoy life. Don't fall into that by accident!
274.
by jononor 1y ago
They might (or might not). Extraterrestrial beings might also need moral standing. It is ok to spend a bit of thought on that possibility. But it is a bad argument for spending a non-trivial amount of resources that could be used to reduce
275.
by jononor 1y ago
I do not think that those researchers are fungible. We could however allocate a few hundred million less to AI research, and more to fighting human exploitation. We could pass stronger worker protection and have the big corporations pay for
276.
by jononor 1y ago
One month at 20 USD seems like it should be plenty to try it out on a small project or two to decide wether it is worth trying 100 bucks/month? Or one can just wait a couple of months as people report their learnings.
277.
by jononor 1y ago
The actual harms being done today are still more pressing than the hypothetical harms of future. And should be prioritized in terms of resources spent.
278.
by jononor 1y ago
We are slave masters today. Billions of animals are livestock - they are born, sustained, and killed by our will - so that we can feed on their flesh, milk and other useful byproduct of their life. There is ample evidence that they have &qu
279.
by jononor 1y ago
Still is?
280.
by jononor 1y ago
Does you Google actually respect the keywords? For me, most of the times it replaces words with "synonyms" (mostly wrong context or not really replaceable). And results are pretty crap as a result - no what I was looking for, but
281.
by jononor 1y ago
pybind11 is your friend. Focus on small self-contained functions first. For numerical functions you can then take it mostly our of a book. See if you can speed up some simple and common operation within your problem domain of interest.
282.
by jononor 1y ago
Haters gonna hate. Don't let the fear of that stop you.
283.
by jononor 1y ago
Are you speedrunning life?
284.
by jononor 1y ago
GPU memory bandwidth is the limiting factor, not PCIe bandwidth. The memory bandwidth is critical because the models rely on getting all the parameters from memory to do computation, and there is a low amount of computation per parameter, s
285.
by jononor 1y ago
Impressive! What kind of motherboard do you use to host 7 GPUs?
286.
by jononor 1y ago
Agreed, 12 GB does not seem useful. For coding LLM, it seems 128 GB is needed to be even close to the frontier models. For generative image processing (not video), it looks like one can get started with 16GB.
287.
by jononor 1y ago
The analog loophole copy/paste :D
288.
by jononor 1y ago
Wich machines and organizations do you recommend for recycling plastic?
289.
by jononor 1y ago
The school shooter type seems to want to be present locally, to go out with a bang, and to do it somewhere they are connected to. They are not aiming for maximal scalability nor chance to get away. Of course, other threat actors might, like
290.
by jononor 1y ago
You are helping the companies train better LLMs... Both by just paying for their expenses, but also they will use the training data. That may or may not be something one considers a worthwhile contribution. Certainly it is less valuable th
291.
by jononor 1y ago
War is not amusing. In this war several hundred thousands have been killed, over a million are injured for life, and many millions are terrorized by frequent random bombings of civilian targets.
292.
by jononor 1y ago
For knowledge workers in western companies, 20 USD/month for ChatGPT style tool, seems like it is likely worth it for employers to front. I think over time we will see this included in "standard office tools" like email&#x2F
293.
by jononor 1y ago
OpenAI is not at all profitable right now. Which is their plan. They have from the start been focusing on hypergrowth to become one of the very biggest players. The monitization phase comes later. Probably still a few years from now. Of cou
294.
by jononor 1y ago
Duck typing is great, for example to support a range of numeric inputs - say fixed-precison integers, floats, dynamic precision integers, and numpy arrays, pandas series, tensorflow/pytorch tensor. That duck typing can support function
295.
by jononor 1y ago
Some are using polars for new code, where they might have used pandas before. I would not call pandas "legacy" though. It it still as ubiquitous and viable as before.
296.
by jononor 1y ago
Happens all the time. Problems come quickly when the datasets used for evaluation are not clean, or the evaluation is incorrect - data leakage, problematic imbalance between groups, distribution shifts vs the actual production data. Or peop
297.
by jononor 1y ago
You can do that with reviewed papers too :)
298.
by jononor 1y ago
Anyone who found something useful in it and are writing a new paper. That something is unreviewed does not mean that it is bad or useless.
299.
by jononor 1y ago
Yes. And the same for DS/ML people also, please. The amount of ML people that can meaningfully drill down and actually understand the data is surprisingly low sometimes. Even worse for being able to understand a phenomena _using data_.
300.
by jononor 1y ago
Seems like you have identified a potential business need! If some component could simplify the auth similarly, that would presumably be very valuable. Could be an open source project, or a startup (or both).

More ›