skysight-inc/HackerNews huggingface dataset:
I understand this as question on how these symbols are pronounced (the names are in the article if you are curious): actually "for all/every <...>" and "there is/exists (at least one) <...>".

Example: ∀ x∈ℝ\{0} ∃y∈ℝ : x*y=2

"For all values x from the real numbers excluding zero, there is a value y from the real numbers so that x*y equals 2."
> trivial and unique Python programs would output if they were run, despite GPT-4 not having access to a Python interpreter itself

Trivially explained as "even a broken clock is right twice a day." I skimmed the paper, as it was linked here on HN iirc. First, it was published by Microsoft, a company that absolutely has a horse in this race (what were they supposed to say? "The AI bot our search engine uses is dumb?"). Second of all, I was very interested in their methodology, so I fully read the first section, which is woefully hand-wavy, a fact with which even the authors would agree:

> We acknowledge that this approach is somewhat subjective and informal, and that it may not satisfy the rigorous standards of scientific evaluation.

The paper, for instance, is amazed that GPT knows how to draw a unicorn in TikZ, but we already know it was trained on the Pile, which includes all Stack Exchange websites, which happens to include answers like this one[1]. So to make the argument that it's being creative, when the answer (or, more charitably, something extremely close to it) is literally in the training set, is just disingenuous.

[1] https://tex.stackexchange.com/questions/312199/i-need-a-tex-...
It's like blackjack: do you want to stay or double down?

Either way, you can win or lose.

But as with gambling, bankroll management is of essence. You don't want to lose more than you can.
Shouldn't you be comparing to the model 3, which has a base price of 39k?
>You, my friend, are dismissive to the fact that people are only willing to put in their valuable time into something if it seems at least on first glimpse interesting enough.

simple solution: don't pontificate/comment if you don't have any valuable time - no one asked this guy his opinion on co-iteration.

also the comment you directly responded to doesn't say RTFM - it literally poses a puzzle that illustrates the point.
That's awesome :)

When I was a kid I'd paint my bricks the right color if I didn't have enough of the ones I needed or if Lego had decided that bricks in a certain color shouldn't exist. Like green. Which they eventually made of course but when I was a kid those didn't exist at all.

At 2.5 years old that's a great attitude to have, that's one that'll go places :)

Thanks for this comment, it really made my day!
Daily audio AI-summaries for ArXiv papers
Assuming this happens without any violence, which I truly doubt.
Huge socioeconomic changes like this always come as a result of violence and uproar.
Someone should make Werewolf with humans as the villagers and AI as the werewolves.

https://en.wikipedia.org/wiki/Mafia_(party_game)
It is very easy to measure costs associated with a customer.

It is nearly impossible to measure the customers lost.

And you may never return, which they’ll never know.
Next you're going to say social engineering isn't real engineering :P
Dude, every parent has to maintain the device anyway as the school doesn’t. Thus my story about being on the phone with “tech support.”

And I’d imagine 100% of parents don’t have the time.
Last time I went to the dealership they were asking 27K for a 2020 Camry and mentioned they had no new inventory in stock and everything was 5K over msrp minimum.

TM3 base model for me came out to about 35K w/ tax credits.

If you include how much you save in gas it checks out.
AVHRR started collecting data in the early 1980s, not the early 70s. ChatGPT is hallucinating again. I guess this is the scenario AI ethics people feared - the internet being clogged up by AI generated misinformation. If you want to take part in this debate do you own research and cite actual data.

Polar bears are doing fine, by the way.

https://polarbearscience.com/2023/02/23/published-field-stud...
There are some beagles who can attest to how terrible sand flies are:

https://www.dailymail.co.uk/news/article-10125599/Fauci-fire...
> doing three lessons of Duolingo a day for a week will put you somewhere in the 60 - 80 minute region [...] That means it will take you 9.2 years to become proficient in your chosen language.

This makes several assumptions, namely:

1. That Duolingo has the ability to teach a language to the US Foreign Service Institute standard. I have reasons to doubt that. Several years ago I completed the entire French tree in Duolingo and I am in no way proficient: I can understand a bit but I can't really formulate a sentence beyond the absolute basics.

