skysight-inc/HackerNews huggingface dataset:
"Consider, for example, the “simple” concept on top of."

This is from fifty years ago:

Person: Pick up a big red block.
Computer: OK.
Person: Grasp the pyramid.
Computer: I DON'T UNDERSTAND WHICH PYRAMID YOU MEAN.
Person (changing their mind): Find a block which is taller than the one you are holding and put it into the box.
Computer: BY "IT", I ASSUME YOU MEAN THE BLOCK WHICH IS TALLER THAN THE ONE I AM HOLDING.
Computer: OK.
Person: What does the box contain?
Computer: THE BLUE PYRAMID AND THE BLUE BLOCK.
Person: What is the pyramid supported by?
Computer: THE BOX.
Person: How many blocks are not in the box?
Computer: FOUR OF THEM.
Person: Is at least one of them narrower than the one which i told you to pick up?
Computer: YES, THE RED CUBE.
Person: Is it supported?
Computer: YES, BY THE TABLE.
Person: Can the table pick up blocks?
Computer: NO.
Person: Can a pyramid be supported by a block?
Computer: YES.
Person: Can a pyramid support a pyramid?
Computer: I DON'T KNOW.
Person: Stack up two pyramids.
Computer: I CAN'T.
Person: Will you please stack up both of the red blocks and either a green cube or a pyramid?
Computer: OK.
Person: Which cube is sitting on the table?
Computer: THE LARGE GREEN ONE WHICH SUPPORTS THE RED PYRAMID.
Person: Is there a large block behind a pyramid?
Computer: YES, THREE OF THEM: A LARGE RED ONE, A LARGE GREEN CUBE, AND THE BLUE ONE.

P.S. "Any sufficiently advanced technology is indistinguishable from a rigged demo"
Parking spaces are big: https://www.dimensions.com/element/parallel-parking-spaces-l...

At 7x2.5m I can imagine 10 bicycles side-by-side with ~70cm each, with another 10 'interleaved' opposite.
You're right! Not sure how I did that.
I actually stsrted work in a similar space not too long ago if you both want another set of eyes.

This was pre GPT apis but essentially what i was doing was using a python summarization library to sumarize articles from rss feeds into a simple tts podcast. Probably a lot of money in custom GPTCasts made off someone personal rss feed as a service IMO.
Count how many bytes of TCP traffic you see. Measure the size of each web page on the (public static) website.
>This is why I rarely go to restaurants whenever I'm in the States now.

Please lower that number to zero if you refuse to tip.
I installed this font, set my default foreground color to #FDDF7D, and am feeling like I've transported back to 1984.
Violin or not, OP's post was regarding corporate efficiency. Reading any headline over the last few weeks will show you that corporations over-hired and are laying off workers. I guess blood is blood, regardless of who's it is.

Curious how you glossed over the folks in Ohio.
the reason podcasts got so big to begin with is because traditional media have started having issues with authenticity. This exacerbates the problem. While it might save money over actually having a podcast, it removes everything thats appealing or interesting about podcasts, and starts with zero authenticity and goes down from there.

Like, cool technical implementation, but a failure from concept.
Generally, you can't simply pay employees less than the minimum wage; you can take a "tip credit" against your required wage level, but either way the employee has to "take home" at least minimum wage, whether or not the tips got them there.
Yes, and I'm curious to learn more about how well employers comply with it by making up the difference, my gut says they probably don't comply very well.

In just a quick look, I found this:

> 5. Wage theft is particularly acute in food and drink service, and restaurants across the country have been found to be in violation of wage and hour laws. It is true that the law requires restaurants to ensure that tipped workers receive at least the regular minimum wage when their tips are included, but the reality is that huge numbers of restaurants—helped by too-weak enforcement efforts—ignore these requirements. In investigations of over 9,000 restaurants, the U.S. Department of Labor (DOL) found that 84 percent of investigated restaurants were in violation of wage and hour laws, including nearly 1,200 violations of the requirement to bring tipped workers’ wages up to the minimum wage. Among the restaurants that were investigated, tipped workers were cheated out of nearly $5.5 million. Workers in the food and drink service industries are more likely to suffer minimum wage violations than workers in other industries. [0]

