Hacker News: 95014_refugee

New comment by 95014_refugee in "Cassette tapes are making a comeback?"

95014_refugee — Tue, 09 Dec 2025 04:49:14 +0000

@ooedotech https://youtu.be/urGmmkUDi20 etc.

New comment by 95014_refugee in "Job-seekers are dodging AI interviewers"

95014_refugee — Mon, 04 Aug 2025 15:23:49 +0000

See also “information desert” and ask yourself why a survival-oriented species might behave in this fashion.

Or don’t, it’s why they do.

New comment by 95014_refugee in "Tim Cook rallying Apple employees around AI efforts"

95014_refugee — Sat, 02 Aug 2025 16:23:14 +0000

“sj placed cool first” … in what universe?

Steve placed “Steve likes it” first. Many of the things he liked were terrible.

Cool things happen(ed) at Apple in spite of executive leadership, not because of it. The better E-team players know to stand back and not get in the way.

New comment by 95014_refugee in "Nobody knows how to build with AI yet"

95014_refugee — Mon, 21 Jul 2025 15:31:57 +0000

You are confusing waterfall with BDUF.

New comment by 95014_refugee in "Coventry Very Light Rail"

95014_refugee — Mon, 09 Jun 2025 14:12:26 +0000

I do wonder how much of the hate on “waterfall” is perpetuated by folks that never read the paper. It’s the “socialism” of development workflows…

New comment by 95014_refugee in "How a single line of code could brick your iPhone"

95014_refugee — Mon, 28 Apr 2025 00:04:21 +0000

The exploit as described doesn't "brick" the device; that would require permanently disabling it. A tethered restore would be all that's required to recover in this case.

New comment by 95014_refugee in "Apple’s Darwin OS and XNU Kernel Deep Dive"

95014_refugee — Mon, 07 Apr 2025 09:05:48 +0000

It would never have worked. So many of the things that owning xnu has made possible would never have happened on top of Linux. The things you can do when you know each and every customer of the stack, and you all belong to the same business with common objectives and leadership direction just can’t be done in the open-source context.

New comment by 95014_refugee in "Apple’s Darwin OS and XNU Kernel Deep Dive"

95014_refugee — Mon, 07 Apr 2025 09:01:52 +0000

For a long time we held the line on not having file operations originate from within the kernel (layering reasons). Eventually less sane heads prevailed.

New comment by 95014_refugee in "Why I quit: kernel developer Con Kolivas (2007)"

95014_refugee — Sat, 15 Feb 2025 16:13:58 +0000

No.

New comment by 95014_refugee in "Resigning as Asahi Linux project lead"

95014_refugee — Thu, 13 Feb 2025 18:04:30 +0000

One does not "hone in" on anything. To hone a thing is to make it sharper or more acute by removing parts of it with an abrasive. The word you are looking for is "home", as in a homing missile, etc.

Yes, this is a criticism. Hopefully it's twice as effective as being nice. 8)

New comment by 95014_refugee in "TCAS Avoided Collision with Army Helicopter over Potomac River [video]"

95014_refugee — Fri, 31 Jan 2025 20:19:55 +0000

Responding to a TCAS RA is not "overly cautious".

New comment by 95014_refugee in "TCAS Avoided Collision with Army Helicopter over Potomac River [video]"

95014_refugee — Fri, 31 Jan 2025 20:18:25 +0000

It's not inoperable; warnings are still issued, but the RA (resolution advisory, i.e. "climb", "dive" etc.) functionality is inhibited.

New comment by 95014_refugee in "Wild – A fast linker for Linux"

95014_refugee — Fri, 24 Jan 2025 18:00:15 +0000

This makes some very naïve assumptions about the relationships between entities in a program; in particular that you can make arbitrary assertions about the representation of already-allocated datastructures across multiple versions of a component, that the program's compositional structure morphs in understandable ways, and that you can pause a program in a state where a component can actually be replaced.

By the time you have addressed these, you'll find yourself building a microkernel system with a collection of independent servers and well-defined interaction protocols. Which isn't necessarily a terrible way to assemble something, but it's not quite where you're trying to go...

New comment by 95014_refugee in "The Cybertruck that exploded and the New Orleans vehicle both rented using Turo"

95014_refugee — Thu, 02 Jan 2025 05:27:42 +0000

You mean “can’t resist the name placement kickback promises”, surely.

New comment by 95014_refugee in "Doctor Who theme: Ron Grainer (composer) Delia Derbyshire (musician, arranger)"

95014_refugee — Thu, 12 Dec 2024 21:15:40 +0000

Worth reading his son @snakesofself's comment below that video for additional context.

As a fan of the show, and what it did to advance the art of visual storytelling, learning more (and understanding less!) about the artists just makes the whole thing more interesting and more human.

New comment by 95014_refugee in "GenMC: Model checking for concurrent C programs"

95014_refugee — Sun, 10 Nov 2024 18:10:04 +0000

It's always a compromise.

Part of the exercise, whether it be making an existing codebase amenable to verification, or standing up a new one designed for it from scratch, is to identify, contain, and comprehend sources of entropy within the system.

At test time, you explore (as much as possible) the state space by replacing these components with data-deterministic mocks. On a run-to-run basis you can then vary the characteristics of the data they return; either with a set of derived known-edgy values, or by fuzzing, or a variety of the two.

This sounds daunting, and for a pre-existing codebase it can be a lot of work, but the upside is very often a substantial improvement in the robustness of and achievable confidence in the implementation.

New comment by 95014_refugee in "Entire staff of game publisher Annapurna Interactive has reportedly resigned"

95014_refugee — Sat, 14 Sep 2024 15:50:53 +0000

Viewing an ad is not “giving back” in any meaningful sense. Modern adtech primarily benefits the infrastructure providers, rather than providing a service to its “clients” or a revenue stream to site owners.

Adblocking is the only meaningful objection that the consuming public can raise to the inefficient and wasteful adtech situation. Depending on how you feel about your obligations with regards to civil society, you might view it as a moral imperative.

New comment by 95014_refugee in "A dishwasher can make or break a restaurant (2017)"

95014_refugee — Wed, 28 Aug 2024 19:49:56 +0000

For sufficiently narrow interpretations of "working", perhaps.

Otherwise, I think you might be a little optimistic here.

New comment by 95014_refugee in "Adding 16 kb page size to Android"

95014_refugee — Fri, 23 Aug 2024 22:06:37 +0000

> I've also wondered why the TLB isn't larger.

Fast CAMs are (relatively) expensive, is the excuse I always hear.

New comment by 95014_refugee in "CheriBSD"

95014_refugee — Fri, 05 Jul 2024 15:57:32 +0000

I’m not sure about the “sadly” part here. Whilst it proved that something could be done, it also taught us a lot about what doing it cost (a lot), how scalable it was (not), and whether it would be broadly applicable (no).

Any strategy for improving software resilience has to account for the scale and pace of software development, as well as accommodating the skill gradient and surrounding social factors. FV as currently practiced fails at all of this.