skysight-inc/HackerNews huggingface dataset:
I think they end up similar. Although Lean 3 is much more geared towards writing proofs with the addition of mathlib [0] which aims to be a library of formalized mathematics.

[0] https://github.com/leanprover-community/mathlib
"I want to write software, not manage a source control system."

Exactly!
Getting people already very unlikely to contract STDs to take absurd precautions will have virtually no effect. Populations with high rates of STDs need to be studied to find strategies specific to them that will be effective in changing behaviors in these populations that result in the high STD prevalence.

https://www.cdc.gov/nchhstp/healthdisparities/africanamerica...
Microsoft had <24hr old job postings on the day they announced lay-offs. They don't always have to go in lockstep esp for companies this big. There are always teams that need backfills.
One other problem is tips are more tax-efficient for restaurants. A restaurant that charges more and pays more in wages has a higher revenue (but not profit). There are taxes and regulations that scale on revenue that don't allow for offsetting wage deductions, so going no-tip can increase other expenses.
- "Have you seen how big the steam turbine is?"

If your intuition was correct, I think we'd see a trend towards much smaller steam turbines with fewer stages. It's a deliberate choice to engineer them at the size scale they are: the marginal efficiency gains from largest [0], lowest-pressure stages has to justify their cost.

[0] https://power.mhi.com/products/steamturbines/lineup/thermal-... (diagram showing relative sizes of HP / IP / LP turbine stages)
I like that the expected variable name has a typo.

Those typos leak out to calling code and it's hilarious when the typo is there 10 years later once all the original systems have been turned off
DLC as we used to understand it (as significant expansions of content) are fine. The modern nickle and diming players for every little thing of modern DLC is awful bullshit and I'm mad at developers for doing it and players for accepting it.
> I agree with most of what you say, but renewables can’t be counted on, so they can never be blamed.

Renewables are fairly predictable, so they can be counted on. The production is variable, but not unreliable or unpredictable. It's an important distinction, and it gives more time for the grid to coordinate with Demand Response (or peaker plants) to match load and production.

Obviously the weather models involved are still improving, but for solar especially, it's easy to predict when the sun will go down. Cloud coverage and wind forecasting are active areas of development to make things easier and more predictable for everyone.
> If you have both, you still need a UUID generation library

Oops, yeah, that's true.

The point of having both is that you're already using the bigserial as the PK, and you also have opaque, external-facing identifiers that refer to particular rows in some tables without you having to expose any PKs. Might only be some tables, might be some other kind of string rather than a UUID. There may even be multiple ways for users to refer to something in your system; you keep that all separate from your PKs.

> security, fewer roundtrips, shardable, easier to find in logs, data warehousing, backups, disaster recovery

I see security pros/cons on both sides; exposing PKs to users does feel wrong to me though. I don't see how UUID PKs reduce roundtrips; if your API takes a UUID, you don't have to convert it to a row ID right away, only when you're actually querying what data the client wants. If you're printing row keys in logs, you ought to prefix them either way (like "user:35" or "user:deadbeef-..."). For backups/recovery, I haven't found UUIDs helpful, maybe cause I never want to just copy whole rows.

A sharded DB takes special consideration and could go many different ways, so defaulting to UUIDs in anticipation of sharding one day is probably not going to help when that day comes. In some setups, the PK is just for that one node, and you have a global ID across nodes (which may be a composite of node-local PK + shard ID). Or you're switching to a specialized, not-so-relational DBMS for horizontal scaling. Like, serial IDs are a terrible idea in Google Spanner.

> you actually need to justify _not_ using them with concrete performance data

For what it's worth, I encountered this situation in a DB with millions of rows. UUID PKs were significantly increasing our overall application latency, so I switched us to bigserials. I'd rather not put newer systems on a track to hit that hurdle later on. It can start being a noticeable problem well before you're thinking about sharding.
Don't do it, unless you are also under surveillance? Say yes and then run your block more humanely.
Elite chefs say kitchen work 'like going to war'
> I’m sorry you can’t afford it.

I guess when you have nothing to stand on you throw insults. Don't bother trying to trigger me, I am totally secure.
Darius Kazemi, the creator of Hometown, made an AP server where you can register a feed and it turns into an actor (ie an account): https://github.com/dariusk/rss-to-activitypub

I made my own thing, fetching an RSS feed and posting entries to an existing account. It makes the code much simpler, but is not practical if you have lots of feeds (you need yo create all accounts separately): https://sr.ht/~rakoo/rss2ap/
You are imagining that someone who otherwise would start a competing company would just choose not to after reading this article? Or what?
I'm aware of the other meaning. I spent my 20s believing that anyone who worked a normal job would have to be "insane" (and hence, "has been institutionalized"), and yet, here I am, wanting to do the same.
> I do have to admit I never worked with a language that uses |>