EDIT: Apparently the DOL study was focused on 2010-12, so not sure what the newest compliance looks like [1].

[0]: https://www.epi.org/blog/seven-facts-about-tipped-workers-an...

[1]: https://files.epi.org/2014/EPI-CWED-BP379.pdf
https://brianmohr.medium.com/the-daleys-and-their-russian-de...
I think you have a very good point. When people see arguments, they see an attack against their identity thanks to identity politics.
Janka Hardness Test
Er, what? "The parking lot" is a perfectly good and reasonable answer to that question.
The way to fight this is to devise some kind of certification for service businesses that says, “This establishment pays livable wages, provides excellent service, and does not accept tips.“.
I love your podcasts, your talks, and most of all your technical work, but I would really appreciate it if you found the time to get a better microphone for these recordings.

I get that this is something you just hit record on while chatting on a work laptop or something, but the 's' sounds in your audio track especially are so high pitched it's unbearable to listen to for me.
Incident: Southwest B38M at Phoenix on Feb 24th 2023, no autopilot trim
I used to strongly agree with you on this topic (and would have written the exact comment you wrote) until recently. I think I've realized a few things, though.

First is that the quality of service does not change based on the presence of a tip or not, largely because tips happen after the service has completed. If it did I would tip.

Instead I expect people to quote me a fair price for their labour and do their job with pride. If they don't I'll give them feedback and find another provider if necessary.

Second, these days you rarely even interact with the service worker, sadly. I totally understand the history, but we don't live in that world anymore where I have one driver or one doorman or one mechanic who I need to continually show appreciation. If I did I would tip.

Instead I say please and thank you and if I do have an ongoing relationship I reward them with loyalty and perhaps occasionally a gift because they've become a friend.

Third, with the amount of fees restaurants have added and the shift to showing you post-tax tip suggestions on receipts, I no longer feel like the social contract is balanced and I'm disillusioned from participating. On top of that, since it's an implicit requirement to tip in these scenarios, I don't feel like it's even meaningful to tip more or less depending on the quality of service you receive. So you can't even use that as a feedback mechanism since it all comes out average in the wash. I still tip at full service restaurants because I'm not a completely ignorant dickwad, but I'm really close to becoming one.

Instead I'd vote to remove the loophole that allows restaurants to pay staff $2/hr plus tips so that we could go back to employees being paid fairly and then tips being totally extra/earned. Tell me the fair price of food such that you can pay your staff a living wage. I'll pay it.
I am using flakes, and now I know why `command-not-found` doesn't work, thank you.
Yes. Not only without giving them credit, but for the most part making them unemployable or reducing the value of their expertise to subsistence level.
The comment I replied to said there should be a law. I pointed out that there already is. If we're talking about whether the law is sometimes violated, that's a whole different discussion.

Also, I don't see any reason why violating the law in that way should be any more common than violating it by paying non-tipped workers less than minimum wage. Either one would require the same degree, and same kind, of fraud. So tipped workers should be no worse off in practice than non-tipped workers.
Clever idea . You could shave off hundreds of pounds
Yeah I was only talking about quantities. Equivalently, assume that it's a linear algorithm in the child and a linear one in the parent. Ultimately it ends up as O(nm) being some big number, but when people do runtime analysis in the real world, they don't tend to consider the composition of these blackboxes since there'd be too many combinations. (Composition of two polynomial runtimes would be even worse, yeah.)

Basically, performance doesn't compose well under current paradigms, and you can see Casey's methods as starting from the assumption of wanting to preserve performance (the cycles count is just an example, although it might not appeal to some crowds), and working backward toward a paradigm.

