Summary
According to multiple reliable sources, Oiltanking Deutschland GmbH & Co., a German oil company, has suffered a cyber attack that severely degraded operations has been reported by several reliable sources.
Threat Type
Cyber Attack
Overview
A cyber attack on a German oil company has been reported by several news outlets. The attack is reminiscent of the Colonial Pipeline attack suffered last year. According to the German newspaper, Handelsblatt, an internal report from Oiltanking states: "systems wer
Summary
Critical vulnerabilities have been disclosed with Samba that require immediate attention. These vulnerabilities could have far reaching impact.
Threat Type
Vulnerabilities
Overview
A trio of vulnerabilities in Samba have been disclosed by Samba. The vulnerabilities have the potential for remote code execution, impersonation of arbitrary services, and information leak. The first vulnerability, CVE-2021-44141 , is an information leak via symlinks of existence of files or directories outside exported
We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO.