skysight-inc/HackerNews huggingface dataset:
> Window snapping isn't built in outside of fullscreen mode (seriously?!)

You can just install Magnet. It's a little unobtrusive app which can do neat things with windows.

> Sleeping the mac does not sleep the mac, it wakes up at all sorts of times

Power Nap is useful. When I open my Mac in the morning everything is updated from mail to apps. It doesn't turn on fans on older Macs for smaller tasks too. You can turn it off.

> Every time the OS updates, I have to go through a setup process again, trying to upsell me on iCloud drive. Nothing updates as nicely as ChromeOS but I'd hope for at least a reboot and back to where I left off

I don't experience this except once-in-a-year release updates. Even in that case OS state including all the applications' state is restored for the last 6-7 years or so.

> TouchID for login works....but not often enough - it constantly pesters me for a password

Unless Touch-ID is disabled for something (long sleep, location change, reboot, etc.) It never failed to recognize my finger.

> Pressing enter renames a file rather than opens it. What?

This is a bit backwards at first, but when considered, it's logical. command+down enters the folders and files (and opens them in the corresponding application).

> The Finder is either named ironically or I'm not getting it - file paths are obscured, seeing file details is hidden behind a dialog.

Finder is neither advanced nor explicit like KDE's dolphin or a more advanced file manager like forklift, but it's hidden features are plenty. Also, the search engine (Spotlight) can find everything, so in fact Finder really finds. Just let it search.

As a Linux and Mac user, Windows feels off for a very long time for me. Mac feels more natural and Linux most flexible and verbose. At the end of the day, macOS has the most efficient use of space and allows deep productivity with less friction. This is my experience after using both for more than 15 years.

Moreover, I've found that trackpad gestures of MacBooks neatly integrate into daily routine and they disappear by becoming instinct. This is one of the best sides of apple ecosystem. One can use the device without thinking about using it. It provides enormous speed gains.
This is neat. What I'm missing though is a static link to a particular card which I can then share with others.
For a long time I enjoyed my late 2011 unibody Macbook Pro, and it was pretty great. Certainly more intuitive than anything from Windows or Linux at the time.

It died a few years ago. I recently got a Macbook Pro from work, and weird stuff just keeps happening. I'm happily doing something, and suddenly everything goes all wobbly, or something suddenly zooms in. I have to put effort into hunting down the window I want, because alt-tab doesn't switch windows, only apps. ctrl+down gets me the windows from that app. Except when something is maximized, because then I need to remember where I left it if I want to switch to it.

I can't shake the impression that somewhere down the line, Apple lost their direction and started messing things up. The crappy keyboards they added are pretty infamous, but they also managed to make the desktop unintuitive.