There was a good quote that programming should be more like physics than math.
That can be harder to get to in a hurry than next to it
Amazon has nothing to do with my user rights. I mostly read drm-free ebooks. But their reader hardware is second to none.
As a reminder: tips belong to the workers, not the business. It's a crime for an employer to withold any portion of a tip from the employees, or redistribute it to non-server/wait staff (the inability to pass tips on to bos folk is frequently pointed to as a problem with tips so restaurants, etc created "surcharges", except those aren't tips so can be retained by the business).

Seriously: if you have boss/manager/employer who is taking tips ("fees", "penalties", excuse less theft), you should talk to an employment lawyer. If you complain about anything like this to your boss, do it in writing/email/text messages (saving everything and/or screenshotting) - while most of the US is "at will" employment there are plenty of illegal reasons to be fired, and retaliation when complaining about wage theft is likely to be. Again: talk to an employment lawyer. Similar for protected medical leave, maternity leave, etc - ensure all communication is in writing. I've said elsewhere: your employer is not your friend, and it's not your family, and you cannot ever assume it is - even if your manager is on your side, their's may not be, and HR is not.
No I just said I tip at least 10% at full service restaurants because I understand the situation, but I'd rather not anymore.
>if you have real security you wouldn't bother using another port because there's no (security) reason to do so.

Strong disagree with that. If you do something as simple as moving SSH to a different port, the number of drive-by attacks will drop enormously. Raises the signal to noise of all connection attempts in the logs.
Those pages are abandoned, but the servers aren't abandoned. The same person keeping it running should be able to update certs just fine.
While what you are saying can be true, it can also be true (and often is true) that the kind of subsidies you are talking about create large negative costs or have much cheaper alternatives that the subsidy negates consideration of. You have to actually do a reasonable analysis of each individual situation to come to any sort of conclusion and it is very dangerous to assume one way or the other.

Pretty much all of your examples can be rewritten to reflect the above. One example would be: what if it is only marginally more expensive for the company to build the workplace nearer the workers, making the train unnecessary? If the subsidy exists they will capture the value of avoiding that cost while foisting the cost of the train subsidy on tax payers, which is a net negative.
I don't know which of the two is worse in terms of what they do with the data once they have it, but one big difference is that Tiktok is much easier to avoid than google. I just don't use Tiktok anyways. For google, it's not that easy: The thing is: Google is not just Google the search engine, but also a huge zoo of other sites and services used not directly by you but indirectly via a big part of internet sites out there, often in a way that is required for the site to work.

In other words: even if you don't use Google yourself, you still have to worry about their tracking and fingerprinting because of stuff that third-party sites use/embed from them. For example: youtube, recaptcha, analytics, web fonts hosting, embedded site search functionalities, google storage, googleapi, and other javascript apis (not all of which being easily recognizeable as belonging to google) etc etc. there are too many to list. In other words: they have their tracking embedded pretty much everywhere in third party sites.

Some of that is easily blockable e.g. with ublock origin and uMatrix… other stuff not so much, and it's a constant game of whack-a-mole: they constantly acquire new companies providing services or APIs popular among web sites, so as to use that to better track you
I'm making a positive argument, not a normative one. You can say whatever you will about tipping; I've been on HN long enough to know what the general shape of a tipping thread looks like.

I'm making a much narrower point, which is that if you're going to write a trend story like this for a mass media outlet, you should do your homework first. The author of this story didn't even bother to Google whether tipping mechanics was normal, let alone actually ask a mechanic.
If you install packages on your linux infrastructure or docker images to provision anything, and those things are based on the “default” install, you are relying on the mirrors. That infrastructure is already “web scale”. It’s just a matter whether you make one image once and copy it thousands of times or if you actually spawn thousands of instances that talk to the mirrors.

Setting up your own mirrors for internal use isn’t overly difficult either, and it is definitely a trade-off as you pointed out.

However, it basically works for everyone, whether or not they are fully aware of it.