2. That an hour of Duolingo is equivalent to an hour of US Foreign Service Institute tuition. I don't have first-hand experience of the FSI. However, I have recent experience of learning a language (German) outside Duolingo. After watching ~40 short grammar videos and taking 65 hours of 1:1 tuition, my command of the language is WAY further along than that entire Duolingo French tree from a while back, which took many more hours.

Now, there's clearly a significant cost difference between the two approaches. My point is that an hour of study isn't really a good metric when it comes to comparing methods of study.
Their guidance to treat it like a security has clear tax implications, im obviously not saying they control the tax legislation itself.
Oui, je ne connais pas beaucoup d'expressions françaises, alors j'essaie de les construire avec des phrases anglaises.

Mais ce n'est pas vraiment apprendre une autre langue quand tu faites cela.
Show HN: Torb – make Kubernetes DevOps easier
https://github.com/TorbFoundry/torb

Hey HN, about 9 months ago I was getting infrastructure set up for a project and it was taking way too long. It took hours before I was even able to begin working on the project itself instead of the infrastructure and it wasn't particularly pleasant.

I got fed up and that's when I started thinking about how I could make it easier for people to develop with Kubernetes locally and then quickly deploy to a production environment in a consistent way that respects a set of best practices and leveraging some common infrastructure tools like Terraform and Helm under the hood.

The result of this was Torb.

The mission is to make it simple and easy for software engineers to create and deploy infrastructure on Kubernetes with best practices in place.

For now I've been focusing on getting projects launched on an existing cluster, but I'd like to eventually help with bootstrapping clusters as well.

I've been dog fooding this on my own projects for a bit now and have also had some friends who are using the tool and giving me feedback.
This is a good start to the list of things to consider. Most countries have some time limit for tourist visa, typically 90 days, and then some maximum number of days per year e.g 180 days. Even if able to avoid these rules by overstaying limits, you will be breaking the rules. You might be refused to enter the country at a time when you left for a short or longer trip. If doing nomad without any planning, then best to stay within the tourist visa limits, and bounce between 3-4 countries
Yes, thanks. Meant “isn’t working” and I typed that, but thanks to autocorrect, my phone changed it to “is working” and I didn’t notice until now.

I have to get in the habit of proof reading everything since I can’t rely on just typing specifically.
A great example of this hit me last week when a demo for prompting pixel art pointed out you need to date the video game you’re referencing. You might know you want “final fantasy 6 pixel art style” but there are many remakes of it.
No. I've just made it up. But I've never heard it in my life playing with other people; only when watching Polish grandmasters and other people involved in chess in an official capacity.
I don't think there's any way to interpret that as anything other than Microsoft making excuses and trying to pretend that their existing mobile software efforts and hardware install base were still worth something in a post-iPhone market. It's probably what their investors and partners and some of their customers wanted to hear. It's definitely not what their engineers and product managers needed to hear.
This made me wonder how long we have been doing cataract surgery...

> In 1753, Samuel Sharp performed the first documented intracapsular cataract extraction (ICCE).

I would not have guessed 1753.
Friction doesn't exist I guess. Spherical cow and all that?
Everyone seems to dislike Duolingo. So what are your app alternatives?
Yet none of them have worked for me, and I’ve tried many. The plan is to return to Pimsleur once I’ve spent a couple years with Duolingo. Sure, Duolingo won’t give me fluency, but I’m having fun getting to the point I can use an app that can. I don’t have the motivation for anything more intense. Language learning is very difficult, and Duolingo breaks it into painlessly small chunks.

I almost got banned over a comment I made on another Duolingo post because I got so frustrated with the gatekeeping here. The attitude on HN is disgusting. It’s blatant gatekeeping. “Your way is wrong. If you can’t do it the right way you don’t deserve to learn a language.”

I regret commenting here. I’d delete my comment if I still could, but instead I’m stuck arguing with another language learning snob because I don’t have the self control not to.
FWIW the results of this process are... awful.

