skysight-inc/HackerNews huggingface dataset:
Sorry for the lack of clarity. By product we mean white-labelling windmill, not triggering a script or flow by api.
>> the ability to solve grade school maths problems would not be at all a predictor of ability to solve real mathematical problems at a research level

> If you want to solve grade school math problems, why not use an 'add' instruction?

Certainly the objective is not for the AI to do research-level mathematics.

It's not really even to do grade-school math.

The point is that grade-school math requires reasoning capability that transcends probabilistic completion of the next token in a sequence.

And if Q-Star has that reasoning capability, then it's another step-function leap toward AGI.
Not sure what you mean by 'using'. The prompt is from one of the benchmarks used in scoring LLM models - don't recall which. Here is another from BBH [1]:

>>> (-1 + 2 + 9 * 5) =

... (-1 + 2 + 9 * 5) = 43

[1] https://github.com/suzgunmirac/BIG-Bench-Hard/tree/main
WebGPU is a browser API.

Anyone making use of it outside the browser is making themselves a disservice by not using a middleware engine instead.

WebGPU as specified cannot do many modern features, and naturally making use of extensions in wgpu or Dawn, makes the code non portable.
> That's just what I came up with after thinking on it for 2 minutes. I'm sure they have even better ideas.

the thing is that ideas not necessary easy to implement. There will be many obstacles on route you described:

- quality of provers, is there good ergo provers which also can run at large scales (say billions of facts)

- you need some formalization approach, probably LLM will do some work, but we don't know what will be quality

- LLM likely will generate many individual factoids, which are losely compatible, contradicting, etc, and untrivial effort is required to reconcile and connect them
> Just give the approach more time, it shall continue to incrementally improve until it finally works someday, cuz reasons

Yes. Because we haven't yet reached the limit of deep learning models. GPT-3.5 has 175 billion parameters. GPT-4 has an estimated 1.8 trillion parameters. That was nearly a year ago. Wait until you see what's next.
For sure:

https://gist.github.com/spullara/0fc3e88150f66179017b9aa1758...
That I did not know! It was a while since I used an AOSP-close ROM.
it's being rewritten in Go
New Jersey banning sale of new gasoline-powered vehicles by 2035
yes, this is the best use case I have found for chat gpt. I've been automating away all of my little annoyances with powershell.
Chat with Any PDF Document
Show HN: YouTube is now blocking Ad Blockers – So I just make ads run 16x faster
The recent uproar about YouTube and Chrome blocking Ad Blockers left me wondering

What can I do about it different to other solutions?

So, as an extension developer I whipped together a little script to make Ads play 16x faster.

- You would use this as a backup to your AdBlocker - when YouTube forces you to turn the AdBlocker off
- Only speeds up Ads - doesn't affect your normal videos

This demo doesn't click "skip" automatically - but it will in the next version :)
> ML

ML is obviously a huge topic. So are you mainly talking about deep learning related stuff?

If that's the case, I'd recommend fast.ai.

For Data Analysis related stuff, just find any O'Reilly book on Pandas.

For Backend Web Dev, look for a book on Flask. It should be very easy to pick up if you've done backend stuff with JS.

In terms of learning Python "syntax", it's honestly really simple. I'd just get a Chat GPT-4 membership and then just copy and paste any syntax you don't understand and ask it to explain it to you.
Philosophers in general don't have a hard time separating the terrorism of Ted Kaczynski from his philosophy.

> James Q. Wilson, in a 1998 New York Times op-ed, wrote: "If it is the work of a madman, then the writings of many political philosophers—Jean Jacques Rousseau, Thomas Paine, Karl Marx—are scarcely more sane." He added: "The Unabomber does not like socialization, technology, leftist political causes or conservative attitudes. Apart from his call for an (unspecified) revolution, his paper resembles something that a very good graduate student might have written."

Suggesting someone seek professional help because they read a widely-discussed manifesto is insulting. In your bio you say most people are morons, it makes me think of the saying, "if everyone you meet is an asshole, maybe you're the asshole."

After all, to you, somehow Osama bin Laden, who was trained by US Special Forces, worked with the Mujahideen which received upwards of 6 billion in aid from the USA, Saudi Arabia, and China, is responsible for the two decade long "War on Terror" launched seemingly at random by the Americans into countries now determined to be unrelated to the 9/11 attacks. 9/11 was a tragedy for certain, but to use it to justify the deaths of millions of completely unrelated innocents... well it certainly clarifies why our other thread has gone in the direction of you trying to justify imperialism to serve the purpose of nationalism.
I‘ve read a lot of books about Buffett‘s strategy and the goal is to find as many investment opportunities as possible and then invest in the one which most likely has the best returns. For this strategy, it doesn’t matter so much whether there are many privately funded companies. There are tens of thousands of public market stocks, many of which are overlooked. Or, put differently, it doesn’t matter if a company is producing state-of-the-art technology or, say, building houses. If the price doubles in two years, then you‘ve made money.
I think you've misread me. My point was the guy seemed to be suggesting some general human tendency towards extreme self-interest but then used personal pronouns ("I think to myself"). Not that people are generally seeking child brides. If you look at the position of the word "myself" your interpretation does not really fit.
> But that's extremely difficult I think and requires some out of the box extreme creative thinking on how to split it up after the fact.