I have also run my own mirrors with minimal fuss. I haven’t had a business need to use GitHub packages, but I am glad it exists, as it is another tool to do a thing that needs doing in the right circumstances.
Quick script to record audio and send it off to OpenAI for transcription and then to ChatGPT
This script records 10 seconds of audio using FFMPEG and then uses the openai cli tool for the rest.
Does anyone have this in audio form? I dont have a ergonomic way to read this even though it looks really on point
Haven't seen rotation applied to the whole page in a long time.

We once had an awesome IE bug where a style applied to a spinner made the whole page rotate. QA thought it was a prank.
I am about a month further along than you on this journey. I started with vanilla Emacs and went through the built-in tutorial for a few days, then at the behest of friends switched to Doom.

Using Doom was valuable for me to see what Emacs can be. It is astonishing how much of an upgraded experience it is. However I felt I couldn’t understand where Emacs ended and Doom began, and the number of moving parts was making it hard to find solutions to problems.

For example, Doom keybindings for standard functions differ from normal Emacs bindings, so you can’t just follow any Stack Overflow post—the bindings won’t work. The fact that I didn’t even know why this was the case was getting to me.

I switched back to vanilla Emacs and, armed with the knowledge of what is possible, have been building up my config for a few weeks. I am making a special effort to avoid Evil Mode for a bit so I can learn all the bindings and make the decision for myself whether I like them or not. God Mode helps here as a more idiomatic alternative.

If your learning style is focused on knowing your foundation before building atop it, I’d recommend a similar path. I also have got a lot of value from sifting through others’ configs to pick up gems here and there. With literate programming it’s very common to find fantastically documented configs online.
sir, yes, sir!
My rules for tipping are locked in 1995. You tip servers, bartenders, cab drivers, pizza deivery, and a few other select people. No fast food workers. No baristas.
I find it bizarre the mental gymnastics people will do to draw arbitrary lines on when to tip.

All the reasons for tipping in restaurants apply to tipping in every other situation they're being asked for now. It was never about fair market value. It's entirely social convention and nonsense like how attractive the server is.

In 50 years, there's a good chance that tipping for everyday interactions will be the norm simply because a generation will grow up with.
> Note that the sum of wage + tips must reach the minimum wage, or else the employer is required to make up the difference.

But tips are also often used as a performance evaluation metric, and falling low enough that the employer has to make it up often leads to termination, so, where this is possible (as it most obviously is where cash tips are involved) its not uncommon for employees to be incentivized to artificially inflate tips.

Eliminating the lower tipped based minimum wage (which, when followed, means that tips actually go to the employer, not the tipped employee, to a point) means that, even where this practice and pressure exists, it doesn’t leas to suppressing wages below the general mininum.
and postal trucks don't even have HVAC. At least the ICE ones. They get a lowsy fan
It's not the sysadmin but the app/dev that is setting the port. When they do that, they are not intending for the public at large to find it easily and use it and services like that get less attention and care. A lot of data breaches happen for example by elastic's restful api being exposed because people don't change the defaults.
> Therefore consumer applications will need to perform deduplication or handle incoming messages in an idempotent manner.

> The way we achieve exactly-once delivery in practice is by faking it. Either the messages themselves should be idempotent, meaning they can be applied more than once without adverse effects, or we remove the need for idempotency through deduplication.

Doesn't have to be a "true" exactly-once. Just practically so. It's like saying "humans can't actually fly... they are faking it by using machines".
Match and Tinder are owned by the same company. It looks like only front-end is different.

https://en.wikipedia.org/wiki/Match_Group
If we want to market some of us more, uh, battle-scarred engineers, for the emerging business environment, "old" could use an image makeover.

The reason is, AFAICT, the current ageism started with dotcom startups, and by now might have enough inertia to linger long past when the VC-growth-appearance party is over.