Have you never worked with Bash? It's basically the same thing
What service does this? There are very strict rules in showing ads.

Making sure you're not showing them by nsfw content, etc. or your advertisers will pull out.

I can't think of a single service that provides ads for 3rd party clients to use.

Most are hostile to 3rd party clients due to threatened ad revenue, that's why there's invidious, nitter, etc. whackamole.
I remember a few years back when those positions were reversed. Mastodon iOS app devs are mostly doing it out of love or passion and so seem prone to interesting hiatuses. Though Mastodon is usually "stable" enough and "feature complete" enough and not generally a fast-changing target outside of big migratory transitions like this recent one, so those devs I think are generally more than welcome to whatever hiatuses they need.

For what it is worth, in my own iOS usage, I used Mammoth for a few months (and still follow its developer) and then eventually settled on Toot! Toot!'s developer was on hiatus just before Mastodon 4 (and the Twitter meltdown) so it got mentioned as "no longer maintained" or ignored/overlooked entirely by a lot of suggestions lists for people coming fresh to Mastodon. But it was rock solid and feature complete with Mastodon 3.x and the developer had earned a hiatus for a job well done. The developer also came back and worked to quickly catch up on Mastodon 4 changes (none of which had been truly a show stopper, mind you), though I think a slight bit late for so many newcomers from Twitter seem to have overlooked Toot!. Anyway, Toot! is great if you need a recommendation from a random HN user who has been Mastodon since a previous era. (I started getting serious about Mastodon round about 2016, myself.)
Depends on production costs, can make the inactivated virus vaccine easily.

mRNA vaccines were about 95% effective against symptomatic disease, but only against the targeted strain.
If you use binary genders you use male or female ones and people tend to use the same pronouns once they start with them. If someone uses gendered pronouns you shouldn't take that to mean that's the one the subject prefers but rather that's the gender the person who wrote it perceived.

If they truly don't care to perceive a gender then a 50 / 50 pick. When I look at it's picture I honestly couldn't tell you if I perceive more male or female so I would've done same as op and picked one randomly and then for consistency not change it, even if some unrelated party tried to confuse things by making me change it.
Demonstrating causal connections using the log
Post is currently a progressive web app. There is no immediate plan to build dedicated mobile apps for Post.
It is interesting how much different tools vary in their performance for the same task. For example R with data.table is much faster than base R. And Excel Power Query performance is, well, see for yourself:

https://www.easydatatransform.com/data_wrangling_etl_tools.h...
> With the shit ("short git") wrapper, you can use commands like shit show 14, and shit log 100..150

I found this amusing.
I've become so cynical; I assume that by the time the card processor and Silicon Valley take their cut, the employee is left with a few extra pennies.

I'm way less likely to tip when I see a flip-around screen. I hate them.
There are a couple of different things.

Are there hidden fees that most people don't know about? (Most people know about sales tax.)

Do a lot of people just ignore the fact that they're going to have less legroom and won't be able to reserve a seat if they can get a lower price?

Those are different things. The former is a dark pattern. The second just means a lot of people are very price sensitive.
I thought that's astigmatism, which distorts different wavelengths differently. Some LEDs have very few, widely separated wavelengths, and your astigmatism separates them.
The Carolinas certainly weren't. Besides being 2 of the original 13 colonies, they both seceded.
> I have yet to hear someone tell people how to find the author on Mastodon. Never.

How does a host say an email address? They might say john@reallycoolpodcast.co.uk

How does a host say how to find them on Mastodon (or ANY ActivityPub based platform)? They might say john@reallycoolpodcast.co.uk
Is that a serious question? I haven't eaten meat since 2002
Most (all?) Copepod species have males and females and need both sexes to reproduce
That's fantastic, thanks! Just what I was looking for.
> If an object that has automatic storage duration is not initialized explicitly, its value is indeterminate. If an object that has static storage duration is not initialized explicitly, then:

• if it has pointer type, it is initialized to a null pointer;

• if it has arithmetic type, it is initialized to (positive or unsigned) zero;

[end quote]

—C99 Standard, §6.7.8

