Hacker News: wizerno

New comment by wizerno in "Without the futex, it's futile"

wizerno — Tue, 19 Aug 2025 15:25:42 +0000

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

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

The Jargon Lexicon

wizerno — Mon, 11 Aug 2025 07:23:18 +0000

Article URL: http://catb.org/jargon/html/lexicon.html

Comments URL: https://news.ycombinator.com/item?id=44861568

Points: 1

# Comments: 0

Pointer Pointer (2012)

wizerno — Wed, 16 Jul 2025 21:02:31 +0000

Article URL: https://pointerpointer.com/

Comments URL: https://news.ycombinator.com/item?id=44586736

Points: 1

# Comments: 0

New comment by wizerno in "Full Text Search of US Court records"

wizerno — Sat, 19 Apr 2025 04:58:15 +0000

https://www.judyrecords.com/what-happened-with-tyler-technol...

New comment by wizerno in "Show HN: Nissan's Leaf app doesn't have a home screen widget so I made my own"

wizerno — Mon, 14 Apr 2025 05:01:03 +0000

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...

MESI Cache Coherency Protocol Visualization

wizerno — Mon, 10 Feb 2025 00:35:17 +0000

Article URL: https://www.scss.tcd.ie/Jeremy.Jones/vivio/caches/MESI.htm

Comments URL: https://news.ycombinator.com/item?id=42995656

Points: 60

# Comments: 2

New comment by wizerno in "Gregglogger"

wizerno — Thu, 21 Nov 2024 02:35:16 +0000

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...

New comment by wizerno in "Vercel acquires Grep to accelerate code search"

wizerno — Thu, 21 Nov 2024 02:18:32 +0000

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.

New comment by wizerno in "Unix core utilities implemented in Haskell"

wizerno — Sun, 03 Nov 2024 13:37:23 +0000

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

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

Origin of 'Daemon' in Computing

wizerno — Sun, 20 Oct 2024 00:35:21 +0000

Article URL: https://www.takeourword.com/TOW146/page4.html

Comments URL: https://news.ycombinator.com/item?id=41891953

Points: 238

# Comments: 103

New comment by wizerno in "How America's universities became debt factories"

wizerno — Sat, 14 Sep 2024 17:09:51 +0000

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

New comment by wizerno in "The Future of TLA+ [pdf]"

wizerno — Wed, 28 Aug 2024 21:30:53 +0000

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!

New comment by wizerno in "Examples of Great URL Design (2023)"

wizerno — Wed, 14 Aug 2024 12:57:24 +0000

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.

New comment by wizerno in "Examples of Great URL Design (2023)"

wizerno — Wed, 14 Aug 2024 12:54:24 +0000

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.

New comment by wizerno in "Examples of Great URL Design (2023)"

wizerno — Wed, 14 Aug 2024 11:13:23 +0000

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

New comment by wizerno in "Approximating sum types in Python with Pydantic"

wizerno — Wed, 14 Aug 2024 11:02:30 +0000

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

New comment by wizerno in "Examples of Great URL Design (2023)"

wizerno — Wed, 14 Aug 2024 10:37:29 +0000

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.

New comment by wizerno in "Written by a 16 year old, a book on how computers work"

wizerno — Sun, 04 Aug 2024 21:55:30 +0000

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

[1] https://cpu.land

New comment by wizerno in "Can reading make you happier? (2015)"

wizerno — Sun, 04 Aug 2024 14:54:30 +0000

https://archive.is/rfwJC

New comment by wizerno in "Relationships are coevolutionary loops (2023)"

wizerno — Wed, 24 Jul 2024 01:57:06 +0000

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."