(I'm thinking we saturate the streaming services with new shows glorifying people with graying hair. Elite military commandos, brilliant business strategists, heartthrobs, revolutionaries, etc. In the shows, they should frequently draw upon their experience -- wisdom, as well as surprise esoteric skills -- to save the day. They should also have excellent taste in some of the better style of past decades, such as by driving classic exotic cars, and listening to timeless great music. They should be admired and loved by all.)
The best way to protest it all is to just pay in cash.
Funnily enough, these ads are pretty effective
Ah, the old Cardi B con
I have never, ever ever heard of someone tipping a mechanic. I know several mechanics, and grew up around car dealerships / garages and have never seen someone get a tip.
This is expected right, HTTP is not only used for human consumable web applications but for API servers as well

The bulk of these would just be embedded devices running multiple API services, like port 7547 highlighted in the article is your typical TR-069 service running on most consumer internet routers

I would argue most non-API/non embedded devices web applications would still be running on 80 and 443
No I won't, I will continue to go outside. Legally there is nothing the service renderer can do to me. I don't care how they think of me as a result. I've never been refused service before.

They give me a total price, I pay it without issue, and that's how it goes.
What scaring? Chrome shows a gray "not secure" and firefox has a crossed out padlock. That seems understated to me.

If you're talking about certificate error pages, then yeah there's room for improvement. Not every site needs the same level of warning there. But caution makes sense as a default. Something went wrong.
> ... than they ever cared about democratization of the immense power of these models.

I thought they're pretty explicit about the ethical argument for limiting full public release? They'd say that these models are too powerful to release on an unsuspecting world. Google results are already SEO spammed to death and GPT'd SEO spam would make it far worse. Or Nigerian prince scammers and catfishers could use ChatGPT to hold on long trust-building conversations with infinite would-be victims instead of being limited by the number of English speaking human scammers they can hire. The nefarious use cases go on and on.

So I think OpenAI's ethical argument is that this approach reduces potential harm. By keeping it private but still making it available behind an API they can more slowly prepare the world for the eventual AI onslaught. Like the investments in ChatGPT detectors we've been seeing and just general awareness that this capability now exists. Eventually models this powerful will be democratized and open-sourced, no doubt, but by keeping them locked down in the early days we'll be better prepared for all the eventual nefarious uses.

Of course, it's a bit convenient that keeping the models private and offering them as an API also grants them a huge revenue opportunity, and I'm sure that's part of the equation. But I think there's merit to the ethical rational for limiting these models besides just pure profit seeking.
You might enjoy “The Idea Factory” about Bell Labs. I found it hard to put down.
I don’t disagree with any part of your comment — however, it is sad that technologically superior solutions that Bryan has worked on “lost”. As an example, Manta/Triton had an objectively better model, and yet it is sad that we’re all stuck with S3 like storages today.
I'm not totally sure I understand the scam here. An employee in Boston must be paid $15/hr in some combination of tips and wages. If tips don't get them there, the employer is obligated to. (You also generally can't use the tipped wage for work that isn't tipped; like, if you have these employees do back-of-the-house work, or cleanup, you can't pay them the tipped wage for those hours --- but I didn't verify that this was the rule in Massachusetts like it is elsewhere).

Like: I see what's egregious about this: it would be better for employees to take home $15/hr plus tips, rather than $15/hr and no tips, even though customers tipped. It's a scummy move. But I don't think it could have meant that employees took home $5/hr, right?
I think this makes a ton of sense for local distribution of mail. They need to load and can charge.

That said, my local mail delivery is made via 4 wheel drive down an often running creek bed. Lol I think we are pretty far away from fully get electric…
Thank you for doing this.

I'm developing a framework for building compatible websites, so I appreciate this archive very much.
That must've been picked up from the old "Somewhere in Time" movie with Christopher Reeves.
I understand your point more clearly, thank you. I've actually had similar experiences/frustrations with people who aren't natively from America and people who didn't grow up in a context where they were educated on tipping culture (mid-to-upper class) even in America. And I've gotten in quite heated arguments because they just didn't understand the social norms. I wonder what this says about the expectations that people should innately understand tipping culture /shrug.