skysight-inc/HackerNews huggingface dataset:
I don't find the syntax weird, I think it's perfectly cromulent with the existing capabilities. To wit, pattern matching in `let` has always been possible:

let (x, y) = (1, 2);

...But only for patterns that can never fail. For enums, not all patterns are irrefutable:

let Some(x) = Some(42); // error, Rust can't tell that RHS isn't `None`

Note that some languages with pattern matching do allow the above, e.g. OCaml does, and just panics if the match doesn't succeed (so equivalent to `let x = Some(42).unwrap()` in Rust). But Rust favors exhaustive pattern matching, so that wasn't a good fit.

The way that Rust solves this is via `if`-style constructs. So you already have `if let`:

if let Some(x) = Some(42) {
// `x` exists in here
}

This produces an inner scope where the contents of the enum are bound. And you can use `else` here as well:

if let Some(x) = Some(42) {
// `x` exists in here
} else {
// branch where `x` doesn't exist
}

So the `let else` syntax feels like a natural continuation to me:

let Some(x) = Some(42) else {
// branch where `x` doesn't exist
}
// `x` exists here

This reduces the nesting required in several common cases of using enums, which makes code easier to read. (Of course, the interesting thing is that since `x` exists in the outer scope, the compiler requires the inner scope to never reach the outer scope (it must "diverge", by returning or panicking or infinite looping or whatever), which is an extra restriction above what a normal `if else` requires.)
more like "oh never click on yishan threads ever again, this guy wants to put ads in twitter threads, who has time and patience for that? not me."

Brilliant? For immediately getting large amounts of readers to click away and discrediting himself into the future, sure that might be brilliant I guess.

It makes him seem desperate for attention and clueless.
In a lot of ways it is, and it's my understanding (although I can't claim any personal knowledge of this part) that in the past couple of years things have been changing. But I've had conversations with people who know their job is worse than it would be at the Stripes of the world - worse pay, worse office, worse benefits, worse hours - and yet they're still not interested in applying elsewhere because they're confident they can stay in their first job until retirement. Some people really do value stability and job security above anything else in their career.
In the late 1980s I recall picking up a phrasebook for some southeast Asian language (Burmese, perhaps?) and seeing this cringeworthy phrase:
"Muster the coolies by the bungalow."
For those doing this, be sure to check the settings and have someone watch the result - if you're "showing screen" it can be fine but if you're "showing face" and the end result makes you look like you're flickering in and out of existence and spazzing, it can be entirely distracting.
yeah, I scripted my backup jobs, and use good old email notifications to report.

I expect an email every day. If I don't receive one, I know there's a problem with email delivery.
I’ve never got the job where they asked me to code some algorithm on the spot
Please be my mentor. I'm 31, from a third world country living in France, studying full-time (self-made bootcamp plan: https://github.com/woadray/bootcamp/blob/main/README.md), wanting to break into software development. We can chat whenever you're free, my email is my bio.
Ask HN: Why is Reddit the only major platform with rich third party mobile apps?
For Reddit, there's Infinity, Boost, Relay, Now, among many other third party mobile apps. They're all quite good and much better than the official first party Android app. I've been using Infinity for years, after having migrated from the official app.

This got me thinking: why does no other major social media platform have an ecosystem of third party apps?

* Facebook
* Twitter
* Instagram
* Facebook
* Snapchat
* Pinterest

Adjacently, why don't they allow non-first-party apps? Aren't mobile apps just a thin client? Anything that gets more users using the service sounds like a net positive, regardless of first or third party origin.
I switched to Vivaldi (based on Chrome) from Firefox a few months back and am reasonably happy with it. I get far more control over my browsing experience than with Firefox, which keeps removing features that I actually liked and used.

I used Firefox for a long time, starting way back when it was brand-new and IE was the leading browser. I continued using it because they were innovating heavily in the browser space. After they stopped innovating, I kept using it because although Chrome was impressive and fast, they kept nagging you about logging into Google. Now, based on the fact that Mozilla basically seems to just do whatever Chrome does these days, combined with the unnecessary and infuriating UX redesigns, Firefox has no obvious advantages and quite a few drawbacks.

