Linux Foundation launches new organization to maintain TLA+

April 21, 2023

The Linux Foundation, the nonprofit tech consortium that manages various open source efforts, today announced the launch of the TLA+ Foundation to promote the adoption and development of the TLA+ programming language. AWS, Oracle and Microsoft are among the inaugural members.  What is the TLA+ programming language, you ask? It’s a formal “spec” language developed by computer […]

Linux Foundation launches new organization to maintain TLA+ by Kyle Wiggers originally published on TechCrunch

The Download: AI paternalism in healthcare, and Nigeria’s answer to Tesla

April 21, 2023
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. Artificial intelligence is infiltrating health care. We shouldn’t let it make all the decisions. Would you trust medical advice generated by artificial intelligence? It’s a question raised by yet more headlines this week…

The IRS is sending four investigators across the world to fight cybercrime

April 21, 2023

The Internal Revenue Service (IRS) plans to send four agents who specialize in investigating cybercrime to Australia, Singapore, Colombia, and Germany starting this summer. These four new positions represent a significant increase in the IRS’s global efforts to fight cybercrimes, such as those involving cryptocurrency, decentralized finance, and crypto laundering services. In the last several […]

The IRS is sending four investigators across the world to fight cybercrime by Lorenzo Franceschi-Bicchierai originally published on TechCrunch