AMD

AMD Is Currently Hiring More Linux Engineers (phoronix.com) 24

According to Phoronix, AMD currently has several interesting job openings on the Linux front. From the report: While AMD has been delivering reliable Linux support with their recent launches, there is room for improvement in areas like more timely compiler support for new processors, better alignment of their new hardware enablement for getting the code not only upstreamed but into distributions for launch-day, and similar areas. Based on recent job postings, it looks like AMD is working to make such strides.

Here is a look at some of the new and currently active Linux-related job openings at AMD: [Manager Linux Kernel Development, Linux Technical Lead, Linux Engineer, and Linux Systems Architect, among other traditional software/hardware engineering roles].

Several of these new job descriptions do begin with, "step up into a new organization built to engage more strategically and deeply with the technical teams of our commercial customers." Interestingly, I only see that opening line on their current Linux job postings. When asking AMD if there is a "new (Linux) organization" at AMD, the comment was there is no organization to announce but this is part of the overall expansion at AMD. So for now it's back to dreaming about a new unit akin to the defunct AMD Operating System Research Center that previously drove their Linux support or Intel's former Open-Source Technology Center.

Security

Microsoft Defender ATP is Detecting Yesterday's Chrome Update as a Backdoor (zdnet.com) 56

Microsoft Defender Advanced Threat Protection (ATP), the commercial version of the ubiquitous Defender antivirus and Microsoft's top enterprise security solution, is currently having a bad day and labeling yesterday's Google Chrome browser update as a backdoor trojan. From a report: The detections are for Google Chrome 88.0.4324.146, the latest version of the Chrome browser, which Google released last night. As per the screenshot (embedded in the linked story), but also based on reports shared on Twitter by other dismayed system administrators, Defender ATP is currently detecting multiple files part of the Chrome v88.0.4324.146 update package as containing a generic backdoor trojan named "PHP/Funvalget.A." The alerts have caused quite a stir in enterprise environments in light of recent multiple software supply chain attacks that have hit companies across the world over the past few months. System administrators are currently awaiting a formal statement from Microsoft to confirm that the detection is a "false possitive" and not an actual threat.
Emulation (Games)

Hacker Group Inserted Malware In NoxPlayer Android Emulator (zdnet.com) 2

A mysterious hacking group has compromised the server infrastructure of a popular Android emulator and has delivered malware to a handful of victims across Asia in a highly-targeted supply chain attack. ZDNet reports: The attack was discovered by Slovak security firm ESET on January 25, last week, and targeted BigNox, a company that makes NoxPlayer, a software client for emulating Android apps on Windows or macOS desktops. ESET says that based on evidence its researchers gathered, a threat actor compromised one of the company's official API (api.bignox.com) and file-hosting servers (res06.bignox.com).

Using this access, hackers tampered with the download URL of NoxPlayer updates in the API server to deliver malware to NoxPlayer users. Despite evidence implying that attackers had access to BigNox servers since at least September 2020, ESET said the threat actor didn't target all of the company's users but instead focused on specific machines, suggesting this was a highly-targeted attack looking to infect only a certain class of users. Until today, and based on its own telemetry, ESET said it spotted malware-laced NoxPlayer updates being delivered to only five victims, located in Taiwan, Hong Kong, and Sri Lanka.
"We discard the possibility that this operation is the product of some financially motivated group," an ESET spokesperson told ZDNet today via email. "We are still investigating, but we have found tangible correlations to a group we internally call Stellera, which we will be reporting about in the near future."
Science

The Highest Resolution Photos Ever Taken of Snowflakes (smithsonianmag.com) 51

Photographer and scientist Nathan Myhrvold has developed a camera that captures snowflakes at a microscopic level never seen before. Smithsonian Magazine reports: Myhrvold, who holds a PhD in theoretical mathematics and physics from Princeton University and served as the Chief Technology Officer at Microsoft for 14 years, leaned on his background as a scientist to create the camera. He also tapped into his experience as a photographer, most notably as the founder of Modernist Cuisine, a food innovation lab known for its high-resolution photographs of various food stuffs published into a five-volume book of photography of the same name that focuses on the art and science of cooking. Myhrvold first got the idea to photograph snowflakes 15 years ago after meeting Kenneth Libbrecht, a California Institute of Technology professor who happened to be studying the physics of snowflakes.