I don't love the fact that Vivaldi is closed-source and based on Chromium but at least I feel like I'm in the driver's seat while I'm using it.
"Your failure to plan does not consitute an emergency for me" is how we used to say it.
Yeah, I have a couple of phrase books that have an entire section of negotiating your way through an entire hookup, with phrases at the end like, “I have an early flight”.
I tried Pop before, eventually ran into a compatibility issue. Also it's based on Ubuntu.
I have it installed, but frankly DT has been really great for my workflow I'm really just a novice shooting a mirrorless vlog camera right now - a Sony ZV-E10 with some vintage Canon, Minolta and Nikkor lenses. I have a few Nikon DSLRs but they only thing they give me is a view finder.

Many years ago, I used Apple Aperture when all my real photographer friends were using LightRoom so... I honestly don't know what I'm missing by not using the Adobe product.
Whenever I've shared this link ("U.S. Field Hospitals Stand Down, Most Without Treating Any COVID-19 Patients" https://www.npr.org/2020/05/07/851712311/u-s-field-hospitals...) with members of the hospitals-overrun-youll-die-from-an-infected-papercut crowd, they usually want to change the subject. Same when I remind them of the demands for hospital ships which then weren't used.
I think the most succinct intro I have found is Donald Wheeler's Understanding Variation.

I've long wanted to write an open article series for someone like you but never gotten around to it. There's so much information out there, but you sort of have to piece it together on your own, which is suboptimal.
Most Garmin watches fit your formula
Is the third party maintainer relationship a policy choice by flatpak? or is that just the case because the maintainer built the flatpak first?
You're right, what I mean is it puts less emphasis on the sport and fitness tracking features, compared to Fenix and Forerunner lines, and hence lacks some of the more advanced features and metrics.
He inadvertently invented the Twitter mid-roll ad and we're all doomed now because of it
It's funny you call out the exception as tedious as opposed to the groupthink that's mindlessly enforced and repeated ad nauseam on most Subreddits.
I'm excited for the project, but disappointed that they kept the arcane syntax of TeX/LaTeX. Math expressions are hideous to write and read in LaTeX syntax.
Surely you're publishing, Mr. Feynman!
Laws don't enforce themselves.

Anime image boards are not in a hurry to expunge "lolicon" images because they don't face any consequence from having them.

I wouldn't blame Tumbler from banning ero images a few years back because ero image of real people are a lot of trouble. You have child porn, revenge porn, etc. Pornography produced by professionals has documentation about provenance (every performer showed somebody their driver's license, birth certificate, probably got issued a 1099) if this was applied to people posting images from the wild they would say people's privacy is being violated.
Welp, I guess all those backwards "conspiracy theorists" might have been right, again.

Cooking with plastic-coated pans containing forever-chemicals... What could go wrong?

I dunno -- maybe we should start calling people who believe whatever the TV and their politicians say "Complicity Theorists"?
It does? One definition of cleave is to join or adhere things together. It’s not a new slang definition, you can look it up in any dictionary.
Where’s the hypocrisy? You’re projecting that they don’t care about the other causes.

That’s your own fault not theirs.
Maybe they have some women on their team who are particularly moved by this event? Maybe they have some Iranian expats? Maybe they’re unaware of the extent of other issues? Maybe it doesn’t matter because again , saying one supports a specific cause doesn’t mean they don’t support others.

There is zero hypocrisy here. There are only logical fallacies from people reading too far into things.
The question is where do Mr Musks claims become similar to Ms Holmes?

He promised a lot and the team delivered part of it.

People are making investments based on him saying that he’ll have mass production of a personal robot in a few years. If that robot can’t water the plants in my house, then his recent demo was a lie.

I’m not wanting to pull him down, but Tesla is over valued and a potential house of cards. Having more realistic targets means it’s easier to beat expectations.
Agreed! Sorry you had to go through that, both ways. It's super tough for those being laid off.
Debirdify – search the people you follow on Twitter for Fediverse accounts
> Generally, employees in America do not have contracts.

