Hacker News: gttalbot

New comment by gttalbot in "AI will make formal verification go mainstream"

gttalbot — Wed, 17 Dec 2025 12:15:34 +0000

If the AI is going to lie and cheat on the code it writes (this is the largest thing I bump into regularly and have to nudge it on), what makes the author think that the same AI won't cheat on the proof too?

New comment by gttalbot in "Netflix to Acquire Warner Bros"

gttalbot — Fri, 05 Dec 2025 13:22:48 +0000

Where's the antitrust enforcement? This seems blatantly illegal.

New comment by gttalbot in "Pre-emptive Z80 multitasking explainer"

gttalbot — Mon, 27 Oct 2025 18:04:16 +0000

What are the 5 NOPs for before the RETI?

New comment by gttalbot in "Google has eliminated 35% of managers overseeing small teams in past year"

gttalbot — Thu, 28 Aug 2025 00:27:58 +0000

The way the execs talk down to employees now is really depressing to read about. That's a really unfortunate culture change since I was there.

New comment by gttalbot in "Here be dragons: Preventing static damage, latchup, and metastability in the 386"

gttalbot — Mon, 18 Aug 2025 07:49:04 +0000

Question for @kens -- this circuit you found, how would Intel have designed and tested this?

New comment by gttalbot in "The bewildering phenomenon of declining quality"

gttalbot — Sun, 20 Jul 2025 13:02:29 +0000

Quality has not gone up. Products are deliberately made to fail sooner by Chinese manufacturers who are reducing costs on super tiny margins.

The mantra that "consumers get lower prices and everything is better as a result" deliberately elides any discussion of quality and reliability.

New comment by gttalbot in "The first time I was almost fired from Apple"

gttalbot — Mon, 07 Jul 2025 19:47:43 +0000

Dude I think the whole "we're going to fire you" thing is weird on Apple's part. Look at how good the color picker became once it became yours. A bunch of resource string names should not be a big deal.

New comment by gttalbot in "Cmapv2: A high performance, concurrent map"

gttalbot — Tue, 17 Jun 2025 16:55:06 +0000

Is it anywhere close to swisstables?

New comment by gttalbot in "The Continuing Crisis, Part IX: Inside the NIH Now"

gttalbot — Thu, 20 Mar 2025 00:52:54 +0000

Much too quiet here on HN on this post

Science underpins technology, people.

If you want to see the US rapidly lose its place in the tech world over the next decade, this is a great way to go about it.

Husky: Efficient Compaction at Datadog Scale

gttalbot — Wed, 29 Jan 2025 20:39:46 +0000

Article URL: https://www.datadoghq.com/blog/engineering/husky-storage-compaction/

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

Points: 29

# Comments: 1

New comment by gttalbot in "Breaking Up with Long Tasks or: how I learned to group loops and wield the yield"

gttalbot — Sat, 04 Jan 2025 10:41:06 +0000

What's old is new again. Some of the same techniques used to keep pre-MacOS-X applications responsive, back when MacOS was cooperatively scheduled, show up here.

This begs the question of what is a reasonable programming model? In the MacOS case, the forcing function was buying NeXT, using their Unix kernel for MacOS, and literally firing the OS engineers who disagreed with preemptive multitasking.

For these browsers, is there a programming model that could be instituted where processing in these handlers didn't hold up the main UI thread?

New comment by gttalbot in "Behind the Scenes: Alien Worlds – Jumpship over a tidally locked planet"

gttalbot — Tue, 31 Dec 2024 21:34:15 +0000

This looks fantastic. I particularly love how cool things look at the different perspectives -- presumably this is because you did the hard work of making the planet at realistic scale? Thanks for sharing the process. It was fascinating!

New comment by gttalbot in "Undergraduates with family income below $200k will be tuition-free at MIT"

gttalbot — Thu, 21 Nov 2024 09:06:26 +0000

This is great and all, but will we be addressing the fact that the acceptance rate of these institutions are all artificially low? The size of freshman classes are the same or smaller than the same in the 1980s, and the population of the country is much larger.

Tuition isn't the only problem here. If we want a country with social mobility, our higher ed institutions should reflect this and not create artificial scarcity.

New comment by gttalbot in "Accelerating the Performance of Rosetta in Linux VMs on Apple Silicon"

gttalbot — Thu, 07 Nov 2024 09:03:04 +0000

Is Apple going to upstream this so it's part of Linux?

New comment by gttalbot in "Hollywood Can't Ditch Its Teslas Fast Enough:"They're Destroying Their Leases..""

gttalbot — Sat, 21 Sep 2024 07:07:35 +0000

The Ford Mustang Mach E is a compelling alternative to a Tesla.

New comment by gttalbot in "Amazon tells employees to return to office five days a week"

gttalbot — Tue, 17 Sep 2024 11:22:30 +0000

And this is how we operationalize age discrimination. Note the layoffs of middle management announced at the same time. Force everyone into the office, ideally through a difficult commute into an area that it's very expensive to have a family.

People for whom this is really untenable will quit without severance. Some with difficult circumstances you can PIP out without severance. Then the rest you lay off. Congratulations now the severance bill you have to show to Wall St. is a lot smaller.

Sociopaths.

New comment by gttalbot in "NASA investigation finds Boeing hindering Americans' return to moon"

gttalbot — Mon, 12 Aug 2024 23:39:33 +0000

Why is this not cancelled?

New comment by gttalbot in "Standard cells: Looking at individual gates in the Pentium processor"

gttalbot — Mon, 08 Jul 2024 11:15:01 +0000

> Modern processors, with their nanometer-scale transistors, are much too small to study under a microscope.

So, can we all take up a collection so Ken can get a nice electron microscope, or what?

New comment by gttalbot in "Scammers are targeting teenage boys on social media and driving some to suicide"

gttalbot — Wed, 17 Apr 2024 05:12:39 +0000

Why would Facebook not just block messages from Nigeria to rando North American towns at this point? Shouldn't the network analysis required to detect this sort of crime ring be a slam-dunk at this point? I don't get how this is still even possible.

New comment by gttalbot in "DeWitt and Stonebraker's "MapReduce: A major step backwards" (2009)"

gttalbot — Sat, 30 Mar 2024 23:43:35 +0000

Wow this is really great.