EDIT: That said, it can only relied upon to be zero at the first call of the function.
$7 seems pretty good to me, though it's pretty mileage dependent (I assume the suggested tip is probably taking that into account), but I wonder, how much would I have to offer you to complete a Doordash order?
This is also reminiscent of that German ad about raising money for Americans in poverty.
The third party apps didn't serve ads.
API access is free and the Twitter API does not expose any type of ads
Hmm Xanny… that’s not a bad idea.
We should introduce that community to the Pipe character so they can disambiguate between the two forms.
Lol the comments. I went through Perforce and ClearCase too.
The owners are both engineers, primarily back end, while I do both front and back end.

I suspect they are partially motivated (as other commenters suggested) by not changing too much of what they themselves built personally.

Partially out of a fear of change, but also partially out of a “if we find ourselves without employees and need to run the whole show on our own again, we can’t have a bunch of code we don’t understand” fear.

Which I understand. But fact is, we have customers and internal users who are overworked and have needs. Needs that we aren’t meeting because we never deliver the “right” solution in full, in part because so many parts of the system just seem unofficially “off limits”.

I’ve offered many times to start a regular engineering training and sharing session where I can help make others aware of how I’ve been building things and how they can help maintain them, to try to make everyone more comfortable with the front end, but that also has met the same friction as my projects.
Do you really believe that we cannot make generalizations about the layperson's understanding of AI? Unless you have a related degree in math, statistics, engineering, or comp. sci, i.e. a tiny minority of people, it's probably true that you get your understanding from pop culture.
Google used to have some great jokes though. TiSP was great.

https://archive.google.com/tisp/index.html

As with any prank or joke there is a skill and art to telling a good one. But I don't think we should let bad pranks outlaw humour in general.
Wow. I can sympathize, as I had the exact same thing happen with me. From “doing grunt work” down to having them “crush it with passive aggressive, belittling remarks”

I actually laid out a plan to fix the automatic builds that were broken for months (and I had to them all manually), and the company owner completely rejected it and laughed me out of the room, only for me to turn around and have him do it himself. Virtually every great idea anyone had was co-opted by him, including another guy before my time who wrote us a complete iOS app in his free time, only to have the code completely scrapped and rewritten from scratch, again by the business owner.

About your 10 years experience: it is still 10 years experience. Go and get another job. Go interview. It sucks and it’s tiring but there's no risk involved if you keep your current job. With 10 years of experience I'm sure you’ll get something better.
You'll be taxed whether or not you receive tips, so better work to get some. Has this changed? I've not heard that it has.
No, they really did learn things. For example, consider the racist mobbing of Leslie Jones in 2016: https://www.theguardian.com/culture/2016/jul/18/leslie-jones...

Twitter learned that they really had to take harm reduction more seriously if they didn't want to be known for things like that. I believe that their improvements there were part of what set them on the path to their later profits: https://www.netcials.com/financial-net-profit-year-quarter-u...

And as far as losing money goes, their "lean and mean" approach isn't doing so well. Ad revenues are reportedly down ~40% as the same time Musk is going to have to come up with billion-dollar interest payments.
I think the point being made is that it's trivially easy to make armchair moral/ethical arguments about spending money in other peoples wallets. And that the arguments would be taken more seriously if the person arguing has actually demonstrated that they have skin in the game, staked their own wallet.

Isn't that what the complaints about NIMBYism are all about? Yeah, I'm all for having other people solving the problems of the poor workers. I don't have to do anything until they do. While we're at it, lets have the software developers clothe and house them as well. They can clearly afford it. It's only fair. Am I a good person now?