Is that true? The company surely has terms for you, like expected working hours, terms about your sick leave, performance and health terms, out of office expectations, intellectual property disclosures and NDAs? Non-compete clauses? When does all that become binding if not through a contract?
So if it's racist to demand ID for voting, is not also racist to demand a RealID for flying?
I would argue CEOs generally find it optimal to "overgrow" during boom periods and "cut" during bust periods. This is why we see the routinely observe the pattern. It is not because a bunch of confused CEOs are constantly making mistakes. This was expected, even planned for (if not explicitly). This is how startups work. Overgrow, then cut, then overgrow again. Layoffs, especially around moonshots or non-revenue-generating teams, are only problematic for PR purposes.
I know GAT is a "bigger feature" for the language but personally I'm most excited about `let else`. It is very common to write code such as:

let foo = match do_something() {
Ok(f) => f,
Err(e) => {
// Do some error handling, maybe log a warning, maybe skip this item and continue...
}
};

This small change makes that so much more clear, removes the silly first row and removes a level of indentation.

let Ok(foo) = do_something() else {
// Do some error handling, maybe log a warning, maybe skip this item and continue...
};
Darn. Maybe the solution is to use vs-code client in the browser? Like vscode.dev or https://github.com/coder/code-server ? It limits what keyboard shortcuts and extensions are available, but at least it's in a secure sandbox on the client side.
Multitasking was very much a feature the Amiga was both praised for and promoted with. In those where niches the Amiga indeed was successful as a business machine, i.e. video editing and - to some extent - 3D rendering, multitasking probably was quite useful.

Moreover, the Amiga's flavour of multitasking was preemptive multitasking. Nowadays, preemptive multitasking is what most operating systems use. Before AmigaOS, operating systems either had no multitasking at all or used cooperative multitasking like, for example, the classic Mac OS. This was no small feat, given AmigaOS has provided this feature since 1985 whereas it took other consumer-oriented operating systems until the mid-90s to follow suit (Windows 95 having been to first such OS to implement preemptive multitasking, too).

The problem with preemptive multitasking - and likely the reason why it took others so long to implement such a useful feature - is that it requires an MMU in the CPU to apply memory protection in order to be performed safely and without crashes.

However, the Motorola 68k processor architecture used by the Amiga didn't include such an MMU until its 68030 iteration (and even that came with an optional 6EC8030 variant, which was often used for cost-cutting reasons). While 68030 processors would've been available in 1987, when the Amiga 500 was released, at the time they would've been way too expensive for Commodore's main business model and target audience for the Amiga (i.e. consumers).

Amiga models such as the A3000 or A4000, which were targeted at professional customers, did include an MMU. Since professional users alone didn't warrant the major rewrite that would've been necessary to adapt AmigaOS to these CPU capabilities as well, no major efforts were ever undertaken in that respect.

Long story short, while Commodore was notorious for making bad business decisions (at times almost preposterously so), not adding memory protection to AmigaOS probably wasn't one of them.
Bezos is brilliant compared to both Musk and Zuckerberg. He understands long games and how to exploit workers effectively.
Qualcomm, meanwhile, has announced today that they think 2024 will be their year.

Great, an entire 8 years after the first Windows on ARM Qualcomm devices... but they think they've got it this time. For sure.

https://www.theregister.com/2022/11/03/qualcomm_q4_2022/

Edit: This is so incomprehensibly late it's just embarrassing. It's been 2 presidencies. Qualcomm had an exclusivity contract for Windows on ARM for literally half a decade (2016-2021) which they did absolutely nothing of significance with. And if 2024 is their year, it will be 4 years after M1. Yikes. Not to mention the lawsuit between themselves and ARM Holdings over whether Nuvia's designs are legitimate, which could delay things further. Nuvia had better be like pulling a rabbit out of a hat when it arrives.