The 3 great games they have were not built this way. Crosswords obviously are decades old. Spelling Bee was entirely designed by Will Shortz (who mostly copied it from another paper). And Wordle was bought.

Every other game they've made I find almost indescribably unappealing. I love puzzles of all types, but it's hard to even call them puzzles. They are clunky interfaces on top of clunkier concepts which are more exercises in rule-following than puzzles to solve.
That's not an insight, it's a misunderstanding. Overfitting is only applicable relative to claims of statistical performance.

And in any event, there are lots of systems with fewer degrees of freedom (or in the case of deep learning, more generalization potential) than the training data, that are not at particular risk of being overfit, and there are measures and tests to mitigate the risk of overfitting. It's not some inherent characteristic of "systems".
The wave of lawsuits that could kill social networks
One safe space for me is the IPCC report summary document itself.

It's generally couched much more cautiously than most of the rhetoric out there.

Its authors seem to really bend over backward to try to accurately characterize the various degrees of acceptance and certainty of the myriad different aspects of the "consensus."
This is like a horrible way to describe something.
The Astronaut Who Forgot to File His Taxes
fun fact: Thermidor - after which Sauce Thermidor and derived dishes like Lobster Themidor are named, is a month in the French Republican Calendar, specifically: the second month of summer, going approx. from mid-July to mid-August.
>>> Build a system that solves problems, but with an important user-facing control. ...

>>> Convince the user that it is their job to find a instantiation or setting of this control to make the system work for their tasks.

By golly, you just described playing the cello.
It's not interesting to make glib comments based on the headline. The article describes an extensive in-house game development process.
Saturn's Interior After the Cassini Grand Finale
Rousseau Melody Notation
ChatGPT itself is in on the scam. The way i think about it is that ChatGPT is already superhuman at bullshitting, many people want to give it credit for being more capable than it really is.

it is interesting to postulate if it is the “most likely word” heuristic that leads to this behavior (e.g. never says anything that startles people) or HFRL training systematically teaching it to say what people want to hear.
Yeah but how often are they elephants, and how often are they cattle that have just been neglected for 15 years?
Combining teaching with research made me a better scientist
> All of those services accept credit cards. Because there would otherwise be too many people unwilling to give up their bank routing number.

That's not actually true, they allow both ACH and debit cards.

But either way it's irrelevant, revocation risk can simply be offset with a fee.

The system doesn't suddenly stop working if you can only pass on 95% of the deposited amount. Or even 90%. Or 80%. If people want it, they'll use it anyways. The thing is they don't.
> Do not ruminate! Do not revisit arguments that could have gone differently. Use what you can as a lesson and move on. Don't get stuck in the past.

Ruminating is such a negative driver in a lot of our lives that I feel we should do better than internet advice.

It’s probably useful to rehearse decisions in the background, except when it’s overwhelming, and it makes me fall back into Tiktok addiction because only Tiktok takes me away from rumination, and I think we’re a lot of people who do something addictive just as an upgrade from ruminating.

But yes, ruminating ruins months, maybe years in a life.

Go see a psychologist if that is the case.
I think it’s fair to call that behaviour gambling too.

Options and derivatives that create or extract artificial volatility out of economic prices are gambling tools in the hands of most consumers.

The underlying source of randomness for a gambling instrument doesn’t really matter as long as it’s statistically well behaved. The physical uncertainty of a roulette wheel, the economic uncertainty of the business cycle and the athletic uncertainty of a sports match all do the job.
Err, I thought time was important? Now you're listing off all of this stuff you don't really need...

Take it from a multi millionaire: it's not that cool. You already have everything you need and more, probably. Start appreciating it..

You sound jealous?
So this isn't something that normally occurs.