Edit: also, why can't you drag and drop files anymore? This used to just work.
This is screaming for Microsoft to release a gaming Surface, possibly one that looks/acts a lot like a Nintendo Switch.
My main question here is: why is conciseness a good thing? Precision is a must, no argument here, but conciseness, to me, seems like a premature, and harmful, optimization. Is it really that much harder to stay within standard ASCII(EDIT: I mean "stay within the characters that the reader already knows how to read", which on the second thought doesn't have to be ASCII at all...)? Do you really need to express concepts with a single strange character? What does it buy you, given that the downsides for readability are quite obvious? There are arguments that using a full word for something would be confusing due to other/overloaded meanings of the word, but then I go read some papers and I see the same ideograms used in drastically different meanings, too.

Jargon is ok. Jargon is what happens when you want to be precise while re-using brain machinery for reading. The exotic notations are, on the other hand, just jargon put in a form which you have to (re)learn how to read, for the sake of conciseness alone. That conciseness may pay off if you're going to be working with the notation 8h/day for 10 years (or a year, or maybe even half a year), but if you just want to read and understand concepts and learn facts... To paraphrase: you wanted a banana, but what you got was gorilla holding the banana and the whole jungle along with it.

Hence my question: isn't creating exotic, one-character == 2.5 concepts, notations simply optimization which is harmful to the vast majority of potential readers?
Even better than a dry-run flag is to have the noop mode be the default behavior and have e.g. "--execute" enable non-read-only behavior (or, for really scary commands like programmatic data destroyers, "--nuke-my-data-i-solemnly-swear-i-know-what-i-am-doing"). Prevents plenty of accidental mistakes by sleepy operators.

That's a quibble though, the article is well-put and quite correct about the value of a dry-run mode.
cmd and down arrow to actually open it. I'm used to it now but it still annoys me!
wow this looks incredible!
At that point, why use the surface duo over some phone that doesn't take up that space with another screen?

This does bring up that a good gaming controller meant to mount to a phone might have a lot more use these days with the cloud gaming services than it would a decade ago though.

A high quality Xbox or PS4 like controller that could mount a phone might sell well. Or an adapter for the real ones.
Goldman Sachs Flashes Buy Signal for Coinbase Stock
Why Agile is loved, loathed, and lasting
The Ikea Volmar (which is now Vallfjället).

After having owned at least a couple of expensive chairs (including Herman Miller Embody), I came to the conclusion that office chairs over 500$ or so are a ripoff (or, to put in other words, they have a high marketing tax), for two reasons:

1. chair feeling is very individual; as long as a chair is robustly constructed, price has nothing to do with feeling

2. as long as a chair has enough knobs (or better: the right ones for one's body), again, price doesn't make a difference.

I actually find the Embody terrible on my body, as it has a hard lower back rest, and narrow shoulder rest that pushes the shoulders forward. YMMV - depending on the height, one may not suffer those pain points.
Maybe I’m too young, but I remember everyone removing the bar ends because they were understood to be undesirable on a mountain bike.

I always thought they were installed from the factory to make the bikes appeal to road cyclists who were familiar with road bike geometry and riding style. Like training wheels for road cyclists coming to mountain biking.
> Being able to point your Facebook Messenger client at a different server would be a big step.

Interestingly, you used to be able to do the inverse: point your XMPP client at Facebook Messenger. I'm pretty sure they never supported federation, but you could connect clients to multiple servers and have a relatively seamless experience from a single client.
> Can you recommend a chair

No.

I'm going against the grain of most replies here. It isn't a specific chair you need (perfectly good, bog standard office chairs are fully adjustable and ten a penny) but to instead take regular stretch breaks and don't slouch.

If I was a Silicon Valley geek, I'd recommend regular 10 minute yoga breaks, but since I'm British I find frequent walks around the garden with a cup of tea do the job just as well :-)
LOL you're not getting this done trivially with OpenCV.

https://countthings.com/en/counting-templates
I made up these phrases to give a simple explanation instead of causal inference terms, and they are probably not good terms, so sorry for the confusion.
If I describe it in more standard vocabulary, 'at any of those instances' refer to doing interventions (such as randomized controlled trials).

'causal path' refers to a path in a directed acyclic graph that models the causality. https://cran.r-project.org/web/packages/ggdag/vignettes/intr... has some examples.
Can individual countries yank airport landing slots? That would get attention.
> Whether the problem is worth solving is very often not your call as an engineer.

IMO well functioning teams do consider the thoughts of their technical members when deciding which problems to solve.

The person "making the call" on whether having perfect email validation is worth solving may not have an appreciation of how difficult it actually is, so having a discussion with engineers on how much work/time it would take should play a big part in prioitising it.

Additionally, things like validating email on signup are mostly solved (albeit imperfectly) so one can and should use existing implementations and focus on building their product.
> On Windows you download an installer, it does some magic (usually asking for administrator rights. scary) and then somehow the program is...somewhere. It's linked on the desktop, you can search for it, but it's unclear what happened.

The downside of the legacy windows install process is that it's "scary", prone to accidentally installing malware etc. However, the process is straightforward. The intuitive thing (going to whatever you downloaded and opening the file i.e. the default action of enter or double click) and then answering only yes/ok will let you install the program. Exactly where it ends up is of course not obvious - but for most software you'll find it the "normal" way - you hit the start button and type something.

What baffles me about the MacOS one is that it's opaque. I expect the default action for a downloaded piece of software is to make me able to use it, as quickly as possible. I get how the whole drag dance works (barely) but other than for security-through-obscurity reasons I have no idea why it can't be the default action (e.g. if I double click a downloaded file, it would ask me if I meant to install the program)!

> drag them into your Applications folder (which is just convention, you could put them anywhere)

I think it's close to being great, and it certainly has more potential than the windows legacy system (which for obvious reasons can't be improved upon much!). But if I'm forced to google a few times before installing a downloaded container something is not intuitive. Meanwhile my kid can install any app, and some malware, on my windows machine. Just by guessing.
I got one nearly brand new for $25 off Craigslist, which I think is a steal for the price. At $200 though, there’s some other competitors that I feel would be better.
As I understand it, OP is annoyed by the graph because they are comparing different things at different scale.

I will use another John Deere metaphor: a Prius can cover a much longer distance on the same amount of fuel, but if I need a John Deere it's because the Prius can't do the same job and I am willing to sacrifice fuel efficiency for raw power.

In other words: how much more does the i9 consumes to produce the same FPS of an M1?

We don't know, but we know power consumption increase on these CPUs is non linear, meaning that the 60-65% of the frame rate could potentially lead to 5-6 times less energy used.
Oops, I read the article but not the comments. I see I'm far from the first person to suggest this, apologies for the duplication.
one of his standard lines is "if you play with snakes you'll get bitten".

what you've described is, of course, technically doable.

many of his listeners may be in jobs that are less stable, and finding another job may take time. 'blanket advice' when you're talking to tens of thousands of people probably needs to be as basic and as applicable across the board as possible.

