News for hackers. Stuff that matters.
Re:Neptune OS: a WinNT personality of the seL4 microkernel by theandrewbailey on Wednesday February 23, 2022 @11:01AM (#30442496)
What? I can't find any codenames for 2000. All I can find is:

> Windows 2000 didn't have a codename "because Jim Allchin didn't like codenames," Thompson says.

https://web.archive.org/web/20170801163850/http://winsupersi...

Re:Neptune OS: a WinNT personality of the seL4 microkernel by cl91 on Wednesday February 23, 2022 @11:47AM (#30443061)
Ok I misremembered. It was actually a pre-release of what would become Windows XP.