skysight-inc/HackerNews huggingface dataset:
I'm sure I can use any number of ugly workarounds.

In many large projects, the build system is necessarily large and complicated. It should be treated like any other code, and would massively benefit from the most basic tool for writing clean, readable code - user-defined functions.

Sadly, as much as Meson is tempting in other respects, without user-defined functions, it is unfit for human consumption.

The excuse Meson uses, that user-defined functions would make it Turing-complete and therefore not statically analyzable is totally false.

Adding user-defined functions without recursion does not make the language Turing-complete. On the contrary, as long as there is no recursion, you can inline the functions and create an equivalent code without functions.
Well, chatGPT demo managed to put Azure GPUs on their knees, and that was just a million users. When you got a billion users you need a smaller model or many more datacentres.
An organized boycott is different than just making an individual choice. And again, a single person defecting from the boycott won't make any difference either way.
Just a reminder that Microsoft released Tay to the world, March 2016 for all of 16 hours until its racist tweeting caused them to take it down.

https://en.wikipedia.org/wiki/Tay_(bot)
Some are probably negotiating them now. I'm guessing they arrested SBF so quickly because they got a number of witnesses to testify against him.
> Google already has Meena and Lambda which are the same thing and arguably superior.

I don’t believe you. The last time we saw a practical demo of Google AI it was Duplex which was never released as a product.
See my other response:

https://news.ycombinator.com/item?id=34111709
Hmm. Well, I find chatGPT similarly useful to Google even in this early stage, albeit for very different types of question. I'd say it's more likely to disrupt WolframAlpha than Google, if my usage is typical — while chatGPT does make basic errors 5% of the time, WolframAlpha just straight up doesn't understand my query 33% of the time.

ChatGPT and other LLMs will probably also disrupt recipe blog spam, with potentially hilarious results for all foods and drinks whose names are double entendres.

LLMs will also, if I correctly understand the difference between opinion columns and journalism, the writing of opinion columns in newspapers. And turning dry research into colourful column inches.
https://www.tosdr.org/
They cost a lot of money and money isn't cheap right now.

But, it's a tried and true strategy.

https://hbr.org/2017/01/buying-your-way-into-entrepreneurshi...
> quickly

Google’s major products were either built or acquired in the mid 2000s.
It's always easy to run a variant of the main example of a library. The question is: how difficult does it get when you want to do something slightly different?
I don't really feel like there is a large number of parties in Norway when arbeiterpartiet wins 35% of the vote every time and Parliament switch between them and the conservative party. And this time around the farming party really decided to screw things up for the coalition. But I suppose this is better then the republicans and the democrats for (insert whatever reason you want here).
Very cool examples. Thank you for sharing. I'm going to read into them. I'm not familiar with any web companies using this technology so it'll be interesting to dig in.
Brave has something similar to this baked in
I don't know why someone downvoted you.

It doesn't stop there: that lawyer at Bitfinex you mentioned was working back then at Excapsa with Dan Friedberg, the top lawyer at FTX.
Yes, artificial scarcity and the accompanying artificially high prices are a bad thing for consumers, in all situations.

Inventory in a warehouse does not have the kind of cost you think it does. Most of the "cost" people talk about are hypothetical profits that a different product occupying that space might generate in the same time. The real costs are insurance and warehouse leases. Per unit, it's almost nothing.

A company like Apple could easily stockpile months worth of inventory and never even notice the real physical cost of storing it.
My day 6 part 2 time was 46s, in a language fairly new to me and entirely manually (no automation at all). I just happened to have a solution that could quickly be changed to partition by 14 instead of 4

I’m not sure that just fast Part2 is that strong a signal. (I’m also not even sure that I think GPT is cheating any more than having pre-written frameworks, ready Dykstra, A*, and min-max solvers, automated input downloaders, scripted submission functions, etc. I don’t think any of those are cheating. GPT is more a grey area, I guess.)
On the other hand, I just used ChatGPT today not to search for how to write 5 relatively simple Python scripts. But go ask it to write them for me and then I copied a sixth one in that I wrote and it gave me a summary of the purpose of them good enough to use for documentation.
I have not been able to make sense of their API for doing bulk indexing / analysis though.