I do think there's a psychological impact of "grind through it and stick with a plan" that will help create better habits and avoid future debt problems for many folks. Playing a lot of 'move money around' moves gives people the idea that they can always do that, and that's not always the case.

I've never been employed anywhere (nor have I met anyone) who has 'day-1' 401k vesting. Good on you if you have that, but it's nearly always been 3-4 years every place I've been (or my colleagues have been).
Thanks for pointing this out. Should be fixed now!
Microsoft Teams and Slack integration using Matrix
Google CEO: The digital divide is 'easier to bridge than most people think'
Misleading title, “will not be fixed” is not indicated by maintainers.
I agree it is your phone, you should be able to put whatever OS you want on it if you are unhappy with the default. But don’t take the extreme position of forcing apple through law to write software the way you want. You have other options, buy an Android device.
Dotted or slashed, yup.
Boycotting is not what stopped Germany though.
The issue most people rightly have here, is almost all mainstream news outlets said with certainty that it wasn’t a lab leak. That certainty also needs evidence. Or should.

Coming to conclusions either way without evidence, when it suits certain anti government narratives, is partisanship.
I've been using a similar scheme for about 7 years now and have never had my email rejected by a website on signup.
Look, taking advice from Trump on medical issues is dumb. Injecting bleach (or drinking it or whatever) is a bad idea, and it was hopefully a joke, but you can't tell what is a joke and what isn't.

But that means you have to ignore his advice, not take it as an indicator of something bad. From what I can tell, there was plenty of activity trying out anything that seemed plausible, including Hydroxychloroquine. And it went through the usual medical science news cycle of study showing it totally works, study showing it might work, study showing it actually doesn't do a whole lot, with a pretty quick progression.

About the only thing the negative media coverage may have done is discourage people from actively soliciting for a mostly untested experimental treatment. But then again, probably not by much; or maybe they asked for other malaria drugs instead.
I’ve seen sites send emails where the unsubscribe link doesn’t work because the URL contains the email address I signed up with and that email address contains a character that their web server doesn’t play well with.
Yep, this is what I do now. The dry run is the default, you have to flag `--really` to do anything permanent.
Protip: Cmd+tilde (~) cycles through windows in the current app.

Coming from Windows, it can be annoying, but once you build the muscle memory, it can actually be quite nice to have the two methods separated.
I had separate exposure to COVID-19 before vaccination, and before it was super easy to get tested for antibodies. The reality is, whether or not I had exposure or not hardly matters at this point, and it's impossible to prove one way or the other.

It may be very hard to determine if people sick in 2019 had COVID-19 or something else at this time.
NATO members do talk to each other over a lot of different channels. It will take more than a week to organize, but it can be done.
It took over five years to find the reservoir species for SARS, and decades for most viruses. It's not evidence at all because the facts match the expected result.

I don't know exactly what information you would want. Every single paper about virology research from the institute was published with western authors. Had there been something wrong in the raw data or safety logs those authors would have said so.

Instead they say that everything is normal.

There is a weird double standard here of ignoring data that goes against this hypothesis and interpreting things that happened for every single other zoonosis in the world to be indicative of a lab escape. Such as, for example, three people out of six hundred presenting with symptoms of seasonal illnesses in the appropriate season.
What the heck is WFH?
As others have said, I also recommend Types and Programming Languages.

> What's the relationship between programming language theory and type theory?

I'd say programming language theory is more broad than type theory, for instance topics such as compilation techniques and runtime systems are more distant from type theory (though you might prove some type-theoretic thing like type preservation).

There's also a range of type theory books because it's a field that spans pure logic to programming languages, so you can find books like Type Theory and Functional Programming by Thompson that elaborate things like dependent types early on.
It's disappointing to me that you and your social circle weren't educated in your own country's government and history. Can I ask which underfunded school district you attended?

In most American schools, for "social studies", US history is grades 8 and 9, while US government is grade 10. What did you study instead at these grade levels?
Finder is irritating but don't let me started on iTunes if you want to manage a "physical" mp3 collection...
Haworth Soji. But as people say, try to not be static in whatever chair you do get. I find if you drink a lot of water (coffee/tea), you get mandatory breaks.
Ten Lessons from GitHub’s First Year (2011)
> Never noticed someone trying to send a email to any addresses I haven't previously used.

At least a few years ago, I noticed a lot of spam to <random first name>@<my domain> -- i.e., completely made-up addresses that I had never used. Since messages sent to those addresses were guaranteed to be spam, I started treating them as free training data for the spam filter.

I don't know if this still happens, though, because I haven't looked.
La-Z-Boy recliner as well as a barstool-height office chair. I have a standing desk, so I vary it - I tend to stand on meeting-heavy days, use the recliner on code-heavy days, and the stool on days that are split.

