wizerno

Previously discussed here: https://news.ycombinator.com/item?id=42156977

Another great read on futexes is Ulrich Drepper’s paper "Futexes Are Tricky" [1].

[1] https://cis.temple.edu/~giorgio/cis307/readings/futex.pdf

Does anyone else miss the functionality of the Android WhatsApp widget [1] on iOS? Being able to read messages without sending read receipts via the widget is a great feature. The iOS notification 'peek' is a clumsy substitute.

Is this a fundamental limitation of iOS widgets/APIs, or just something WhatsApp hasn't implemented? Curious if others have found better ways to handle this on iPhone.

[1] https://www.tomsguide.com/how-to/how-to-use-the-WhatsApp-wid...

It looks like you're correct -- Gregglogger relies on pynput, and its behavior on macOS aligns with the library's documented limitations [1]:

Recent versions of macOS restrict monitoring of the keyboard for security reasons. For that reason, one of the following must be true:

- The process must run as root.

- Your application must be whitelisted under "Enable access for assistive devices." Note that this might require packaging your application, since otherwise the entire Python installation must be whitelisted.

- On macOS versions after Mojave, you may also need to whitelist your terminal application if running your script from a terminal.

[1] https://pynput.readthedocs.io/en/stable/limitations.html#mac...

I wonder if they'll index more repositories over time. As it stands, there's no clear way to tell what's indexed versus what's not. A transparent way to see the scope of coverage would be incredibly helpful for users.

The author has a few blog posts covering the tee, split, which, and cat commands [1].

[1] https://www.anardil.net/tag/coreutils.html

John Oliver discusses how so many people have come to take on student loan debt, why it’s so hard to pay off, and what we can do about it [1].

[1] https://youtu.be/zN2_0WC7UfU

As someone who's fascinated by formal verification and who's early in their career, what advice do senior folks who have been using TLA+ have?

TLA+ isn't taught in most universities and while I've read about so many interesting applications, I'm yet to convince myself that someone would hire me for knowing it rather than just teaching it to me on the job. Any tips to get started would also be appreciated!

If you're referring to the StackOverflow example from the article, it's different because they follow `/questions/:id/:slug`. Keeping slug at the end makes it a lot easier to delete while keeping it readable.

While the slug helps someone know what they're opening before reading it, most apps have link previews which give you just enough information you need.

As per RFC 3986 [1], reserved characters such as , and / must be URL encoded.

, is encoded as %2C

/ is encoded as %2F

[1] https://www.rfc-editor.org/rfc/rfc3986

A slightly related discussion on Type Unions in C# from a week ago: https://news.ycombinator.com/item?id=41183240

An example of a not-so-great URL design: Amazon product links have an optional slug before everything else like `{slug}/dp/{id}`. So you end up copying a gigantic URL everytime you wish to share a product unless you use the share product button to get the shortened link.

They have an equally impressive post [1] about CPUs!

[1] https://cpu.land

This is so important and underrated in life.

> "This is what I infer when I see someone who is comfortable in their unique strangeness, too. There probably exists someone who enabled that evolution of personality. A parent, a friend group, a spouse. It is rare for people to come into themselves if no one is excited and curious about their core, their potential. We need someone who gives us space to unfold."

Surprising! This feels exactly like finding out Overleaf is open-source a few days back [0].

[0] https://news.ycombinator.com/item?id=40832930

It's also called banker's rounding. To understand why it's a good default, you can check out https://mathematica.stackexchange.com/a/2120

I believe it should be https://jobs.ashbyhq.com/continua

Exactly. I had the same thought so I checked the website again and there is almost none to no mention of "open-source" or their GitHub repository link anywhere. Quite likely being done to drive more users to buy subscriptions instead of self-hosting it.

Julia Evans blog post [1] on the same topic, contains some more useful options.

[1] https://jvns.ca/blog/2024/02/16/popular-git-config-options/