> The first ever exploding mosquitoes can be attributed to Robert Gwadz, Ph.D., in a discovery that was made through basic laboratory research over 50 years ago. He found that making an incision in the ventral nerve cord of a mosquito cuts off the signal to stop feeding, giving it an unquenchable thirst for blood. Mosquitoes that have undergone this procedure can drink in excess of four times their weight and may eventually burst. This led Gwadz to a hypothesis that blood ingestion is regulated by abdominal stretch receptors that prevent mosquitoes from (quite literally) drinking themselves to death.
Does anyone know about any advantages of ChatGPT plugins over LangChain? Are ChatGPT plugins basically just LangChain and possibly a fine-tuned model?
> If our displays flicker to them, which is a highly probable, it is annoyance by any definition.

Well, an annoyance by your definition. Not sure how you managed to declare it universal.
Same here in Australia. I've had about six weeks not mowing due to a few weekend projects and now it's leech infested.
Yes, that price focus is really silly and distracts from the actual utility. But for me that doesn't explain the hostility here on hackernews.
To say that I experienced a mental breakdown would be putting it lightly.

However, in this time I experienced altered smell. I haven't spoken about this much. Nearly all food smelled rancid, putrid and rotting. Despite visually appearing to be free from decay - it was normal food. Humans stank, including myself and it was a horrible time.

Eventually, also with medication, I was able to regain a more normal sense of smell. I suspect that human smell is something like a radio - capable of perceiving far more than we imagine, but that neurochemistry dictates where that smell frequency is dialled to.

Perhaps as humans we are ordinarily on the evolutionarily optimal frequency, a kind of middle ground, despite much more being possible.
Weight != size. Battery powered cars tend to weigh a few hundred pounds more than comparably sized gas powered cars, which is more efficient? Weight doesn't give you an answer on efficiency.
I completely agree. I don't say this because it's crass, but DuoLingo is my goto "toilet app". I know it isn't as good as app or service X.

But I can do it when I drop it on a daily basis to do the deed. Same with the other apps but they aren't as much fun, and that's what it's about while pooping.

DuoLingo while pooping is just one plank in my program, the others are Netflix and HBO in Spanish, as well as multiple travels per year to Spanish speaking countries.
That’s true, but neither are leeches. There’s a limit to everything.
The head of the Securities and Exchange Commission has a clear incentive to call things securities.

He doesn't "get to say" whether things are securities either. He can claim they're securities but he has to prove cases in court, which isn't turning out to be that easy even for XRP.

Ultimately, Congress decides the rules, and not everyone in Congress thinks the SEC is doing a good job here.
I don't understand the conspiracy theories. These fast settlement services are already provided by private banking services. The government is stepping in and providing a cheap option for all banks. You aren't forced to use this any more than you're forced to use anything that came before.
Turing Tumble Review (2019)
This Earth Day, cut through the corporate climate hype
https://wikipedia.org/wiki/Ancient_Egyptian_multiplication

"Ancient Egyptian multiplication" is also worth mentioning if slightly off topic.
> “Your way is wrong. If you can’t do it the right way you don’t deserve to learn a language”.

I never said anything like that. I said that I found Duolingo worse than everything else I've tried. I'm glad Duolingo works well for you, but I posted my own personal review framed as my own experience.

A review that you disagree with isn't gatekeeping!
An interesting choice. From where I stand, they have a pretty bad sudoku implementation. While the UI is generally fine, it has iffy definitions of difficulty, an woeful hint system, and does nothing to make you get better.

I compare it to, say, Good Sudoku by Zach Gage (No affiliation). It has a wider differences in difficulty levels, based on the algorithmic patterns humans would need to use to solve them. The game includes a list of all the patterns you might need to use for a given difficulty level, and the hints are based on those patterns, which are the same you can find in any high level sudoku solving site.

Where The NY Times sudoku would point you cryptically to a cell, a hint system would say 'Given that one of this two cells must be a 9, that means that this other cell cannot be a nine', so you learn how you missed.

Not that NYT games is bad at all, It's just their sudoku that needs some help.
The Chips Are Down for TSMC, but Not for Long
Just learn what rumination is, and when you realize you are doing it, just acknowledge that it is not useful. You can say "Hello there, rumination. I know it's you. Now it's time to say goodbye."