In simple terms, the system Myhrvold developed is comprised of one part microscope and one part camera, but with a number of parts that work in tandem to complete the arduous task of capturing an image of a snowflake, a subject that's not only miniscule (most snowflakes measure less than a half-inch in diameter) but also quick to melt. In fact, a snowflake's tendency to disintegrate was one of the biggest challenges Myhrvold had to overcome with this project. His solution: equipping his 50-pound camera system with a thermoelectric cooling system, a carbon fiber frame and LED lights, which give off less heat than standard lights. Every single part of his Frankenstein-esque device, which stands at about five feet in height off the ground when placed on a table, was built using materials that are less likely to cause melting or sublimation of the subject matter.

Myhrvold also had to figure out how to physically capture a snowflake. (It's not quite as simple as hoping that the perfect snowflake just so happens to fall into your mittened hand.) He quickly learned that catching them on a glass microscope slide wouldn't work; glass is a known insulator. But an artificial sapphire slide, made of the same crystal material as one would find in a high-end watch, had a lower thermal conductivity ratio than glass, making it the perfect material to gather specimens. [...] Once safely on the slide, he focuses his microscope to take the photograph, changing the exposure one micron at a time. (For reference, the width of a human hair measures approximately 70 microns.) On average, Myhrvold photographs each snowflake more than 100 times, or as many times as he can before the snowflake starts to melt. Using specialized computer software, Myhrvold combines multiple photographs of a single specimen to create the final photograph. "That photo [is usually the result of] 100 photographs put together using computer software," he says. "You have to take many photos in order to get a high enough resolution, because many photos put together allows you to have enough depth of field to see an entire snowflake very sharply."

Businesses

One-Third of Tech Workers Admit To Working Only 3 To 4 Hours a Day, Report Finds (fastcompany.com) 180

According to a survey by Blind, 31% of professionals from 42 tech companies said they're only putting in between three and four hours a day. Fast Company reports: Additionally, the survey found, 27% of tech professionals said they work five to six hours a day, and 11% reported only working one to two hours per day. In contrast, 30% said they work between seven and 10 hours per day. The survey did not ask the workers to self-report productivity, which we know is very different for everyone.

Although the responses within the companies surveyed were anecdotal, one Amazon employee commented, "Amazon requires at least 10 hours a day, with exceptions and maybe less work on Fridays or more work on weekends. I'm working way more during COVID-19, calendar's full back to back, leadership is asking for more." Meanwhile, a professional at Facebook reported, "If meetings count then 9-10. If they do not... [less than] 1," bearing out the fact that the pandemic has not impacted everyone equally.

United States

More Companies Are Joining 'Tech Exodus' From California (nbcnews.com) 258

This week Digital Reality data center services announced it was also relocating its headquarters from the San Francisco Bay Area to Texas, citing factors like a low cost of living and "supportive business climate". (Though it will still maintain a "significant" presence in the Bay Area.)

And Align Technology (makers of the Invisalign orthodontic dental aligners) also announced it had relocated its global corporate headquarters from San Jose, California to Tempe, Arizona, citing a "favorable corporate operating environment, low cost of living and overall quality of life."

NBC News writes that "while Silicon Valley is by no means ceasing to be the center of the technology industry," there's still an "undeniable migration" that's happening: Shervin Pishevar, a venture capitalist, bought a house in Miami Beach in 2018. In late 2020, Jonathan Oringer, who founded Shutterstock and became an investor, moved to Miami, as did other notable venture capitalists, including Keith Rabois and David Blumberg. It's not just Miami experiencing this migration. Last month, Oracle, the tech giant, announced it is moving its corporate headquarters from Redwood City, California, to Austin, Texas. Other such moves include Palantir, which decamped for Denver, while Elon Musk said last month he had moved himself to Austin. Hewlett Packard Enterprise also announced last month it was moving its headquarters from San Jose, California, in favor of a Houston suburb...

It's significant enough that while the San Francisco Bay Area continues to gain tech workers, the rate of increase is down by over 35 percent — the single largest drop of any tracked metropolitan area — according to self-reported data tracked by LinkedIn. Experts following this migration predict these numbers may grow. "There's a mini-exodus of tech companies leaving the Valley, and I think that's going to accelerate in 2021," said Dan Ives, a financial analyst with Wedbush Securities. But the reasons many businesses are moving are more complex than people may think. Tax experts say companies aren't moving their corporate headquarters necessarily for business tax incentives. Instead, it may be a long-term play to help them pay workers relatively less where the cost of living is lower... "You're going to always have the vast majority of tech companies coming out of the Valley, and you can't create that anywhere else," Ives said. "But when you look at an Austin: It's creating a mini Silicon Valley at half the cost for an average employee..."

Tax experts suspect Oracle and its peers may over time phase out higher-paid employees in California in favor of lower-paid employees in Texas. These companies can also ease off giving employees raises because they are living somewhere with a lower cost of living. "Even though a lot of companies are saying they can let people work from anywhere, most are saying we're not going to cut salary, but we're going to slow the rate of increase of salary," said Brian Kropp, an analyst with the IT service management company Gartner. Kropp said he spoke with high-level representatives from several "Fortune 200 type companies" who are exploring moving their corporate headquarters. In short, shifting employees from California to Texas could represent long-term corporate cost savings, which means larger payouts for these companies' top executives.

"The compounding effect translates to a 3 or 5 percent margin that moves straight to profit," Kropp said...

Kropp says some companies are also worried about the increase in state laws targeting businesses and executives. But there could be another culprit, argues Darien Shanske, a law professor at the University of California, Davis who NBC identiies as an expert on state and local taxation.

"California has blown it, but not because of tax policy — its decades-long problem of not producing enough housing," he said. "It's probably cheaper and easier to build that in Austin."
Cellphones

LG Considers Exiting Smartphones In 2021 (theverge.com) 49

After losing around $4.5 billion over the past five years, LG is considering exiting the smartphone market in 2021. The Verge reports: The Korea Herald reports that [LG CEO Kwon Bong-seok] sent out an internal memo to staff on Wednesday, hinting at a change in direction for LG's phone business. "Since the competition in the global market for mobile devices is getting fiercer, it is about time for LG to make a cold judgment and the best choice," says an LG official in a statement to The Korea Herald. "The company is considering all possible measures, including sale, withdrawal and downsizing of the smartphone business." LG confirmed the internal memo was genuine in a statement to The Verge, noting that nothing has been decided yet. "LG Electronics management is committed to making whatever decision is necessary to resolve its mobile business challenges in 2021," says an LG spokesperson. "As of today, nothing has been finalized."
United States

Is There a Tech Worker 'Exodus' From the San Francisco Bay Area? (sfgate.com) 158

The New York Times reports on an "exodus" of tech workers from the San Francisco Bay Area, where "Rent was astronomical. Taxes were high. Your neighbors didn't like you" — and your commute could be over an hour. The biggest tech companies aren't going anywhere, and tech stocks are still soaring... But the migration from the Bay Area appears real. Residential rents in San Francisco are down 27% from a year ago, and the office vacancy rate has spiked to 16.7%, a number not seen in a decade. Though prices had dropped only slightly, Zillow reported more homes for sale in San Francisco than a year ago. For more than a month last year, 90% of the searches involving San Francisco on moveBuddha were for people moving out...

There are 33,000 members in the Facebook group Leaving California and 51,000 in its sister group, Life After California. People post pictures of moving trucks and links to Zillow listings in new cities.

They've apparently scattered across the country — even to tropical islands like Puerto Rico and Costa Rica They fled to more affordable places like Georgia. They fled to states without income taxes like Texas and Florida... The No. 1 pick for people leaving San Francisco is Austin, Texas, with other winners including Seattle, New York and Chicago, according to moveBuddha, a site that compiles data on moving. Some cities have set up recruiting programs to lure them to new homes.
The Times also notes "there is a very vocal Miami faction, led by a few venture capital influencers, trying to tweet the city's startup world into existence," as other cities begin to realize that "the talent and money of newly remote tech workers are up for grabs." Topeka, Kansas, started Choose Topeka, which will reimburse new workers $10,000 for the first year of rent or $15,000 if they buy a home. Tulsa, Oklahoma, will pay you $10,000 to move there. The nation of Estonia has a new residency program just for digital nomads. A program in Savannah, Georgia, will reimburse remote workers $2,000 for the move there, and the city has created various social activities to introduce the newcomers to one another and to locals...
But the article also points out that "More money was made faster in the Bay Area by fewer people than at any other time in American history," and speculates on what long-time residents may be thinking: People who distrusted the young newcomers from the start will say this change is a good thing. Hasn't this steep growth in wealth and population in a tiny geography always seemed unsustainable? These tech workers came like a whirlwind. Virtually every community from San Jose in the south to Marin County in the north has fought the rise of new housing for the arrivals of the last decade. Maybe spreading the tech talent around America is smart.

Locals have also seen this play before. Moving trucks come to take a generation of tech ambition away, and a few years later moving trucks return with new dreamers and new ambitions.

UPDATE (7/18/2021): "Tech workers who swore off the Bay Area are coming back," the New York Times reported six months later.
Space

Darkened SpaceX Satellites Can Still Disrupt Astronomy, New Research Suggests (gizmodo.com) 64

"SpaceX's attempt to reduce the reflectivity of Starlink satellites is working, but not to the degree required by astronomers," reports Gizmodo: Starlink satellites with an anti-reflective coating are half as bright as the standard version, according to research published in The Astrophysical Journal. It's an improvement, but still not good enough, according to the team, led by astronomer Takashi Horiuchi from the National Astronomical Observatory in Japan. These "DarkSats," as they're called, also continue to cause problems at other wavelengths of light [and] were included in a batch of satellites launched by SpaceX on January 7, 2020. The new study aimed to evaluate the effectiveness of that dark coating...

The scientists found that the "albedo of DarkSat is about a half of that of STARLINK-1113," as they wrote in their paper. That's a decent improvement in the visual spectrum, but still not great. What's more, problems persist at other wavelengths. "The darkening paint on DarkSat certainly halves reflection of sunlight compared to the ordinary Starlink satellites, but [the constellation's] negative impact on astronomical observations still remains," Horiuchi told Physics World. He said the mitigating effect is "good in the UV/optical region" of the spectrum, but "the black coating raises the surface temperature of DarkSat and affects intermediate infrared observations."

A third version of Starlink is supposed to be even dimmer. Called "VisorSats," they feature a sun visor that will "dim the satellites once they reach their operational altitude," according to Sky and Telescope. SpaceX launched some VisorSats last year, but the degree to which their albedo is lessened compared to the original version is still not known, or if these versions will exhibit elevated surface temperatures.

Horiuchi told Physics World that SpaceX should seriously consider lifting the altitude of the Starlink constellation to further reduce the brightness of these objects.

. The article ends with a quote from an astronomer at Harvard-Smithsonian Center for Astrophysics and an expert on satellites. He'd told Gizmodo's reporter back in January of 2020 that "SpaceX is making a good-faith effort to fix the problem," and that he believes the company "can get the satellites fainter than what the naked eye can see."
Programming

Estimated Cost of Poor Software Quality in the U.S. in 2020: $2.1 Trillion (techrepublic.com) 118

TechRepublic shares a remarkable calculation by the not-for-profit IT leadership group the Consortium for Information and Software Security: CISQ's 2020 report, The Cost of Poor Software Quality in the U.S., looked at the financial impact of software projects that went awry or otherwise ended up leaving companies with a larger bill by creating additional headaches for them. According to the consortium, unsuccessful IT projects alone cost U.S. companies $260 billion in 2020, while software problems in legacy systems cost businesses $520 billion and software failures in operational systems left a dent of $1.56 trillion in corporate coffers.

As a result, the total cost of poor software quality in the U.S. amounted to approximately $2.08 trillion in 2020, CISQ said. Comparing this to the total U.S. IT and software wage base of $1.4 trillion, the company said the figures "underscored the magnitude of the negative economic impact of poor software quality."

Social Networks

Thousands of Users Unknowingly Joined Signal Because of a 12-Year-Old's App (vice.com) 41

"At least 10,000 Signal users can be attributed to a 12-year-old kid in India who created a somewhat popular clone of the encrypted chat app," reports Motherboard: Dev Sharma, a Signal user from Melbourne, Australia, found the Signal clone when he encountered an unusual thing: Signal displayed a pop-up showing that their friend had just joined the app. Sharma messaged their friend, but the friend had never even heard of Signal, despite apparently using the app. The friend had downloaded a different app called "Calls Chat," according to a tweet from Dev. It turned out, Calls Chat is actually a clone of Signal and lets users communicate with people on the legitimate Signal app.

The app may have been harmless in this instance, but its existence and thousands of downloads shows how it can be relatively easy for someone to take the open source code of Signal and repurpose it for their own means, potentially misleading users about what they're actually downloading in the process. "I didn't know I was creating a clone of Signal, in fact I didn't even know such an app existed," Dheeraj, the boy who made the clone, told Motherboard in a phone call...

The Google Play Store bars developers from impersonating other apps or making others that are deceptive, however. Google told Motherboard on Wednesday that the chat app is no longer available on the Play Store.

Debian

Debian Discusses Vendoring -- Again (lwn.net) 48

Jake Edge, writing at LWN: The problems with "vendoring" in packages -- bundling dependencies rather than getting them from other packages -- seems to crop up frequently these days. We looked at Debian's concerns about packaging Kubernetes and its myriad of Go dependencies back in October. A more recent discussion in that distribution's community looks at another famously dependency-heavy ecosystem: JavaScript libraries from the npm repository. Even C-based ecosystems are not immune to the problem, as we saw with iproute2 and libbpf back in November; the discussion of vendoring seems likely to recur over the coming years. Many application projects, particularly those written in languages like JavaScript, PHP, and Go, tend to have a rather large pile of dependencies. These projects typically simply download specific versions of the needed dependencies at build time. This works well for fast-moving projects using collections of fast-moving libraries and frameworks, but it works rather less well for traditional Linux distributions. So distribution projects have been trying to figure out how best to incorporate these types of applications.

This time around, Raphael Hertzog raised the issue with regard to the Greenbone Security Assistant (gsa), which provides a web front-end to the OpenVAS vulnerability scanner (which is now known as Greenbone Vulnerability Management or gvm). "the version currently in Debian no longer works with the latest gvm so we have to update it to the latest upstream release... but the latest upstream release has significant changes, in particular it now relies on yarn or npm from the node ecosystem to download all the node modules that it needs (and there are many of them, and there's no way that we will package them individually). The Debian policy forbids download during the build so we can't run the upstream build system as is."

Hertzog suggested three possible solutions: collecting all of the dependencies into the Debian source package (though there would be problems creating the copyright file), moving the package to the contrib repository and adding a post-install step to download the dependencies, or removing gsa from Debian entirely. He is working on updating gsa as part of his work on Kali Linux, which is a Debian derivative that is focused on penetration testing and security auditing. Kali Linux does not have the same restrictions on downloading during builds that Debian has, so the Kali gsa package can simply use the upstream build process. He would prefer to keep gsa in Debian, "but there's only so much busy-work that I'm willing to do to achieve this goal". He wondered if it made more sense for Debian to consider relaxing its requirements. But Jonas Smedegaard offered another possible approach: analyzing what packages are needed by gsa and then either using existing Debian packages for those dependencies or creating new ones for those that are not available. Hertzog was convinced that wouldn't be done, but Smedegaard said that the JavaScript team is already working on that process for multiple projects.

Operating Systems

Linux Kernel Developers Discuss Dropping a Bunch of Old CPUs (phoronix.com) 93

Charlotte Web writes: With Linux 5.10 having shipped as the latest Long Term Support (LTS) release to be maintained for at least the next five years, a discussion has begun over dropping a number of old and obsolete CPU platform support currently found within the mainline kernel. For many of the architectures being considered for removal they haven't seen any new commits in years but as is the case once proposals are made for them to be removed there are often passionate users wanting the support to be kept.
Open Source

Linux Mint 20.1 Long-term Support Release Is Out (ghacks.net) 21

Thelasko quotes gHacks: Linux Mint 20.1 is now available.

The first stable release of Linux Mint in 2021 is available in the three flavors Cinnamon, MATE and Xfce. The new version of the Linux distribution is based on Ubuntu 20.04 LTS and Linux kernel 5.4...

- Linux Mint 20.1 comes with a unified file system that sees certain directories being merged with their counterparts in /usr, e.g. /bin merged with /usr/bin, /lib merged with /usr/lib for compatibility purposes...

- The developers have added an option to turn websites into desktop applications in the new version [using the new Web App manager]... Web apps behave like desktop programs for the most part; they start in their own window and use a custom icon, and you find them in the Alt-Tab interface when you use it. Web apps can be pinned and they are found in the application menu after they have been created.

Government

Open-Source Developer and Manager David Recordon Named White House Director of Technology (zdnet.com) 51

An anonymous reader quotes a report from ZDNet: President-elect Joe Biden's transition team announced that David Recordon, one of OpenId and oAuth's developers, has been named the White House Director of Technology. Recordon most recently was the VP of infrastructure and security at the non-profit Chan Zuckerberg Initiative Foundation. Before that, Recordon was Facebook's engineer director. There, he had led Facebook's open-source initiatives and projects. Among other programs, this included Phabricator, a suite of code review web apps, which Facebook used for its own development. He also led efforts on Cassandra, the Apache open-source distributed database management system; HipHop, a PHP to C++ source code translator; and Apache Thrift, a software framework, for scalable cross-language services development. In short, he's both a programmer and manager who knows open-source from the inside out.

Recordon learned to program at a public elementary school. According to the Biden-Harris transition team, he's spent his almost two-decade career working at the intersection of technology, security, open-source software, public service, and philanthropy. Looking forward to the challenges Recordon faces in his new position, he wrote on LinkedIn: "The pandemic and ongoing cybersecurity attacks present new challenges for the entire Executive Office of the President, but ones I know that these teams can conquer in a safe and secure manner together."
The report notes that Recordon served as the first Director of White House Information Technology during President Barack Obama's term of office, working on IT modernization and cybersecurity issues. He's also served as the Biden-Harris transition team's deputy CTO.
Medicine

71-Year-Old Slashdot Reader Describes His 'Moderate' Case of Covid (researchandideas.com) 279

71-year-old Hugh Pickens (Slashdot reader #49,171) is a physicist who explored for oil in the Amazon jungle, commissioned microwave communications systems in Saudi Arabia, and built satellite control stations for Goddard Space Flight Center around the world including Australia, Antarctica, and Guam.

After retiring in 1999, he wrote over 1,400 Slashdot posts, and in the site's 23-year history still remains one of its two all-time most active submitters (behind only long-time Slashdot reader theodp). Today theodp shares an article by Hugh Pickens: I am a Covid Survivor," writes former Slashdot contributor extraordinaire Hugh Pickens (aka pickens, aka Hugh Pickens writes, aka Hugh Pickens DOT Com, aka HughPickens.com, aka pcol, aka ...). "I got the Covid six weeks ago and yesterday I was declared virus free. I had what was called a moderate case of Covid. I was never hospitalized. I was never in any real danger of death. But I was in bed for three weeks.

"It knocked me on my ass. I have been talking about my Covid when I go out and a lot of people are interested in what it really means to have a moderate case of Covid. I don't claim to speak for every Covid patient. I certainly can't speak for the ones who went into the hospital and are on ventilators. But I think the majority of people have a moderate case of Covid so I thought I would write this up for people that were interested."

During those three consecutive weeks in bed, "I guess I ate Jell-O for about two weeks..." Pickens writes. "I was laying in bed all day long. I was sleeping 12 to 14 hours a day..." He lost 25 pounds — and vividly describes having nightmares "every night like clockwork." But the essay ends with him committed to making the most of his second chance. "I'm only going to do what's important from now on...

"I'm 71 years old and I may have five more years or ten but I am going to live every day like it's my last."
Nintendo

Linux Kernel Ported to the Nintendo 64 (phoronix.com) 33

Phoronix reports: It's been a turbulent year and 2020 is certainly ending interesting in the Linux/open-source space... If it wasn't odd enough seeing Sony providing a new official Linux driver for their PlayStation 5 DualSense controller for ending out the year, there is also a new Linux port to the Nintendo 64 game console... Yes, a brand new port to the game console that launched more than two decades ago.

Open-source developer Lauri Kasanen who has contributed to Mesa and the Linux graphics stack took to developing a new Nintendo 64 port and announced it this Christmas day. This isn't the first time Linux has been ported to the N64 but prior attempts weren't aimed at potentially upstreaming it into the mainline Linux kernel...

This fresh port to the N64 was pursued in part to help port emulators and frame-buffer or console games.

And also, the announcement adds, "Most importantly, because I can."
Hardware

Edmund Clarke, 2007 Winner of the Turing Award, Dies of Covid-19 (post-gazette.com) 65

"Edmund M. Clarke, the FORE Systems Professor of Computer Science Emeritus at Carnegie Mellon University, has died of Covid-19," writes Slashdot reader McGruber.

From the Pittsburgh Post-Gazette: Professor Clarke was best known for his work in model checking, an automated method for detecting design errors in computer hardware and software. CMU president Farnam Jahanian said the world had "lost a giant in computer science" with Mr. Clarke's death. "Ed's pioneering work in model checking applied formal computational methods to the ultimate challenge: computers checking their own correctness," Mr. Jahanian said in a statement. "As systems become ever more complex, we are just beginning to see the wide-reaching and long-term benefits of Ed's insights, which will continue to inspire researchers and practitioners for years to come."

In the early 1980s, Mr. Clarke and his Harvard University graduate student, E. Allen Emerson — as well as Joseph Sifakis of the University of Grenoble, who was working separately — developed model checking, which has helped to improve the reliability of complex computer chips, systems and networks. For their work, the Association for Computing Machinery gave the three scientists the prestigious A.M. Turing Award — computer science's Nobel Prize — in 2007.

Mr. Clark's citation on the Turing Award website said Microsoft and Intel and other companies use model checking to verify designs for computer networks and software. "It is becoming particularly important in the verification of software designed for recent generations of integrated circuits, which feature multiple processors running simultaneously," the citation page said. "Model checking has substantially improved the reliability and safety of the systems upon which modern life depends."

Christmas Cheer

How San Francisco Got a Very Special Monolith on Christmas Day (kqed.org) 26

Ananda Sharma, founder of the app Gyroscope, describes to a local TV station the monolith he discovered during a Christmas-morning jog under a candy-cane red sunrise.

"I think I smelled it before I saw it..."

He spotted a double rainbow and wanted to peek at that too. At first, he thought the monolith was "a big post," but as he got closer, he smelled the gingerbread scent wafting toward him. The monolith is standing in panels separated by icing...

"It made me smile.

SFGate spoke to another eye-witness: Alexis Gallagher also happened upon the sweet monolith at about 8:25 a.m. Friday morning, confirming it was made of gingerbread, frosting and gumdrops... "I had a closer look and it looks like there's a plywood skeleton underneath, but I try not to dwell on such mundane realities."

Gallagher added that he had to "stop my dog from nibbling on it..."

When reached for an official comment, the San Francisco Recreation and Parks Department General Manager told the TV news reporter that the gingerbread monolith "Looks like a great spot to get baked."

Then he added more sternly that "we will leave it up until the cookie crumbles."

But their article notes it raises several questions for Bay Area residents: Did Christmas-happy aliens beam it down from above? Did some rogue artificial intelligence escape a nearby Google campus, and, driven mad by our plethora of Christmas music...design an art piece to brighten our days? And just how expensive is it to rent a highrise apartment within its crumbly, ginger-pungent walls...?
SFGate's report ends with Ananda Sharma noting that it began raining in San Francisco at 11:30 a.m., adding, "not sure what happens to gingerbread in the rain but it probably isn't good."

Slashdot Top Deals