Thanks for the compliments, but I don't think I'm such a genius, and I manage this regularly. Splitting gets easier with practice.

It's the same as writing any technical document or a scientific paper: you have some idea, and then you decide how to split up the presentation so that your readers can make sense of it.

> E.g. if I split it in a way where I only show shared components, it won't be understandable why I made them shared in certain way because you won't see the actual other logic that uses them, so reviewers are kind of left to trust that these will be used in later PRs.

You can explain that with PR descriptions. Or you can have multiple clean-up commits in a single PR.

> A reviewer won't have understanding of the reasoning without going through the process themselves on how something might be reused.

You are allowed to tell them. That's what the PR description and code comments are for.

(It's better to put as much as is reasonable into code comments, because they are easier to see for future folks trying to understand the code. And, of course, even better is to make the code self-explanatory, where feasible. It's a hierarchy of descriptions.)

> And then if they were to criticise my shared logic, and they want me to change anything, which could even be a change they request because of misunderstanding I will have to change all the other logic down the other PRs as well.

That's always a problem, if you make a big change and only give it to review afterwards. No matter how you present that to the reviewer.

Yes, it is easier to write code that incorporates review feedback, if you can get review feedback early.
Does Australia exist? Well, that depends on which search engine you ask
I usually use prompts from the web and adjust/upgrade them to suit my needs. I try to be as specific as possible to avoid his "trailed-off" answers. Sometimes I also give examples to kind of "concentrate" GPT to the point.
I think the best one right now for python is "beeware": https://beeware.org/

You also have Kivy which is prety good: https://kivy.org/
I don't see how Microsoft reinvented themselves. For better and worse, they behave the same way I grew to expect in the 00s with Ballmer. New CEO knocked off the Google founders' "nice guy" look, that's about it.

Meanwhile, Google is reinventing themselves... to be more like Microsoft.
Nah dude they just need to give baby the iPad and let it watch literally all of YouTube
I am not an expert in this, but as far as I can tell from what I read, Linux doesn’t even try to implement a safe protocol here.

Apple is the only company that enforces a safe pairing that is - to the best of my knowledge - unbroken as of today.

That state of affairs directly contradicts your assertion, at least in this case. Which naturally doesn’t make the opposite unconditionally true, but things seem to be a little more complicated than you assert.
> the worst possible people leading the charge - people who are greedy, slimy, and ruthless; who only care about money.

And who have luxury bunkers to move to in NZ or wherever for if/when it all goes wrong.
> The type constrains the definition. Look at the definition, there is ONLY one possible definition when converting this:

Yes, and if Python had a better type system, I could write a more concrete definition. Why don't you understand that?

> I remarked on this in other replies. How will you define the return value of the concat and have it exactly type correct? It's not possible bro. You can't do much with tuples of arbitrary types. Not unless you have dependent types.

Of course it's possible, the type system even supports almost everything that's necessary. You can already define what I want with a single fixed-size tuple of arbitrary size, you just can't do it with multiple ones. Why do you have this strange fixation on calling this "wrong" and "impossible"?
If you're doing something as a hobbyist you think is legitimate, hitting up your local university and asking to run it by an expert should probably be step 2 and at that point you have your endorsement.

You can just email them or even hijack office hours if they don't respond.

Some slouch off the street deeply enthusiastic in their subject and trying to do work in it is basically definitionally exciting for academics, trust me. Meeting the next Srinivasa Ramanujan is a dream like winning the lotto.
The best way to eat beef is charred over the grill which causes cancer. Oh the irony.
It is the best email client I have ever used.
That's a strange framing. In that scenario would it not be that he made the decision he thought was right and aligned with openais mission initially, then when seeing the public support Sam had he decided to backtrack so he had a future career?
> The results? Constant political fighting and wars

It's a very old concept: "divide er impera".
What’s so arcane about `echo "$(tput setaf 6)cyan$(tput sgr0)"`?
Just because you stay in a job doesn't mean you can't criticize the company and its leadership.
Yes, they don't need profits from Cloud yet. They do need it to be a viable business when growth slows eventually, though.
This reminds me of Zen and the Art of Motorcycle Maintenance where the protagonist realizes there is no "truth" and everything is rhetoric.
Chris Coyier's Guide to Flexbox is one of the most well regarded pages on the modern web!