Edit 2: @beembeem Right... shutters. 8 years in the sense of modern Windows with some 32-bit Intel app compatibility. But as for ARM as a whole... Windows RT and Windows CE before it...
They have to live with it and feel like shit and still run THEIR business. You make a mistake, you don't fire yourself and give up everything you work for, you do the best you can and move on. Don't like how they operate? Build your own business and hire thousands of people and then when you make a mistake fire yourself instead.
I don't want moderation OR censorship. I want proper labeling so that I can self-filter out things that I don't want to see. Just like the labels on cans of food tells you exactly what ingredients are found within the can so you can skip the ones with peanuts, gluten, or some other substance you don't want; I want labels (and levels) on data.

If I don't want to see profanity, I should be able to set my filter to exclude profane comments. If I don't want to see nudity, I can set that filter too. Just like movies get a certain rating (G, PG, R, etc.), we should be able to properly label data.
> No you can't, read again, I don't want a red dot signalyzing there's new messages on my archive.

I had never used the feature a lot so I didn't know what was the behavior.

I just tested, there's no red dot, it just shows you the number of unread messages, which is really not attention catching (I actually had 2 unread messages there for months and had never noticed before).

> Unless you're in some A-B test I definetely don't have this option on my Privacy setting. Just Triple checked.

https://i.imgur.com/GRLMjGh.png

Just took this screenshot. It's also not new, my girlfriend has been using it for years.

> I'm not even sure how to respond to this, if you're privilleged enough to say this, good for you. I'm definetely not.

I can't see any demographic that can't afford to leave a family discussion on WhatsApp, especially one with people that they don't want to talk to.

As for work conversations, unless you work a job where you're not on a computer all day, which is probably less than 1% of the commenters of HN, there is a more work-appropriate tool for communication that your company is already using.
It is!
https://product.akiflow.com/features-and-improvements-reques...

We are getting more and more requests for developers' tools! In the meantime, you can already connect Jira via Zapier. We already created some templates for you to use and you can find them in Settings > Integrations > Add via Zapier
or use these links:
https://zapier.com/apps/jira/integrations/akiflow
https://zapier.com/apps/jira-software/integrations/akiflow
https://zapier.com/apps/jira-service-desk/integrations/akifl...
bullseye/stable is on 1.12.0
Thanks! In that case, the thing you say about KataGo can be strengthened:

> I'm sure it could still beat a fair number of human players.

KataGo can reliably beat any human player while giving them a handicap. The best pros lose a majority of games to a handful of top AI while receiving a 2 stone handicap, and are not locks to win with 3 stones.

Note: they did test two variants of KataGo, with and without search (search is very beneficial). Both versions are quite strong, and they had good results against both but they had their best results against the non-search version.
It's because Zoom / Jetbrains haven't stepped up to package their software as flatpak, so volunteers got in there. There's a flathub policy that a flatpak project will be handed over to the vendor to maintain if they make that request - which is definitely good, but the fact of those volunteers being able to do this (however well intentioned) is not.
Location: Bangalore, India (Flexible for Eastern Standard Time | Central European Time)

Remote: Yes

Focus Areas: MVP Development, Team Augmentation, FinTech, Payment SDKs, B2B SaaS

Schedule a Chat: https://calendly.com/arpand

Deck: https://bit.ly/team-aug

Email: arpan@mobilefirst.in

Currently working on large Application maintenance, upgrade & tech modernisation engagement.

We do have bandwidth to get started immediately/ less than a week for few technologies, as multiple team members are on bench.

p.s - I am principal at software development agency. We are 45+ team members. We recently worked with Vodafone, NFL/NHL Teams, Flipkart/Walmart and other North America/ EU based startups.

Technologies: NextJS, NestJS, Angular 14, TypeScript, ReactJS, Tailwind CSS, Shopify, AWS, Serverless, Kubernetes, iOS, Java, React Native
Maybe if you're the janitor, but based on the quip about the salaries Stripe pays, the parent is presumably looking at this from a developer's perspective. That's a payout of around $73,000.

If you are handed $73,000 and still need to frantically look for a new job, something strange is going on.
Hacker Charged with Extorting Online Psychotherapy Service
Parag was great leader, but this has to be the worst thing hes done to twitter
We need a word for "broken in a way that requires going out of the comfortable path to fix".