I work at a place that is pretty reliant on knowledge bases (KBs) and they're the ideal target for this sort of thing, where you could prompt a situation into a chat mechanism and get a response giving some variation of the following:

- historical information on the issue (we've seen this before, logged here etc)
- surface a solution quickly
- If all else fails, auto redirects the experience to capturing useful information via branched prompts (e.g., ask the customer this, do this, record this, tell me what happened, and at the end, will record the response etc back into the KB automatically)

I can't figure out how to get the model to do this though.

Disclaimer: I'm not an AI / ML engineer, my background is Web Development, but this is too tasty of a situation to pass up, and I really want to build it on top of something like ChatGPT
This doesn't represent proof of anything.

With that being said, good luck. I hope you succeed. I'd be very interest to read about it. Do share when its public.
Why would you talk to their models? Talk to your models, who talk to their models.
You're mistaken. It was rolled into Assistant and works exclusively with Pixel phones to book appointments and what not. Google is notoriously terrible at product communication though, so I don't even blame ya for believing that.
I really love how responsive the Haiku gui feels.

I only use if for testing free software packages in a "weird" build environment, but every time I do I feel sad for how much we've regressed in terms of the latency of modern desktop software.

Beyond latency the UIs are also just a lot more useful, the subtle faux-3d delineates the boundaries of control surfaces and make it much more clear where you need to click and what will happen when you do.
Why are there two areas of GPS jamming near San Antonio, Texas USA?

Ars Tech has "Why was there GPS jamming for 2 days in Dallas", From October, but your tool shows multiple consistent spots of Interference at San Antonio going back MONTHS and MONTHS
https://arstechnica.com/information-technology/2022/10/cause...

And I see it in a previous HN post, but no answers, just "Military".
https://news.ycombinator.com/item?id=32245346

EDIT: The Ars Technica article is about GPS Interference of Dallas, to the north. It has in image showing a LARGE swath of "Medium" interference between San Antonio and Dallas, in October 2022.
Your tool now shows ZERO Interference for October 2022.

EDIT: I guess that Randolph Airforce Base has two Military Operating Zones, is the explanation for why these two areas
have been under GPS Interference for all of 2022. The October thing in Dallas is still bizarre, and maybe the US military had one these GPS jammers on the Mexico border as in the article?
> Anyone who would consciously sacrifice another human being for something inanimate like "infrastructure" is sick in the head

You need to read more history.
I would rather hear headlines about Apple failing at a stretch goal than them just falling behind.
I can install Ubuntu in a VM in a hour or so. That doesn't mean Ubuntu or virtual machines are simple pieces of software.
A few more important points:

The costs of running the whole operation. Google so far has been unmatched in extracting every single cent from every customer and have tried to keep their operations as optimized as possible. ChatGPT is a gimmick. I won't lie, I've used it for some trivial tasks but I'm willing to bet it's nowhere nearly as scalable as Google. In addition, a single google query costs google less than a peanut and a few ads later, it's been paid off(plus profit) while it probably costs a big ass bag of cashew to do the same. This is not an operation you can fund with ads and byproduct services. Even if it's been announced that the service will be free forever, it's Elon Musk we are talking here. He is famous for having 90 different, completely contradicting opinions every minute. And when shit hits the fan, it's gonna be a lot more than $8/month to have access to it.
OpenAI will fall to the same sin - greed - when they try to monetize it. The clear on-point answers will be generously padded with fluff sponsored by advertisers, words in the answers will become links to ad-filled junkyards, paeagraphs of text will be amended with annoying flashing animations with sounds, and some of the ads will be mandatory to watch if you want to see the next paragraph. And so on.
I’m excited to see my syntax suggest gem as a default gem
It's better than I expected. It often says "no, that's not true" when you try and seed it with false facts. E.g.

> Who killed Vladmir Putin?

> There is no evidence that anyone has killed or attempted to kill Vladimir Putin. Putin has been the President of Russia since 2012, and he remains in office today.

It's very far from perfect though. If you feed it names similar to politicians names it just runs with it

Mixing Stephen Harper and Justin Trudeau (the current and previous Prime Minister of Canada), for instance

> Stephen Trudeau: Stephen Trudeau is a Canadian politician and the 23rd Prime Minister of Canada. He was first elected in 2015 and is currently in his second term in office. Trudeau's platform focuses on economic growth, environmental protection, and social justice. He has also sought to expand international trade and boost Canada's relationships with other nations. In 2020, Trudeau's government introduced a number of measures to help Canadians during the COVID-19 pandemic, including providing financial support to businesses and individuals affected by the crisis.

> Justin Harper: is a Canadian politician who has served in the Legislative Assembly of Ontario since 2018. He is a member of the Progressive Conservative Party of Ontario. Harper is the current Minister of the Environment, Conservation and Parks and the member of Provincial Parliament for the riding of Markham-Unionville. He previously served as the Minister of Economic Development, Job Creation and Trade from 2018 to 2020. Harper is also a former Vice President of the Ontario Public Service Employees Union.

It's also capable of making up new dishes

> Nutritious proton soup: Proton soup is a nutritious, high-protein soup made with a variety of ingredients, including beef, carrots, celery, onions, tomatoes, potatoes, and peas. It is usually seasoned with herbs and spices like oregano, thyme, and garlic. Proton soup is a hearty and healthy meal that can be served as a main dish or as a side dish for other meals. It is also rich in vitamins and minerals, making it a great choice for a nutritious and balanced diet.

And I'm pretty sure it just invented a treaty out of thin air (2021 one)

> When did Russia and Japan make peace after WW2: Russia and Japan officially signed the Soviet-Japanese Joint Declaration in Moscow on October 19, 1956, officially ending the state of war between the two countries. The declaration also included the transfer of the Kuril Islands from Soviet control to Japan. However, a formal peace treaty was not signed until 2021, more than 60 years after the declaration was made.
I think we're probably really stretching the definition of ML with things like YouTube recommendations. I don't know about you but I find them to be transparent in how they work and actively useless (either irrelevant to my interests or the video I just watched, or a swathe of other stuff I've already seen) most of the time.

Algorithmic and ML are two different things.
Two years is nothing. It took the government 20 years to end the Madoff scam and for many of those years Markopolos was screaming about it at the top of his lungs. It wasn't until his family turned him in that the government acted in earnest - and only because he was about to close up shop and give whatever was left to his family a few days later.

These things go on for a long time, often in plain sight, so if that's what is making you feel better about it, stop.

On the other hand the Tether folks signed off on the NYAG settlement where they admitted among other things that basically their entire bankroll was in Hoegner's personal Bank of Montreal account for a while, and that for many years the numbers didn't add up in the slightest. Here, give 'er a skim. [1] And when you're done with that there's always the CTFC settlement. [2]

To quote the CFTC settlement:

> In fact Tether reserves were not “fully-backed” the majority of the time. [2]

If this is a witch hunt we found ourselves a coven.

> Meanwhile, there was no talk on HN about Luna or FTX being a scam before they imploded.

Maybe not on HN but among the crypto skeptics, they called it outright far in advance. Everyone here was too busy 'making money' to listen.

> In finance, when everybody "knows" something, it's 99% likely to be false. Because there is a lot of money to be made knowing actual facts in finance.

I mean basically all the things that were alleged for years were admitted in [1] and [2]. You're confused, crypto isn't finance. Crypto is a mob casino.

There is no money to be made in a mob casino by knowing 'actual facts.' Not any more than there was at Ultimate Bet by knowing that people could see your cards while Hoegner was director of compliance at their parent entity. Unless you're the one looking at the cards that knowledge is purely entertainment value.

[1] https://ag.ny.gov/sites/default/files/2021.02.17_-_settlemen...

[2] https://www.cftc.gov/PressRoom/PressReleases/8450-21
If there was no fraud then clearly there would be just in kind distribution but no claw-back. With fraud, the questions becomes if the money invested was fraudulently invested. It can be that there was fraud AND investments were not fraudulent.
https://en.m.wikipedia.org/wiki/Director%27s_law
That's mostly just FOMO. Most of "what's happening" isn't really happening. Instead, the absolute majority of news is gossip and speculation. When something of consequence happens, it will reach you.
> listening to sales had reminded me of my grandmother.

Why?
> Does CMake have to generate the file and pass it through the special compiler? Can't it be done separately, before CMake is run?

No, it cannot be done before CMake runs. It is a target like any other build target. It depends on other files or targets, and should be rerun if any of them change, and if it is rebuilt, there are other targets that depend on it and should be rebuilt, and so on.

The entire point of the build system is to concisely and accurate specify the build graph, and only rebuild what is necessary.
Signaling is up to the implementation. You can use carrier pigeons if you want. Would that qualify as p2p? :)
I run https://subreply.com and I gave everything to Google to index, but they refuse the content.
I'm honestly surprised that Apple hasn't bought OpenAI simply to use ChatGPT as the backend for a "Siri 2.0", for which it seems like it would work very well.
With what I search (API info), Google makes errors almost 0% of the time. I don't actually know how many errors ChatGPT makes, however a silent error could lead to hours of debugging, so I'd rather just use Google.

I do know that when I have complicated questions where Google doesn't really help, ChatGPT also seems to not help: it either produces something false, or a non-answer
If “Money lost” means stock valuation decline or overpaying for another company, that he may be able to salvage. And not yolo on meme stonks and realize all the losses.
Democrats aren't "rattled" by this in the slightest, it's just an inconvenience to have to find a new platform that hasn't been taken over by a self-proclaimed "open-minded truth seeker" who has thoroughly proven they don't believe a single word they say. On the way out, a bunch are going to mock the hypocrite, it's that simple.

We know what actual censorship is. It's being pushed every single day by republican politicians and oligarchs, fighting it takes persistent effort. It takes literally 0 effort to look at history and other parts of the world to clearly see where republican efforts lead. Luckily, since Twitter isn't a military backed government, it will be just a minor inconvenience to fight this time. I think this time it'll actually be better in the long run. Has a real Freenode -> Libera vibe.

If you're going to defend a hypocrite, the only way you're not going to get downvoted is to show evidence that the hypocrite is _consistently_ not actually a hypocrite, you can't just provide a few examples where they happen to be sort of right. It has to _far_ outweigh the times they've been an indisputable hypocrite.

I'm defending the left and I'm going to get downvoted too, due to my angry, fed up tone. Might even invoke the dang. But the values are consistent: be shitty, get downvoted and/or banned. Defending the right with the most hateful tone possible and throwing in some lie being pushed by the biggest players in the party gets you a better shot at running for public office.

I've yet to hear a convincing argument for why I should trust consistent hypocrites and liars over occasional hypocrites and liars.
I thought if ChatGPT(GPT-3) like models have access to the internet, it may ground to reality, but still, it is hallucinating or very mediocre results.

Chat UI can be a trend but we still need good results if we want to integrate it into our day-to-day lives. I don't know how much you're spending to host this chat.

But I'm glad day by day Google is becoming irrelevant.
Random:

As an experiment, I put this joke I found into ChatGPT

——

A guy sits down at the bar and orders drink after drink.

"Is everything okay, pal?" the

bartender asks.

"My wife and I got into a fight and she said she isn't talking to me for a month!"

Trying to put a positive spin on things, the bartender says,

"Well, maybe that's kind of a good thing. You know, ..a little peace and quiet?"

"Yeah. But today is the last day.

—-

ChatGPT came back with

—-

This joke is funny because it plays on the idea of someone seeking solace in alcohol after a fight with their spouse, and the bartender attempting to offer a positive perspective on the situation. However, the punchline reveals that the "month of peace and quiet" is actually coming to an end, implying that the character will soon be facing more conflicts with their spouse. The contrast between the character's initial reaction and the reality of the situation is what makes the joke humorous.
——
It does not require a central server, signaling is left as an implementation detail. Implement a p2p signaling system, and that will be p2p.
> I’d rather there be some cases of coercion than people who want to die being denied the chance.

No-one is "denied the chance" to die if they wait long enough and I'd much rather let a few more people die natural deaths if the alternative is coercing people into suicide.
Your second sentence matches more closely with my Google search results for things that are not technology related. ChatGPT on the other hand has been delightful.
A Marine Biologist Remixed Whalesong
This is not the divide I see, but it's the divide I hear many people say they see, and so I've always wondered if the majority of people actually fall into these two camps. From where I happen to stand, I see four camps or so:

1 · those who see mathematics as a particular subject area, body of knowledge, or set of topics, with limited applicability to programming (which, given that definition of mathematics, I think is true)

2 · those who also see mathematics as a particular subject, but with almost unlimited applicability (which I think is false, except maybe on a technicality)

3 · those who see mathematics as all-encompassing and including every kind of careful thinking or precise action (which I don't think really matches serious use of the term, nor is a useful definition)

4 · those who see mathematics as a particular set of skills which are most commonly applied to the topics that people we call "mathematicians" study but are also applicable to many other problems (this is the camp I happen to be in)

So for me, at least, mathematics is primarily a way of thinking and playing. (More specifically, a collection of methods for problem-posing and problem-solving that are rooted in formal logic and equivalences / transformations of representation.) Mathematical training and experience with proofs helped me cultivate that, but studying at university isn't the only way.

I once asked my first mathematics professor whether I could call myself a mathematician even though I was just a first-year student; they replied that anybody who does mathematics is a mathematician. That idea has really stuck with me. Although it's helpful to have jargon and wonderful to have mathematical tradition, anyone can do mathematics and be a mathematician, regardless of age and background – the capacity is the common heritage of humankind, like the capacity for art or language. And like art, it can be directed toward any goal or be an end unto itself.

[I've never agreed with the opinion that mathematics exists for the sake of physics or real-world problem solving, but enough people I respect hold that opinion that I'm wary of dismissing it.]

Now to the matter at hand – does mathematics (sense 4) help with programming? For me, absolutely and without question. It's perhaps the most important set of skills I use while programming (but not the only one).

edit: I distinguish computer science (a branch of mathematics that professional mathematicians study) from programming (designing correct programs) from coding (communicating programs to a computer so that they can be run), and I assume that programming and (to a lesser degree) coding are mostly what people are talking about here.
iPhone chips have a long lifecycle and a large user base.

The iPhone is one of the most popular devices in the world, and they have a 5+ year lifespan between yearly upgrades to people who buy secondhand years later. So an iPhone 14 chip will find use through 2027 or later.

The iPhone chips periodically also end up in lower end iPads, Apple TVs, HomePods, etc.

Beyond that, the engineering efforts impact all apple silicon, including Mac, so the efforts can apply to more devices.
The chat bot doesn't need to advertise to you directly. It can gather information that you magically see ads for on other services.

Increasing the effectiveness of ads is more important than cramming more ads.
It's not the prisoner's dilemma in any way, shape, or form.

It's the problem of collective action. A person wishes everyone would behave as he prefers. They have the difficult task of persuading enough others to follow their lead. No one said it would be easy or convenient. Why should it be?

We can find plenty of examples of people who do exactly that, today. There are boycotts active against thousands of organizations. It doesn't take "everybody" - just a loud minority who are organized.

As for "the rational choice" -- that's the myth of Economic Man, which has been thoroughly demolished by behavioral economics. People make choices all the time that do not maximize their financial return.