I'm guessing willingly Maduro surrendered as he took the cash offer from Dec 1, 2025 while publicly rejecting it. After all, he left with his wife.
> “You can save yourself and those closest to you, but you must leave the country now,” Trump reportedly said, offering safe passage for Maduro, his wife and his son “only if he agreed to resign right away”.
Maybe it hit trademark issues, but the reason I remember from slashdot was that phoenix was already a semi-popular open source project in the debian repository, so firefox had to be named from phoenix to mozilla-phoenix. But firefox at the time still named phoenix just ran so much better on windows than linux, it was funny.
Phoenix Technologies, the BIOS maker sent me an email telling us they made a BIOS web browser and our name would confuse things. Under advice from our legal support, we agreed to change the name.
We changed to Firebird and the OSS database project bombed my inbox (and Mitchell's too) for a week with hundreds of nastygrams and though we were in the clear on TM, we didn't want to stomp on the little OSS project so we changed again.
I was at the whiteboard when Jason Kersey of mozBin, mozillaZine, and later Chrome fame came up with Firefox. We had two columns of names, forces of nature and animals and were pairing them up.
I thought Phoenix may have just made that up because they were miffed about someone in tech using their name, but no, they actually did have a "BIOS web browser"!
> We had two columns of names, forces of nature and animals and were pairing them up.
Nice. Now I wonder if the ~0.8? era extension "Firesomething" was directly inspired by that whiteboard. IIRC it randomly combined two components from lists.
Ah neat, I didn't realize it was the bios maker that was behind that one, I thought it was the IBPhoenix product, it's been way too long since all that happened and I think it's all gotten jumbled in my memory.
Phoenix was because of a challenge from Phoenix Technologies, the BIOS maker. Firefox was because of concerns about stomping on a small OSS project, the Firebird Database. I was responsible for all of this at Mozilla. Happy to answer any questions.
Thanks for clarifying! FWIW, I wasn't there, but that matches exactly what I remember from that time (I did follow all the different renamings in detail).
I have Objective-C software for iOS that was built for iOS 3 that still runs on the latest version of iOS and people still pay for it. Strange how language stability is an achievable goal.
Its seems like a combination of 90's seo spam pages combined with running unsigned/unchecked executables. I think we're going to have certifications and positions for AI Tools Security Officers in the near future if we don't already.
People don't like advertising. Google is an advertising company. The more these AI models get corrupted with advertising the more likely they are to take a lead. That the reason they don't dominate in cloud storage. Where's the competitive advantage in embedding advertising in people's personal and publicly shared documents?
I have a hard time believing that, but if that website says so, it must be true. I would wonder if they are including gmail users as well as all android users, but I don't know their methodology. If they include all android users, they should include all ios users for Apple Music and iTunes since Apple stores their music on Microsoft Azure, which last I checked is the same thing OneDrive uses.
I use brave search and usually end up clicking on the google button midway down on the page. Every search engine is inferior and if google wasn't the default search on iOS it would hurt the brand, especially since google is the default search on android. I'm a little older and using bing just feels like altavista in the 90's. Its good enough, but it feels like its selling me something I don't want. Just give me a good search result or I'll have to stop using the phone's web browser to look things up (or manually change the browser search engine with every release).
I think it is undergoing a resurgence due to the LLM prolifereating, but I haven't seen how Prolog is being used in the LLM creation. Of course, I don't really understand the whole process of the creation. I do remember someone on a academic/programmer forum stating Prolog regarding research was big in academics in Europe whereas Lisp was more popular in America academics for research. It would make sense as Richard Stallman was big into AI Lisp as a consultant.
> “You can save yourself and those closest to you, but you must leave the country now,” Trump reportedly said, offering safe passage for Maduro, his wife and his son “only if he agreed to resign right away”.
https://www.theguardian.com/world/2025/dec/01/trump-maduro-u...
reply