In my mind brick also meant unrecoverably dead but it seems the meaning has now drifted to what I wrote above and to access the old meaning one needs to specify "permanently bricked".

As for how to mess up micropython:
If you load a main.py that has an infinite loop (common on micro controllers because there is no os) then the board will get stuck in that loop as soon as power is applied and your computer can't get a word in because it's no longer listening. Now you can't upload a fixed main.py with a way to break out of the loop.

To fix you need to hold the button while powering on. This puts in in flash mode and you can reflash micropython. Or in my case, flash a different special firmware that blows away all the .py files I had on there because main.py was still there when I just reflashed micropython the first time.
Don't most distribution repos already have all those already included with the "main" package management system?
This talk was given at this years EuroBSDcon in Vienna, recording is up on YouTube.

https://2022.eurobsdcon.org/

https://www.youtube.com/watch?v=36qZYL5RlgY

Some really great talks this year from all the *BSDs, highly recommend checking a look: https://www.youtube.com/playlist?list=PLskKNopggjc6_N7kpccFZ...
> would talking about Kanye be spam or not?

No.

> Are influencers advertising?

That spam is advertising does not make all advertising spam.

We already have filters based on confidence for spam via email, with user feedback involvement too, so I don't need to define it, users of the service can define it for me.
He was CEO of a company that has volunteer moderators, what he knows about handling moderation is tainted by the way reddit is structured. Also, reddit's moderation is either heavy handed or totally ineffective depending on the case so not sure he's the right person to talk to.

Also, I stopped reading when he did an ad break on a twitter thread. Who needs ads in twitter threads? It makes him seem desperate and out of touch. Nobody needs his opinion, and they need his opinion with ad breaks even less.
You forgot to mention two very important points:

1) The ivy leagues (and many other colleges of the US) shifted from a purely meritocratic assessment to an "all rounder" vetting process of potential candidates simply to eliminate the "undesirables" (at that time, mostly jews).

> The first thing to understand is that everything we know about selective college admissions today is less than a century old. So if you go back to 1910 or 1920, the Ivy League schools were not particularly expensive. They were not particularly desirable, in that they didn't have five or 10 or 20 times as many applicants as there were spots. And they weren’t particularly rigorous about vetting students ... So how did we get from there to here today, when these schools are desirable, expensive, and have a very rigorous vetting process?

> The answer is that most of those measures came about as part of the effort to limit the percentage of Jews in the student body. The extensive college application of multiple pages came about because they added questions to figure out if an applicant was Jewish, including What’s your religion? What is your father’s occupation? What is your mother’s maiden name? Where were your parents born? At some schools, they asked you to attach a photograph. Some began to require an interview. And that was in part so they could try to suss out if you were Jewish or not.

(Source: America’s most prestigious universities became elite through policies designed to keep Jews out of them. - https://newsletters.theatlantic.com/deep-shtetl/632c8ea068f6... ).

> ... the Ivy League didn't really want them. Being first-generation students, these applicants didn't have rich alumni parents who would be likely to donate big bucks. Being from an ethnicity not associated with America's governing class, they didn't help the Ivy League with its biggest selling point — that going to college there provides an opportunity to rub shoulders with America's governing class. And they were seen as boring grinds who studied too hard and weren't much fun.

> The result was a change in admissions criteria to reward "leadership," and "well-rounded" candidates — a thin disguise for "WASPs" — and, following closely on, actual quotas for Jewish students, so that no matter how many applied, their numbers on campus would stay just about the same.

Source: Asians get the Ivy League's Jewish treatment: Column - https://www.usatoday.com/story/opinion/2014/11/23/ivy-league...

Yeah, it looks like they are doing the same thing with the Asian-Americans today (who have a similar immigrant cultural values like the jewish immigrants of the early 20th century - strong family ties and cultural importance to getting a good education).

2) If you are rich and have money to bribe these colleges, the "minimum qualification" will be "adjusted" to accommodate you. (Source: How elite US schools give preference to wealthy and white 'legacy' applicants - https://www.theguardian.com/us-news/2019/jan/23/elite-school... ).