Talk is cheap. Do something first before complaining about what others aren't doing.
It would be a very good to ensure you have a will so others can be informed (if necessary) how your estate should be distributed. You may be able to obtain a simple `will form' from a stationer, news agency or online.
Third party clients didn’t show ads and there was no revenue sharing
Probably.

Given what I know about the process from end to end, the ideal would be an instant slaughter, away from the other animals, where they were raised.

There are pretty big roadblocks to making that happen - sanitation and refrigeration are the two that immediately come to mind, but there are others as well.

This line of thought does make me wonder if there might be a market for a mobile slaughter operation. Something on the scale of a single 52' semi trailer, where the animal goes from "farm to freezer" on-site. You'd definitely need to "field dress" them there, but you'd probably want to skin them as well for efficiency.

For game animals you can get away with removing the organs but leaving the carcass otherwise whole; for pigs, skinning is significantly more labor-intensive if not done as the first step. I won't go into detail here, because it's both potential disturbing and might be a bit of a trade secret - but there is an easy way to skin an animal that takes only one person less than a couple of minutes. I've done it for deer that have been field dressed, and it's much less effective.
How ChatGPT Hijacks Democracy
Plenty of people simply choose not to eat at those sort of restaurants. If this is an issue you feel strongly about, it is within your power to choose not to eat at restaurants with waitresses. Such restaurants are a luxury you choose to indulge in.
Oh yes, I agree.

But what it doesn't do is stop the accelerating treadmill of antimicrobial resistance. There are many other bacteria (and, for that matter, other infectious pathogens) that will happily step up to fill the evolutionary opportunity as vaccines inhibit illness from (or even spread of) others.
And `curl | sh` is signed by a certificate issued by CA. It's the same amount of safety if not more, since there is a trusted 3rd party while package managers are "trust me bro, it's our public key"

Anyways, I'm not using rustup and using my nix flake to handle everything for me.
I don't blame you. Take home assignments are ridiculous, anyway. My personal time is valuable to me and it's unrealistic to expect me to do homework just for the privilege of an interview.

In my last job hunt, I flat out declined further interview if I was requested to do a take home assignment.
https://archive.ph/Cyaac
Problem isn't just the fear of rejection. There are legitimate reasons why some people get rejected more than others, whether it's looks, social skills or just lack of shared interests.

If you are part of those people, the "return on investment" in terms of socialisation diminishes - it's not about fear per-se, it's about the rational decision of not sinking time into an endeavour with a high failure rate if you have other, better options.
Suspected paedophile ring at Met Police as serving chief inspector is found dead
https://archive.is/JOxeR
I offer you all this one instead. There is a one liner to use it in the comments. It is a template to the docker inspect command. So the only thing you need to download is the template itself.

I tried to persuade the docker maintainers that this was a good idea at some point, but the issue got closed in the end.

https://gist.github.com/efrecon/8ce9c75d518b6eb863f667442d7b...
There only a few John Carmack and Linus Torvalds in the world, just as there only a limited number of opera singers compared to regular singers. The suggestion is that 10 times programmers are much more common than that. This is a more modern scientific article dispelling the myth of a 10 times developer

https://ieeexplore.ieee.org/document/8804291
Reminds me of that "virtual youtubers" are actually humans behind the skin
Cheat where possible using OpenGPT.

Cheat where possible using OpenGPT.

Cheat where possible using OpenGPT.

We must prove to companies that leetcode is not the way.
Dark sky protection is definitely a thing and tourism worthy. I've known of this one I regularly visited for at least the last 15 years https://en.cieletoilemontmegantic.org
> Down the line, $100 billion is not out of the question, Ghodsi says—and even that could be a conservative figure. It’s simple math: Enterprise AI is already a trillion-dollar market, and it’s certain to grow much larger. If the category leader grabs just 10% of the market, Ghodsi says, that’s revenues of “many, many hundred billions.”

Um... isn't that the same fallacy they trotted out before the dot-com bubble of 2001? [1][2]

1. https://www.inc.com/erik-sherman/the-1-percent-fallacy-that-...

2. https://www.linkedin.com/pulse/why-1-10-billion-100-million-...
Not really social media, but Netflix lost (settled) an ADA suit because they weren't providing subtitles consistently:

https://dredf.org/legal-advocacy/nad-v-netflix/
Yes, as it should. Most of what passes for 'tech' is a snazzy UI over low-margin services like dropshipping, food delivery and short term sublets. The ax is swinging at a number of them.

Besides that, Wayfair shares the same 5-10 benefactors whose cash has been holding up numerous unviable companies.
Has a social media site ever been forced to accommodate blind people?

Social media? Not to my knowledge.

But not having a website that's usable by the blind cost Target $6 million: https://www.cnet.com/tech/services-and-software/target-settl...
Mastodon doesn't necessarily have less moderation, it just has a different set of knobs to tweak to accomplish the act of moderation.

The decentralized/federated architecture makes it simple for admins of instances to ban whichever other instances they see fit. In practice, this means that it's effectively easier to ban unsavory users of certain undesirable types, since they tend to congregate on the same instances.

On top of that, there are traditional ban controls at both the user and admin level.

I've been a Mastodon user since 2017 and I've found it pretty good with respect to moderation and unwanted content. Maybe I've just gotten lucky with the instances I've chosen, though.
>> if you are re-exposing yourself with varying half-lives of the antibiotics in your body, you are conducting experiments.

>That's technically true, but thankfully not particularly relevant, as most people aren't re-exposing themselves to gonorrhea within a few hours after being treated for it.

It doesn't matter what most people do, it only matters what the petri dishes for gain-of-function gonorrhea are doing. Resistant gonorrhea didn't appear quickly, and it didn't appear magically, it appeared after a sufficient number of people had both the pathogen and the antibiotic in their bodies, and the more times the better. We simply need to explain the behavior of those people.