It's a classic at this point! :-D
My son plays soccer
The principle problems I have with your responses, despite some technical correctness, is that they studiously ignore:

- That Amazon has extended special-case retail transactions to domains in which they were previously utterly absent: retail transactions of books, music, film, and other information goods.

- That the degree, scope, timeframe, variability, and obscurity of Amazon's licensing are all tremendously greater than of other similar prior transactional forms.

- That what were previously simple finite limited and closed transactions --- buying a book, music or video recording, magazine, etc., are now anything but.

- That you're introducing other examples of recent retail practices, post-dating Amazon's significant entrance into markets and subsequent distortions to those. (I'll put that at the mid-to-late aughts, though Amazon itself of course dates to the mid-1990s.) And yes, there's been a significant transition increasingly toward licensing information product sales, most especially of software and information products, which can go back a few decades, but again hadn't applied to books, printed matter, music, and video to any appreciable extent.

That Amazon, and you, continue to equivocate the term buy for transactions which are far better described as leasing or licensing. This specifically includes language on the Amazon website such as "Buy now" (for physical goods, ebooks, and audiobooks). Ultimately this is misleading and fraudulent in Amazon's case, and deceptive in yours.

You're doing this repeatedly in this thread, not just in response to me, and are similarly failing to concede any points raised which contradict or reduce your own claims. Contrast my own multiple concessions.

Etymology for buy: "get by paying for, acquire the possession of in exchange for something of like value; redeem, ransom; procure; get done".

<https://www.etymonline.com/word/buy>
I at least still run it on new drives to verify it wasn't bricked in shipping and to get any early breakdowns out of the way before I try to rebuild my RAID around it. But it is extremely fucking slow to run already on 12 TB drives.
> But... You don't need academic credentials to submit to arXiv.

Well... sure, that's true in the strictest possible sense. But in practice, arXiv does do a measure of gatekeeping that's heavily based around academic affiliation as a criterion. It's just that it's possible with some effort to work around that and submit as someone who is outside of formal academia. Or at least they say it is[1]. I've never tried the process myself and I've heard mixed stories from others who have, about how (easy|hard) it is to get endorsed in such a case.

arXiv requires that users be endorsed before submitting their first paper to
a category.
<snip>
arXiv may give some people automatic endorsements based on subject area,
topic, previous submissions, and academic affiliation. In most cases,
automatic endorsement is given to authors from known academic institutions
and research facilities. arXiv submitters are therefore encouraged to
associate an institutional email address, if they have one, with their arXiv
account (see author registration help). This will expedite the endorsement
process.
<snip>
If you need to be endorsed by someone, it is best for you to find an
endorser who
you know personally and
is knowledgeable in the subject area of your paper.
A good choice for graduate students would be your thesis advisor or another
professor in your department/institution working in your field.

So yeah, you can see that their whole setup is really heavily oriented towards members of formal academia.

That said, they do explicitly acknowledge the need to occasionally reach out and solicit endorsements from people you don't know. So I assume this does happen.

Alternatively this is the recommended way to proceed.

Start by finding related articles in your field. Your preprint surely has
cited works that are already posted in the arXiv, some of these works will
be particularly relevant.
Bring up these abstracts from the arXiv page.
You can find somebody qualified to endorse by clicking on the link titled
"Which of these authors are endorsers?" at the bottom of every abstract
page.
Using that information, you can then find the email address of the submitter
on the abstract page just under the "Submission history" heading.

But, again, I've heard mixed stories from people who have tried. I can't help but think there ought to be some mechanism that's a little more deterministic, but while keeping the overall spirit of arXiv in place, and keeping cranks out. But I'll admit I don't know exactly what form that would take off the top of my head.

[1]: https://info.arxiv.org/help/endorsement.html
This is hands down the reality and the best advice out there. No one cares if you are able to do vulkan for 8 years EXCEPT for research labs.

And getting there requires that - you either have a PhD or the exact experience (threeJS, unity etc) as above because that will help you set foot on industry effectively allowing you to work on higher abstraction and slowly/rapidly decent into low level code.
> You're thinking fixed size arrays. It doesn't make sense to have tuples of arbitrary size.

My god. No, Python doesn't support "fixed size arrays", but it does support tuples of arbitrary size, no matter how often you claim that to be wrong.

> Read my other reply to you to see the problem of taking functions with "generic" number of parameters. What are you going to do with each parameter? What are the types of each parameter? You can't do anything other then breaking out of the type system. Basically you're filling those tuples with a bunch of "Any" types. So what's the point of the type system now? There is No point. Just like List[Any]

I could, for example, do the thing I've been writing dozens of replies asking for: concatenate two arbitrary tuples. It's a perfectly well-defined operation, and without an artificial limitation on unpacking of TypeVarTuples, it would already be possible.

It is already possible to do what you claim impossible with one arbitrary tuple. How can that be? You keep going on and on about how that doesn't work. Why does it?
Because developers don't keep track of possible state changes that follows a callback? Mobile apps are not like C code with an entrypoint, you can't like dump all virtual memory to disk and write back to resume. It's all callbacks and object instantiations, and listing all objects is already a best-effort task.

It won't be impossible to architect an app so that there would be an instance of a class that store all relevant states and load on creation, of course, and I'm guessing that level of competence is mid-six-figure quality in app world.
Americans have always had a math phobia. How is this news?
I was going to mention that an official solution to this problem is around the corner, but the corresponding PEP has been rejected. Anyone know what happened there?

https://peps.python.org/pep-0722/
Got it! That's great to hear. It'd be great to explicitly clarify that in the README :)