If you make thoughtful decisions based on information that's as complete as possible, you should be content with your decisions, whatever the outcome is, you did what you can with you had.
Ok, I agree! That one sentence of mine was wrong. You don't have to reproduce state to continue a conversation. I was just trying to throw a bone, but even that bone was bad.

But then... doesn't that just point out that I was right on everything else? That there is absolutely no state between chat messages?
I love him because he makes a certain contingent of people angry. That's all I need for a reason to vote for him.
I remember these from when I initially taught myself HTML (4) and CSS as a kid.

It's kind of amazing how parts of the spec that seem dated or obsolete can still be useful today and are even widely used in corner cases.
I’m saving this one, thanks.
I call it a me day. I take a day off and do NOTHING. Not all the time, every once in a while. No plan, just do whatever I feel. So many times, it resulted in something interesting, I write something or invent something or just nothing but joy. Sort of Zen like but sometimes we all need a break from everything. Just me and a sketch book at the park, or just laying around staring off into space.

Try it.
Do that in most relational dbs in the default isolation level (read committed), and concurrently executing transactions will still be able to delete users underneath you after the select.

If we take postgres as an example, performing the select takes exactly zero row level locks, and makes no guarantees at all about selected data remaining the same after you’ve read it.

edit: my mistake - I missed that the select is for update. Yes, this will take explicit locks and thus protect you from the deletion, but is slower/worse than just using foreign keys, so it won't fundamentally help you.

further edit: let's take an example even in a higher isolation level (repeatable read):

-- setup
postgres=# create table user_table(user_id int);
CREATE TABLE
postgres=# create table resources_table(resource_id int, user_id int);
CREATE TABLE
postgres=# insert into user_table values(1);
INSERT 0 1

Tran 1:
postgres=# BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ;
BEGIN
postgres=# select * from user_table where user_id = 1;
user_id
---------
1
(1 row)

Tran 2:
postgres=# BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ;
BEGIN
postgres=# select * from resources_table where user_id = 1;
resource_id | user_id
-------------+---------
(0 rows)
postgres=# delete from user_table where user_id = 1;
DELETE 1
postgres=# commit;
COMMIT

Tran 1:
postgres=# insert into resources_table values (1,1);
INSERT 0 1
postgres=# commit;
COMMIT

Data at the end:

postgres=# select * from resources_table;
resource_id | user_id
-------------+---------
1 | 1
(1 row)

postgres=# select * from user_table;
user_id
---------
(0 rows)

You can fix this by using SERIALIZABLE, which will error out in this case.

This stuff is harder than people think, and correctly indexed foreign keys really aren't a performance issue for the vast majority of applications. I strongly recommend just using them until you have a good reason not to.
Maybe more details about the service would help, for example, what are those “20 protocols”? Where is it hosted? What’s the point of hiding the source until you pay for it? Why not have it public or audit it? Among other.
Haha, this is so true. It literally happened to me once when I threw a large party at my place and one lady set it in her calendar as "gourmet food" and tried to bring her friends as well.
First example is wrong. Both would shoot off at infinite speed. https://en.m.wikipedia.org/wiki/Elastic_collision
Honestly, because it makes certain people seethe and that's all I need.
Grass fed and finished beef is actually cheaper than factory farm meat if you buy it in bulk rather than at the supermarket.
For the economic activity that happened this year, yeah they get more by forcing people to delay recognizing expenses, which is essentially an interest free loan for the irs that they don't have to pay back if the lender goes bankrupt. But this doesn't actually create a new nominal tax increase, in nominal dollars its a wash, and so the question is if the interest free loan is worth the decrease that would result from companies finding more tax efficient ways to pay employees and any decrease in future economic activity this will cause. Corporate tax and cap gains tax are likely lower than the income tax bracket those revenues would have gone to as income.
Wow! That's telling. I play 3 of their games every day and it's those 3 haha (not the full size crossword which you have to pay $, but the mini which is free)
This assumes there's no economy of scale to study time, and I'm just not sure that's true. It's not indefinite, because people tire out, but I'm pretty sure an hour long study session is more than 4x as effective as a 15 minute session.