One of the best lessons about your WFH setup is that you are not in an office. Don't limit yourself to what would be office-acceptable - find what works for you.

Also, the people are correct who are saying that your activity level matters more. I swim and take a 2 mile hike every morning, and it makes all the difference.
I realize you're making a quip, but this is exactly why the social norm of "don't discuss politics at work" came into being. It's precisely about inclusivity in the sense that it allows people with deep-seated political disagreements to work and prosper together.

Political speech is an essential part of democracy, but its seeping into all aspects of society is IMHO a real danger. There are two fundamental pathologies with food: anorexia and overeating. So too with politics.

Edit: I just realized it sounds like I'm responding in opposition to something you said, but I'm not. This is more of a tangentially-related thought. :)
the interesting part, in my opinion, is how many people have been saying this for months, but the mainstream media narrative labeled these ideas as those of "conspiracy theorists." it is only now that the mainstream media is starting to shift the narrative, that people are starting to be willing to see this whole debacle being a kind of "Iraq Has WMDs 2.0."

thus, the mainstream media, however mistrusted, is still the arbiter of widespread "truth." they still control the Overton Window. if they say a thought is unacceptable, most people won't accept it, until they say it's acceptable once again.

absolutely fascinating to watch
I've seen some of these used for digital signage with PoE and network boot.

That way you can remotely power-cycle it and it grabs the OS and its config from the network at boot.

It makes the rollout of updated system images quite seamless.
Everywhere at the End of Time
I just check that the string contains at least an @ character. That ensures that we're not rejecting people with uncommon patterns in their email address and takes very little time to design, develop and test.

In a project we're doing something fancier: we check the result of sending mail and store it in the database record for the account (Mandrill notifies us on a webhook.) Then we might take actions for bouncing addresses. The actual impact on the project has been zero so far.
Quite a lovely UI.
> You’re going to need to show me the RFC(s) that specifically mention bounce tracking is for the convenience of marketers.

Perhaps re-read "jusssi"'s comment then mine. I didn't assert that bounce tracking was for the convenience of marketers, or suggest it was mentioned in any way in the RFC's, they implicitly did and I wanted to point out the error in their understanding.

> SMTP seems a particularly bad example if you...etc

But the central theme of this whole HN discussion thread is about SMTP.

If you're interested, sections 6 of RFC5321[0] are where bounce messages are mentioned (just three times in the whole RFC - bouncing, bounced and bounce) with no reference to marketers. See also 6.1:

Some delivery failures after the message is accepted by SMTP will be unavoidable. For example, it may be impossible for the receiving SMTP server to validate all the delivery addresses in RCPT command(s) due to a "soft" domain system error, because the target is a mailing list (see earlier discussion of RCPT), or because the server is acting as a relay and has no immediate access to the delivering system.

Which brings us back to my original comment, far above, that services that check once if an email address is "valid" using trumail.io or whatever when upon form filling are flawed solutions.

[0]: https://datatracker.ietf.org/doc/html/rfc5321
Nothing you said contradicts anything they said. By default, Apple collects all this data.
indeed, the point the parent comment was making is that effective email validation need not perfectly implement the RFC.

dotless domains are going to be so rare in practice (unless your project has some niche use-case) that you can probably ignore them and call them invalid for the sake of simplicity.
Look at APL, K, and J. The notation based on keywords is not a problem; the problematic notations are the ones which abuse strange characters or ideograms, because they require you to re-learn the process of reading.
I find it odd that the IRS does a lot of heavy lifting to go after Joe-Blue-Collar but completely seems blind to the thousands of money launderers both individuals and corps.

Personally, I think the entire financial system is broken and should be squashed.
Show HN: run ClojureScript expressions in script tags
I'd much prefer pairing a controller directly to the phone (like Stadia style) than a touchscreen button.
I had been using a chair that was past its useful life so I asked friends for recommendations recently. Besides the chairs you see recommended elsewhere in this very thread, one friend recommended a "gamer chair". I was dubious, but it had some nice points:

- has all the features of expensive office chairs

- not mesh (I hate mesh chairs)

- half the price of fancy office chairs (~500USD)

I got a Secretlab Omega specifically and after a week or two I'm happy with it.

I can't speak to long term back effects, but it has more options with height and angle adjustment than any chair I've ever had and comes with a lumbar support pillow.
I have a Load 75 (fairly large front-loading cargo bike) with bar ends, and I use them daily. And adore them.

Among the reasons mentioned in the article, the only one that fits my use case(s) are increased leverage out of the saddle (the importance of which correlates with the amount of weight out in the front of the bucket).

I also use them to overcome positional fatigue, much like road bike riders use drop bars. However, drop bars are less practical on a cargo bike because, depending on the load (which sometimes includes an adult passenger), they can impact the load when sharply angled.