Out of curiosity: Have you considered alternative licenses like SSPL or the Elastic license, which make a clear(er) delineation between whitelabelling/hosting vs simply using the application? I'm sure I'm not the first person to have written off Windmill because of the AGPL.
And this should also not be possible. I want my browser and my operation system almost unable to communicate with each other.
Where is the E? I only see the C and S. This also seems to be limited to components whose only useful data structure is an array and systems who only loop over the entire array.
Everybody has a different idea of AI safety. There is the Skynet-scenario (don't let AI take over, by hacking or influencing humans). And there is the thought police (ask ChatGPT to say something nice about Donald Trump vs something nice about Joe Biden; https://philip.greenspun.com/blog/2023/03/05/chatgpt-waxes-p... ).
Yes it goes in that direction, however note that you can already do this in a not too hard way.

Our openflow spec is both open-source and has a full openapi definition: https://github.com/windmill-labs/windmill/blob/main/openflow...

you can use that to generate client sdks in any languages and build your own dag with it. That's what one of our customer did building a reactflow to openflow library: https://github.com/Devessier/reactflow-to-windmill

It's not as good as the decorator way but we move fast and if you still have interest for it we could prioritize it (and ask for feedbacks :))
If you go to Vietnam, which is about the size and shape of California, and travel around the entire country, the government owns the cell towers and there was excellent 4G reception in even the most remote areas. This was back in 2018-2020 when I was exploring all around there.

I've done the same explorations in California and reception was 1000x worse.

My point is, yes... it is possible...
I don't understand your thesis here it seems self-contradictory:

1. "I don't think this is real news / important because solving grade school math is not a predictor of ability to do complex reasoning."

2. "LLMs can't solve grade school math because they're bad at arithmetic, algebra and most importantly reasoning."

So... from 2 automatically follows that LLMs with sufficiently better math may be sufficiently better at reasoning as you said "most importantly" reasoning is relevant for their ability to do math. Saying "most importantly reasoning" and then saying that reasoning is irrelevant if they can do math, is odd.
You could Llama2 70B and Mistral. Perplexity Labs are currently offering them on their website - https://labs.perplexity.ai/

You can choose which one you need from the drop-down.

I've not tested it thoroughly or anything, but LLMs have a wide variety of uses. The non-GPT ones suffice for quite a few, sometimes even better (than the free version, I've not tried GPT4)
No data for this, but I feel like 9% is less than they expected after 5 years of the "frustrate and seduce" strategy, which is why they're even going after ad-blockers now. If anything, they look frustrated. But they probably had to do this.
The one by Jeremy Howard, with a little modification:

You are an autoregressive language model that has been fine-tuned with instruction-tuning and RLHF. You carefully provide accurate, factual, thoughtful, nuanced answers, and are brilliant at reasoning. If you think there might not be a correct answer, you say so.

Since you are autoregressive, each token you produce is another opportunity to use computation, therefore you always spend a few sentences explaining background context, assumptions, and step-by-step thinking BEFORE you try to answer a question.

Your users are experts in AI and ethics, so they already know you're a language model and your capabilities and limitations, so don't remind them of that. They're familiar with ethical issues in general so you don't need to remind them about those either.

Don't be verbose in your answers, but do provide details and examples where it might help the explanation. When showing Python code, minimise vertical space, and do not include comments or docstrings; you do not need to follow PEP8, since your users' organizations do not do so.

https://threadreaderapp.com/thread/1689464587077509120.html
Ah, sorry, I was confused, thanks for the clarification.
Try here - https://labs.perplexity.ai/

From the drop-down you can select Llama, Mistral and Perplexity's own models
It also looked much nicer. These thick curved tab decorations, unnecessary ovals everywhere, yuck.
Zenity